豫言源码浏览器 / Source Browser

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「爻术」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「安全外壳协议」之「密钥交换」之书。
寻观「安全外壳协议」之「公钥文本」之书。
寻观「安全外壳密码」之「原语」之书。

「已知主机空白位」乃化「字节串」而化「整数」而化「整数」而「整数」也。
「已知主机空白位」者会「文」而会「位」而会「终」而
  若「等于」于「位」于「终」则
    「位」
  否则
    虑「字」者「字节串取字节」于「文」于「位」而
    若「等于」于「字」于「三二」则
      「已知主机空白位」于「文」于（「加」于「位」于「一」）于「终」
    否则若「等于」于「字」于「九」则「已知主机空白位」于「文」
    于（「加」于「位」于「一」）于「终」
    否则
      「位」
也。

「已知主机字段尾」乃化「字节串」而化「整数」而化「整数」而「整数」也。
「已知主机字段尾」者会「文」而会「位」而会「终」而
  若「等于」于「位」于「终」则
    「位」
  否则
    虑「字」者「字节串取字节」于「文」于「位」而
    若「等于」于「字」于「三二」则「位」
    否则若「等于」于「字」于「九」则「位」
    否则
      「已知主机字段尾」于「文」于（「加」于「位」于「一」）于「终」
也。

「已知主机行尾」乃化「字节串」而化「整数」而化「整数」而「整数」也。
「已知主机行尾」者会「文」而会「位」而会「限」而
  若「等于」于「位」于（「字节串长度」于「文」）则
    「位」
  否则若「等于」于「位」于「限」则「位」
  否则若「等于」于（「字节串取字节」于「文」于「位」）于「一零」则
    「位」
  否则
    「已知主机行尾」于「文」于（「加」于「位」于「一」）于「限」
也。

「：文言：明文名单惟受逐字主机名；通配与否名不授信。汉语：普通主机名列表只接受精确名称，通配或否定模式不授予信任；哈希名另行校验。：」
「已知主机名单纯吗」乃化「字节串」而化「整数」而化「整数」而「爻」也。
「已知主机名单纯吗」者会「文」而会「位」而会「终」而
  若「等于」于「位」于「终」则
    「阳」
  否则
    虑「字」者「字节串取字节」于「文」于「位」而
    若「等于」于「字」于「四二」则「阴」
    否则若「等于」于「字」于「六三」则「阴」
    否则若「等于」于「字」于「三三」则「阴」
    否则若「等于」于「字」于「一二四」则「阴」
    否则
      「已知主机名单纯吗」于「文」于（「加」于「位」于「一」）于「终」
也。

「已知主机名单项尾」乃化「字节串」而化「整数」而化「整数」而「整数」也。
「已知主机名单项尾」者会「文」而会「位」而会「终」而
  若「等于」于「位」于「终」则
    「位」
  否则若「等于」于（「字节串取字节」于「文」于「位」）于「四四」则
    「位」
  否则
    「已知主机名单项尾」于「文」于（「加」于「位」于「一」）于「终」
也。

「已知主机名单含名吗」乃
  化「字节串」而
  化「整数」而
  化「整数」而
  化「字节串」而
  「爻」
也。
「已知主机名单含名吗」者会「文」而会「位」而会「终」而会「主机」而
  若「等于」于「位」于「终」则
    「阴」
  否则
    虑「尾」者「已知主机名单项尾」于「文」于「位」于「终」而
    若「换钥字节同」于（「截取字节串」于「文」于「位」于（「减」于「尾」于「位」））于「主机」则
      「阳」
    否则若「等于」于「尾」于「终」则「阴」
    否则
      「已知主机名单含名吗」于「文」于（「加」于「尾」于「一」）于「终」于「主机」
也。

「：文言：解二十字之规范 Base64，末字必为填号。汉语：严格解码 20 字节盐或摘要所用的 28 字符标准 Base64，校验填充和未用位。：」
「解已知主机二十字」乃化「字节串」而（「或可有」于「字节串」）也。
「解已知主机二十字」者会「编码」而
  若「不等于」于（「字节串长度」于「编码」）于「二八」则
    「可无」
  否则若「不等于」于（「字节串取字节」于「编码」于「二七」）于「六一」则
    「可无」
  否则
    鉴「解公钥Base64续」于「编码」于「零」于「六」于（「空字节串」于「元」）而
      有（「可有」于「首十八」）则（
        虑「甲」者
          「公钥Base64字值」于（「字节串取字节」于「编码」于「二四」）
        而
        虑「乙」者
          「公钥Base64字值」于（「字节串取字节」于「编码」于「二五」）
        而
        虑「丙」者
          「公钥Base64字值」于（「字节串取字节」于「编码」于「二六」）
        而
        若「小于」于「甲」于「零」则
          「可无」
        否则若「小于」于「乙」于「零」则「可无」
        否则若「小于」于「丙」于「零」则「可无」
        否则若「不等于」于（「乘」于（「除以」于「丙」于「四」）于「四」）于「丙」则
          「可无」
        否则
          虑「乙高」者「除以」于「乙」于「一六」
          而
          虑「前字」者「加」于（「乘」于「甲」于「四」）于「乙高」
          而
          虑「后字」者
            「加」
              于（「乘」于（「减」于「乙」于（「乘」于「乙高」于「一六」））于「一六」）
              于（「除以」于「丙」于「四」）
          而
          「可有」于（「拼接字节串」
            于「首十八」
            于（「拼接字节串」于（「单字节串」于「前字」）于（「单字节串」于「后字」）））
      ）
      或有「可无」则「可无」
也。

「：文言：隐名式惟认 |1|盐|摘要，以 HMAC-SHA1 比名。汉语：匹配 OpenSSH |1|salt|hash 格式，两个字段都须为规范 Base64 编码的 20 字节。：」
「已知主机隐名合吗」乃化「字节串」而化「字节串」而「爻」也。
「已知主机隐名合吗」者会「隐名」而会「主机」而
  若「不等于」于（「字节串长度」于「隐名」）于「六零」则
    「阴」
  否则若「不等于」于（「字节串取字节」于「隐名」于「零」）于「一二四」则
    「阴」
  否则若「不等于」于（「字节串取字节」于「隐名」于「一」）于「四九」则
    「阴」
  否则若「不等于」于（「字节串取字节」于「隐名」于「二」）于「一二四」则
    「阴」
  否则若「不等于」于（「字节串取字节」于「隐名」于「三一」）于「一二四」则
    「阴」
  否则
    鉴「解已知主机二十字」于（「截取字节串」于「隐名」于「三」于「二八」）而
      有（「可有」于「盐」）则（
        鉴「解已知主机二十字」于（「截取字节串」于「隐名」于「三二」于「二八」）而
          有（「可有」于「摘要」）则
            「换钥字节同」
              于（「求已知主机HMACSHA1」于「盐」于「主机」）
              于「摘要」
          或有「可无」则「阴」
      ）
      或有「可无」则「阴」
也。

