I House of ZK Radio #86 går @robin_linus (@ZeroSync_) gjennom hvorfor han skapte BitVM og hvordan det faktisk fungerer. Robin forklarer først hvordan Bitcoin ble designet som et peer-to-peer-betalingssystem, men 10-minutters blokker og ~4 MB per 10 minutter er ikke på langt nær nok for global bruk. I stedet for å gjøre Bitcoin om til en annen smart kontraktskjede, ønsket han en måte å få zkRollup-broer og L2-er på Bitcoin ved å bruke kun eksisterende opkoder. Det førte til BitVMs kjerneidé: optimistisk verifisering - i stedet for å verifisere en SNARK på kjeden fullt ut, trenger du bare å kunne motbevise et ugyldig bevis, som å peke på to motstridende celler i en dårlig Sudoku-løsning. Han fortsetter deretter med å forklare hvordan BitVM gjør Bitcoin Scripts svært begrensede, 32-biters, ikke-multiplikasjonsmiljø til et generelt verifiseringslag ved å strukturere systemet rundt to roller: en operatør som legger ut krav, og utfordrere som kortfattet kan bevise svindel. Tillitsmodellen skifter fra "ærlig flertall" til "en ærlig utfordrer er nok", og åpner døren for tillitsminimerte broer og mer uttrykksfulle L2-er uten soft-fork. Se hele episoden for å gå dypere inn i BitVMs utvikling (BitVM1 → BitVM2 → BitVM3), forvrengte kretser og Glock, hvorfor han kaller BitVM "en haug med hacks på hacks", og hvordan alt dette passer inn i det bredere veikartet for skalering av Bitcoin på en Bitcoin-innfødt måte: