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
- Crypto Gadgets for Plonky2☆73Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- ☆94Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 11 months ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated last year
- ☆70Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆126Updated 5 months ago
- Smart contracts for on-chain anonymous settlement.☆118Updated last month
- A collection of ZK light client libraries for various blockchains☆58Updated 10 months ago
- ☆102Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- ☆58Updated last week
- Solidity contracts for a next-gen rollup system.☆69Updated last week
- Smart contracts for onchain verification of SP1.☆115Updated 2 weeks ago
- On-chain Ethereum light client built with SP1☆71Updated 3 weeks ago
- Smart contracts for the Telepathy protocol☆79Updated last year
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Updated 2 years ago
- ☆42Updated 11 months ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated this week
- CLI tool to develop Starknet projects written in Cairo☆55Updated last year
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆138Updated 4 months ago
- A Brainfuck zkVM with Circom.☆59Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago