4 Commits

Author	SHA1	Message	Date
Mamy Ratsimbazafy	b9c911ba37	Accelerate FFT - endomorphism + wNAF vartime scalar mul (#258) ... * accel FFT by 30+% with vartime endomorphism support * silly error fix * endomorphism + wNAF, closes #253, FFT 20% speedup * vartime EC addition for all repr * implement vartime EC add * finishing touches, renam to fft_vartime	2023-09-04 10:19:14 +02:00
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
Mamy Ratsimbazafy	b1ef2682d6	Modular exponentiation (arbitrary output) and EIP-198 (#242) ... * implement arbitrary precision modular exponentiation (prerequisite EIP-198) * [modexp] implement exponentiation modulo 2ᵏ * add inversion (mod 2ᵏ) * [modexp] High-level wrapper for powmod with odd modulus * [modexp] faster exponentiation (mod 2ᵏ) for even case and Euler's totient function odd case * [modexp] implement general fast modular exponentiation * Fix modular reduction with 64-bit modulus + fuzz powmod vs GMP * add benchmark * add EIP-198 support * fixups following self review * fix test paths	2023-06-01 23:38:41 +02:00
Mamy Ratsimbazafy	95114bf707	move research sanity check to research/ [skip ci]	2023-01-30 20:57:12 +01:00