koba-e964 / code-reading

コードリーディングした結果わかったことをまとめる。gist だと一覧性に欠け管理しにくいので git で管理する。

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)
• 数学
  • フィボナッチ数の平方数は 0, 1, 144 のみ
  • モジュラー曲線について

このリポジトリーのポリシー

• 外部から頂いた PR はマージしない。
• 誤字脱字などを見つけていただいた際に PR などを頂くのは歓迎するが、その変更を自分でコミットしてその PR はマージせずに閉じる。
• 何かを書いてほしいという要望は受け付けない。
• 誤字脱字の指摘は PR か各種 SNS のアカウントまで。