bitvm

A curated list of resources around BitVM

ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs

garbled-snark-verifier repository

Simple explanation of BitVM

Practical implementation of the BitVM2 protocol

Windowed big integer multiplication implementation on Bitcoin Script

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.

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

A STARK verifier in Bitcoin Script with no OP_CAT: Poseidon2 over KoalaBear, and WHIR on top of it. End-to-end against Plonky3's real prover.

winternitz-verifier-risc0 repository

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