succinctlabs / blobstreamxLinks
Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
☆59Updated 9 months ago
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.☆81Updated last year
- Email verification circuit in halo2☆68Updated 11 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 7 months ago
- PoC of Revm execution in SGX☆80Updated last year
- ☆42Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- Ethereum stateless tools☆45Updated last month
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated 7 months ago
- Crypto Gadgets for Plonky2☆71Updated last year
- ☆34Updated 2 weeks ago
- ☆40Updated 7 months ago
- ☆51Updated 2 weeks ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆83Updated last year
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆23Updated this week
- Solidity contracts for a next-gen rollup system.☆65Updated 6 months ago
- Smart contracts for the Telepathy protocol☆77Updated last year
- ☆31Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆75Updated 7 months ago
- ☆38Updated last year
- an introduction to noir, with simple examples☆44Updated last year
- Consensus nodes performing in unison!☆32Updated 11 months ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆64Updated 8 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆41Updated this week
- zkEVM proof generator reference written in Javascript☆81Updated 2 weeks ago
- Solidity implementation of Nova proving system verifier☆63Updated last year
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 8 months ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated 9 months ago