repos
139
ecosystems
38
languages
6
commits
12,104
─── top repos · by commits
─── repositories
139 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.
A performant, 100% open-source, contributor-friendly zkVM.
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.
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.
An observatory fork of SP1
[DEPRECATED] The GPU code of the latest version of SP1 is in the main sp1 repo https://github.com/succinctlabs/sp1
Your ultimate defender against private key theft.
A secure, fast, and easy-to-use random number generator for on-chain games built using MUD.
The schelling point for ZK applications.
The schelling point for ZK applications.
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.
The schelling point for ZK applications.
Smart contracts for the Telepathy protocol
Succinct's Production-Grade Proving Engine for the OP Stack.
OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1. Now with Celestia underneath ✨
Succinct's Production-Grade Proving Engine for the OP Stack.
OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.
Succinct's Production-Grade Proving Engine for the OP Stack
An example of how to build an end-to-end dApp with plonky2x
Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool
This project comes from Veridise's auditing. It is not allowed to be published until the client auths it.
The official multi-GPU proving service implementation for SP1, designed for the cloud and bare metal deployment.
Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
A toolkit for polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
A collection of libraries related to polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
zkSNARK circuits for the Telepathy protocol
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
Smart contracts for onchain verification of SP1.
zkSNARK circuits for the Telepathy protocol
State transition function for Fluent Blockchain based on succinctlabs/rsp and compiled to SP-1 zkVM
A trustless replacement to the Lido Accounting Oracle, powered by ZK.
Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
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.
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
Transports, Middleware, and Networks for the Alloy project
A toolkit for polynomial IOPs (PIOPs)
Fork of plonky2 to be used in zkVerify.
Transports, Middleware, and Networks for the Alloy project
An example of how to generate a zkproof with sp1 of a simple homomorphic linear regression
Simple Tendermint ZK Light Client in SP1
the Plonky2 proof system
Implementation of zero-knowledge proof circuits for Tendermint.
Rust implementation of the Ethereum Virtual Machine.
Transports, Middleware, and Networks for the Alloy project
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Ethereum Virtual Machine written in rust that is fast and simple to use
A fork of the Alloy project that adds the ICP blockchain as a transport layer and signer.
Transports, Middleware, and Networks for the Alloy project
Ethereum Virtual Machine written in rust that is fast and simple to use
Ethereum Virtual Machine written in rust that is fast and simple to use
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Transports, Middleware, and Networks for the Alloy project
Rust implementation of the Ethereum Virtual Machine.
Ethereum Virtual Machine written in rust that is fast and simple to use
Rust implementation of the Ethereum Virtual Machine.
Transports, Middleware, and Networks for the Alloy project
Transports, Middleware, and Networks for the Alloy project
A collection of libraries related to polynomial IOPs (PIOPs)
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Ethereum Virtual Machine written in rust that is fast and simple to use
Transports, Middleware, and Networks for the Alloy project
[Work in Progress] revm-oo (revm oblivious opcodes) with all the opcodes rewritten with a data-independent cpu trace. Meant to provide strong side channel privacy guarantees inside of TEE's (Trusted Execution Environments).
Rust implementation of the Ethereum Virtual Machine.
Ethereum Virtual Machine written in rust that is fast and simple to use
Implementation of zero-knowledge proof circuits for Tendermint.
─── peer developers
─── ecosystems
─── languages
- Rust89
- Solidity13
- Go5
- TypeScript2
- Circom2
- HTML1
─── subscriber view
Unlock the full view of jtguibas
- · 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.