هندسة الطريق غير السعيد: فهم بنية BitVM2 الجزء الرابع: الانسحابات كتدفق مستخدم الانسحابات هي المكان الذي يصبح فيه التصميم القياسي مركزا على المشغل: حيث تتسرب رموز UTXO الثابتة، والرسوم البيانية الموقعة مسبقا، وقفل الزمن، إلى تجربة المستخدم. لهذا السبب يفصل GOAT BitVM2 بين "المستخدم يحصل على بيتكوين" و"المشغل يحصل على تعويض". 1) سحب المستخدم = تبادل الذرة (مبلغ بسيط وعشوائي) يعرف الانسحاب بأنه تبادل ذري + خروج ثب. في التدفق الأساسي: • يقوم المستخدم بقفل PegBTC على المستوى الثاني في HTLC (قفل هاش). • يقوم المشغل بقفل BTC على L1 في HTLC مطابق. • المستخدم يطالب ببيتكوين ويكشف عن الصورة المسبقة. • يستخدم المشغل تلك الصورة المسبقة للمطالبة ب PegBTC. هذا يمنح المستخدم سحب "مبلغ X" دون الحاجة للمشاركة في آلية رسم بياني معاملات BitVM2. تشير المواصفة أيضا إلى تحسينات تجربة المستخدم (مثل استخدام Bitcoin SPV) لتجنب تعامل المستخدم يدويا مع الصورة المسبقة. 2) تعويض المشغل = خروج الأثاث، مثبت ضد الحالة القانونية L2 بعد التبديل، يخرج المشغل عبر مسار الخروج ويعوض بناء على إثباتات انتقال الحالة باللغة الثانية، بدلا من الاعتماد على تنسيق على مستوى المستخدم. تشغيليا، يشمل دور المشغل صراحة "تبادل بيج بيتكوين بعملة أصلية مع المستخدمين" ثم يدير سير عمل الإثبات/التعويض. النتيجة الصافية: • يحصل المستخدمون على مسار سحب تعسفي لا يتطلب "سلوك المشغل"....