succinctlabs / networkLinks
This is the monorepo for the Succinct Prover Network, a protocol on Ethereum that coordinates a distributed network of provers to generate zero knowledge proofs for any piece of software.
☆46Updated last week
Alternatives and similar repositories for network
Users that are interested in network are comparing it to the libraries listed below
Sorting:
- Solidity contracts for a next-gen rollup system.☆69Updated last week
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆34Updated 10 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆112Updated 6 months ago
- Breathe air☆25Updated last year
- Ethereum stateless tools☆45Updated 5 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Axiom smart contracts☆26Updated 2 years ago
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆16Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆93Updated 2 years ago
- ☆26Updated last month
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- ☆67Updated last month
- A consensus client for Reth☆45Updated this week
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- ☆30Updated last year
- barretenburg in rust (here we go)☆99Updated last year
- A Brainfuck zkVM with Circom.☆59Updated 2 years ago
- Smart contracts for onchain verification of SP1.☆115Updated 2 weeks ago
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated last year
- ☆102Updated 2 years ago
- An onchain tournament for bots, inspired by Pac-Man and Agar.io.☆44Updated 4 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆54Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- ☆42Updated last year
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 3 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆138Updated this week
- High performance EraVM for zkSync.☆23Updated 5 months ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated last week
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year