succinctlabs / zk-residencyLinks
Projects from the Succinct ZK Residency
☆21Updated 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:
- ☆42Updated last year
- On-chain Ethereum light client built with SP1☆78Updated last month
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆52Updated 2 years ago
- A collection of ZK light client libraries for various blockchains☆64Updated last year
- ☆49Updated 2 years ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 10 months ago
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆18Updated 2 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆14Updated 5 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- ☆54Updated 6 months ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated last month
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 7 months ago
- Spire Labs' litepaper (it's pretty based bro)☆16Updated last year
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆41Updated this week
- Poseidon Rust library☆39Updated 2 years ago
- An API compatible port of the Stone prover.☆19Updated last year
- client side proving☆39Updated 9 months ago
- Rust implementation of KZG point evaluation☆34Updated 4 months ago
- An observatory fork of SP1☆75Updated 10 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated this week
- Shared peer-to-peer network of zero-knowledge provers☆16Updated last year
- KZG commitments over BLS12-381☆37Updated 3 years ago
- ☆31Updated last year
- A simple RISC-V runtime.☆33Updated 3 months ago
- Explorations on mobile-first GPU acceleration, currently support MSM.☆26Updated 3 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year