Sovereign-Labs / sov-rollup-starterLinks
☆20Updated last year
Alternatives and similar repositories for sov-rollup-starter
Users that are interested in sov-rollup-starter are comparing it to the libraries listed below
Sorting:
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated 3 months ago
- Email verification circuit in halo2☆68Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- EigenTrust - A distributed reputation system☆113Updated last year
- ☆36Updated 4 years ago
- Smart contracts for the Telepathy protocol☆79Updated last year
- ☆42Updated 11 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 10 months ago
- Smart contracts for on-chain anonymous settlement.☆116Updated 3 weeks ago
- This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Ze…☆85Updated 2 years ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Updated 2 years ago
- A toy Cairo VM implementation in Rust™☆73Updated 3 years ago
- ☆32Updated 2 years ago
- ☆26Updated last month
- PoC of Revm execution in SGX☆80Updated last year
- On-chain Ethereum light client built with SP1☆70Updated last week
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- ☆46Updated 4 years ago
- OS for next iteration of the world computer☆43Updated 2 years ago
- Noir implementation of BattleZips circuits☆27Updated 2 years ago
- A collection of ZK light client libraries for various blockchains☆58Updated 9 months ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 2 years ago
- ☆123Updated 11 months ago
- Solidity contracts for a next-gen rollup system.☆68Updated this week
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated 11 months ago
- Implementation of ethereum's `ssz`☆106Updated 11 months ago