adria0 / a0kzg
Kate-Zaverucha-Goldberg polynomial commitments in rust playground
☆12Updated 3 years ago
Related projects: ⓘ
- ☆19Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆17Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆15Updated last year
- ☆13Updated 3 months ago
- powdr application running Ethereum tests via revm☆15Updated 2 months ago
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 2 years ago
- ☆17Updated last year
- zkSNARK circuits for the Telepathy protocol☆49Updated last year
- ☆32Updated 8 months ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated last year
- ☆10Updated this week
- ☆29Updated last year
- Delve into low-level RISC Zero machine☆27Updated 8 months ago
- BN254 Pairing Implementation in Noir☆20Updated last year
- ☆28Updated 2 years ago
- ☆14Updated this week
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- etk-Foundry project template☆20Updated last year
- A Solidity implementation of Halo2's Pasta curves☆48Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆28Updated last year
- Starky implementation of Bls12-381☆11Updated 4 months ago
- ☆19Updated 11 months ago
- ETHPrague☆31Updated 11 months ago
- A research-only integration of Sovereign with Celestia☆20Updated last year
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- trusted setup MPC tools☆12Updated 4 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Smart contracts for OPRHub protocol ✌🏻☆12Updated 4 years ago
- KZG commitments over BLS12-381☆31Updated last year