実装できた!! ビットカウントが違ってた。 それに依存して計算してた割り算が違った。 昨日までに乗法のアルゴリズムまでを変えて、 超楕円Pairingだけあってたけど、これでModifiedTateも動いた。 EtaTを再検証してTateを直して有限体演算を高速化すれば論…

道歩いててゴルゴの後ろに偶然立ってしまったらやべぇな!! って思った。 サバゲーしたい。