─── ecosystem · risc-zero

RISC Zero

repositories

115

contributors

1,721

languages

top lang

Rust

repo wow

contrib wow

+1,488

star wow

weeks avail

─── weekly trend · 5w

repositories

contributors

1,721

stars

3,466

─── top gaining repos

01risc0/risc0-ethereum

+4 ★

+0 contributors · Rust

02risc0/risc0

+2 ★

+0 contributors · C++

─── top languages · by repos

─── repositories

100 / 115

#	repository	lang	stars	forks
001	risc0/risc0 RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.	C++	2,152	716
002	boundless-xyz/zeth A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM	Rust	448	104
003	risc0/risc0-ethereum Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.	Rust	227	101
004	risc0/zirgen Zirgen compiler and RISC Zero circuits	C++	124	31
005	risc0/risc0-rust-starter This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Zero zkVM.)	Rust	85	24
006	risc0/risc0-lean4 A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover	Lean	77	5
007	boundless-xyz/kailua The Ultimate ZK Proving Software Suite for Securing OP Rollups	Rust	68	32
008	risc0/risc0-rust-examples These RISC Zero examples have been moved to the main risc0/risc0 repository	Rust	56	16
009	boundless-xyz/risc0-solana	TypeScript	43	8
010	SecurFi/zkProver	Rust	32	3
011	halseth/elftrace	Rust	31	5
012	Nakshatra05/SecureFi Our advanced tooling enables auditors to generate a zero-knowledge proof of exploit securely, without disclosing the actual exploit itself. By utilizing zero-knowledge proofs, auditors can demonstrate their knowledge of a transaction that could lead to an undesirable change in contract state, without revealing the specific details of the exploit. B	Rust	30	9
013	halseth/output-zero	Rust	25	3
014	datalove-app/datalove	Rust	24	8
015	boundless-xyz/blobstream0	Rust	13	6
016	barnjamin/zk-experiments	Jupyter Notebook	12	1
017	Monadic-DNA/MonadicDNA Secure personal genomics using cryptography	TypeScript	11	3
018	asm-nop/lemma ZK Theorem Proving	TypeScript	10	1
019	eqtylab/pyzero Zero-knowledge proofs for your Python scripts.	Rust	9	2
020	Dzejkop/gemstone.builders A factorio-like game on the blockchain!	Jupyter Notebook	8	0
021	weikengchen/zkctf-r0-season1 RISC Zero Catch-The-Flag Challenge	Rust	8	0
022	tremblaythibaultl/risc0-vfhe	Rust	7	1
023	wsdt/risc0-bonsai_multichain-escrow Native zkRollups utilizing a L3-Architecture based on Polygon's zkEVM to solve the interoperability between networks through a common state on L2. Exemplary app: Multichain Escrow between L1 and L3.	Rust	7	0
024	eqtylab/risc-zero-verifier risc-zero-verifier	JavaScript	6	5
025	risc0/rz-security	—	6	4
026	ZK-Strapping/zk-fft Zk proof of FFT written with RISC0 zkVM	Rust	6	3
027	a00012025/zk-app-attest Hardware and app data attestation using ZK	Rust	5	0
028	mnshah/zero-raf The Zero-RAF project is an implementation of Medicare's Risk Adjustment Factor calculations using zero knowledge circuits. The goal of this project is to be able to calculated risk scores for 1 or more people in a covered population and to generate a proof that the calculations were done correctly.	Rust	5	1
029	remicolin/zalileo	Java	5	1
030	risc0/tinygo Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.	Go	5	1
031	rockawayx-labs/zk-wordle	Rust	5	0
032	zkonduit/zkml-framework-benchmarks	Jupyter Notebook	5	0
033	boundless-xyz/r0vm-helios On-chain Ethereum light client	Solidity	4	4
034	cspr-rad/kairos	Rust	4	1
035	0xAndoroid/zkSnake Snake game with a zkp of score	Rust	3	0
036	austinabell/risc0-js	Rust	3	0
037	hyli-org/collatz-conjecture RISC Zero implementation of the Collatz Conjecture for Hylé	Rust	3	6
038	inference-labs-inc/brain-bench-runner Python benchmarking tool for popular zkml frameworks	Jupyter Notebook	3	0
039	risc0/bonsai-starter-template	—	3	0
040	risc0/curve25519-dalek A pure-Rust implementation of group operations on Ristretto and Curve25519	Rust	3	5
041	risc0/ghpages Reports for RISC Zero	JavaScript	3	3
042	risc0/toolchain	Shell	3	6
043	Sh0g0-1758/ShieldFi Providing zero knowledge proof of vulnerabilites present in the contract, thus revolutionising the process of auditing of contracts in the defi space.	Rust	3	0
044	zkonduit/rpgf-parsing	Circom	3	0
045	BoltonBailey/risc0-metamath-15	Objective-C++	2	1
046	cspr-rad/acropolis-v1	Rust	2	1
047	Dustin-Ray/capy2vML Trains a differentially-private linear regression inside of the RISC-Zero virtual machine.	Rust	2	0
048	orpheuslummis/Collaptz Collaptz is an open computational task, a collaborative verifiable system, to empirically verify the Collatz conjecture.	C++	2	1
049	risc0/risc0-sppark Zero-knowledge template library	Cuda	2	2
050	risc0/rust Empowering everyone to build reliable and efficient software.	Rust	2	3
051	risc0/RustCrypto-elliptic-curves Collection of pure Rust elliptic curve implementations: NIST P-256, P-384, secp256k1	Rust	2	6
052	risc0/RustCrypto-RSA RSA implementation in pure Rust	Rust	2	0
053	risc0/zkvm-compare	Rust	2	2
054	risc0/zkvm-perf	Rust	2	2
055	weikengchen/vfhe-profiled	Rust	2	0
056	Akagi201/zkvm-benchmark Benchmarks between zkWasm and zkVM	Rust	1	0
057	Another-DevX/LambdaClass-ZKHackaton	Rust	1	0
058	chris-chris/zkml-benchmark	Jupyter Notebook	1	1
059	Cypher-Zer0x/rust-client client of the blockchain	Rust	1	0
060	ivolkg/zk-wormhole	Rust	1	0
061	Jiri-Privid/PrivID_FHE_ZKP Our FHE/ZKP privacy project	Rust	1	1
062	odradev/casper-zk-with-risc0	Rust	1	0
063	risc0/blst Multilingual BLS12-381 signature library	Assembly	1	1
064	risc0/cargo The Rust package manager	Rust	1	0
065	risc0/crossbeam Tools for concurrent programming in Rust	Rust	1	0
066	risc0/RustCrypto-hashes Collection of cryptographic hash functions written in pure Rust	Rust	1	3
067	risc0/tiny-keccak An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve	Rust	1	1
068	rsproule/needle-in-haystack	Rust	1	1
069	Shivannsh/ZkAttestify-RiscZero	Rust	1	0
070	Roasbeef/tinygo-zkvm TinyGo fork with RISC Zero zkVM targets	Go	1	0
071	aditya-git16/sceth	Rust	0	1
072	ahmadkaouk/zk-bitcoin-header-proof An example of a program to verify a bitcoin block header using zk proofs	Rust	0	0
073	aridder/zkbiometric	Rust	0	0
074	aryanargupta/Warrlord	JavaScript	0	1
075	Barkhausen-Institut/PQACL	C++	0	0
076	boundless-xyz/ethereum_hashing Hashing primitives used in Ethereum	Rust	0	0
077	boundless-xyz/kona A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.	—	0	0
078	boundless-xyz/reth Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust	Rust	0	1
079	CanvasL/bonsai-ceramic-demo	Rust	0	0
080	Created-for-a-purpose/Guardian-FHE	Rust	0	0
081	cyferio-labs/tmc Trustless Modular Calculator (TMC), a modular coprocessor and rollup stack enabling verifiable FHE	Rust	0	0
082	Drasungor/distcom	Rust	0	0
083	element36-io/hyperfridge-r0 Zero-knowledge proofs for ISO20022 camt53 documents based on EBICS protocol using the risk0 framework.	Rust	0	2
084	filament-zone/filament	Rust	0	0
085	fixerivan/wordle intentionally vulnerable risc0 wordle example	Rust	0	1
086	jonas089/kairos-lab Premature Kairos Fork	Rust	0	0
087	nhukc/risc0	C++	0	0
088	NOOMA-42/zkOracle-RISC0	Rust	0	0
089	nuke-web3/risc0-v1-chess Example derived from https://github.com/risc0/risc0/tree/v1.0.1/examples/chess	Rust	0	2
090	omurovec/zkhack-mtl ZKHACK Montreal Project	TypeScript	0	0
091	risc0/action-create-linear-issue GitHub action that creates a Linear Issue based on inputs	—	0	0
092	risc0/action-find-linear-issue Github action to find a Linear Issue from your pull request's branch, title, or description	TypeScript	0	0
093	risc0/action-find-or-create-linear-issue This is a Github Action that finds or creates a Linear Issue for your Pull Request. The Linear Issue identifier (e.g. `ENG-123`) is prefixed to the title of the PR.	—	0	0
094	risc0/actions-bazelisk add bazel in the build	TypeScript	0	0
095	risc0/arkworks-rs-algebra Libraries for finite field, elliptic curve, and polynomial arithmetic	—	0	1
096	risc0/c-kzg-4844 Minimal 4844 version of c-kzg	C	0	3
097	risc0/criterion-compare-action ⚡️📊 Compare the performance of Rust project branches	JavaScript	0	1
098	risc0/ed25519-consensus Ed25519 suitable for use in consensus-critical contexts.	—	0	0
099	risc0/github-action-benchmark GitHub Action for continuous benchmarking to keep performance	TypeScript	0	0
100	risc0/gnark gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license	—	0	0

Want deeper analysis?

Commission a benchmark report for RISC Zero.

[→] request report

─── subscriber view

Unlock the full view of the RISC Zero ecosystem

· Full repository, commit, and contributor breakdown
· Peer graph + ecosystem links
· Weekly trend deltas and pulse signal
· API + CSV / JSON exports

[$] subscribe sign in

Already a subscriber? Sign in with the same email used at checkout.