"Det visade sig att detta faktiskt är tillräckligt effektivt för att göras på Bitcoin – inom alla de galna begränsningarna i Bitcoin Script." - @robin_linus, skapare av BitVM & @ZeroSync_ I House of ZK Radio #86 förklarade Robin Linus hur BitVM tar bort Bitcoins verifieringsgränser som en blockerare – och förklarade varför det kan vara billigare att motbevisa en felaktig SNARK än att fullt ut verifiera en korrekt och hur den asymmetrin används för att optimistiskt verifiera SNARKs i Bitcoins begränsade skriptmiljö. Detta är mekanismen som gör BitVM livskraftigt överhuvudtaget. Och det är anledningen till att förtroendeminimerade Bitcoin-bryggor kan förlita sig på en existentiell ärlighetsantagande snarare än en ärlig majoritetsmodell. Se hela samtalet med Robin när vi spårar hur dessa primitiva system låser upp en ny klass av Bitcoin-skalasystem: