まだ未実装
- Richelot isogeny (FromJacToJac)
- FromJacToProd と δ = 0 test
- ラストステップの Bob's key のブルートフォース
- y^2 = x^3 + 6x^2 + x 型の曲線の distortion map
- 7.3 の speedup を実装する (prolong part)
- Richelot isogeny の計算で [Sabrina Kunzweiler."Efficient Computation of (2n, 2n)-Isogenies"] の高速化を実装
- FromProdToJac で [Rémy Oudompheng,Giacomo Pope."A Note on Reimplementing the Castryck-Decru Attack and Lessons Learned for SageMath"] の高速化を実装