ZeroSync / giza
A Cairo VM prover implemented using Winterfell
☆16Updated last year
Related projects ⓘ
Alternatives and complementary repositories for giza
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- powdr application running Ethereum tests via revm☆16Updated 4 months ago
- ☆17Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- Delve into low-level RISC Zero machine☆27Updated 10 months ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- Andromeda revm execution service☆30Updated 3 months ago
- Groth16 verifier in EVM☆20Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated last year
- Minimal Merkle Tree implementations☆26Updated last month
- ☆23Updated last year
- Joint 2-Party generation of the one-time Verifiable Encrypted Signature (VES) aka adaptor signatures☆12Updated last year
- https://eprint.iacr.org/2020/1516.pdf☆19Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆15Updated 3 months ago
- Base64 decoding circuit in halo2☆14Updated last year
- ☆28Updated 2 years ago
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 2 years ago
- ☆32Updated 10 months ago
- ☆17Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Updated this week
- A repository for the Leela VS the World project for On-Chain machine learning☆17Updated last month
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated last year
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆18Updated last year
- ☆18Updated last year
- Fork of cannon that supports Rust☆15Updated 2 years ago
- plonky2 implementation of bn254 pairing☆18Updated 9 months ago
- [wip] implementing origami VDF☆13Updated last year
- ☆18Updated last year