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