Prove your Bitcoin OG status in zero-knowledge
-
Updated
May 17, 2026 - Rust
#
risc-zero
Here are 23 public repositories matching this topic...
Open-source protocol for privacy-preserving, verifiable investment track records. Turn a real track record into public claims anyone can check, without publishing a balance, a position or a trade.
-
Updated
Oct 1, 2026 - TypeScript
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
Privacy-preserving LEZ wallet for Logos Basecamp — key custody, provider SDK, approval-gated signing, faucet + on-chain testimonials, client-side encrypted recovery on Logos Storage.
privacy browser-extension wallet logos zero-knowledge tauri non-custodial risc-zero lez logos-execution-zone
-
Updated
Sep 28, 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-verified monster battles on Stellar — every combat move is proven with RISC Zero and recorded on-chain via a Soroban smart contract.
-
Updated
Feb 23, 2026 - Python
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
RISC Zero proving and on-chain EVM verification of a satellite least-squares integrity check. Every published number is backed by a committed JSON record under bench/results/.
-
Updated
Jul 19, 2026 - Rust
Verifiable outcome metrics for AI companions: local proofs, auditable rules, and independent verification.
-
Updated
Sep 23, 2026 - Rust
ZK-Puzzle-Chain: A Simple Chain, Integrating RISC-Zero's zkVM for PoW
-
Updated
Sep 9, 2024 - Rust
Auditable by Design: secure AI-assisted migration to post-quantum cryptography. Reference implementation, measurements and manuscript sources.
audit-log post-quantum-cryptography zero-knowledge llm-security ml-kem ml-dsa risc-zero pqc-migration
-
Updated
Oct 1, 2026 - TeX
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
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
Sep 27, 2026 - Rust
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."