In House of ZK Radio #86 legt @robin_linus (@ZeroSync_) uit waarom hij BitVM heeft gemaakt en hoe het eigenlijk werkt. Robin legt eerst uit hoe Bitcoin is ontworpen als een peer-to-peer betalingssysteem, maar 10-minuten blokken en ~4MB per 10 minuten zijn lang niet genoeg voor wereldwijd gebruik. In plaats van Bitcoin om te vormen tot een andere smart contract keten, wilde hij een manier vinden om zkRollup-stijl bruggen en L2's op Bitcoin te krijgen met alleen bestaande opcodes. Dat leidde tot de kernidee van BitVM: optimistische verificatie - in plaats van een SNARK volledig on-chain te verifiëren, hoef je alleen maar een ongeldig bewijs te kunnen weerleggen, zoals het aanwijzen van twee tegenstrijdige cellen in een slechte Sudoku-oplossing. Vervolgens legt hij uit hoe BitVM de zeer beperkte, 32-bits, geen-vermenigvuldiging omgeving van Bitcoin Script omzet in een algemene verificatielaag door het systeem te structureren rond twee rollen: een operator die claims plaatst, en uitdagers die frauduleuze claims beknopt kunnen bewijzen. Het vertrouwensmodel verschuift van "eerlijke meerderheid" naar "één eerlijke uitdager is genoeg", waardoor de deur open gaat naar vertrouwensgeminimaliseerde bruggen en meer expressieve L2's zonder een soft-fork. Bekijk de volledige aflevering om dieper in te gaan op de evolutie van BitVM (BitVM1 → BitVM2 → BitVM3), verwarde circuits en Glock, waarom hij BitVM "een stapel hacks op hacks" noemt, en hoe dit alles past in de bredere roadmap voor het schalen van Bitcoin op een Bitcoin-native manier: