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
- Email verification circuit in halo2☆68Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- Smart contracts for the Telepathy protocol☆79Updated last year
- Crypto Gadgets for Plonky2☆74Updated last year
- ☆94Updated last year
- PoC of Revm execution in SGX☆79Updated 2 years ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Cross-zk-rollup aggregation☆61Updated 2 years ago
- Solidity contracts for a next-gen rollup system.☆70Updated last month
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆27Updated last month
- ☆70Updated last year
- A collection of ZK light client libraries for various blockchains☆64Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- ☆39Updated last year
- OS for next iteration of the world computer☆43Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- Smart contracts for on-chain anonymous settlement.☆122Updated 3 months ago
- RISC-V interactive fault proof tech☆107Updated this week
- On-chain Ethereum light client built with SP1☆76Updated last month
- ☆26Updated 2 months ago
- Smart contracts for onchain verification of SP1.☆124Updated last month
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆66Updated last year
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated 2 years ago
- ☆42Updated last year
- ☆44Updated last year
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated last year
- Rust implementation of KZG point evaluation☆34Updated 4 months ago
- A EVM block proving backend in Cairo☆87Updated last week
- Solidity implementation of Nova proving system verifier☆66Updated last year