A curated list of resources around BitVM

ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs

garbled-snark-verifier repository

Simple explanation of BitVM

Windowed big integer multiplication implementation on Bitcoin Script

Practical implementation of the BitVM2 protocol

bitvm repository

A curated list of resources around BitVM

Toy implementation of paper https://rubin.io/public/pdfs/delbrag.pdf

BitVM Prediction Market is a decentralized prediction market built on Bitcoin using Taproot and MAST. It allows two parties to bet on a binary outcome (e.g., "BTC > $200K by 2026") with disputes settled trustlessly on Bitcoin.

BTCVault‑CLI – Educational command‑line tool modeling a trust‑minimized Bitcoin vault with BitVM2‑style optimistic verification. Operator publishes execution trace commitments; anyone can challenge fraudulent withdrawals using fraud witnesses (hash commitments). TypeScript reference for learning BitVM2, challenge periods, and permissionless.

An experimental C# binding to BitVM2, enabling trust-minimized Bitcoin bridges from .NET.

barefi – TypeScript reference client + simulator for a minimum‑viable Bitcoin DeFi stack: over‑collateralized bareUSD stablecoin, CDP vaults with liquidation math, rBTC‑style liquid staking receipts, and a barefi‑cli to drive the flows locally. Educational foundation for OP_NET, BitVM, or Stacks.

winternitz-verifier-risc0 repository

₿ 🐝, BTC VM implemented in rust, Compilable into zkVM