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

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

「：文言：初握无加密无签，四字节长与报文合计须八字节齐。汉语：未启用加密和 MAC 时，从四字节报头求完整报文长度；校验最小 16 字节与 8 字节对齐。：」
「探明文报文总长」乃化「字节串」而（「或可有」于「整数」）也。
「探明文报文总长」者会「首部」而
  鉴「读取四字节无符号数」于「首部」于「零」而
    有（「可有」于「长度与终点」）则（
      虑「报长」者「长度与终点」中「零」而
      虑「总长」者「加」于「报长」于「四」而
      若「小于」于「总长」于「一六」则「可无」
      否则若「大于」于「报长」于「一零四八五七六」则
        「可无」
      否则若「不等于」于（「乘」于（「除以」于「总长」于「八」）于「八」）于「总长」则「可无」
      否则
        「可有」于「总长」
    ）
    或有「可无」则「可无」
也。

「：文言：未换钥前作无密无签之报，随机填充至少四字节。汉语：编码 SSH 初始明文报文；四字节长度加正文需按 8 字节对齐，随机填充至少 4 字节。：」
「编码明文报文」乃化「字节串」而「字节串」也。
「编码明文报文」者会「载荷」而
  虑「基础总长」者「加」于（「字节串长度」于「载荷」）于「九」而
  虑「余数」者
    「减」于「基础总长」于（「乘」于（「除以」于「基础总长」于「八」）于「八」）而
    虑「填长」者
      若「等于」于「余数」于「零」则「四」否则「减」于「一二」于「余数」
    而
    虑「报长」者
      「加」于（「加」于（「字节串长度」于「载荷」）于「一」）于「填长」
    而
    若「大于」于「报长」于「一零四八五七六」
    则
      「发生事故」授以「字节串」于『明文报文超过一兆字节』
    否则
      「拼接字节串」
        于（「编码四字节无符号数」于「报长」）
        于（「拼接字节串」
          于（「单字节串」于「填长」）
          于（「拼接字节串」于「载荷」于（「获取安全随机字节串」于「填长」）））
也。

「：文言：明文报长、齐数与填长皆核，败则无。汉语：解码完整的初始明文报文；无效长度、对齐或填充返回可无。：」
「解码明文报文」乃化「字节串」而（「或可有」于「字节串」）也。
「解码明文报文」者会「报文」而
  鉴「探明文报文总长」于「报文」而
    有（「可有」于「总长」）则（
      若「不等于」于（「字节串长度」于「报文」）于「总长」则「可无」
      否则
        虑「报长」者「减」于「总长」于「四」
        而
        虑「填长」者「字节串取字节」于「报文」于「四」
        而
        若「小于」于「填长」于「四」则
          「可无」
        否则若「大于」于「填长」于（「减」于「报长」于「一」）则
          「可无」
        否则
          「可有」于（「截取字节串」于「报文」于「五」于（「减」于（「减」于「报长」于「一」）于「填长」））
    ）
    或有「可无」则「可无」
也。

「：文言：造定数零字节，供计数进位。汉语：构造指定长度的零字节串，仅用于八字节计数尾部。：」
「造零字节」乃化「整数」而「字节串」也。
「造零字节」者会「数」而
  若「等于」于「数」于「零」则
    「空字节串」于「元」
  否则
    「拼接字节串」于（「单字节串」于「零」）于（「造零字节」于（「减」于「数」于「一」））
也。

「递增GCM计数位」乃化「字节串」而化「整数」而（「或可有」于「字节串」）也。
「递增GCM计数位」者会「随机数」而会「位」而
  若「小于」于「位」于「四」则
    「可无」
  否则
    虑「旧字」者「字节串取字节」于「随机数」于「位」而
    若「等于」于「旧字」于「二五五」则
      「递增GCM计数位」于「随机数」于（「减」于「位」于「一」）
    否则
      「可有」于（「拼接字节串」
        于（「截取字节串」于「随机数」于「零」于「位」）
        于（「拼接字节串」
          于（「单字节串」于（「加」于「旧字」于「一」））
          于（「造零字节」于（「减」于「一一」于「位」））））
也。

「：文言：前四字节恒，后八字节大端进一，满则无。汉语：推进 RFC 5647 的 12 字节 IV；仅递增后八字节，溢出或长度错误返回可无。：」
「下一GCM随机数」乃化「字节串」而（「或可有」于「字节串」）也。
「下一GCM随机数」者会「随机数」而
  若「不等于」于（「字节串长度」于「随机数」）于「一二」则
    「可无」
  否则
    「递增GCM计数位」于「随机数」于「一一」
