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
- Starknet sequencer built with Tendermint Core☆53Updated last year
- an introduction to noir, with simple examples☆43Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated 7 months ago
- ☆40Updated 3 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆35Updated this week
- Rust implementation of KZG point evaluation☆32Updated 2 months ago
- ☆23Updated 2 months ago
- ☆31Updated last year
- On-chain Ethereum light client built with SP1☆40Updated this 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
- Solidity contracts for a next-gen rollup system.☆64Updated 3 months ago
- A robust, extensible OP Stack challenge agent written in pure Rust.☆57Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 4 months ago
- Composable OP Stack Orchestration☆41Updated last year
- ☆37Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 5 months ago
- Macros + Primitives for PADE format☆29Updated last week
- Axiom smart contracts☆26Updated last year
- ☆33Updated last year
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year
- A collection of ZK light client libraries for various blockchains☆49Updated 3 months ago
- KZG commitments over BLS12-381☆34Updated 2 years ago