lambdaclass / starknet_tendermint_sequencerLinks
Starknet sequencer built with Tendermint Core
β53Updated 2 years ago
Alternatives and similar repositories for starknet_tendermint_sequencer
Users that are interested in starknet_tendermint_sequencer are comparing it to the libraries listed below
Sorting:
- β40Updated 3 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack π¦πβ55Updated last year
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiersβ43Updated last year
- Poseidon Rust libraryβ38Updated 2 years ago
- relays blocks from the shared sequencer to the DA layerβ27Updated 2 years ago
- A toy Cairo VM implementation in Rustβ’β73Updated 3 years ago
- Shared peer-to-peer network of zero-knowledge proversβ16Updated 8 months ago
- An ABI compatible for KZG EIP-4844 in Rustβ23Updated 2 years ago
- an introduction to noir, with simple examplesβ44Updated last year
- A community-developed re-implementation of the Starkware Stone Proverβ69Updated 9 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.β63Updated last year
- Cairo Merkle Mountain Rangeβ37Updated last year
- A Cairo VM prover implemented using Winterfellβ16Updated 2 years ago
- β17Updated 2 years ago
- On-chain Ethereum light client built with SP1β67Updated last week
- CLI tool to develop Starknet projects written in Cairoβ55Updated last year
- Pessimistic proof for the AggLayer.β26Updated last year
- Cross-zk-rollup aggregationβ60Updated 2 years ago
- Cairo-VM STONE STARK Verifier Rust implementationβ43Updated 6 months ago
- Groth16 verifier in EVMβ21Updated 2 years ago
- PoC of Revm execution in a Nitro Enclaveβ29Updated last year
- Adapt your STARK stone proofs for verifications on Ethereumβ17Updated 10 months ago
- β40Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.β40Updated last year
- client side provingβ35Updated 5 months ago
- KZG commitments over BLS12-381β36Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rsβ36Updated this week
- A comprehensive library for Cairo πΊβ39Updated last month
- Andromeda revm execution serviceβ31Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systemsβ52Updated 3 years ago