plonky2

plonky2 copied to clipboard

dlubarov

I think that's all we need for the JUMPDEST flag.

nbgl

nbgl

Sorry, it's pretty messy 😅 Any and all feedback welcomed!

npwardberkeley

npwardberkeley

Optimize ECDSA verification assembly by using GLV + wNAF + MSM. An average ETH (valid) tx signature takes 37678 cycles to verify (currently 90089).

wborgeaud

This PR implements BN254 Tate Pairings, which includes - [x] updated bn254 curve arithmetic - [ ] prover supplied fp12 inverse - [x] faster fp12 mul algorithms for squaring and...

typ3c4t

`FromTargets` trait

3

Tentative refactor introducing a new `FromTargets` trait with a fn to go from an iterator of `Target`s to `Self`. Using this trait, functions like `builder.add_virtual_*` or `add_virtual_*(builder,...)` can be removed...

wborgeaud

Improve twiddle access for FFT

10

We implemented Bowers et al. "Improved Twiddle Access for Fast Fourier Transforms" https://doi.org/10.1109/TSP.2009.2035984 In our experiments this is 10%+ faster than the existing DIT. The algorithm turns out to be...

0x0ece

EVM shift left operation

2

This PR implements the `SHL` instruction. It is almost entirely dedicated to verifying that a given auxiliary value `c` is actually `2^d` for the given `d`. The rest of the...

unzvfu