Prove your Bitcoin OG status in zero-knowledge
-
Updated
May 17, 2026 - Rust
#
risc-zero
Here are 14 public repositories matching this topic...
An MCP server to run trustless and verifiable agentic workflows using Risc Zero
-
Updated
Aug 7, 2025 - TypeScript
A gnark (Go) circuit that verifies a RISC Zero succinct STARK receipt inside a Groth16 proof over BLS12-381 — settling RISC Zero proofs on Cardano with one native pairing check, no BN254.
rust golang cryptography plutus stark cardano zero-knowledge-proofs proof-system bls12-381 groth16 zk-snark gnark zkvm risc-zero recursive-proofs
-
Updated
Jun 28, 2026 - Go
ZK-Puzzle-Chain: A Simple Chain, Integrating RISC-Zero's zkVM for PoW
-
Updated
Sep 9, 2024 - Rust
Browser-based zk-STARK demo — AIR constraints, FRI polynomial commitments, and end-to-end Fibonacci proof. No trusted setup. Post-quantum secure. The protocol behind StarkNet, StarkEx, and Risc Zero.
cryptography zero-knowledge post-quantum fri crypto-lab browser-crypto proof-systems starknet starkex zk-proof zk-stark risc-zero air-constraints
-
Updated
Jun 28, 2026 - TypeScript
Autonomous ZK claim adjuster for parametric shipping insurance on Mantle
-
Updated
Jun 13, 2026 - TypeScript
Boundless RWA side project that uses RISC Zero and Steel, the Boundless zk coprocessor library, to run compliance checks (KYC/AML, jurisdiction, product rules) off chain. Smart contracts only see a zk-verified allow/deny flag, enabling private, programmable trading hooks.
-
Updated
Dec 7, 2025 - Rust
A Provable ML Inference Runtime for Stellar
rust machine-learning cryptography privacy smart-contracts poseidon stellar zero-knowledge zkp bn254 groth16 soroban zkml risc-zero
-
Updated
Jun 26, 2026 - Rust
Zero-knowledge proof system for verifiable compliance envelopes. Proves compliance checkers executed correctly without revealing sensitive data. Built with RISC Zero zkVM. Phase 1 complete.
rust cryptography audit compliance gdpr soc2 privacy-preserving zero-knowledge-proofs zkp regulatory-compliance zkvm risc-zero
-
Updated
Jan 2, 2026 - Rust
Aegis — Provable Clean-Funds Compliance Coprocessor for Stellar (RISC Zero zkVM + Soroban, on-chain Groth16 verify)
-
Updated
Jul 3, 2026 - Rust
Improve this page
Add a description, image, and links to the risc-zero topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the risc-zero topic, visit your repo's landing page and select "manage topics."