History

Mamy Ratsimbazafy f57d071f11 Ethereum KZG polynomial commitments / EIP-4844 (part 1) (#239 ) * common error model for serialization of BLS signatures and KZG objects * [KZG] add Ethereum's test vectors [skip ci] * dump progress on KZG * Stash: trusted setup generator * implement cache optimized bit-reversal-permutation * Add generator for the Ethereum test trusted setups * implement naive deserialization for the trusted setup interchange format * implement verify_kzg_proof * Add test skeleton of verify KZG proof * rebase import fixes		2023-08-13 15:08:04 +02:00
..
README.md	Sage constants & tests codegen (#101 )	2020-10-10 16:19:23 +02:00
curves.sage	Pasta curves (#191 )	2022-04-27 00:58:48 +02:00
derive_endomorphisms.sage	Ethereum KZG polynomial commitments / EIP-4844 (part 1) (#239 )	2023-08-13 15:08:04 +02:00
derive_frobenius.sage	Don't dump all in "backend" (#184 )	2022-02-27 01:49:08 +01:00
derive_hash_to_curve.sage	BN254 - Hash-to-Curve (SVDW method) (#190 )	2022-04-26 21:24:07 +02:00
derive_pairing.sage	Multi-Scalar-Multiplication / Linear combination (#220 )	2023-02-16 12:45:05 +01:00
derive_square_root.sage	Don't dump all in "backend" (#184 )	2022-02-27 01:49:08 +01:00
ethereum_kzg.sage	Ethereum KZG polynomial commitments / EIP-4844 (part 1) (#239 )	2023-08-13 15:08:04 +02:00
g2_params.sage	Line refactor (#188 )	2022-04-04 10:10:36 +02:00
square_root_bls12_377.sage	BLS12-377 (#91 )	2020-09-27 09:15:14 +02:00
testgen_scalar_mul.sage	Multi-Scalar-Multiplication / Linear combination (#220 )	2023-02-16 12:45:05 +01:00

README.md

Sage scripts

This folder holds sage scripts:

for automating curve configuration
- Cofactor determination
- Frobenius precomputations
- Scalar docomposition for endomorphism acceleration
- Pairing parameters for naive implementation (ate and final exponent)
- Square-root parameters for naive implementation.
for test vectors against a reference implementation.