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

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「安全外壳协议」之「二进制编码」之书。
寻观「安全外壳密码」之「原语」之书。
寻观「安全外壳协议」之「协商」之书。

「换钥逐字同」乃化「字节串」而化「字节串」而化「整数」而「爻」也。
「换钥逐字同」者会「甲」而会「乙」而会「位」而
  若「等于」于「位」于（「字节串长度」于「甲」）则
    「阳」
  否则若「等于」于（「字节串取字节」于「甲」于「位」）于（「字节串取字节」于「乙」于「位」）
  则
    「换钥逐字同」于「甲」于「乙」于（「加」于「位」于「一」）
  否则
    「阴」
也。

「换钥字节同」乃化「字节串」而化「字节串」而「爻」也。
「换钥字节同」者会「甲」而会「乙」而
  若「不等于」于（「字节串长度」于「甲」）于（「字节串长度」于「乙」）则
    「阴」
  否则
    「换钥逐字同」于「甲」于「乙」于「零」
也。

「：文言：曲线公值须三十二字节，以三十号消息送之。汉语：编码 curve25519 的 SSH_MSG_KEX_ECDH_INIT 载荷。：」
「编码曲线换钥初报」乃化「字节串」而「字节串」也。
「编码曲线换钥初报」者会「客户公钥」而
  若「不等于」于（「字节串长度」于「客户公钥」）于「三二」
  则
    「发生事故」授以「字节串」于『曲线公钥须三十二字节』
  否则
    「拼接字节串」于（「单字节串」于「三零」）于（「编码长度字节串」于「客户公钥」）
也。

「：文言：读三十号曲线初报，须一条三十二字节公值而无余字。汉语：服务端严格解析 SSH_MSG_KEX_ECDH_INIT，返回客户 X25519 公钥。：」
「读取曲线换钥初报」乃化「字节串」而（「或可有」于「字节串」）也。
「读取曲线换钥初报」者会「载荷」而
  若「小于」于（「字节串长度」于「载荷」）于「一」则
    「可无」
  否则若「不等于」于（「字节串取字节」于「载荷」于「零」）于「三零」则「可无」
  否则
    鉴「读取长度字节串」于「载荷」于「一」而
      有（「可有」于「公钥与位」）则（
        若「不等于」于（「字节串长度」于（「公钥与位」中「零」））于「三二」则
          「可无」
        否则若「不等于」于（「公钥与位」中「一」）于（「字节串长度」于「载荷」）则「可无」
        否则
          「可有」于（「公钥与位」中「零」）
      ）
      或有「可无」则「可无」
也。

「：文言：以私种所生 Ed25519 公钥书 SSH 主钥载物。汉语：从主机 Ed25519 私钥种子构造 ssh-ed25519 公钥 blob。：」
「编码Ed25519主钥载物」乃化「字节串」而「字节串」也。
「编码Ed25519主钥载物」者会「主种」而
  「拼接字节串」
    于（「编码长度字节串」于（「字符串转字节串」于『ssh-ed25519』））
    于（「编码长度字节串」于（「求Ed25519公钥」于「主种」））
也。

「编码Ed25519换钥签载物」乃化「字节串」而化「字节串」而「字节串」也。
「编码Ed25519换钥签载物」者会「主种」而会「交换哈希」而
  「拼接字节串」
    于（「编码长度字节串」于（「字符串转字节串」于『ssh-ed25519』））
    于（「编码长度字节串」于（「签Ed25519」于「主种」于「交换哈希」））
也。

「：文言：读三十一号回报，核三字段、曲线公值与尾界。汉语：解析完整 ECDH_REPLY，返回主机密钥 blob、服务端曲线公钥和签名 blob。：」
「读取曲线换钥回报」乃
  化「字节串」而
  （「或可有」于（「字节串」合「字节串」合「字节串」））
也。
「读取曲线换钥回报」者会「载荷」而
  若「小于」于（「字节串长度」于「载荷」）于「一」则
    「可无」
  否则若「不等于」于（「字节串取字节」于「载荷」于「零」）于「三一」则「可无」
  否则
    鉴「读取长度字节串」于「载荷」于「一」而
      有（「可有」于「主钥与位」）则（
        鉴「读取长度字节串」于「载荷」于（「主钥与位」中「一」）而
          有（「可有」于「公值与位」）则（
            若「不等于」于（「字节串长度」于（「公值与位」中「零」））于「三二」则
              「可无」
            否则
              鉴「读取长度字节串」于「载荷」于（「公值与位」中「一」）而
                有（「可有」于「签名与位」）则（
                  若「不等于」
                    于（「签名与位」中「一」）
                    于（「字节串长度」于「载荷」）则
                      「可无」
                  否则
                    「可有」于（（「主钥与位」中「零」）与（「公值与位」中「零」）与（「签名与位」中「零」））
                ）
                或有「可无」则「可无」
          ）
          或有「可无」则「可无」
      ）
      或有「可无」则「可无」
也。

「读取Ed25519体」乃化「字节串」而化「整数」而（「或可有」于「字节串」）也。
「读取Ed25519体」者会「载荷」而会「应长」而
  鉴「读取长度字节串」于「载荷」于「零」而
    有（「可有」于「名与位」）则（
      若「换钥字节同」于（「名与位」中「零」）于（「字符串转字节串」于『ssh-ed25519』）
      则
        鉴「读取长度字节串」于「载荷」于（「名与位」中「一」）而
          有（「可有」于「体与位」）则（
            若「不等于」于（「体与位」中「一」）于（「字节串长度」于「载荷」）则
              「可无」
            否则若「不等于」
              于（「字节串长度」于（「体与位」中「零」））于「应长」则「可无」
            否则
              「可有」于（「体与位」中「零」）
          ）
          或有「可无」则「可无」
      否则
        「可无」
    ）
    或有「可无」则「可无」
