هندسة الطريق غير السعيد: فهم بنية BitVM2 الجزء الثاني: الحواجز العملية ل BitVM2 BitVM2 هو إطار عمل جسر قوي، لكن "العمل نظريا" ليس هو المعيار في البيتكوين. المعيار هو ما إذا كان الطريق غير السعيد رخيصا، واضحا، ومتوافقا مع الحوافز. في نشر BitVM2 على غرار zkRollup، تظهر ثلاث حواجز عملية بسرعة: 1. إثبات الولاية الخاطئة خلال الخروج المثبت الذي تم الطعن فيه، يمكن للمشغل محاولة استخدام إثبات صالح على سجل لغة ثانية غير صحيح/مقسم. إذا لم يتم تحديد "الحالة الأخيرة" بشكل موضوعي، فقد يكون الدليل صحيحا داخليا لكنه محتال اقتصاديا. 2. لا يمكن للمستخدمين سحب مبالغ عشوائية مخارج BitVM2 الكلاسيكية مرتبطة بكميات تثبيت L1 ثابتة وتدفقات نمط المشغلين. لا يمكن توقع أن يقوم المستخدمون النهائيون بتشغيل سير عمل للمشغل فقط لسحب "x BTC". 3. الحوافز لا تدفع بشكل موثوق للممثل الصادق إذا لم يحصل المتحدون على رواتب ثابتة، فإنهم يتوقفون عن المشاهدة. نمط فشل محدد: الكيان الذي يمول/يبدأ التحدي ليس بالضرورة الكيان الذي يحقق الخطوة النهائية للنفي النهائي، لذا يمكن للآخرين الاستيلاء على المكافآت. يستهدف تصميم GOAT BitVM2 هذه الحركات مباشرة بثلاث حركات معمارية: • الالتزام بجهاز التسلسل المعين على البيتكوين بحيث تكون "الحالة الكانونية L2" مرتبطة خارجيا. • نقل ضمانات المشغل/المتحدي إلى L2 + استخدم تدفق سحب المبادلة الذرية بحيث يقوم المستخدمون بسحب مبالغ عشوائية بشكل نظيف، بينما يعوضون أنفسهم عبر إثباتات اللغة الثانية. • تقليل الحمل الناتج عن النزاعات مع الدوائر المشوشة + DV-SNARK بحيث يكون مسار التحدي قابلا للتنفيذ من الناحية التشغيلية. القادم في الجزء الثالث: ماذا يعني ترسيخ الرؤية القانونية للطبقة الثانية على البيتكوين من خلال الالتزام بمجموعة المتسلسلات، ولماذا يغلق هذا مخرج "إثبات الحالة الخطأ".