豫言源码浏览器 / Source Browser

浏览项目文件与源码

yuyan · 90 行 · 5149 字节 · UTF-8
§
寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「安全外壳协议」之「二进制编码」之书。
寻观「安全外壳密码」之「原语」之书。

「续派密钥材料」乃化「字节串」而化「字节串」而化「整数」而「字节串」也。
「续派密钥材料」者会「前缀」而会「已得」而会「所需」而
  若「大于」于(「字节串长度」于「已得」)于(「减」于「所需」于「一」)则
    「已得」
  否则
    虑「后段」者「求SHA256」于(「拼接字节串」于「前缀」于「已得」)而
    「续派密钥材料」于「前缀」于(「拼接字节串」于「已得」于「后段」)于「所需」
也。

「:文言:依 RFC 4253 第七点二节,以 mpint 共密、哈希、方向字及首会话号派钥;长于摘要者续展。汉语:按 SSH SHA-256 KDF 派生指定长度的材料;方向字限 A 至 F,session_id 为首次交换哈希。:」
「派生SSH密钥材料」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「整数」而
  化「整数」而
  「字节串」
也。
「派生SSH密钥材料」者会「共密」而会「交换哈希」而会「会话号」而会「方向字」而会「所需」而
  若「不等于」于(「字节串长度」于「共密」)于「三二」则
    「发生事故」授以「字节串」于『曲线共密须三十二字节』
  否则若「不等于」于(「字节串长度」于「交换哈希」)于「三二」则「发生事故」授以「字节串」
    于『交换哈希须三十二字节』
  否则若「不等于」于(「字节串长度」于「会话号」)于「三二」则「发生事故」授以「字节串」
    于『会话号须三十二字节』
  否则若「小于」于「方向字」于「六五」则「发生事故」授以「字节串」
  于『派钥方向字须为 A 至 F』
  否则若「大于」于「方向字」于「七零」则「发生事故」授以「字节串」
  于『派钥方向字须为 A 至 F』
  否则若「小于」于「所需」于「一」则「发生事故」授以「字节串」
  于『派钥长度须为正』
  否则若「大于」于「所需」于「一零二四」则「发生事故」授以「字节串」
  于『派钥长度超过上限』
  否则
    虑「前缀」者
      「拼接字节串」于(「编码正数多字节」于「共密」)于「交换哈希」
    而
    虑「首段」者
      「求SHA256」于(「拼接字节串」于「前缀」于(「拼接字节串」于(「单字节串」于「方向字」)于「会话号」))
    而
    「截取字节串」于(「续派密钥材料」于「前缀」于「首段」于「所需」)于「零」于「所需」
也。

「:文言:取客户发往服务之 AES-256-GCM 三十二字节钥与十二字节 IV。汉语:派生客户端发送方向的 AES-256-GCM 密钥与初始 IV。:」
「派生客户发送GCM钥」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  (「字节串」合「字节串」)
也。
「派生客户发送GCM钥」者会「共密」而会「交换哈希」而会「会话号」而
  (「派生SSH密钥材料」于「共密」于「交换哈希」于「会话号」于「六七」于「三二」)
    与
    (「派生SSH密钥材料」于「共密」于「交换哈希」于「会话号」于「六五」于「一二」)
也。

「:文言:取服务发往客户之 AES-256-GCM 三十二字节钥与十二字节 IV。汉语:派生客户端接收方向的 AES-256-GCM 密钥与初始 IV。:」
「派生客户接收GCM钥」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  (「字节串」合「字节串」)
也。
「派生客户接收GCM钥」者会「共密」而会「交换哈希」而会「会话号」而
  (「派生SSH密钥材料」于「共密」于「交换哈希」于「会话号」于「六八」于「三二」)
    与
    (「派生SSH密钥材料」于「共密」于「交换哈希」于「会话号」于「六六」于「一二」)
也。

「:文言:新钥消息惟一字二十一。汉语:生成 SSH_MSG_NEWKEYS 载荷,须用旧报文算法发送。:」
「编码启用新钥载荷」乃化「有」而「字节串」也。
「编码启用新钥载荷」者会「无」而
  「单字节串」于「二一」
也。

「:文言:新钥载荷须恰一字二十一。汉语:验证 SSH_MSG_NEWKEYS 载荷,无尾随数据。:」
「启用新钥载荷可用吗」乃化「字节串」而「爻」也。
「启用新钥载荷可用吗」者会「载荷」而
  若「不等于」于(「字节串长度」于「载荷」)于「一」则
    「阴」
  否则
    「等于」于(「字节串取字节」于「载荷」于「零」)于「二一」
也。