HKZ簡約基底の存在性の証明

※ Typo、記号や添字の誤り、そもそも証明の誤りがありましたら、Twitter (@Xornet_Euphoria)へリプライかDM(誰でも送れます)を飛ばすか、このブログのリポジトリでIssueを立てたりプルリクを送ったりしてください。

読者が格子についての知識をある程度有している前提で書いてます。下記のサイトや書籍を読んでいると読みやすいと思います。

Read more  ↩︎

CMRGを予測する

序文 §

いつものupsolveのネタが尽きてきたので重めの問題(pbctf 2021 - Yet Another PRNG)をやろうとしたら、参考となっている論文が面白かったので紹介するついでにPoCを書きます

Read more  ↩︎

Meissel-Lehmerのアルゴリズム

序文 §

面白いアルゴリズムを探すために、最近教えてもらったLibrary Checkerを眺めていたら素数計数関数 $\pi(x)$を$x$までの素数を列挙するより速く計算する方法があることが判明したので紹介します。

Read more  ↩︎

Berlekamp-Welchのアルゴリズム

序文 §

LFSRの勉強をしていた際に、Berlekamp-Messeyのアルゴリズムが出てきたのでそれ関連でリードソロモン符号について調べてみたら、結構凄さを感じたアルゴリズムだったので紹介します。

Read more  ↩︎

Coppersmith's Attackを再実装する

序文 §

模範的なCryptoプレイヤーなので、突如Coppersmith's Attackを実装していない事に恐れを抱いてしまった。というわけで再実装をする。

Read more  ↩︎