Fairgate Workshop
summary
BitBMX implements optimistic disputable computation on Bitcoin by compiling C++/Rust programs to RISC‑V32 ELF and mapping each RISC‑V instruction to Bitcoin script via a separate RISC‑V32→Bitcoin‑script CPU process, using offchain zero‑knowledge proofs and on‑chain fraud proofs. Protocols are directed graphs of prebuilt Bitcoin transactions, disputes use an n‑ary search (typical 8 divisions) to isolate a faulty instruction, and examples include a one‑honest‑participant bridge between Bitcoin and RTO and an ordinals bridge to Cardano. Live on testnet, closed alpha, not yet mainnet, code and Docker builders in Fairgate Labs repo.
AI-written summary · about
chapters (10)
- 0:00BitVMX and Fairgate Labs
- 2:56BitVMX applications and bridges
- 6:33BitVMX hackathon
- 10:32Developer setup and client
- 16:41BitVMX CPU execution
- 22:33Writing BitVMX programs
- 27:15Protocols in BitVMX
- 31:16Protocol handler implementation
- 37:42Summary and next steps
- 39:06Q&A
related talks
20mChar: The Infrastructure Bet Underneath Every Bitcoin L2
44mEmulating Covenants While Minimizing Trust
22mMaking Bitcoin Productive for Ethereum using Trustless Vaults
12mHow We Did It: ZK Proofs on Bitcoin
01h 59mWorld Crypto Network LIVE from Hacker Congress at Paralelní Polis (Day 3 - Part 2)
28mBitVM: Innovation Without a Soft Fork
24mThe Bitcoin Virtual Machine Breakthrough Nobody Saw Coming
22mReplacing DeFi with Bitcoin Finance