"اتضح أن هذا فعال بما يكفي للقيام به على البيتكوين - ضمن كل القيود المجنونة لبيتكوين سكريبت." - @robin_linus، مبتكر BitVM & @ZeroSync_ في House of ZK Radio #86، شرح روبن لينوس كيف يزيل BitVM حدود التحقق من البيتكوين كحاجب - موضحا لماذا يمكن أن يكون دحض SNARK غير الصحيح أرخص من التحقق الكامل من صحة SNARK وكيف يستخدم هذا التفاوت للتحقق بشكل متفائل من SNARKs داخل بيئة السكريبت المقيدة في البيتكوين. هذه هي الآلية التي تجعل BitVM قابلا للتطبيق على الإطلاق. وهذا هو السبب في أن جسور البيتكوين التي تقلل الثقة يمكنها الاعتماد على افتراض الصدق الوجودي بدلا من نموذج الأغلبية الصادقة. شاهد المحادثة الكاملة مع روبن بينما نتتبع كيف تفتح هذه البدائيات فئة جديدة من الأنظمة على مقياس البيتكوين: