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
- Starknet sequencer built with Tendermint Core☆53Updated last year
- ☆40Updated 3 years ago
- ☆31Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated 7 months ago
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Rust implementation of KZG point evaluation☆32Updated 2 months ago
- On-chain Ethereum light client built with SP1☆40Updated 3 weeks ago
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆35Updated last week
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 10 months ago
- Minimal template for using the Arbiter framework for simulations.☆46Updated 2 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 5 months ago
- ☆33Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 3 months ago
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆59Updated this week
- ☆37Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 4 months ago
- Client library for generating and using RLN ZK proofs☆30Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Solidity contracts for a next-gen rollup system.☆63Updated 3 months ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- Composable OP Stack Orchestration☆41Updated last year
- A collection of ZK light client libraries for various blockchains☆49Updated 3 months ago
- Macros + Primitives for PADE format☆29Updated this week
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year