豫言源码浏览器 / 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

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「爻术」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数学运算」之「安全随机」之书。
寻观「安全外壳协议」之「二进制编码」之书。

「名称列续验」乃化「字节串」而化「整数」而化「整数」而「爻」也。
「名称列续验」者会「文」而会「位」而会「段长」而
  若「等于」于「位」于（「字节串长度」于「文」）则
    「大于」于「段长」于「零」
  否则
    虑「字」者「字节串取字节」于「文」于「位」而
    若「等于」于「字」于「四四」
    则
      （若「等于」于「段长」于「零」则「阴」否则「名称列续验」于「文」于（「加」于「位」于「一」）于「零」）
    否则若「小于」于「字」于「三三」则「阴」
    否则若「大于」于「字」于「一二六」则「阴」
    否则若「大于」于「段长」于「六三」则「阴」
    否则
      「名称列续验」于「文」于（「加」于「位」于「一」）于（「加」于「段长」于「一」）
也。

「：文言：名称列皆 ASCII，无空项，算法名至多六十四字节；语言列可空。汉语：验证 SSH 名称列，拒绝空元素、不可打印 ASCII 和超过 64 字节的名称。：」
「名称列可用吗」乃化「字节串」而化「爻」而「爻」也。
「名称列可用吗」者会「文」而会「允空」而
  若「等于」于（「字节串长度」于「文」）于「零」则
    「允空」
  否则
    「名称列续验」于「文」于「零」于「零」
也。

「寻逗号」乃化「字节串」而化「整数」而「整数」也。
「寻逗号」者会「文」而会「位」而
  若「等于」于「位」于（「字节串长度」于「文」）则
    「位」
  否则若「等于」于（「字节串取字节」于「文」于「位」）于「四四」则「位」
  否则
    「寻逗号」于「文」于（「加」于「位」于「一」）
也。

「片段同吗」乃化「字节串」而化「字节串」而化「整数」而化「整数」而「爻」也。
「片段同吗」者会「文」而会「名」而会「起」而会「位」而
  若「等于」于「位」于（「字节串长度」于「名」）则
    「阳」
  否则若「等于」于（「字节串取字节」于「文」于（「加」于「起」于「位」））
  于（「字节串取字节」于「名」于「位」）
  则
    「片段同吗」于「文」于「名」于「起」于（「加」于「位」于「一」）
  否则
    「阴」
也。

「名称列含名续」乃化「字节串」而化「字节串」而化「整数」而「爻」也。
「名称列含名续」者会「文」而会「名」而会「起」而
  若「等于」于「起」于（「字节串长度」于「文」）则
    「阴」
  否则
    虑「止」者「寻逗号」于「文」于「起」而
    若「等于」于（「减」于「止」于「起」）于（「字节串长度」于「名」）
    则
      （
        若「片段同吗」于「文」于「名」于「起」于「零」则「阳」
        否则若「等于」于「止」于（「字节串长度」于「文」）则「阴」
        否则
          「名称列含名续」于「文」于「名」于（「加」于「止」于「一」）
      ）
    否则若「等于」于「止」于（「字节串长度」于「文」）则「阴」
    否则
      「名称列含名续」于「文」于「名」于（「加」于「止」于「一」）
也。

「：文言：于合法名称列求定名，须全项同，非子文偶合。汉语：在有效的逗号分隔名称列中查找完整算法名。：」
「名称列含名吗」乃化「字节串」而化「字节串」而「爻」也。
「名称列含名吗」者会「文」而会「名」而
  若「名称列可用吗」于「文」于「阴」
  则
    （
      若「名称列可用吗」于「名」于「阴」
      则
        （
          若「不等于」
            于（「寻逗号」于「名」于「零」）
            于（「字节串长度」于「名」）
          则
            「阴」
          否则
            「名称列含名续」于「文」于「名」于「零」
        ）
      否则
        「阴」
    ）
  否则
    「阴」
也。

「读取协商列们」乃
  化「字节串」而
  化「整数」而
  化「整数」而
  （「或可有」于「整数」）
也。
「读取协商列们」者会「文」而会「位」而会「序」而
  若「等于」于「序」于「一零」则
    「可有」于「位」
  否则
    鉴「读取长度字节串」于「文」于「位」而
      有（「可有」于「项与位」）则（
        虑「项」者「项与位」中「零」
        而
        虑「新位」者「项与位」中「一」
        而
        若「名称列可用吗」于「项」于（「大于」于「序」于「七」）
        则
          「读取协商列们」于「文」于「新位」于（「加」于「序」于「一」）
        否则
          「可无」
      ）
      或有「可无」则「可无」
也。

