repos
223
ecosystems
69
languages
9
commits
5,122
─── top repos · by commits
─── repositories
223 totalSuccinct'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
OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.
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.
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.
Extend semaphore circuits to the Ethereum anonymity set to conduct anonymous polls.
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.
Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
Implementation of Vector, Avail's data attestation bridge, in SP1.
OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1. Now with Celestia underneath ✨
OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
The schelling point for ZK applications.
The schelling point for ZK applications.
Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
Implementation of zero-knowledge proof circuits for Tendermint.
Implementation of zero-knowledge proof circuits for Tendermint.
The schelling point for ZK applications.
An example of a ZK Tendermint light client on Ethereum powered by SP1.
Simple Tendermint ZK Light Client in SP1
An efficient money market protocol for Ethereum and compatible chains (aka Compound III, Compound v3).
On-chain Ethereum light client built with SP1
On-chain Ethereum light client built with SP1
On-chain Ethereum light client built with SP1
A secure, fast, and easy-to-use random number generator for on-chain games built using MUD.
Real-Time Security for the Interchain
An observatory fork of SP1
On-chain Ethereum light client
A performant, 100% open-source, contributor-friendly zkVM.
Smart contracts for the Telepathy protocol
Smart contracts for onchain verification of SP1.
Smart contracts for onchain verification of SP1.
Celestia derivation pipeline and proof crate built with kona
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Monorepo for OP Stack Types, Components, and Services built in Rust.
Rust implementation of KZG point evaluation
Energy Web Innovation Challenge
A suite of `no_std` components for the OP Stack with Celestia underneath state transition function and L2 chain derivation
A suite of libraries and build pipelines for developing verifiable Rust programs targeting Fault Proof VMs.
A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
Monorepo for OP Stack Types, Components, and Services built in Rust.
A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
A suite of `no_std` components for the OP Stack state transition function.
Monorepo for OP Stack Types, Components, and Services built in Rust.
Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
Recursive Groth16 + PlonK Verifier
A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
Celestia Documentation Site
A fast, secure, and portable multichain light client for Ethereum
Herodotus Data Processor using SP1 as backend
Peacock Exchange: A Decentralized Exchange (DEX) built using Dapper Labs' Cadence smart contract programming language.
A fast, secure, and portable multichain light client for Ethereum
A fast, secure, and portable light client for Ethereum
An example of how to generate a zkproof with sp1 of a simple homomorphic linear regression
A fast, secure, and portable multichain light client for Ethereum
Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
A fast, secure, and portable multichain light client for Ethereum
A fast, secure, and portable light client for Ethereum
The Compound On-Chain Protocol
Celestia consensus node
Optimism is Ethereum, scaled.
The Optimism monorepo
Redstone is Optimism, with off-chain data availability.
OP Stack Specifications
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
BLS12-381 cryptography using Apache Milagro
A cosmos-sdk fork for greenfield
The Spire Based Stack
Fork of Cosmos SDK v0.50.x for Celestia App
Projects from the Succinct ZK Residency
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Boba Network Monorepo of the Optimism monorepo
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Celestia consensus node
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Rollkit-enabled fork of cosmos-sdk.
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
Optimism is Ethereum, scaled.
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
:rocket: Regen Network fork of Cosmos SDK
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Optimism is Ethereum, scaled.
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains (Evmos Fork) :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains (Evmos Fork) :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Optimism is Ethereum, scaled.
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Layer 2, named Verse, built on top of the Oasys gaming blockchain utilizes Opstack.
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool
OP Stack Specifications
A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
This is to showcase a bug in the latest release of ganachev7.3.2
:chains: A Framework for Building High Value Public Blockchains :sparkles:
cosmos-sdk
The Compound On-Chain Protocol
State transition function for Fluent Blockchain based on succinctlabs/rsp and compiled to SP-1 zkVM
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Fork of plonky2 to be used in zkVerify.
Optimism is Ethereum, scaled.
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
A Solana verifier for pico proofs
:chains: A Framework for Building High Value Public Blockchains :sparkles:
BLS12-381 cryptography using Apache Milagro
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
The smart contracts powering the Scream protocol. Forked from Compound.
A forkable repository to report SP1 issues.
Optimism is Ethereum, scaled, forked
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
PoS application for the consensus portion of the Celestia network. Built using celestia-core (fork of CometBFT) and the cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Celestia consensus node
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
PoS application for the consensus portion of the Celestia network. Built using celestia-core (fork of CometBFT) and the cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains :sparkles:
:chains: A Framework for Building High Value Public Blockchains (Evmos Fork) :sparkles:
Optimism is Ethereum, scaled.
:chains: A Framework for Building High Value Public Blockchains :sparkles:
the Plonky2 proof system
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Fork of @cosmos/cosmos-sdk for cheqd
:chains: A Framework for Building High Value Public Blockchains :sparkles:
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
:chains: A Framework for Building High Value Public Blockchains (Evmos Fork) :sparkles:
NFT Backed Borrowing Protocol
─── peer developers
─── ecosystems
─── languages
- Rust80
- Go73
- Solidity15
- TypeScript6
- Circom1
- MDX1
- JavaScript1
- Python1
- Just1
─── subscriber view
Unlock the full view of ratankaliani
- · 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.