lita-xyz / reth-valida
revm/reth block proving on Valida
☆16Updated last month
Alternatives and similar repositories for reth-valida:
Users that are interested in reth-valida are comparing it to the libraries listed below
- ☆49Updated last year
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Polynomial Expression Engine☆35Updated last year
- Rust implementation of KZG point evaluation☆32Updated 2 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆12Updated last year
- RLN on KZG☆20Updated last year
- ☆20Updated 9 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 3 weeks ago
- ☆17Updated 2 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆37Updated last week
- ☆43Updated last month
- ☆33Updated last year
- ☆13Updated 3 months ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- Extractable Witness Encryption for KZG Commitments☆29Updated 3 months ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆25Updated 3 months ago
- Early prototype.☆23Updated last year
- A Solidity implementation of Halo2's Pasta curves☆49Updated last year
- STARK book☆20Updated 6 months ago
- Using folding schemes for a provable bitcoin light client☆33Updated 10 months ago
- Experimental implementation of Sumcheck protocol using CUDA☆20Updated 4 months ago
- ☆41Updated 8 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆36Updated last month
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Draft documents for standardization of Plonkish arithmetization☆23Updated last year
- ☆33Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆27Updated this week
- ☆26Updated last year