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

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

「断言」乃化「爻」而「有」也。
「断言」者会「条件」而若「条件」则「打印行」于『密码检查已通过』否则「发生事故」授以「有」于『密码向量不符』也。

「：文言：惟认小写十六进制数码；汉语：测试向量只接受小写 ASCII 十六进制。：」
「十六进制数码」乃化「整数」而「整数」也。
「十六进制数码」者会「字」而
    若「小于」于「字」于「四八」则「发生事故」授以「整数」于『十六进制字节错误』
    否则若「小于」于「字」于「五八」则「减」于「字」于「四八」
    否则若「小于」于「字」于「九七」则「发生事故」授以「整数」于『十六进制字节错误』
    否则若「小于」于「字」于「一零三」则「加」于（「减」于「字」于「九七」）于「一零」
    否则「发生事故」授以「整数」于『十六进制字节错误』
也。

「逐字节解十六进制」乃化「字节串」而化「整数」而「字节串」也。
「逐字节解十六进制」者会「原文」而会「起点」而
    若「等于」于「起点」于（「字节串长度」于「原文」）
    则「空字节串」于「元」
    否则虑「高」者「十六进制数码」于（「字节串取字节」于「原文」于「起点」）而
        虑「低」者「十六进制数码」于（「字节串取字节」于「原文」于（「加」于「起点」于「一」））而
        「拼接字节串」于（「单字节串」于（「加」于（「乘」于「高」于「一六」）于「低」））于
            （「逐字节解十六进制」于「原文」于（「加」于「起点」于「二」））
也。

「解十六进制」乃化「字符串」而「字节串」也。
「解十六进制」者会「原文」而
    虑「字节」者「字符串转字节串」于「原文」而
    虑「长度」者「字节串长度」于「字节」而
    若「不等于」于（「乘」于（「除以」于「长度」于「二」）于「二」）于「长度」
    则「发生事故」授以「字节串」于『十六进制长度须为偶数』
    否则「逐字节解十六进制」于「字节」于「零」
也。

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

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

「验向量」乃化「有」而「整数」也。
「验向量」者会「无」而
    虑「空」者「空字节串」于「元」而
    虑「验」者「字节同吗」于（「求SHA256」于「空」）于
        （「解十六进制」于『e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855』）而
    虑「甲私」者「解十六进制」于『77076d0a7318a57d3c16c17251b26645df4c2f87ebc0992ab177fba51db92c2a』而
    虑「甲公」者「解十六进制」于『8520f0098930a754748b7ddcb43ef75a0dbf3a0d26381af4eba4a98eaa9b4e6a』而
    虑「乙私」者「解十六进制」于『5dab087e624a8a4b79e17f8b83800ee66f3bb1292618b6fd1c2f8b27ff88e0eb』而
    虑「乙公」者「解十六进制」于『de9edb7d7b7dc1b4d35b61c2ece435373f8343c85b78674dadfc7e146f882b4f』而
    虑「共密」者「解十六进制」于『4a5d9d5ba4ce2de1728e3bf480350f25e07e21c947d19e3376f09b3c1e161742』而
    虑「验」者「且」于「验」于（「字节同吗」于（「求X25519公钥」于「甲私」）于「甲公」）而
    虑「验」者「且」于「验」于（「字节同吗」于（「求X25519公钥」于「乙私」）于「乙公」）而
    虑「验」者「且」于「验」于（「字节同吗」于（「求X25519共密」于「甲私」于「乙公」）于「共密」）而
    虑「验」者「且」于「验」于（「字节同吗」于（「求X25519共密」于「乙私」于「甲公」）于「共密」）而
    虑「签私」者「解十六进制」于『9d61b19deffd5a60ba844af492ec2cc44449c5697b326919703bac031cae7f60』而
    虑「签公」者「解十六进制」于『d75a980182b10ab7d54bfed3c964073a0ee172f3daa62325af021a68f707511a』而
    虑「签文」者「解十六进制」于『e5564300c360ac729086e2cc806e828a84877f1eb8e5d974d873e065224901555fb8821590a33bacc61e39701cf9b46bd25bf5f0595bbe24655141438e7a100b』而
    虑「验」者「且」于「验」于（「字节同吗」于（「求Ed25519公钥」于「签私」）于「签公」）而
    虑「验」者「且」于「验」于（「字节同吗」于（「签Ed25519」于「签私」于「空」）于「签文」）而
    虑「验」者「且」于「验」于（「验Ed25519」于「签公」于「空」于「签文」）而
    若「且」于「验」于（若「验Ed25519」于「签公」于（「单字节串」于「零」）于「签文」则「阴」否则「阳」）
    则「九」否则「零」
