هندسة الطريق غير السعيد: فهم بنية BitVM2 الجزء الأول: الأمن يعيش في طريق النزاع بيتكوين L2 يعيش أو يموت على مساره غير السعيد. في البيتكوين، لا تحصل على "شغل المتحقق على السلسلة ثم المضي قدما". تحصل على بيئة تنفيذ مقيدة، ورسوم بيانية موقعة مسبقا للمعاملات، وأقفال زمنية تحدد بالضبط متى يمكن لكل طرف أن يتصرف. يعد BitVM2 نمط تطبيق متفائل لبيتكوين: تنفيذ خارج السلسلة، ثم جعل الصوابية قابلة للتنفيذ عبر بروتوكول نزاع على السلسلة مبني من معاملات موقعة مسبقا. وهذا يؤدي إلى قاعدة هندسية بسيطة: إذا كانت النزاعات مكلفة أو يمكن تأجيلها بسبب الرسوم، فإن نموذج الأمان ببساطة لا يعمل. تعمل أنظمة BitVM بالسماح للمشغلين بتنفيذ خارج السلسلة، ثم منح أي شخص القدرة على تحدي البروتوكول داخل السلسلة وإجبار البروتوكول على مسار نزاع تحت افتراض 1 من n (على الأقل متحدي صادق واحد للصلاحية؛ على الأقل مشغل صادق واحد للحياة). هذا المسار النزاعي هو الآلية. المعاملات الموقعة مسبقا والتوقيعات لمرة واحدة (نوافذ التحدي، مواعيد الرد، الإنهاء) هي "وقت تشغيل" الجسر ومخارجه. لذا عندما نتحدث عن البناء على BitVM2، فإن العامل الرئيسي ليس مصطلحات تسويقية مثل "بلا ثقة". نجم الشمال هو: • النزاعات التي تكون رخيصة بما يكفي للتنفيذ، • سياق سلسلة موضوعي بما يكفي لمنع خروج "إثبات الحالة الخطأ" • تدفقات المعاملات التي تستمر في التقدم تحت شروط الرسوم الحقيقية. تشرح هذه السلسلة كيف تعاملنا مع تلك القيود في تصميم GOAT BitVM2، قطعة قطعة. قريبا في الجزء الثاني: الحواجز العملية لنشر zkRollup جاهز للإنتاج على البيتكوين.