نظام إثباتات الخطأ في Optimistic Roll-up

إن المجموعات المتفائلة – Optimistic Roll-up – عبارة عن حلول توسيع من الطبقة الثانية مصممة للتخفيف من تحديات قابلية التوسع التي تواجهها شبكات البلوكتشين مثل شبكة الإيثريوم.
تعمل عمليات التجميع المتفائلة على مبدأ “الصلاحية المتفائلة”، على افتراض أن المعاملات صالحة حتى يثبت خلاف ذلك. للحماية من المعاملات الاحتيالية، تستخدم عمليات التجميع المتفائلة آلية تُعرف باسم إثباتات الأخطاء – fault proofs -.
وذلك يسمح بإجراء معاملات أسرع وأرخص من خلال معالجتها خارج السلسلة مع الاستمرار في الاعتماد على البلوكتشين من الطبقة الأولى للأمان.

تعريف إثباتات الأخطاء:

تعمل إثباتات الأخطاء كآلية للحفاظ على أمان وعدم الإحتياج للثقة في عمليات Optimistic Roll-ups. حيث إنها أدلة تشفير يتم تقديمها إلى البلوكتشين من الطبقة الأولى لتحدي أي أنشطة ضارة محتملة أو حسابات غير صحيحة على الطبقة الثانية. هذه البراهين ضرورية لضمان سلامة النظام بأكمله.

منع سوء السلوك:

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

كيف تعمل إثباتات الأخطاء:

بإستخدام Optimistic Roll-up، يقدم المشاركون المعاملات والبيانات خارج السلسلة، ويتم إرسال مجموعة فرعية صغيرة فقط من هذه البيانات بشكل دوري إلى الطبقة الأولى للتسوية. إذا اكتشف أحد المشاركين نشاطًا احتياليًا، فيمكنه إصدار تحدي احتيال عن طريق إرسال دليل على الخطأ إلى الطبقة 1.

حل النزاعات:

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

إستخدام Optimism للمجموعات المتفائلة وإثباتات الأخطاء

يتم نشر الإلتزامات إلى الطبقة الأولى وهى هنا شبكة Ethereum في حالة OP Mainnet دون أي دليل مباشر على صحة هذه الالتزامات. وبدلاً من ذلك، تعتبر هذه الالتزامات معلقة لفترة من الوقت (تسمى “نافذة التحدي”). إذا لم يتم الاعتراض على الإلتزام المقترح طوال مدة نافذة التحدي (المحددة حاليًا بـ 7 أيام)، فسيتم اعتباره نهائيًا. بمجرد اعتبار الالتزام نهائيًا، يمكن للعقود الذكية على Ethereum أن تقبل بأمان إثباتات السحب حول حالة OP Mainnet بناءً على هذا الالتزام.

عندما يتم الطعن في الإلتزام، يمكن إبطاله من خلال عملية “إثبات الخطأ” التى تكلمنا عنها أعلاة. إذا تم الطعن في الالتزام بنجاح، فسيتم إزالته ليتم استبداله في النهاية بالتزام مقترح آخر. من المهم ملاحظة أن التحدي الناجح لا يؤدي إلى التراجع في OP Mainnet نفسها، بل يؤدي فقط إلى الالتزامات المنشورة حول حالة السلسلة. لا يتغير ترتيب المعاملات وحالة OP Mainnet من خلال تحدي إثبات الخطأ.

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