I House of ZK Radio #86 går @robin_linus (@ZeroSync_) igenom varför han skapade BitVM och hur det faktiskt fungerar. Robin förklarar först hur Bitcoin utformades som ett peer-to-peer-betalningssystem, men 10-minutersblock och ~4 MB per 10 minuter är inte i närheten av tillräckligt för global användning. Istället för att förvandla Bitcoin till ytterligare en smart kontraktskedja ville han ha ett sätt att få broar och L2:or i zkRollup-stil på Bitcoin med hjälp av endast befintliga opcodes. Det ledde till BitVM:s kärnidé: optimistisk verifiering - istället för att fullt ut verifiera en SNARK on-chain behöver du bara kunna motbevisa ett ogiltigt bevis, som att peka på två motstridiga celler i en dålig Sudoku-lösning. Han fortsätter sedan med att förklara hur BitVM förvandlar Bitcoin Scripts mycket begränsade, 32-bitars, no-multiplikationsmiljö till ett allmänt verifieringslager genom att strukturera systemet kring två roller: en operatör som postar påståenden och utmanare som kortfattat kan bevisa bedrägeri. Tillitsmodellen skiftar från "ärlig majoritet" till "en ärlig utmanare räcker", vilket öppnar dörren för förtroendeminimerade bryggor och mer uttrycksfulla L2:or utan en mjuk gaffel. Titta på hela avsnittet för att gå djupare in i BitVM:s utveckling (BitVM1 → BitVM2 → BitVM3), förvrängda kretsar och Glock, varför han kallar BitVM för "en hög med hacks på hacks" och hur allt detta passar in i den bredare färdplanen för att skala Bitcoin på ett Bitcoin-inhemskt sätt: