الانتقال إلى المحتوى
Financial Context Wiki

إثبات الخطأ (إثبات الاحتيال)

دليل يراعي اختلافات النشر لإثباتات الخطأ التفاؤلية، والادعاءات المتنازع عليها، وتنصيف أثر التنفيذ، والتحقق من خطوة واحدة، والساعات، والضمانات، وتوافر البيانات، ونهائية السحب، والتحقق التشغيلي.

آخر تحديث

لأغراض تعليمية فقط؛ لا يشكل ذلك نصيحة استثمارية أو توصية استثمارية. قد تؤدي الاستثمارات إلى خسائر.

الإجابة المباشرة

إثبات الخطأ، الذي يسمى غالبا إثبات الاحتيال، هو إجراء بروتوكولي للاعتراض على ادعاء تفاؤلي بشأن عملية حسابية أو حالة. لا يثبت صاحب الادعاء كل انتقال قبل قبوله؛ بل يستطيع معترض مؤهل تقديم أثر تنفيذ متعارض ضمن الساعات المحددة، ويفصل عقد التسوية في الخلاف وفق أداة تحقق معينة. وتضيّق تصاميم تفاعلية كثيرة أثرا طويلا بصورة متكررة حتى تصل إلى تعليمة واحدة متنازع عليها، ثم تنفذ تلك الحالة الأساسية على السلسلة.

لا يثبت الاسم أن النظام المنشور مفتوح المشاركة أو متاح أو آمن. يتطلب الأمان توافر بيانات الاشتقاق الدقيقة، ووجود معترض صحيح واحد على الأقل يستطيع إعادة بناء الادعاء والتحرك في الوقت المحدد، وإمكان الوصول الكافي إلى سلسلة التسوية وتوفير الغاز، وصحة برامج الإثبات والعقود، وحوكمة لا تستطيع تجاوز النتيجة. قد يسمح الادعاء الذي يجتاز لعبته بسحب وفقا لقواعد ذلك النشر؛ لكنه لا يثبت بأثر رجعي كل معاملة على L2 أو تصريح واجهة أو نتيجة اقتصادية.

1
تسلسل

يقوم جهاز التسلسل بطلب معاملات L2 وينشر بيانات المعاملة أو الالتزامات.

