repos
119
ecosystems
39
languages
5
commits
1,261
─── top repos · by commits
─── repositories
119 totalImplementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
The schelling point for ZK applications.
The schelling point for ZK applications.
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.
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.
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.
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
The schelling point for ZK applications.
Smart contracts for the Telepathy protocol
This project comes from Veridise's auditing. It is not allowed to be published until the client auths it.
An example of how to build an end-to-end dApp with plonky2x
A showcase of how to use Op Stack's remote static call precompile
An orchestration platform for the development, production, and observation of data assets.
Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
Fork of plonky2 to be used in zkVerify.
the Plonky2 proof system
zkSNARK circuits for the Telepathy protocol
An example of a ZK Tendermint light client on Ethereum powered by SP1.
zkSNARK circuits for the Telepathy protocol
Simple Tendermint ZK Light Client in SP1
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
Verify a log is present in a block.
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
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.
Succinct's Production-Grade Proving Engine for the OP Stack.
Succinct's Production-Grade Proving Engine for the OP Stack.
Succinct's Production-Grade Proving Engine for the OP Stack
Implementation of zero-knowledge proof circuits for Tendermint.
Implementation of zero-knowledge proof circuits for Tendermint.
A simple, IPFS-based multi-party trusted setup utility for snarkjs
OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1. Now with Celestia underneath ✨
🦄 🦄 🦄 Core smart contracts of Uniswap v3
OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.
Smart contracts for Across protocol
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
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
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Recursive Groth16 + PlonK Verifier
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
An example of how to generate a zkproof with sp1 of a simple homomorphic linear regression
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
─── peer developers
─── ecosystems
─── languages
- Rust64
- TypeScript9
- Solidity9
- Go4
- Circom2
─── subscriber view
Unlock the full view of puma314
- · 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.