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☆61Updated 2 years ago
- An implementation of a namespaced merkle tree in Rust.☆32Updated 7 months ago
- Smart contracts for on-chain anonymous settlement.☆123Updated 4 months ago
- Email verification circuit in halo2☆68Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated last year
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- ☆134Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- Crypto Gadgets for Plonky2☆77Updated last year
- Bolt: permissionless proposer commitments on Ethereum☆95Updated 8 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine☆84Updated 2 years 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
- Smart contracts for the Telepathy protocol☆79Updated last year
- ☆36Updated 4 years ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 3 years ago
- Implementation of ethereum's `ssz`☆109Updated last year
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated last month
- Client library for generating and using RLN ZK proofs☆32Updated 2 years ago
- A collection of ZK light client libraries for various blockchains☆66Updated last year
- Basic Noir private proof of membership☆90Updated 9 months ago
- Starknet sequencer built with Tendermint Core☆52Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- CLI tool to develop Starknet projects written in Cairo☆55Updated 2 years ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- ☆61Updated 4 months ago
- Noir implementation of BattleZips circuits☆28Updated 2 years ago