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:
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- PoC of Revm execution in SGX☆79Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- Smart contracts for the Telepathy protocol☆80Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆99Updated last year
- Smart contracts for on-chain anonymous settlement.☆123Updated 4 months ago
- OS for next iteration of the world computer☆43Updated 2 years ago
- Cross-zk-rollup aggregation☆61Updated 2 years ago
- ☆94Updated last year
- Solidity contracts for a next-gen rollup system.☆70Updated 2 months ago
- A collection of ZK light client libraries for various blockchains☆67Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆68Updated last year
- ☆44Updated last year
- Crypto Gadgets for Plonky2☆77Updated last year
- A EVM block proving backend in Cairo☆87Updated this week
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆63Updated last week
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated last year
- Smart contracts for onchain verification of SP1.☆130Updated 2 weeks ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated last month
- Circom interpreter to arithmetic circuit description☆58Updated last year
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 11 months ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated last year
- Ethereum stateless tools☆45Updated 9 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 10 months ago
- Rust implementation of KZG point evaluation☆35Updated 5 months ago
- Bolt: permissionless proposer commitments on Ethereum☆95Updated 8 months ago