آلية العمل

  1. ثبّت هوية النشر: معرفي سلسلتي L1 وL2، وإصدارات التجميع وإثبات الخطأ، وتجزئات الكتل، والمصنع، والبوابة أو الجسر، وبرنامج الإثبات، والآلة الافتراضية، ونوع اللعبة، والتنفيذ وعناوين الإدارة، ونموذج الصلاحيات، والضمانات، والعمق الأقصى، والساعات، ومهل النضج، وحالة الإيقاف، وسياسة النهائية. لا يمثل الاسم fraud proof مواصفة موحدة بين جميع التجميعات.
  2. أعد بناء الادعاء من مدخلات موثقة. سجّل حالة الارتكاز، ورأس L1، وكتلة L2 أو جذر المخرجات المتنازع عليه، وبيانات الدفعات وblob، وتهيئة السلسلة والتجميع، والحالة السابقة، وجذر السحوبات، وقواعد الاشتقاق الدقيقة. لا يكفي جذر الحالة وحده لإعادة إنتاج الانتقال، وقد يحول غياب البيانات دون مسار اعتراض مفتوح ظاهريا.
  3. تحقق من إنشاء اللعبة ومن قدرتها على التأثير في العنصر المقصود. افحص الادعاء الجذري، وصاحبه، وكتلة الإنشاء ووقته، ونوع اللعبة، وحالة اعتماده أو إدراجه في القائمة السوداء، والضمان، وأهلية المعترض، وقاعدة القبول الفعلية للبوابة. افصل بين ادعاء قيد الانتظار، ونتيجة لعبة، ومخرج جاهز للسحب.
  4. أعد التنفيذ بعقدة مستقلة وتنفيذ مستقل لإثبات الخطأ. قارن الأثر الصحيح بكل ادعاء متنازع عليه، واحتفظ بالصور السابقة وشواهد الحالة وإصدارات العملاء. في اللعبة التفاعلية، هاجم أو دافع عن المجال الصحيح حتى يحدد العمق الأقصى تعليمة واحدة؛ ثم قدم شاهد الحالة الأساسية إلى أداة تحقق الآلة الافتراضية على السلسلة.
  5. تتبع ساعة كل فريق وكل معاملة. سجّل الوقت المتبقي، والتمديدات، والإدراج في L1، ومخاطر إعادة التنظيم، وcalldata، والغاز، والاستبدال، والتعرض للضمان، والادعاءات المتوازية، ومن يجب عليه الرد. ليست مدة الاعتراض الزمنية بالضرورة عدّا تنازليا ثابتا واحدا، وقد تضيع نتيجة صحيحة بسبب تفويت حركة أو حجب معاملة.
  6. اربط نتيجة الفصل بآثار البروتوكول. حدد الادعاءات التي دحضت، والفريق الفائز، وكيفية توزيع الضمانات والتكاليف، وما إذا كان المخرج غير الصحيح قد استبعد، وما إذا كان يلزم إعادة بناء المخرجات أو الإثباتات أو السحوبات التابعة. مصادرة الضمان حافز، وليست تعويضا عن كل خسارة محتملة في الجسر.
  7. طابق النهائية والسحوبات كل على حدة. تحقق من نتيجة اللعبة، ومهل نضج الإثبات وما بعد الفصل المطلوبة، ونوع اللعبة المعتمد، وفحوص القائمة السوداء والإيقاف، وإثبات إدراج السحب، وإيصال الإنهاء، ونهائية L1. أرشف البيانات والأدلة، وراقب الترقيات، وتدرّب على إجراءات الاعتراض والإدراج القسري وإعادة الإثبات والخروج الطارئ.

أمثلة محلولة

  • تنصيف الأثر. يحتوي أثر تعليمي على 1,048,576 = 2^20 instructions. إذا كان كل دور غير متنازع عليه ينصف المجال المتنازع عليه، فإن 20 bisections تعزل تعليمة واحدة لأن 2^20 / 2^20 = 1. قد تفصل الألعاب الفعلية بين آثار المخرجات والتنفيذ، أو تتفرع إلى رسم بياني لا دوري، أو تتطلب حركات إضافية؛ لذا فهذا مثال على التعقيد وليس عددا فعليا لأدوار أي نشر.
  • ساعات مستقلة للعبة. تمنح لعبة افتراضية كل فريق 84 hours. يستهلك المدافع 30 hours ويستهلك المعترض 22 hours، فيتبقى لهما 54 hours و62 hours على الترتيب. الزمن المنقضي فعليا ليس ببساطة 84 hours: لا تتناقص إلا ساعة الفريق المعني، ويمكن للتمديدات المحددة في البروتوكول وتأخيرات الإدراج والادعاءات المتوازية أن تغير الموعد النهائي.
  • دفتر الضمان والغاز. وفق قاعدة افتراضية معلنة، يرتبط الجذر غير الصحيح بضمان 2 ETH. دفع المعترض الفائز 0.5 ETH، واسترد ذلك الإيداع إضافة إلى مكافأة 1.4 ETH، وأنفق 0.08 ETH على غاز L1؛ ويذهب 0.6 ETH من ضمان الخاسر إلى الخزانة. صافي ربح المعترض هو 1.4 - 0.08 = 1.32 ETH؛ أما 0.5 ETH المعادة فهي أصل مال لا ربح، و1.4 + 0.6 = 2 ETH. يختلف مستحقو الضمان وسلوك المستفيدين دون تكلفة باختلاف العقد.
  • ساعات السحب. افترض أن سحبا أثبت في 2026-08-01 12:00 UTC، وأن مهلة نضج إثباته المضبوطة هي 7 days، وأن اللعبة ذات الصلة حسمت في 2026-08-06 18:00 UTC، وأن الفاصل بعد الحسم 1 day. تنتهي البوابتان في 2026-08-08 12:00 UTC و2026-08-07 18:00 UTC؛ وأبكر وقت يستوفيهما معا هو 2026-08-08 12:00 UTC. ومع سياسة نهائية إضافية لـL1 مدتها 20 minutes، يكتمل الأمر اقتصاديا في 2026-08-08 12:20 UTC، بافتراض عدم وجود إيقاف أو قائمة سوداء أو إعادة إثبات أو إعادة تنظيم.

