repos
23
ecosystems
11
languages
5
commits
1,057
─── top repos · by commits
─── repositories
23 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.
K Framework Tools 7.0
An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
KORE to llvm translation
KORE to llvm translation
Core traits and adapters to unify experience among various zkVMs.
Zirgen compiler and RISC Zero circuits
The Ultimate ZK Proving Software Suite for Securing OP Rollups
Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
Zirgen compiler and RISC Zero circuits
Zirgen compiler and RISC Zero circuits
ZK Fault Proofs for Optimistic Rollups
─── peer developers
─── ecosystems
─── languages
- C++8
- Rust4
- Python1
- HTML1
- Go1
─── subscriber view
Unlock the full view of SchmErik
- · 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.