BadBoiLabs / Cannon-rs
Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
☆55Updated last year
Alternatives and similar repositories for Cannon-rs:
Users that are interested in Cannon-rs are comparing it to the libraries listed below
- an introduction to noir, with simple examples☆43Updated last year
- KZG commitments over BLS12-381☆34Updated 2 years ago
- ☆31Updated last year
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆35Updated this week
- ☆40Updated 3 years ago
- Composable OP Stack Orchestration☆41Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 10 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 4 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated 7 months ago
- Axiom smart contracts☆26Updated last year
- Rust implementation of KZG point evaluation☆32Updated last month
- Noir implementation of RSA-verify☆42Updated last year
- Minimal template for using the Arbiter framework for simulations.☆46Updated 2 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 5 months ago
- On-chain Ethereum light client built with SP1☆40Updated 3 weeks ago
- ☆49Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Macros + Primitives for PADE format☆29Updated this week
- ☆37Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆27Updated last year
- ☆23Updated 2 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 3 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A robust, extensible OP Stack challenge agent written in pure Rust.☆57Updated last year