نظرة شاملة على اللعبة الجدلية ودورها في كشف الأخطاء في نظام تجنب الأخطاء الأولي في كومة OP.

ليس من الصدف أن أحد أكثر المكونات إثارة للاهتمام في نظام الأخطاء المميز (FPS) لـ OP Stack هو لعبته المثيرة للجدل. تناول المقال السابق حول FPS كيفية تجزئة كومبيوتر OP تفصل برنامج الأدلة ضد الأخطاء (FPP) عن جهاز الكم الافتراضي للأخطاء (FPVM)، مما يمكن من المستوى التالي من القابلية للتكوين والترقيات المتوازية الفعالة للعنصرين. ليس مبالغة أن نقول أن هذا هو الحال أيضًا مع الألعاب المثيرة للجدل.

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

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

ما هي لعبة النزاع؟

ألعاب النزاعات هي الأسس الأساسية لاتفاقيات النزاع. يحاكي ذلك آلة حالة بسيطة، وبالنسبة لأي معلومة يتم منازعة صحتها، يتم تهيئتها بوعد بطول 32 بايت. تحتوي هذه المعلومات على وظيفة لحسم صحة هذا الوعد، والتي يترك تحديدها لتنفيذ الأساسية. أول تنفيذ لعبة مثير للجدل في OP Stack.لعبة الدفاع عن الخطأ, لم يتم ترخيصه لأن وظيفة قراره تم تحديدها من خلال نتائج برنامج خطأ تم تنفيذه فوق آلة افتراضية محاكاة.

البحوث الألعاب الفضولية على الخصائص السلسلتين:

لعبة الجدل تعتمد بحد ذاتها على سمتين أساسيتين:

1. تحفيز التوافق: يعاقب النظامالمطالبات الكاذبة والمكافآت للمطالبات الحقيقية لضمان المشاركة العادلة.
2. حل:كل لعبة لديها آلية لتحقق أو إلغاء التحقيقات الجذرية بشكل صريح.

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

لعبة نقطتين

إنها لعبة نزاع محددة النوع، وهي الأولى التي تم بناؤها على اتفاقية النزاع المكدسة OP. في هذه اللعبة، يقوم اللاعب بتقسيم مسار التنفيذ قدما وراء قدم حتى يتم الوصول إلى كل خطوة. بعد أن حقق التفريق وعدا بحالة على كل تعليمات التتبع،لعبة الدفاع عن الخطأيستخدم آلة افتراضية عامة لتنفيذ خطوة تعليمية واحدة على السلسلة. وظيفة انتقال حالة آلة الافتراضية (دعونا نسميها T ) يمكن أن تكون أي وظيفة، طالما تتبع النموذجT (s, i) - > s',أين S= الحالة السابقة المتفق عليها،أنا= إدخال تحول الحالة، s= حالة البريد.

لتنفيذ أول تنفيذ كامل لآلة افتراضية عامة في لعبة من لعبتين، قمنا بتنفيذ سياق خيط MIPS واحد في الجزء العلوي من EVM لتنفيذ تعليمة واحدة في أثر التنفيذ المولدبواسطةمدفع وبرنامج OP.

بيانات

تشير البيانات إلى التزام بحالة آلة الخلفية الافتراضية بموجب تعليمة معينة. قد تكون هذه حقيقية أو مزيفة، ويتم تحديد مصداقيتها بعد مرحلة القرار. إذا لم يكن هناك رد فعل مضاد، يُعتبر البيان صحيحًا.

الموقع

يعلن الموضع الذي يوجد في شجرة البيانات الثنائية. يشير هذا الموضع إلى التعليمة التي تتعلق البيان بتوجيهها.الموضع هو مؤشر عام، والذي يمكن تعريفه على أنه 2^{depth} + index_at_depth.

ساعة الشطرنج

تقتصر إجراءات اللاعب على الوقت. هذه اللعبة لا تتطلب ترخيصًا ويمكن لأي شخص الانضمام إليها. يبدأ كل جانب بـ 3.5 أيام للعب، بإجمالي 7 أيام من وقت اللعب. إذا قمت بإنشاء مسار جديد أو قمت بإصدار بيان حيث تلقيت بالفعل بيانًا، فهو مستوى ساعة الشطرنج الجد الجد.

عمل

يتم تقسيم اللاعبين إلى قسمين حتى يكون حالة البيان هي فقط تعليمات VM واحدة. ثم ينفذون تلك التعليمة على السلسلة للتحقق أو نفي البيان. يمكن أن تكون الإجراءات هجومًا (تحدي البيان الأصلي) أو دفاعًا (الاتفاق مع البيان الأصلي). كلما وافق اللاعبون على تجزئة البيانات التي شاهدوها (مما يعني أن كلا الطرفين في نفس الحالة تحت أمر معين) ولكنهم غير موافقين على النتيجة النهائية التي يحاولون تحقيقها استنادًا إلى الاتفاق النسبي للبيان المراقب، يتم استخدام البيان الكامن للدفاع.

خطوات الأمر

