succinctlabs / blobstreamx
Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
☆59Updated 7 months ago
Alternatives and similar repositories for blobstreamx:
Users that are interested in blobstreamx are comparing it to the libraries listed below
- Smart contracts for onchain verification of SP1.☆85Updated 3 weeks ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 11 months ago
- ☆42Updated 11 months ago
- Email verification circuit in halo2☆68Updated 8 months ago
- Circom interpreter to arithmetic circuit description☆53Updated 6 months ago
- PoC of Revm execution in SGX☆79Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 11 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆92Updated this week
- Smart contracts for the Telepathy protocol☆76Updated last year
- Crypto Gadgets for Plonky2☆72Updated 10 months ago
- ☆61Updated 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
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆75Updated 5 months ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆64Updated 5 months ago
- Reference implementation of the node for the Polygon Miden rollup☆59Updated this week
- ☆49Updated this week
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated 5 months ago
- A collection of ZK light client libraries for various blockchains☆49Updated 3 months ago
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 7 months ago
- Consensus nodes performing in unison!☆32Updated 9 months ago
- ☆37Updated 5 months ago
- OS for next iteration of the world computer☆44Updated last year
- ☆72Updated this week
- ☀️ SUAVE Alpha Protocol Specifications☆38Updated 5 months ago
- ☆45Updated this week
- ☆94Updated 7 months ago
- Polynomials Identity Language☆68Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 4 months ago