「：文言：核二十号消息、十名称列、猜测位及保留字，不许余字。汉语：结构性验证完整 SSH_MSG_KEXINIT 载荷，包含十个名称列和最后五字节。：」
「协商载荷可用吗」乃化「字节串」而「爻」也。
「协商载荷可用吗」者会「文」而
  若「小于」于（「字节串长度」于「文」）于「六二」则
    「阴」
  否则若「不等于」于（「字节串取字节」于「文」于「零」）于「二零」则「阴」
  否则
    鉴「读取协商列们」于「文」于「一七」于「零」而
      有（「可有」于「末位」）则（
        若「不等于」于（「加」于「末位」于「五」）于（「字节串长度」于「文」）则
          「阴」
        否则若「大于」于（「字节串取字节」于「文」于「末位」）于「一」则
          「阴」
        否则
          鉴「读取四字节无符号数」于「文」于（「加」于「末位」于「一」）而
            有（「可有」于「保留与终点」）则（
              若「不等于」于（「保留与终点」中「零」）于「零」则
                「阴」
              否则
                「等于」于（「保留与终点」中「一」）于（「字节串长度」于「文」）
            ）
            或有「可无」则「阴」
      ）
      或有「可无」则「阴」
也。

「读取指定协商列」乃
  化「字节串」而
  化「整数」而
  化「整数」而
  化「整数」而
  （「或可有」于「字节串」）
也。
「读取指定协商列」者会「文」而会「位」而会「序」而会「目标」而
  鉴「读取长度字节串」于「文」于「位」而
    有（「可有」于「项与位」）则（
      若「等于」于「序」于「目标」则
        「可有」于（「项与位」中「零」）
      否则
        「读取指定协商列」于「文」于（「项与位」中「一」）于（「加」于「序」于「一」）于「目标」
    ）
    或有「可无」则「可无」
也。

「：文言：十名称列以零起序可取，必先核全载荷。汉语：获取完整有效 KEXINIT 的第 0 至 9 个名称列原始字节。：」
「读取协商名称列」乃化「字节串」而化「整数」而（「或可有」于「字节串」）也。
「读取协商名称列」者会「文」而会「目标」而
  若「小于」于「目标」于「零」则
    「可无」
  否则若「大于」于「目标」于「九」则「可无」
  否则若「协商载荷可用吗」于「文」
  则
    「读取指定协商列」于「文」于「一七」于「零」于「目标」
  否则
    「可无」
也。

「编码协商列们」乃化（「列」于「字节串」）而化「整数」而「字节串」也。
「编码协商列们」者会「列们」而会「序」而
  鉴「列们」而
    有「罄」则「空字节串」于「元」
    或有（「缀」于「首」于「尾」）则（
      若「名称列可用吗」于「首」于（「大于」于「序」于「七」）
      则
        「拼接字节串」于（「编码长度字节串」于「首」）于（「编码协商列们」于「尾」于（「加」于「序」于「一」））
      否则
        「发生事故」授以「字节串」于『协商名称列非法』
    ）
也。

「：文言：十列依序入载荷，随机饼十六字节，末猜测阴及保留零。汉语：按 RFC 4253 编码 KEXINIT 载荷，要求恰好十个名称列。：」
「编码协商载荷」乃化（「列」于「字节串」）而「字节串」也。
「编码协商载荷」者会「列们」而
  若「不等于」于（「长度」授以「字节串」于「列们」）于「一零」
  则
    「发生事故」授以「字节串」于『协商名称列须恰有十项』
  否则
    虑「首」者
      「拼接字节串」于（「单字节串」于「二零」）于（「获取安全随机字节串」于「一六」）
    而
    虑「列文」者「编码协商列们」于「列们」于「零」而
    「拼接字节串」
      于「首」
      于（「拼接字节串」于「列文」于（「拼接字节串」于（「单字节串」于「零」）于（「编码四字节无符号数」于「零」）））
也。

「：文言：本端客户初议曲线、主钥、GCM 与无压缩。汉语：生成仅提出已实现方向的客户端 KEXINIT 候选清单；尚须完成密钥交换后才能进入会话。：」
「本端客户协商载荷」乃化「有」而「字节串」也。
「本端客户协商载荷」者会「无」而
  「编码协商载荷」于（「列」【
    「字符串转字节串」于『curve25519-sha256,curve25519-sha256@libssh.org』，
    「字符串转字节串」于『ssh-ed25519』，
    「字符串转字节串」于『aes256-gcm@openssh.com』，
    「字符串转字节串」于『aes256-gcm@openssh.com』，
    「字符串转字节串」于『hmac-sha2-256』，
    「字符串转字节串」于『hmac-sha2-256』，
    「字符串转字节串」于『none』，
    「字符串转字节串」于『none』，
    「空字节串」于「元」，
    「空字节串」于「元」
  】）
也。

「：文言：本端服务者仅陈已备之曲线、Ed25519、GCM 与无压缩。汉语：生成服务端 KEXINIT 候选清单，使用独立随机 cookie。：」
「本端服务协商载荷」乃化「有」而「字节串」也。
「本端服务协商载荷」者会「无」而
  「编码协商载荷」于（「列」【
    「字符串转字节串」于『curve25519-sha256,curve25519-sha256@libssh.org』，
    「字符串转字节串」于『ssh-ed25519』，
    「字符串转字节串」于『aes256-gcm@openssh.com』，
    「字符串转字节串」于『aes256-gcm@openssh.com』，
    「字符串转字节串」于『hmac-sha2-256』，
    「字符串转字节串」于『hmac-sha2-256』，
    「字符串转字节串」于『none』，
    「字符串转字节串」于『none』，
    「空字节串」于「元」，
    「空字节串」于「元」
  】）
也。