succinctlabs / zk-residencyLinks
Projects from the Succinct ZK Residency
☆20Updated last year
Alternatives and similar repositories for zk-residency
Users that are interested in zk-residency are comparing it to the libraries listed below
Sorting:
- On-chain Ethereum light client built with SP1☆75Updated last week
- ☆42Updated last year
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 6 months ago
- ☆49Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Zero-Knowledge Proof of Exploit☆36Updated 3 weeks ago
- An API compatible port of the Stone prover.☆19Updated 11 months ago
- A collection of ZK light client libraries for various blockchains☆63Updated 10 months ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 8 months ago
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆41Updated this week
- KZG commitments over BLS12-381☆36Updated 3 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- Benchmark of ZKVMs and Proving Schemes☆30Updated last week
- ☆53Updated 4 months ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 5 months ago
- The entry point for Rust projects to be run on Valida☆10Updated 7 months ago
- Zig EVM☆34Updated 10 months ago
- Herodotus Data Processor using SP1 as backend☆16Updated 11 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 10 months ago
- Pessimistic proof for the AggLayer.☆28Updated last year
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆18Updated last month
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- An observatory fork of SP1☆75Updated 8 months ago
- Circuits for Pluto's `web-prover`☆24Updated 6 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated last year
- High performance EraVM for zkSync.☆23Updated 2 weeks ago
- client side proving☆36Updated 7 months ago
- EraVM implementation☆19Updated last year