constantine/sage
Mamy Ratsimbazafy 4a308c2148
Frobenius endomorphism ψ = φ−1 πp φ (psi = untwist-Frobenius-Twist) (#78)
* Sage script for frobenius isogeny

* Implement ψ (Psi) - Untwist-Frobenius-Twist Endomorphism on G2

* Implement sparse mul for frpbenius endomorphism

* Implement optimized psi2
2020-08-31 23:18:48 +02:00
..
README.md Add sage script for BN and BLS12 curve families 2020-03-21 15:50:39 +01:00
curve_family_bls12.sage Frobenius endomorphism ψ = φ−1 πp φ (psi = untwist-Frobenius-Twist) (#78) 2020-08-31 23:18:48 +02:00
curve_family_bn.sage Frobenius endomorphism ψ = φ−1 πp φ (psi = untwist-Frobenius-Twist) (#78) 2020-08-31 23:18:48 +02:00
frobenius_bls12_377.sage Frobenius endomorphism ψ = φ−1 πp φ (psi = untwist-Frobenius-Twist) (#78) 2020-08-31 23:18:48 +02:00
frobenius_bls12_381.sage Frobenius endomorphism ψ = φ−1 πp φ (psi = untwist-Frobenius-Twist) (#78) 2020-08-31 23:18:48 +02:00
frobenius_bn254_snarks.sage Frobenius endomorphism ψ = φ−1 πp φ (psi = untwist-Frobenius-Twist) (#78) 2020-08-31 23:18:48 +02:00
lattice_decomposition_bls12_381_g1.sage cleanups [skip ci] 2020-08-25 01:01:38 +02:00
lattice_decomposition_bn254_snarks_g1.sage cleanups [skip ci] 2020-08-25 01:01:38 +02:00
non_residues.sage Properly distinguish between Nogami and Snark/Ethereum BN254 closes #19 2020-04-12 03:01:50 +02:00
testgen_bls12_381.sage Add test generator for BLS12-381 G2 and pass the tests 2020-06-18 22:00:31 +02:00
testgen_bn254_snarks.sage Add a test vector generator for BN254 on G2 and pass the tests 2020-06-18 01:40:13 +02:00

README.md

Sage scripts

This folder holds sage scripts:

  • either for automating curve configuration for example for computing the prime and order of BN or BLS curve families, for irreducible polynomials for extension fields.
  • for test vectors against a reference implementation.