في House of ZK Radio # 86 ، يتجول @robin_linus (@ZeroSync_) من خلال سبب إنشائه BitVM وكيف يعمل بالفعل. يشرح روبن أولا كيف تم تصميم Bitcoin كنظام دفع من نظير إلى نظير ، لكن الكتل التي تبلغ مدتها 10 دقائق و ~ 4 ميجابايت لكل 10 دقائق ليست قريبة بما يكفي للاستخدام العالمي. بدلا من تحويل Bitcoin إلى سلسلة عقود ذكية أخرى ، أراد طريقة للحصول على جسور على غرار zkRollup و L2s على Bitcoin باستخدام رموز التشغيل الموجودة فقط. أدى ذلك إلى فكرة BitVM الأساسية: التحقق المتفائل - بدلا من التحقق الكامل من SNARK على السلسلة ، ما عليك سوى أن تكون قادرا على دحض دليل غير صالح ، مثل الإشارة إلى خليتين متعارضتين في حل سودوكو سيء. ثم يشرح كيف يحول BitVM بيئة Bitcoin Script المحدودة للغاية ، 32 بت ، بدون ضرب إلى طبقة تحقق عامة من خلال هيكلة النظام حول دورين: المشغل الذي ينشر المطالبات ، والمنافسون الذين يمكنهم إثبات الاحتيال بإيجاز. يتحول نموذج الثقة من "الأغلبية الصادقة" إلى "منافس واحد صادق يكفي" ، مما يفتح الباب أمام جسور تقلل من الثقة وأكثر تعبيرا عن L2s بدون شوكة ناعمة. شاهد الحلقة الكاملة للتعمق أكثر في تطور BitVM (BitVM1 → BitVM2 → BitVM3) ، والدوائر المشوهة و Glock ، ولماذا يصف BitVM ب "كومة من الاختراقات على الاختراقات" ، وكيف يتناسب كل هذا مع خارطة الطريق الأوسع لتوسيع نطاق Bitcoin بطريقة أصلية للبيتكوين: