
repos
84
ecosystems
20
languages
11
commits
1,420
─── top repos · by commits
─── repositories
84 totalThe Ultimate ZK Proving Software Suite for Securing OP Rollups
ZK Fault Proofs for Optimistic Rollups
Gnosis Core Database Layer
Template for integrating RISC Zero and Ethereum using Foundry
ZK Theorem Proving
🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine
RISC Zero Workshop: On-chain Privacy Preserving Proofs using Composition & Bonsai
Sequencer for cross-chain protocol actions
Template for integrating RISC Zero and Ethereum using Foundry and Bonsai
Khalil, R. and Gervais, A. 2017. ACM Conference on Computer and Communications Security. Revive: Rebalancing Off-Blockchain Payment Networks.
Compiled Contract Binaries and Deploy Code to the Blockchain
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
Khalil, R. and Dulay, N. 2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services. Adaptive layer-two dispute cutoffs in smart-contract blockchains.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
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.
Zeth with rWASM host function support
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
A suite of libraries and build pipelines for developing verifiable Rust programs targeting Fault Proof VMs.
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
Monorepo for OP Stack Types, Components, and Services built in Rust.
Monorepo for OP Stack Types, Components, and Services built in Rust.
A suite of `no_std` components for the OP Stack state transition function.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Private fork of risc0 with Go/TinyGo guest notes
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Collaptz is an open computational task, a collaborative verifiable system, to empirically verify the Collatz conjecture.
A suite of `no_std` components for the OP Stack with Celestia underneath state transition function and L2 chain derivation
A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
A kurtosis package for deploying an optimistic rollup
Optimism is Ethereum, scaled.
The Optimism monorepo
Redstone is Optimism, with off-chain data availability.
Monorepo for Boundless, the universal ZK protocol.
Boba Network Monorepo of the Optimism monorepo
These RISC Zero examples have been moved to the main risc0/risc0 repository
Optimism is Ethereum, scaled.
A kurtosis package for deploying an optimistic rollup
Multilingual BLS12-381 signature library
Layer 2, named Verse, built on top of the Oasys gaming blockchain utilizes Opstack.
A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
A kurtosis package for deploying an optimistic rollup
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
A kurtosis package for deploying an optimistic rollup
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
A kurtosis package for deploying an optimistic rollup
A kurtosis package for deploying an optimistic rollup
─── peer developers
─── ecosystems
─── languages
- Rust30
- Go18
- C++5
- Starlark4
- Python3
- TypeScript2
- Solidity2
- Swift1
- Shell1
- JavaScript1
─── subscriber view
Unlock the full view of hashcashier
- · 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.



