المخاطر

  • تدقيق سلسلة L1 أو L2 أو نشر أو نوع لعبة أو إصدار عقد غير صحيح.
  • إعادة البناء انطلاقا من مرتكز أو رأس L1 قديم أو غير قانوني أو خاطئ.
  • فقدان بيانات دفعة أو blob أو صورة سابقة أو شاهد حالة أو تهيئة.
  • افتراض أن وجود التزام أو مدخل إثبات متاح يعني توافر جميع بيانات الاشتقاق.
  • اشتقاق برنامج المعترض أثرا صحيحا مختلفا بسبب عيب في العميل.
  • عيوب برنامج إثبات الخطأ أو الآلة الافتراضية أو أوراكل الصور السابقة أو أداة تحقق الخطوة على السلسلة.
  • تعطل أو استحواذ جهة نشر أو معترض أو مسار إنشاء لعبة خاضع لصلاحية.
  • عدم وجود مراقب صحيح يكتشف النزاع ويفتحه قبل الموعد المعني.
  • منع الحجب أو ازدحام L1 أو إعادة التنظيم أو ارتفاع الغاز لحركة في الوقت المحدد.
  • إساءة فهم ساعات الشطرنج أو التمديدات أو العمق الأقصى أو وقت إدراج المعاملة.
  • مهاجمة أو الدفاع عن ادعاء أو مجال أثر أو موضع أو تعليمة غير صحيحة.
  • جعل متطلبات الضمان أو رأس المال العامل المشاركة المفتوحة غير عملية.
  • اختلاف توزيع الضمانات أو سلوك المستفيدين دون تكلفة أو الحوافز عن افتراضات الأمان.
  • حسم ألعاب متعددة أو ادعاءات مكررة أو تنفيذات متعارضة على نحو غير متوقع.
  • تغيير الحوكمة نوع اللعبة المعتمد أو أداة التحقق أو الحد أو المهلة.
  • منع صلاحيات الإيقاف أو القائمة السوداء لدى الحارس سحوبات صحيحة لولا ذلك.
  • اعتبار نتيجة اللعبة نهائية فورية للسحب أو التسوية.
  • إثبات سحب مقابل لعبة مبطلة وعدم إعادة إثباته.
  • افتراض أن رفض المخرج غير الصحيح يصلح كل أثر لاحق في تطبيق أو جسر.
  • تعميم نموذج إثبات ونهائية تجميع تفاؤلي واحد على نظام آخر.

مفاهيم خاطئة شائعة

  • الادعاء التفاؤلي الذي لم يعترض عليه ثبتت صحته تشفيريا.
  • يستطيع أي شخص الاعتراض على كل نظام منشور دون صلاحية أو رأس مال أو بنية تحتية.
  • يعمل إثبات الخطأ حتى حين لا تتوافر بيانات الاشتقاق.
  • يؤدي الفوز بالنزاع فورا إلى إنهاء كل سحب تابع وتعويض جميع الخسائر.
  • فترة اعتراض مدتها سبعة أيام، ولعبة ثنائية، ومراقب صحيح واحد ثوابت عامة لكل التجميعات.

مواضيع ذات صلة

المصادر

التنقل

ابحث في الويكي...