succinctlabs / blobstreamxLinks
Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
☆61Updated last year
Alternatives and similar repositories for blobstreamx
Users that are interested in blobstreamx are comparing it to the libraries listed below
Sorting:
- Email verification circuit in halo2☆68Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 11 months ago
- Smart contracts for the Telepathy protocol☆79Updated last year
- OS for next iteration of the world computer☆43Updated 2 years ago
- Crypto Gadgets for Plonky2☆73Updated last year
- ☆94Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- PoC of Revm execution in SGX☆80Updated 2 years ago
- ☆26Updated 3 weeks ago
- Smart contracts for onchain verification of SP1.☆120Updated last week
- Solidity contracts for a next-gen rollup system.☆70Updated last week
- A collection of ZK light client libraries for various blockchains☆62Updated 10 months ago
- barretenburg in rust (here we go)☆99Updated last year
- Smart contracts for on-chain anonymous settlement.☆123Updated last month
- ☆30Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated last year
- Polynomials Identity Language☆68Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated last year
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆130Updated 3 weeks ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated last year
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated 2 weeks ago
- On-chain Ethereum light client built with SP1☆74Updated last week
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆61Updated this week
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Updated 2 years ago
- ☆70Updated last year
- Template repository for zkLLVM-based projects☆19Updated last year