« Il s'est avéré que c'est en fait suffisamment efficace pour le faire sur Bitcoin - dans toutes les contraintes folles de Bitcoin Script. » - @robin_linus, Créateur de BitVM & @ZeroSync_ Dans House of ZK Radio #86, Robin Linus a expliqué comment BitVM supprime les limites de vérification de Bitcoin en tant qu'obstacle - expliquant pourquoi prouver qu'un SNARK incorrect est moins cher que de vérifier complètement un correct et comment cette asymétrie est utilisée pour vérifier de manière optimiste les SNARKs dans l'environnement de script restreint de Bitcoin. C'est le mécanisme qui rend BitVM viable. Et c'est la raison pour laquelle les ponts Bitcoin minimisés en confiance peuvent s'appuyer sur une hypothèse d'honnêteté existentielle plutôt que sur un modèle de majorité honnête. Regardez la conversation complète avec Robin alors que nous retraçons comment ces primitives débloquent une nouvelle classe de systèmes à l'échelle de Bitcoin :