repos
21
ecosystems
8
languages
4
commits
21
─── top repos · by commits
─── repositories
21 totalThis repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Zero zkVM.)
zkSync Era Documentation
Boojum, the scariest SNARK implementation.
Symbolic execution tool
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
These RISC Zero examples have been moved to the main risc0/risc0 repository
Collaptz is an open computational task, a collaborative verifiable system, to empirically verify the Collatz conjecture.
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.
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.
Symbolic execution tool
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Boojum, the scariest SNARK implementation.
zkSync Era Documentation
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.
─── peer developers
─── ecosystems
─── languages
- C++5
- Rust4
- JavaScript2
- Python2
─── subscriber view
Unlock the full view of ianklatzco
- · 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.