Prove your Bitcoin OG status in zero-knowledge
-
Updated
May 17, 2026 - Rust
#
risc-zero
Here are 11 public repositories matching this topic...
An MCP server to run trustless and verifiable agentic workflows using Risc Zero
-
Updated
Aug 7, 2025 - TypeScript
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 typescript zero-knowledge post-quantum fri vite crypto-lab browser-crypto proof-systems starknet starkex zk-proof zk-stark risc-zero air-constraints
-
Updated
Apr 12, 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
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
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."