"Det viste seg at dette faktisk er effektivt nok til å gjøre på Bitcoin – innenfor alle de sprø begrensningene til Bitcoin Script." - @robin_linus, skaperen av BitVM & @ZeroSync_ I House of ZK Radio #86 forklarte Robin Linus hvordan BitVM fjerner Bitcoins verifiseringsgrenser som en blokkering – og forklarte hvorfor det kan være billigere å motbevise en feil SNARK enn å verifisere en korrekt fullstendig, og hvordan denne asymmetrien brukes til å optimistisk verifisere SNARK-er i Bitcoins begrensede skriptmiljø. Dette er mekanismen som gjør BitVM levedyktig i det hele tatt. Og det er grunnen til at tillitsminimerte Bitcoin-broer kan basere seg på en antakelse om eksistensiell ærlighet i stedet for en ærlig majoritetsmodell. Se hele samtalen med Robin mens vi følger hvordan disse primitive låser opp en ny klasse av Bitcoin-skalasystemer: