この記事はCTF Advent Calendar 2022 - Adventarの12/221分の記事です。昨日はれっくすさんのCTFプレイヤーにアンケート取ってなんかやりたくない?(結果編) - rex-gsでした。標本がCTFプレイヤーに偏っているとは言え、興味深い結果だと思いつつ楽しく読んでいたら、最後にバトンパスされて自分が担当なことを思い出しました。リマインドありがとうございます。
yoshi-camp 2022 winter 参加記 (SIDH編)
HKZ簡約基底の存在性の証明
※ Typo、記号や添字の誤り、そもそも証明の誤りがありましたら、Twitter (@Xornet_)へリプライかDM(誰でも送れます)を飛ばすか、このブログのリポジトリでIssueを立てたりプルリクを送ったりしてください。
読者が格子についての知識をある程度有している前提で書いてます。下記のサイトや書籍を読んでいると読みやすいと思います。
CMRGを予測する
序文 §
いつものupsolveのネタが尽きてきたので重めの問題(pbctf 2021 - Yet Another PRNG)をやろうとしたら、参考となっている論文が面白かったので紹介するついでにPoCを書きます
Meissel-Lehmerのアルゴリズム
序文 §
面白いアルゴリズムを探すために、最近教えてもらったLibrary Checkerを眺めていたら素数計数関数 $\pi(x)$を$x$までの素数を列挙するより速く計算する方法があることが判明したので紹介します。