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β45Updated last year
- β40Updated 3 years ago
- Starknet sequencer built with Tendermint Coreβ53Updated 2 years ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.β63Updated 9 months ago
- On-chain Ethereum light client built with SP1β48Updated last week
- KZG commitments over BLS12-381β34Updated 2 years ago
- β31Updated last year
- Composable OP Stack Orchestrationβ41Updated last year
- Rust implementation of KZG point evaluationβ33Updated 2 weeks ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.β31Updated last year
- Minimal template for using the Arbiter framework for simulations.β46Updated 3 months ago
- Solidity contracts for a next-gen rollup system.β65Updated 5 months ago
- Axiom smart contractsβ26Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rsβ35Updated this week
- Template using EIP-3074 - AUTH and AUTHCALL in Solidityβ29Updated last year
- A toy Cairo VM implementation in Rustβ’β73Updated 2 years ago
- Shared peer-to-peer network of zero-knowledge proversβ16Updated 5 months ago
- relays blocks from the shared sequencer to the DA layerβ27Updated last year
- A robust, extensible OP Stack challenge agent written in pure Rust.β57Updated last year
- Ethereum stateless toolsβ46Updated 2 weeks ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVMβ32Updated 5 months ago
- β40Updated 2 years ago
- Macros + Primitives for PADE formatβ29Updated last week
- A community-developed re-implementation of the Starkware Stone Proverβ69Updated 6 months ago
- client side provingβ28Updated last month
- Noir implementation of RSA-verifyβ43Updated last year
- A simple, modern, ergonomic JSON-RPC router, using tower and axumβ53Updated last week
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiersβ42Updated last year
- A stateless Ethereum execution clientβ28Updated 3 months ago
- β38Updated last year