「：文言：返零为无关，一为信任，二为撤钥；全域撤钥亦生效。汉语：一行返回 0 无关、1 信任或 2 撤销；@revoked * 对所呈 Ed25519 密钥全域生效。：」
「验已知主机一行」乃化「字节串」而化「字节串」而化「字节串」而「整数」也。
「验已知主机一行」者会「行」而会「主机」而会「所呈」而
  虑「终」者「字节串长度」于「行」而
  虑「首」者「已知主机空白位」于「行」于「零」于「终」而
  若「等于」于「首」于「终」则
    「零」
  否则若「等于」于（「字节串取字节」于「行」于「首」）于「三五」则「零」
  否则
    虑「首尾」者「已知主机字段尾」于「行」于「首」于「终」而
    虑「首字」者
      「截取字节串」于「行」于「首」于（「减」于「首尾」于「首」）
    而
    虑「撤钥」者
      「换钥字节同」于「首字」于（「字符串转字节串」于『@revoked』）
    而
    虑「名单首」者
      若「撤钥」则「已知主机空白位」于「行」于「首尾」于「终」否则「首」
    而
    若「等于」于「名单首」于「终」则
      「零」
    否则若「等于」于（「字节串取字节」于「行」于「名单首」）于「六四」则
      「零」
    否则
      虑「名单尾」者「已知主机字段尾」于「行」于「名单首」于「终」
      而
      虑「全域撤钥」者
        「且」
          于「撤钥」
          于（「换钥字节同」
            于（「截取字节串」于「行」于「名单首」于（「减」于「名单尾」于「名单首」））
            于（「字符串转字节串」于『*』））
      而
      虑「隐名」者
        「等于」于（「字节串取字节」于「行」于「名单首」）于「一二四」
      而
      虑「名单合」者
        若「隐名」则
          「已知主机隐名合吗」
            于（「截取字节串」于「行」于「名单首」于（「减」于「名单尾」于「名单首」））
            于「主机」
        否则若「全域撤钥」则「阳」
        否则若「已知主机名单纯吗」于「行」于「名单首」于「名单尾」则
          「已知主机名单含名吗」于「行」于「名单首」于「名单尾」于「主机」
        否则
          「阴」
      而
      若「非」于「名单合」则
        「零」
      否则
        虑「钥首」者「已知主机空白位」于「行」于「名单尾」于「终」
        而
        若「等于」于「钥首」于「终」则
          「零」
        否则
          鉴「读取单行Ed25519公钥载物」于（「截取字节串」于「行」于「钥首」于（「减」于「终」于「钥首」））而
            有（「可有」于「钥」）则（
              若「换钥字节同」于「钥」于「所呈」则（
                若「撤钥」则「二」否则「一」）
              否则
                「零」）
            或有「可无」则「零」
也。

「验已知主机余行」乃
  化「字节串」而
  化「整数」而
  化「字节串」而
  化「字节串」而
  化「整数」而
  化「整数」而
  「整数」
也。
「验已知主机余行」者会「文」而会「位」而会「主机」而会「所呈」而会「已验」而会「余行」而
  若「等于」于「位」于（「字节串长度」于「文」）则
    「已验」
  否则若「等于」于「余行」于「零」则「二」
  否则
    虑「尾」者
      「已知主机行尾」于「文」于「位」于（「加」于「位」于「四零九七」）
    而
    若「大于」于（「减」于「尾」于「位」）于「四零九六」则
      「二」
    否则
      虑「净尾」者
        若「大于」于「尾」于「位」则（
          若「等于」
            于（「字节串取字节」于「文」于（「减」于「尾」于「一」））于「一三」则「减」
              于「尾」于「一」
          否则
            「尾」
        ）否则「尾」
      而
      虑「行」者
        「截取字节串」于「文」于「位」于（「减」于「净尾」于「位」）
      而
      虑「结果」者「验已知主机一行」于「行」于「主机」于「所呈」
      而
      若「等于」于「结果」于「二」则
        「二」
      否则
        虑「新验」者
          若「等于」于「结果」于「一」则「一」否则「已验」
        而
        若「等于」于「尾」于（「字节串长度」于「文」）则
          「新验」
        否则
          「验已知主机余行」
            于「文」
            于（「加」于「尾」于「一」）
            于「主机」于「所呈」于「新验」
            于（「减」于「余行」于「一」）
也。

「：文言：验已知主机簿所载之钥；撤钥先于任一信任。汉语：按精确主机名验证 known_hosts Ed25519 条目，任何匹配的 @revoked 条目优先否决。：」
「已知主机信任Ed25519钥吗」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  「爻」
也。
「已知主机信任Ed25519钥吗」者会「文」而会「主机」而会「所呈」而
  若「大于」于（「字节串长度」于「文」）于「二六二一四四」则
    「阴」
  否则若「等于」于（「字节串长度」于「主机」）于「零」则「阴」
  否则若「大于」于（「字节串长度」于「主机」）于「二五六」则「阴」
  否则若「不等于」于（「字节串长度」于「所呈」）于「五一」则
    「阴」
  否则若「等于」于（「验已知主机余行」于「文」于「零」于「主机」于「所呈」于「零」于「四零九六」）于「一」则「阳」
  否则
    「阴」
也。