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

寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「云工宿主」之「密码」之书。
寻观「云工宿主」之「字节」之书。

「：文言：字节先验其数，逾宿主交换之限则告事故；摘要凡三十二字节，逐字节书为二位小写十六进制。汉语：对任意字节串计算 SHA-256；输入不得超过宿主值桥的 16 MiB 交换上限，否则抛出豫言异常，摘要经共用的小写十六进制转换输出。：」
「摘要SHA256字节十六进制」乃化「字节串」而「字符串」也。
「摘要SHA256字节十六进制」者会「字」而
  若「大于」于（「字节串长度」于「字」）于「一六七七七二一六」则
    「发生事故」授以「字符串」于『SHA-256 输入超过 16 MiB』
  否则
    虑「摘」者「云工密码摘要」于『SHA-256』于「字」
    而
    若「非」于（「等于」于（「字节串长度」于「摘」）于「三二」）则
      「发生事故」授以「字符串」于『SHA-256 摘要长度无效』
    否则
      「字节串转小写十六进制」于「摘」
也。

「：文言：文字之摘要即其 UTF-8 原字节之摘要。汉语：字符串按原有 UTF-8 字节交给字节摘要，二函数结果恒同。：」
「摘要SHA256十六进制」乃化「字符串」而「字符串」也。
「摘要SHA256十六进制」者会「文」而
  「摘要SHA256字节十六进制」于（「字符串转字节串」于「文」）
也。

「：文言：长异则阴；长同则遍历每字节，以差之平方相积，终以积零为等，不设提前退出之支。汉语：不使用平台专有的 timingSafeEqual；长度相同时循环次数只取决于长度，差异以平方累加，避免依赖数据的分支；这是尽力恒时的豫言实现，编译器与宿主不保证严格恒时。：」
「恒时相等文字」乃化「字符串」而化「字符串」而「爻」也。
「恒时相等文字」者会「甲」而会「乙」而
  虑「长」者「字节长度」于「甲」而
  若「非」于（「等于」于「长」于（「字节长度」于「乙」））则
    「阴」
  否则
    虑「字甲」者「字符串转字节串」于「甲」
    而
    虑「字乙」者「字符串转字节串」于「乙」而
    递归虑「累」其化「整数」而化「整数」而「整数」者会「位」而
      会「差」
  而
  若「等于」于「位」于「长」则
    「差」
  否则
    虑「异」者
      「减」于（「字节串取字节」于「字甲」于「位」）于（「字节串取字节」于「字乙」于「位」）
    而
    「累」于（「加」于「位」于「一」）于（「加」于「差」于（「乘」于「异」于「异」））
    而
    「等于」于（「累」于「零」于「零」）于「零」
也。