也。

「：文言：验 Ed25519 主钥格式。汉语：读取 ssh-ed25519 主机密钥 blob 中的 32 字节公钥。：」
「读取Ed25519主钥」乃化「字节串」而（「或可有」于「字节串」）也。
「读取Ed25519主钥」者会「载荷」而
  「读取Ed25519体」于「载荷」于「三二」
也。

「：文言：验 Ed25519 签名格式。汉语：读取 ssh-ed25519 签名 blob 中的 64 字节签名。：」
「读取Ed25519签名」乃化「字节串」而（「或可有」于「字节串」）也。
「读取Ed25519签名」者会「载荷」而
  「读取Ed25519体」于「载荷」于「六四」
也。

「：文言：七串与正 mpint 串次第相连，求其 SHA-256。汉语：计算 curve25519-sha256 的交换哈希 H；共享秘密按原始大端无符号字节转 SSH mpint。：」
「求曲线交换哈希」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  「字节串」
也。
「求曲线交换哈希」者
  会「客户版本」而
  会「服务版本」而
  会「客户协商」而
  会「服务协商」而
  会「主钥」而
  会「客户公钥」而
  会「服务公钥」而
  会「共密」而
  若「不等于」于（「字节串长度」于「客户公钥」）于「三二」则
    「发生事故」授以「字节串」于『客户曲线公钥须三十二字节』
  否则若「不等于」于（「字节串长度」于「服务公钥」）于「三二」则「发生事故」授以「字节串」
    于『服务曲线公钥须三十二字节』
  否则若「不等于」于（「字节串长度」于「共密」）于「三二」则
    「发生事故」授以「字节串」于『曲线共密须三十二字节』
  否则
    「求SHA256」于（「拼接字节串」
      于（「编码长度字节串」于「客户版本」）
      于（「拼接字节串」
        于（「编码长度字节串」于「服务版本」）
        于（「拼接字节串」
          于（「编码长度字节串」于「客户协商」）
          于（「拼接字节串」
            于（「编码长度字节串」于「服务协商」）
            于（「拼接字节串」
              于（「编码长度字节串」于「主钥」）
              于（「拼接字节串」
                于（「编码长度字节串」于「客户公钥」）
                于（「拼接字节串」于（「编码长度字节串」于「服务公钥」）于（「编码正数多字节」于「共密」））））））））
也。

「：文言：服务者依已核协商及曲线公值求共密、哈希，签而回三十一号报。汉语：生成服务端 ECDH_REPLY、X25519 共享秘密 K 和交换哈希 H；调用方仍须先核协商算法。：」
「生成曲线服务端回报」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  （「字节串」合「字节串」合「字节串」）
也。
「生成曲线服务端回报」者
  会「客户版本」而
  会「服务版本」而
  会「客户协商」而
  会「服务协商」而
  会「客户公钥」而
  会「服务私种」而
  会「主种」而
  若「协商载荷可用吗」于「客户协商」
  则
    （
      若「协商载荷可用吗」于「服务协商」
      则
        （
          若「不等于」于（「字节串长度」于「客户公钥」）于「三二」则
            「发生事故」授以（「字节串」合「字节串」合「字节串」）
            于『客户曲线公钥须三十二字节』
          否则
            虑「服务公钥」者「求X25519公钥」于「服务私种」
            而
            虑「共密」者「求X25519共密」于「服务私种」于「客户公钥」
            而
            虑「主钥」者「编码Ed25519主钥载物」于「主种」
            而
            虑「哈希」者
              「求曲线交换哈希」
                于「客户版本」
                于「服务版本」
                于「客户协商」
                于「服务协商」于「主钥」于「客户公钥」于「服务公钥」于「共密」
            而
            虑「签载」者「编码Ed25519换钥签载物」于「主种」于「哈希」
            而
            虑「回报」者
              「拼接字节串」
                于（「单字节串」于「三一」）
                于（「拼接字节串」
                  于（「编码长度字节串」于「主钥」）
                  于（「拼接字节串」于（「编码长度字节串」于「服务公钥」）于（「编码长度字节串」于「签载」）））
            而
            「回报」与「共密」与「哈希」
        ）
      否则
        「发生事故」授以（「字节串」合「字节串」合「字节串」）
        于『服务端协商载荷非法』
    ）
  否则
    「发生事故」授以（「字节串」合「字节串」合「字节串」）
    于『客户端协商载荷非法』
也。

「：文言：先比可信主钥，再验其于交换哈希之签。汉语：仅在主机密钥 blob 与预配置可信值完全相同、格式有效、签名有效时接受回复。：」
「验可信Ed25519回报」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  「爻」
也。
「验可信Ed25519回报」者会「主钥」而会「签名载荷」而会「交换哈希」而会「可信主钥」而
  若「不等于」于（「字节串长度」于「交换哈希」）于「三二」则
    「阴」
  否则若「换钥字节同」于「主钥」于「可信主钥」
  则
    （
      鉴「读取Ed25519主钥」于「主钥」而
        有（「可有」于「公钥」）则（
          鉴「读取Ed25519签名」于「签名载荷」而
            有（「可有」于「签名」）则
              「验Ed25519」于「公钥」于「交换哈希」于「签名」
            或有「可无」则「阴」
        ）
        或有「可无」则「阴」
    ）
  否则
    「阴」
也。