豫言源码浏览器 / Source Browser

浏览项目文件与源码

yuyan · 76 行 · 4512 字节 · UTF-8
§
寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「可选值」之书。

「:文言:求原字节之 SHA-256,得三十二字节。汉语:计算原始字节的 SHA-256 摘要,返回 32 字节。:」
「求SHA256」乃化「字节串」而「字节串」也。
「求SHA256」者会「内容」而
  《《外调》》名『豫言_密码_SHA256』传「内容」
也。

「:文言:以二十字盐为钥,求主机名之 HMAC-SHA1。汉语:仅用于 OpenSSH 已知主机哈希名匹配;盐须为 20 字节,主机名至多 256 字节。:」
「求已知主机HMACSHA1」乃化「字节串」而化「字节串」而「字节串」也。
「求已知主机HMACSHA1」者会「盐」而会「主机」而
  《《外调》》名『豫言_密码_已知主机HMACSHA1』传「盐」与「主机」
也。

「:文言:以三十二字节私种求 X25519 公钥。汉语:从 32 字节私钥种子导出 32 字节 X25519 公钥。:」
「求X25519公钥」乃化「字节串」而「字节串」也。
「求X25519公钥」者会「私种」而
  《《外调》》名『豫言_密码_X25519公钥』传「私种」
也。

「:文言:以私种及对方公钥求共密,拒全零。汉语:计算 X25519 共享秘密,拒绝全零结果;两个输入均须为 32 字节。:」
「求X25519共密」乃化「字节串」而化「字节串」而「字节串」也。
「求X25519共密」者会「私种」而会「对方公钥」而
  《《外调》》名『豫言_密码_X25519共密』传「私种」与「对方公钥」
也。

「:文言:以三十二字节私种求 Ed25519 公钥。汉语:从 32 字节私钥种子导出 32 字节 Ed25519 公钥。:」
「求Ed25519公钥」乃化「字节串」而「字节串」也。
「求Ed25519公钥」者会「私种」而
  《《外调》》名『豫言_密码_Ed25519公钥』传「私种」
也。

「:文言:以私种签原文,得六十四字节。汉语:使用 32 字节 Ed25519 私钥种子对原始消息签名,返回 64 字节签名。:」
「签Ed25519」乃化「字节串」而化「字节串」而「字节串」也。
「签Ed25519」者会「私种」而会「正文」而
  《《外调》》名『豫言_密码_Ed25519签』传「私种」与「正文」
也。

「:文言:验公钥、原文及签名;真返阳,伪返阴。汉语:验证 32 字节公钥、原始消息和 64 字节签名;无效签名返回阴。:」
「验Ed25519」乃化「字节串」而化「字节串」而化「字节串」而「爻」也。
「验Ed25519」者会「公钥」而会「正文」而会「签名」而
  《《外调》》名『豫言_密码_Ed25519验』传「公钥」与「正文」与「签名」
也。

「:文言:以三十二字节钥、十二字节 IV、附加文及明文施 AES-256-GCM,密文后接十六字节签。汉语:AES-256-GCM 加密,返回密文与 16 字节标签;同一密钥下 IV 绝不可重复。:」
「加密AES256GCM」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  「字节串」
也。
「加密AES256GCM」者会「钥」而会「随机数」而会「附加文」而会「明文」而
  《《外调》》名『豫言_密码_AES256GCM加密』传「钥」与「随机数」与「附加文」与「明文」
也。

「:文言:验密文及签,败则无,成则还明文;不泄未验之文。汉语:AES-256-GCM 解密并认证;标签无效或输入不足时返回可无,不返回未认证明文。:」
「解密AES256GCM」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  (「或可有」于「字节串」)
也。
「解密AES256GCM」者会「钥」而会「随机数」而会「附加文」而会「密文与签」而
  虑「原生结果」者
    (「字节串」也《《外调》》名『豫言_密码_AES256GCM解密结果』传「钥」与「随机数」与「附加文」与「密文与签」)而
  若「等于」于(「字节串取字节」于「原生结果」于「零」)于「一」
  则
    「可有」于(「截取字节串」于「原生结果」于「一」于(「减」于(「字节串长度」于「原生结果」)于「一」))
  否则
    「可无」
也。