lambdaclass / starknet_tendermint_sequencer
Starknet sequencer built with Tendermint Core
☆53Updated last year
Related projects: ⓘ
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- ☆39Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆49Updated 9 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆13Updated last month
- Cairo Merkle Mountain Range☆37Updated 10 months ago
- A toy Cairo VM implementation in Rust™☆71Updated 2 years ago
- Cairo-VM STARK Verifier Rust implementation☆22Updated this week
- ☆31Updated 6 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 9 months ago
- ☆32Updated 8 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆40Updated this week
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 2 weeks ago
- ☆23Updated 5 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- KZG commitments over BLS12-381☆31Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated last year
- Implementation of the Grumpkin curve in Rust.☆28Updated last year
- ☆13Updated this week
- ☆24Updated this week
- ☆39Updated last year
- ☆15Updated this week
- Integration of the Kakarot Ethereum execution layer in the Reth client.☆24Updated this week
- Cryptographic protocols☆36Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆57Updated last month
- zkSNARK circuits for the Telepathy protocol☆49Updated last year
- Minimal Yul Transpilation to the Miden VM☆51Updated last year
- CLI tool to develop Starknet projects written in Cairo☆56Updated 9 months ago
- An API compatible port of the Stone prover.☆13Updated last week
- an introduction to noir, with simple examples☆43Updated 8 months ago