Prove your Bitcoin OG status in zero-knowledge
-
Updated
May 17, 2026 - Rust
#
risc-zero
Here are 17 public repositories matching this topic...
Provably fair Asteroids on Stellar: deterministic gameplay tapes are verified with RISC Zero proofs before KALIEN rewards are minted on-chain.
crypto ai gaming blockchain asteroids farming stellar zk zero-knowledge boundless zkp cloudflare-workers soroban vast-ai risc-zero
-
Updated
Mar 27, 2026 - 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
An MCP server to run trustless and verifiable agentic workflows using Risc Zero
-
Updated
Aug 7, 2025 - TypeScript
Private database queries in Rust: the server computes over ciphertext it cannot read or silently alter, requests are zkVM-authenticated and replay-bound, and results need true two-party threshold decryption.
rust cryptography sdk merkle-tree homomorphic-encryption threshold-cryptography privacy-enhancing-technologies zero-knowledge-proofs tfhe zkvm risc-zero
-
Updated
Aug 5, 2026 - Rust
Prove a trading backtest is real without revealing the strategy. Zero-knowledge (STARK) verification of backtest honesty: enforce the Deflated Sharpe Ratio, committed trial ledger, in-circuit. Reproduce a live credential to the digit.
quantitative-finance stark backtest zero-knowledge systematic-trading deflated-sharpe-ratio risc-zero verifiable-ai zkproofs backtest-overfitting
-
Updated
Jul 31, 2026 - Python
ZK-Puzzle-Chain: A Simple Chain, Integrating RISC-Zero's zkVM for PoW
-
Updated
Sep 9, 2024 - 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
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 post-quantum-cryptography zero-knowledge fri crypto-lab browser-crypto proof-systems starknet starkex zk-proof zk-stark risc-zero air-constraints
-
Updated
Aug 6, 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
Aug 11, 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."