"Het bleek dat dit eigenlijk efficiënt genoeg is om op Bitcoin te doen - binnen al de gekke beperkingen van Bitcoin Script." - @robin_linus, Maker van BitVM & @ZeroSync_ In House of ZK Radio #86, legde Robin Linus uit hoe BitVM de verificatiebeperkingen van Bitcoin als een blokkade verwijdert - en verklaarde waarom het weerleggen van een onjuiste SNARK goedkoper kan zijn dan het volledig verifiëren van een correcte en hoe die asymmetrie wordt gebruikt om optimistisch SNARKs te verifiëren binnen de beperkte scriptingomgeving van Bitcoin. Dit is het mechanisme dat BitVM überhaupt levensvatbaar maakt. En het is de reden waarom trust-minimized Bitcoin-bruggen kunnen vertrouwen op een existentiële eerlijkheidshypothese in plaats van een eerlijk-meerderheidsmodel. Bekijk het volledige gesprek met Robin terwijl we volgen hoe deze primitieve een nieuwe klasse van Bitcoin-schaalsystemen ontgrendelen: