Pairing

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