ZeroSync / giza
A Cairo VM prover implemented using Winterfell
☆16Updated last year
Related projects ⓘ
Alternatives and complementary repositories for giza
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- plonky2 implementation of bn254 pairing☆18Updated 9 months ago
- ☆17Updated last year
- Groth16 verifier in EVM☆20Updated last year
- https://eprint.iacr.org/2020/1516.pdf☆19Updated last year
- Delve into low-level RISC Zero machine☆27Updated 10 months ago
- compiler tooling for Stark-based zkVMs☆15Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated last year
- ☆18Updated last year
- ☆18Updated last year
- Andromeda revm execution service☆30Updated 3 months ago
- High-performance Multi-scalar Multiplication for Pasta curves☆21Updated 11 months ago
- ☆28Updated 2 years ago
- Base64 decoding circuit in halo2☆14Updated last year
- BN254 Pairing Implementation in Noir☆20Updated last year
- ☆10Updated 2 years ago
- Minimal Merkle Tree implementations☆26Updated 3 weeks ago
- RLN on KZG☆16Updated last year
- powdr application running Ethereum tests via revm☆16Updated 4 months ago
- MiMC implementation in Halo2☆9Updated 2 years ago
- ☆17Updated last year
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆18Updated last year
- Benchmarking Polynomial Commitments☆47Updated last year