Prove your Bitcoin OG status in zero-knowledge
-
Updated
May 17, 2026 - Rust
#
risc0-zkvm
Here are 7 public repositories matching this topic...
SecureFi is a proof-of-concept developed at the Web3 Builder Hackathon (RiseIn @ DTU) with the mission of securing DeFi transactions. At its core, SecureFi bridges the gap between white-hat hackers and DeFi protocol teams by using Zero-Knowledge Proofs (zkPs) to report vulnerabilities without revealing the exploit itself.
-
Updated
Jun 17, 2024 - Rust
Bitcoin validity proofs from Bitcoin Core's own unmodified consensus code, proven in a RISC0 zkVM (research)
-
Updated
Sep 21, 2026 - Python
FintraDex — a Substrate-based Polkadot parachain in active development, implementing a hybrid orderbook DEX with Risc0 zero-knowledge verification, Hyperbridge interoperability, and leveraging Boundless for proof-based execution scaling.
rust wasm interoperability evm dex substrate pallet zk zero-knowledge boundless polkadot cross-chain defi hyperbridge polkadot-js polkadot-network polkadot-blockchain polkadot-sdk risc0-zkvm
-
Updated
Nov 6, 2025 - Rust
ZK-Verified Computation Gateway - Trustless verification of off-chain computation using Rust + Zero Knowledge
rust cryptography blockchain rust-library zero-knowledge halo2 verifiable-computation zero-knowledge-proofs zkvm zk-proofs proof-verification-protocol risc0-zkvm
-
Updated
Sep 15, 2026 - Rust
aMACI protocol implemented with zkvm (RISC0 & SP1)
-
Updated
Jul 19, 2026 - Rust
Add this topic to your repo
To associate your repository with the risc0-zkvm topic, visit your repo's landing page and select "manage topics."