repos
34
ecosystems
8
languages
8
commits
775
─── top repos · by commits
─── repositories
34 totalRISC 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.
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.
Template for integrating RISC Zero and Ethereum using Foundry
ZK Theorem Proving
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
🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine
These RISC Zero examples have been moved to the main risc0/risc0 repository
A 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
This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Zero zkVM.)
An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
A battleship game using ZKPs
Reports for RISC Zero
RSA implementation in pure Rust
Collection of pure Rust elliptic curve implementations: NIST P-256, P-384, secp256k1
Pairing cryptography library in Rust
─── peer developers
─── ecosystems
─── languages
- Rust14
- C++5
- TypeScript1
- Swift1
- Solidity1
- Lean1
- HTML1
- JavaScript1
─── subscriber view
Unlock the full view of pdg744
- · 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.