也。

「必须下一GCM随机数」乃化「字节串」而「字节串」也。
「必须下一GCM随机数」者会「随机数」而
  鉴「下一GCM随机数」于「随机数」而
    有（「可有」于「下一」）则「下一」
    或有「可无」则
      「发生事故」授以「字节串」于『GCM 随机数无效或计数已满』
也。

「：文言：读四字节长，核块齐与上限，得全报所需字节数。汉语：从至少四字节的未认证报头求完整报文长度；非法或不足返回可无，最大 1 MiB 明文。：」
「探AES256GCM报文总长」乃化「字节串」而（「或可有」于「整数」）也。
「探AES256GCM报文总长」者会「首部」而
  鉴「读取四字节无符号数」于「首部」于「零」而
    有（「可有」于「长度与终点」）则（
      虑「报长」者「长度与终点」中「零」而
      若「小于」于「报长」于「一六」则「可无」
      否则若「大于」于「报长」于「一零四八五七六」则
        「可无」
      否则若「不等于」于（「乘」于（「除以」于「报长」于「一六」）于「一六」）于「报长」则
        「可无」
      否则
        「可有」于（「加」于「报长」于「二零」）
    ）
    或有「可无」则「可无」
也。

「：文言：以四字节长作附加文，随机填充而加密，还报文及后续 IV。汉语：编码完整 AES-256-GCM SSH 报文，随机填充至少 4 字节；返回报文和下一 IV。：」
「加密AES256GCM报文」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  （「字节串」合「字节串」）
也。
「加密AES256GCM报文」者会「钥」而会「随机数」而会「载荷」而
  虑「下一」者「必须下一GCM随机数」于「随机数」而
  虑「基础长」者「加」于（「字节串长度」于「载荷」）于「五」而
  虑「余数」者
    「减」于「基础长」于（「乘」于（「除以」于「基础长」于「一六」）于「一六」）而
    虑「填长」者
      若「等于」于「余数」于「零」则「四」否则「减」于「二零」于「余数」
    而
    虑「报长」者
      「加」于（「加」于（「字节串长度」于「载荷」）于「一」）于「填长」
    而
    若「大于」于「报长」于「一零四八五七六」
    则
      「发生事故」授以（「字节串」合「字节串」）于『GCM 报文超过一兆字节』
    否则
      虑「长文」者「编码四字节无符号数」于「报长」
      而
      虑「明文」者
        「拼接字节串」于（「单字节串」于「填长」）于（「拼接字节串」于「载荷」于（「获取安全随机字节串」于「填长」））
      而
      （「拼接字节串」于「长文」于（「加密AES256GCM」于「钥」于「随机数」于「长文」于「明文」））与「下一」
也。

「：文言：先核未验首部与整报长，再验签及填充；败则无。汉语：验证完整报文、GCM 标签与填充规则，成功才返回载荷和下一 IV。：」
「解密AES256GCM报文」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  （「或可有」于（「字节串」合「字节串」））
也。
「解密AES256GCM报文」者会「钥」而会「随机数」而会「报文」而
  鉴「下一GCM随机数」于「随机数」而
    有（「可有」于「下一」）则（
      鉴「探AES256GCM报文总长」于「报文」而
        有（「可有」于「总长」）则（
          若「不等于」于（「字节串长度」于「报文」）于「总长」则「可无」
          否则
            虑「报长」者「减」于「总长」于「二零」
            而
            虑「长文」者「截取字节串」于「报文」于「零」于「四」
            而
            虑「密文与签」者
              「截取字节串」于「报文」于「四」于（「加」于「报长」于「一六」）而
            鉴「解密AES256GCM」于「钥」于「随机数」于「长文」于「密文与签」而
              有（「可有」于「明文」）则（
                若「不等于」于（「字节串长度」于「明文」）于「报长」则
                  「可无」
                否则
                  虑「填长」者「字节串取字节」于「明文」于「零」
                  而
                  若「小于」于「填长」于「四」则
                    「可无」
                  否则若「大于」于「填长」于（「减」于「报长」于「一」）则
                    「可无」
                  否则
                    「可有」于（（「截取字节串」于「明文」于「一」于（「减」于（「减」于「报长」于「一」）于「填长」））
                      与「下一」）
              ）
              或有「可无」则「可无」
        ）
        或有「可无」则「可无」
    ）
    或有「可无」则「可无」
也。