repos
41
ecosystems
11
languages
3
commits
710
─── top repos · by commits
─── repositories
41 totalA model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
comparing the performance of different zero-knowledge proof libraries
Use RISC Zero's zkVM to protect an Ethereum smart contract
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.
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.
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
Collaptz is an open computational task, a collaborative verifiable system, to empirically verify the Collatz conjecture.
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
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.
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
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.
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.
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
RISC Zero is a zero-knowledge verifiable general computing platform, with Ethereum integration.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Fork of https://github.com/risc0/risc0-ethereum
This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Zero zkVM.)
These RISC Zero examples have been moved to the main risc0/risc0 repository
A STARK-based VM focused on code reuse, performance, and modularity
A battleship game using ZKPs
A battleship game using ZKPs
A battleship game using ZKPs
A battleship game using ZKPs
A battleship game using ZKPs
─── peer developers
─── ecosystems
─── languages
- Rust22
- C++5
- Lean1
─── subscriber view
Unlock the full view of intoverflow
- · 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.