code-reading koba がコードリーディング、勉強などをして分かった結果をまとめる。 目次 アルゴリズム 暗号理論関係 Schoof のアルゴリズム ペアリング曲線の構成について OpenSSH における ed25519 の実装 (@V_8_8_P1) Smart-attack 乱数源 (シードフレーズなど) から鍵を導出する BIP 32 素数位数の群を高速に実現する Ristretto (ristretto255) について 楕円曲線などへのハッシュ関数 (hash_to_curve) を一定時間で計算する Reed-Solomon 符号の実装 素数性の証明アルゴリズム ECPP gzip, deflate フォーマットの中身 データ構造 Linked Hash Map (linked_hash_map:0.5.4) 論理・型理論 Java Generics are Turing Complete (2016) generic-array:0.14.4 (Rust) 直観主義命題論理の disjunction property について 数学 フィボナッチ数の平方数は 0, 1, 144 のみ モジュラー曲線について このリポジトリーのポリシー 外部から頂いた PR はマージしない。 誤字脱字などを見つけていただいた際に PR などを頂くのは歓迎するが、その変更を自分でコミットしてその PR はマージせずに閉じる。 何かを書いてほしいという要望は受け付けない。 誤字脱字の指摘は PR か各種 SNS のアカウントまで。