succinctlabs / blobstreamx
Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
☆59Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for blobstreamx
- Contracts for onchain verification of SP1.☆59Updated last week
- Implementation of zero-knowledge proof circuits for Tendermint.☆78Updated 6 months ago
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆91Updated this week
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 6 months ago
- Email verification circuit in halo2☆62Updated 4 months ago
- Solidity contracts for a next-gen rollup system.☆63Updated 2 weeks ago
- ☆29Updated 2 weeks ago
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated last year
- Smart contracts for the Telepathy protocol☆74Updated 7 months ago
- PoC of Revm execution in SGX☆80Updated last year
- ☆41Updated 6 months ago
- ☆60Updated 3 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆55Updated this week
- ☆93Updated 2 months ago
- Polynomials Identity Language☆67Updated 8 months ago
- an introduction to noir, with simple examples☆42Updated 10 months ago
- barretenburg in rust (here we go)☆97Updated 9 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆59Updated 3 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆92Updated 2 months ago
- Bolt: permissionless proposer commitments on Ethereum☆57Updated this week
- This repo compiles .zkasm to a json ready for the zkExecutor☆30Updated 3 weeks ago
- ☆60Updated 7 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆72Updated 3 weeks ago
- Circom interpreter to arithmetic circuit description☆44Updated last month
- BigInt library for Aztec's noir language☆31Updated 7 months ago
- Rust implementation of the Agglayer.☆73Updated this week
- OS for next iteration of the world computer☆45Updated last year
- Consensus nodes performing in unison!☆32Updated 4 months ago
- Reference implementation of the node for the Polygon Miden rollup☆53Updated this week
- ☆19Updated 2 months ago