repos
65
ecosystems
23
languages
4
commits
4,035
─── top repos · by commits
─── repositories
65 totalSP1 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.
A performant, 100% open-source, contributor-friendly zkVM.
An observatory fork of SP1
The schelling point for ZK applications.
The schelling point for ZK applications.
The official multi-GPU proving service implementation for SP1, designed for the cloud and bare metal deployment.
Smart contracts for the Telepathy protocol
A trustless replacement to the Lido Accounting Oracle, powered by ZK.
The schelling point for ZK applications.
An example of how to build an end-to-end dApp with plonky2x
[DEPRECATED] The GPU code of the latest version of SP1 is in the main sp1 repo https://github.com/succinctlabs/sp1
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.
Implementation of Vector, Avail's data attestation bridge, in SP1.
Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
An example of a ZK Tendermint light client on Ethereum powered by SP1.
Herodotus Data Processor using SP1 as backend
An example of how to generate a zkproof with sp1 of a simple homomorphic linear regression
Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
Simple Tendermint ZK Light Client in SP1
Succinct's Production-Grade Proving Engine for the OP Stack.
A secure, fast, and easy-to-use random number generator for on-chain games built using MUD.
Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
Fork of plonky2 to be used in zkVerify.
Succinct's Production-Grade Proving Engine for the OP Stack.
Succinct's Production-Grade Proving Engine for the OP Stack
the Plonky2 proof system
zkSNARK circuits for the Telepathy protocol
Smart contracts for onchain verification of SP1.
Telepathy Oracle
zkSNARK circuits for the Telepathy protocol
Smart contracts for onchain verification of SP1.
─── peer developers
─── ecosystems
─── languages
- Rust44
- Solidity7
- Circom2
- TypeScript1
─── subscriber view
Unlock the full view of ctian1
- · 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.