repos
79
ecosystems
25
languages
6
commits
2,826
─── top repos · by commits
─── repositories
79 totalThis 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.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
Implementation of Poseidon2 precompile and SHA2 constraints optimizations
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
Smart contracts for the Telepathy protocol
The schelling point for ZK applications.
The schelling point for ZK applications.
Converts the informal ownership structure of an open-source git project to a formal DAO, with token distribution mechanisms for contributors.
An observatory fork of SP1
A performant, 100% open-source, contributor-friendly zkVM.
Smart contracts for onchain verification of SP1.
A Solidity starter template for developing smart contracts.
Smart contracts for onchain verification of SP1.
Radian Protocol
The schelling point for ZK applications.
Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
Herodotus Data Processor using SP1 as backend
Docker automation for Ethereum nodes
Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool
A trustless replacement to the Lido Accounting Oracle, powered by ZK.
An example of how to generate a zkproof with sp1 of a simple homomorphic linear regression
ERC Reference Implementations
zkSNARK circuits for the Telepathy protocol
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
Telepathy Oracle
zkSNARK circuits for the Telepathy protocol
State transition function for Fluent Blockchain based on succinctlabs/rsp and compiled to SP-1 zkVM
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
An EVM hash oracle aggregator
Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
An EVM hash oracle aggregator
An EVM hash oracle aggregator
An EVM hash oracle aggregator
An EVM hash oracle aggregator
Rocket Pool Documentation & Guide Hub
The official multi-GPU proving service implementation for SP1, designed for the cloud and bare metal deployment.
Implementation of Vector, Avail's data attestation bridge, in SP1.
Tool for computing vanity Safe addresses
─── peer developers
─── ecosystems
─── languages
- Rust41
- Solidity9
- TypeScript8
- Go4
- Shell1
- Circom1
─── subscriber view
Unlock the full view of mattstam
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.