في العقدة الورقية لشجرة الموقع، تقدم كل بيان حالة في تعليمات VM واحدة فقط. الخطوة الوحيدة المتبقية هي تنفيذ تعليمات VM لإثبات أو عكس الادعاء الأصلي.

إذا أكد خطوة الأمر الحالة المتوقعة، فإن البيان لا يحتفظ. إذا كان هناك حالة إصدار غير متوقعة أو رمز خروج، سيتم مقاومة المطالبة الأصلية.

حلول

من المحتمل حل هذا النوع من اللعبة بعد استنفاد جميع ساعات الشطرنج المعلنة، بفترة دنيا تبلغ 3.5 يومًا.كل عبارة في اللعبة هي جذر لعبتها الفرعية (اللعبة الفرعية).اللعبة الفرعية هي DAG بعمق 1. جميع الألعاب الفرعية التي تشير إلى الجذر (والتي هي ذاتها جذور الألعاب الفرعية) هي عداداتها، ويمكن حل اللعبة الفرعية فقط إذا تم حل جميع ألعابها الفرعية الأخرى. يمكن اعتبار جذر اللعبة الفرعية معترضًا فقط إذا تم حل واحد أو أكثر من ألعاب جذر اللعبة الفرعية ولم يتم معارضتها، ويستمر هذا السمة في نفاذ البيان الجذري للعبة.

وجود اللاعبين الصادقين (بمجرد استنفاد جميع حركاتهم) يتسبب دائمًا في حل اللعبة بسلاسة في رؤيتها الكاملة، بغض النظر عما إذا كان البيان الأساسي صادقًا أو كاذبًا. يمكن دائمًا مواجهة بيان كاذب من قبل أي طرف، على الرغم من أن هناك دائمًا بيان صحيح واحد فقط يمكن إدلاؤه، حيث لا يُسمح بتكرار تجزئة الإعلان في نفس المكان في نفس اللعبة الفرعية.

0:00

1×

العب لعبة الأبجدية ذات نقطتين

لمن يهمه الأمر، هناك أيضًا أداة تصور لـ FaultDefenteGame، التي تستهدف تتبع التنفيذ المحاكي مع 16 تعليمة فقط في الطول. تستخدم هذه المحاكاة جهازًا افتراضيًا منفصلًا بسياق مختلف عن خيط MIPS، يُسمى AlphabetVM، الذي لا يعيد سوى الحرف التالي في الأبجدية عند إدخال حرف معين.

إذا كنت مهتمًا باستكشاف قواعد اللعبة مع خلفية أكثر خفة، إليك كيفية اللعب:

انسخ مستودع الشفافية، قم بتثبيت التبعيات، وأنشئ توزيع devnet / cannon / op-program الثنائيات.

الاعتماديات المطلوبة:

1. مصنع
2. أدوات Golang
3. دوكر

استنساخ البوابة git@github.com: ethereum-optimism/optimism.git & &\\ cd optimism & &\\ pnpm i & &\\ (cd packages/contracts-bedrock & & forge install) & &\\ Make up cannon-prestate & &\\ Make up devnet-allocs

تشغيل لعبة الأبجدية:

CD OP-CHALLENCHER & & MAKE ALPHABET

1. انتقل إلى https://disputify.optimism.io/ أو عبر الاستنساخ https://github.com/clabby/dispute-viz تشغيل واجهة المستخدم الأمامية بصورة محلية وإدخال عنوان وكيل FaultDefenteGame المنتشر على الشبكة التطويرية المحلية أعلاه.

اتفاقات متنازع عليها للمساعدة في حماية الرصيد OP

في لعبة من اثنين، تعمل جميع الآليات المذكورة أعلاه معًا لإنشاء نظام يكافئ السلوك الصادق ويواجه بشكل فعال المطالبات غير الصادقة.

هناك العديد من الطرق لبناء ألعاب مثيرة للجدل التي تحقق نفس الأهداف. نأمل أنه عند نشر FPS لـ OP Stack على OP Goerli ، سيستمتع البناؤون في بيئتنا بالتفكير الإبداعي في بناء ألعابهم المثيرة للجدل الخاصة. يمكن لكل لعبة جدلية تم إنشاؤها أن تلعب دورًا في اللامركزية الاجتماعية لـ OP Stack وتوفير خيارات لمشاركي البيئة حول كيفية حل النزاعات حول أي بيان معين حول قطعة معلومات معينة.

بيان:

1. تم نقل هذه المقالة من [Gateoplabs], والحقوق ملك للكاتب الأصلي[clabby ]. إذا كان لديك أي اعتراضات على إعادة الطبع، يرجى التواصل مع فريق Gate Learn (gatelearn@gate.io),وسيقوم الفريق بالتعامل معه في أقرب وقت ممكن وفقا للإجراءات ذات الصلة.
2. تنويه: الآراء والآراء المعبر عنها في هذه المقالة تمثل فقط آراء الكاتب الشخصية ولا تشكل أي نصيحة استثمارية.
3. يتم ترجمة المقالات في لغات أخرى من قبل فريق Gate Learn، وقد لا يتم نسخ المقالات المترجمة أو توزيعها أو نسخها دون ذكر Gate.io.