حان الوقت لجزء آخر من سلسلة داخل Arbitrum، هذه المرة حول أدلة الاحتيال ودور المدققين.
مفتاح أمان أي سلسلة تراكمية -Rollups- هو القدرة على تقديم أدلة احتيال إذا حاول شخص ما الغش. تتمتع كل نسخة عامة من Arbitrum، والتي تعود إلى الإصدار التجريبي العام الأول لدينا في أوائل عام 2020، بنظام مضاد للاحتيال يعمل بكامل طاقته.
المدققون هم الأطراف الذين يشاركون في بروتوكول التجميع -rollups- لتعزيز حالة سلسلة Arbitrum بشكل آمن، وذلك باستخدام أدلة الاحتيال -fault proofs- عند الضرورة.
لا تحتاج إلى أن تكون مُدققًا، ولن يقوم معظم الأشخاص بالتحقق من صحتها. تتطلب صحة Arbitrum فقط أن يقوم طرف واحد نزيه بالتحقق من صحتها – ويضمن البروتوكول أن مدققًا نزيهًا واحدًا يمكنه فرض النتيجة الصحيحة بغض النظر عن عدد المدققين الضارين الموجودين أو ما يفعلونه.
يمكن لكل مدقق أن يختار نهجه الخاص، ولكننا نتوقع أن يتبع المدققون ثلاث استراتيجيات مشتركة.
– تحاول إستراتيجية المدقق النشط تحسين حالة السلسلة من خلال اقتراح كتل تراكمية جديدة. يتم دائمًا تخزين أداة التحقق النشطة، لأن إنشاء كتلة تراكمية يتطلب تخزينها. تحتاج السلسلة حقًا إلى مدقق نشط وصادق واحد فقط؛ أي أكثر من ذلك هو الاستخدام غير الفعال للموارد. بالنسبة لسلسلة Arbitrum One، تقوم Offchain Labs بتشغيل أداة التحقق النشطة.
– تراقب إستراتيجية المدقق الدفاعي عمل بروتوكول التجميع. إذا تم اقتراح الكتل التراكمية الصحيحة فقط، فإن هذه الإستراتيجية لا تفعل شيئًا. ولكن إذا تم اقتراح كتلة غير صحيحة، فإن هذه الإستراتيجية تتدخل عن طريق نشر كتلة صحيحة أو عمل stake على كتلة صحيحة قام طرف آخر بنشرها. تتجنب هذه الإستراتيجية عمل stake عندما تسير الأمور على ما يرام، ولكن إذا حاول شخص ما الغش، فإنها تقوم بعمل stake من أجل الدفاع عن النتيجة الصحيحة.
– استراتيجية برج المراقبة للمدقق لا تقوم بعمل stake أبدًا. إنه ببساطة يراقب بروتوكول التجميع وإذا تم اقتراح كتلة غير صحيحة، فإنه يطلق الإنذار (بأي وسيلة يختارها) حتى يتمكن الآخرون من التدخل. تفترض هذه الإستراتيجية أن الأطراف الأخرى المستعدة لعمل stake ستكون على استعداد للتدخل من أجل الحصول على بعض حصص مقدم العرض غير النزيه، ويمكن أن يحدث هذا قبل انتهاء الموعد النهائي للكتلة غير النزيهة. (من الناحية العملية، سيسمح هذا بعدة أيام للرد).
عادةً ما يكون هناك مدقق نشط واحد في كل مرة. لا يوجد ما يمنع وجود العديد من أدوات التحقق النشطة، وسيعمل البروتوكول بشكل جيد في هذه الحالة. ولكن إذا كان هناك مدقق نشط وحسن التصرف، فيمكن للآخرين الذين يرغبون في أن يكونوا نشطين تجنب الحاجة إلى المخاطرة من خلال اتخاذ استراتيجية دفاعية. طالما أن المدقق النشط يستمر في نشر الكتل الصحيحة، يمكن لأي شخص آخر تقليل تكاليف التوقيع بأمان من خلال البقاء في وضع دفاعي. إذا حاول المدقق النشط الغش، فسيثبت المدققون الدفاعيون الاحتيال وسيفقد المدقق النشط حصته. ومن ثم يمكن لأي شخص آخر أن يتقدم ويبدأ في التحقق من الصحة بشكل فعال.
في ظل الظروف العادية، لن يقوم المدققون الذين يستخدمون الاستراتيجيات الدفاعية وبرج المراقبة بأي شيء باستثناء مراقبة السلسلة والتحقق بشكل خاص من صلاحية كل كتلة مجمعة مقترحة. لن يتمكن الشخص الخبيث الذي يفكر في محاولة الغش من معرفة عدد المدققين الدفاعيين وبرج المراقبة الذين يعملون بشكل متخفي. ربما سيعلن بعض المدققون عن الدفاع عن أنفسهم، لكن ربما لن يفعل البعض الآخر، لذلك سيتعين على المهاجم المحتمل أن يشعر دائمًا بالقلق من انتظار المدافعين للظهور.
من سيكونون المدققين؟ سيختار معظم الناس عدم القيام بذلك. من الناحية العملية، نتوقع من الأشخاص التحقق من صحة السلسلة لعدة أسباب.
– سيتم الدفع لبعض المدققين من قبل الطرف الذي أنشأ السلسلة أو أي شخص آخر. سيعلن فريق Arbitrum عن مجموعة أولية من أدوات التحقق المدفوعة لـ Arbitrum One.
– يجوز للأطراف التي لديها أصول كبيرة معمول لها stake في السلسلة، مثل مطوري التطبيقات اللامركزية والبورصات ومستخدمي الطاقة وموفري السيولة، اختيار التحقق من الصحة من أجل حماية استثماراتهم.
– يمكن لأي شخص يختار التحقق من الصحة أن يفعل ذلك. من المحتمل أن يختار بعض المستخدمين التحقق لحماية مصالحهم الخاصة أو لمجرد أن يكونوا مواطنين صالحين. لكن المستخدمين العاديين لا يحتاجون إلى التحقق من الصحة، ونحن نتوقع أن الغالبية العظمى من المستخدمين لن يفعلوا ذلك.
ترقبوا المزيد من التفاصيل حول كيفية التحقق من صحة Arbitrum One. أو الأفضل من ذلك، انضم إلى فريقنا وساعدنا في بناء Arbitrum!
المقالة الأصلية : https://medium.com/offchainlabs/fraud-proofs-and-validators-how-you-or-anyone-can-keep-arbitrum-honest-d68add3f6c5d