也。

「解密同吗」乃化（「或可有」于「字节串」）而化「字节串」而「爻」也。
「解密同吗」者会「结果」而会「预期」而
    鉴「结果」而
    有（「可有」于「明文」）则「字节同吗」于「明文」于「预期」
    或有「可无」则「阴」
也。

「拒绝伪造吗」乃化（「或可有」于「字节串」）而「爻」也。
「拒绝伪造吗」者会「结果」而
    鉴「结果」而
    有「可无」则「阳」
    或有（「可有」于「明文」）则「阴」
也。

「：文言：取 NIST GCM-AES256 定向量，兼验伪签拒绝。汉语：验证空明文、非空明文、附加数据及认证失败路径。：」
「验GCM向量」乃化「整数」而「爻」也。
「验GCM向量」者会「先验数」而
    虑「验」者「等于」于「先验数」于「九」而
    虑「钥」者「解十六进制」于『feffe9928665731c6d6a8f9467308308feffe9928665731c6d6a8f9467308308』而
    虑「随机数」者「解十六进制」于『cafebabefacedbaddecaf888』而
    虑「空」者「空字节串」于「元」而
    虑「空签」者「解十六进制」于『fd2caa16a5832e76aa132c1453eeda7e』而
    虑「验」者「且」于「验」于（「字节同吗」于（「加密AES256GCM」于「钥」于「随机数」于「空」于「空」）于「空签」）而
    虑「验」者「且」于「验」于（「解密同吗」于（「解密AES256GCM」于「钥」于「随机数」于「空」于「空签」）于「空」）而
    虑「正文」者「解十六进制」于『d9313225f88406e5a55909c5aff5269a86a7a9531534f7da2e4c303d8a318a721c3c0c95956809532fcf0e2449a6b525b16aedf5aa0de657ba637b391aafd255』而
    虑「密文」者「解十六进制」于『522dc1f099567d07f47f37a32a84427d643a8cdcbfe5c0c97598a2bd2555d1aa8cb08e48590dbb3da7b08b1056828838c5f61e6393ba7a0abcc9f662898015adb094dac5d93471bdec1a502270e3cc6c』而
    虑「验」者「且」于「验」于（「字节同吗」于（「加密AES256GCM」于「钥」于「随机数」于「空」于「正文」）于「密文」）而
    虑「验」者「且」于「验」于（「解密同吗」于（「解密AES256GCM」于「钥」于「随机数」于「空」于「密文」）于「正文」）而
    虑「伪签」者「拼接字节串」于（「截取字节串」于「密文」于「零」于「七九」）于（「单字节串」于「零」）而
    虑「验」者「且」于「验」于（「拒绝伪造吗」于（「解密AES256GCM」于「钥」于「随机数」于「空」于「伪签」））而
    虑「附加文」者「解十六进制」于『3ad77bb40d7a3660a89ecaf32466ef97f5d3d58503b9699de785895a96fdbaaf43b1cd7f598ece23881b00e3ed0306887b0c785e27e8ad3f8223207104725dd4』而
    虑「附加签」者「解十六进制」于『de34b6dcd4cee2fdbec3cea01af1ee44』而
    虑「验」者「且」于「验」于（「字节同吗」于（「加密AES256GCM」于「钥」于「随机数」于「附加文」于「空」）于「附加签」）而
    虑「验」者「且」于「验」于（「解密同吗」于（「解密AES256GCM」于「钥」于「随机数」于「附加文」于「附加签」）于「空」）而
    虑「验」者「且」于「验」于（「拒绝伪造吗」于（「解密AES256GCM」于「钥」于「随机数」于「空」于「附加签」））而
    「且」于「验」于（「拒绝伪造吗」于（「解密AES256GCM」于「钥」于「随机数」于「空」于（「单字节串」于「零」）））
也。

虑「无」者「断言」于（「验GCM向量」于（「验向量」于「元」））而
「打印行」于『密码向量测试完成』。