Elliptic curve 2-cycle realize pipeline: constructs CM-method curve pairs over p = 2^255-19 for recursive proof composition (IVC/SNARK/FCMP++). Finds polynomial roots over finite fields, converts class invariants to j-invariants, and emits short Weierstrass parameters with twist security analysis
cryptography cmake curve25519 finite-fields cpp17 elliptic-curves gmp number-theory ntl polynomial-roots snark complex-multiplication weierstrass-curves ivc fcmp recursive-proofs class-polynomials modular-polynomials twist-security proof-composition
-
Updated
Apr 13, 2026 - C++