lita-xyz / reth-valida
revm/reth block proving on Valida
☆16Updated 2 months ago
Alternatives and similar repositories for reth-valida:
Users that are interested in reth-valida are comparing it to the libraries listed below
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆50Updated last year
- ☆12Updated last year
- RLN on KZG☆20Updated last year
- ☆31Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- ☆44Updated last week
- Rust implementation of KZG point evaluation☆33Updated 3 weeks ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated 10 months ago
- STARK book☆20Updated 7 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Circuits for Pluto's `web-prover`☆21Updated last week
- Library and gadget to do regex string matches in halo2☆35Updated 9 months ago
- ☆17Updated this week
- ☆20Updated 11 months ago
- Using folding schemes for a provable bitcoin light client☆34Updated 11 months ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated 2 years ago
- ☆33Updated last year
- KZG commitments over BLS12-381☆34Updated 2 years ago
- RLN circuits in Circom☆29Updated 9 months ago
- Spartan on Arkworks☆41Updated 4 months ago
- client side proving☆28Updated last month
- ☆42Updated 9 months ago
- BigInt library for Aztec's noir language☆32Updated last year
- ☆38Updated last year
- ☆14Updated 4 months ago
- ☆23Updated last year
- zero knowledge proof aggregator for general circuit☆72Updated 11 months ago