دليل على الاحتيال وفكرة تنفيذ ZK Fraud Proof解析

دليل على الاحتيال هو حل تقني مستخدم على نطاق واسع في مجال blockchain، نشأ في الأصل من مجتمع Ethereum، وتم اعتماده من قبل Layer2 مثل Arbitrum وOptimism. بعد ظهور بيئة Bitcoin في عام 2023، قدم Robin Linus خطة BitVM، التي تعتمد على فكرة دليل على الاحتيال، لتوفير نموذج أمان جديد لطبقة Bitcoin الثانية أو الجسر.

شهدت BitVM تطوراً عبر عدة إصدارات نظرية، من BitVM0 في بداياتها إلى BitVM2 في لاحقاً، حيث نضجت المسارات التقنية ذات الصلة باستمرار. العديد من المشاريع مثل Bitlayer و Citrea قامت بتنفيذها على أساس تقنية BitVM.

ستتناول هذه المقالة خطة دليل على الاحتيال الخاصة بـ Optimism كمثال، وتحلل方案ها المستندة إلى آلة MIPS الافتراضية ودليل الاحتيال التفاعلي، بالإضافة إلى الفكرة الرئيسية وراء تحويل دليل الاحتيال إلى ZK.

OutputRoot و StateRoot

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

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

تعتمد Optimism على حقل StateRoot لتعكس تغييرات مجموعة الحالة. سيقوم المنظم بتحميل OutputRoot بانتظام إلى Ethereum، حيث يتم حساب OutputRoot من StateRoot وحقول أخرى.

آلة MIPS الافتراضية وشجرة ميركل للذاكرة

للتحقق من صحة OutputRoot على السلسلة، قامت فريق Optimism بتطوير آلة افتراضية MIPS باستخدام Solidity، وحققت بعض وظائف عقد OP. ولكن بسبب قيود الغاز في إيثريوم، لم يتمكنوا من تنفيذ جميع المعاملات في كتلة OP بشكل كامل على السلسلة.

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

تُنظم معلومات حالة آلة MIPS الافتراضية في شجرة ميركل. تُنفذ العقود المتعلقة بدليل على الاحتيال تعليمات MIPS الفردية على السلسلة من خلال دالة Step، ويتم مقارنة النتائج لمعرفة ما إذا كانت متطابقة.

! خلفية BitVM: أفكار تنفيذ إثبات الاحتيال وإثبات الاحتيال ZK

دليل على الاحتيال

طورت Optimism لعبة نزاع الأخطاء ( FDG )، والتي تتضمن دورين: المتحدي والمدافع. يجب على كلا الطرفين بناء شجرة اللعبة محليًا، من خلال تفاعلات متعددة لتحديد رموز العمليات المتنازع عليها MIPS.

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

! [خلفية BitVM: تنفيذ إثبات الاحتيال وإثبات الاحتيال ZK](https://img-cdn.gateio.im/webp-social/moments-d74e3d10cb96594f3fb5e90fc0055175.webp019283746574839201

![معرفة الخلفية لـ BitVM: دليل على الاحتيال وتنفيذ فكرة ZK Fraud Proof])https://img-cdn.gateio.im/webp-social/moments-aee8182b283886ec2ca9ae1ecd904d25.webp(

![BitVM المعرفة الأساسية: دليل على الاحتيال وتنفيذ فكرة ZK Fraud Proof])https://img-cdn.gateio.im/webp-social/moments-f102c3e3bcf32ab39b2589d0c440605c.webp(

![معرفة خلفية BitVM: دليل على الاحتيال وتنفيذ فكرة ZK Fraud Proof])https://img-cdn.gateio.im/webp-social/moments-1fd1f30538f1877ad5b2350006cc0bcb.webp(

دليل على الاحتيال ZK

توجد مشاكل في دليل الاحتيال التقليدي مثل التعقيد التفاعلي، وتكاليف الغاز العالية، وصعوبة التطوير. لهذا، قدمت Optimism مفهوم دليل الاحتيال ZK.

الفكرة الأساسية هي: يحدد المتحدي المعاملة التي تحتاج إلى إعادة تشغيل، ويقدم منظم Rollup دليل ZK لهذه المعاملة، ويتم التحقق منها بواسطة عقد ذكي على إيثريوم. إذا تم التحقق بنجاح، تعتبر المعاملة معالجة بشكل صحيح.

بالمقارنة مع دليل الاحتيال التفاعلي، فإن دليل الاحتيال ZK يبسط التفاعل المتعدد إلى جولة واحدة من إنشاء وإثبات ZK، مما يوفر الوقت وتكاليف الغاز. بالمقارنة مع ZK Rollup، فإنه يقوم بإنشاء الإثبات فقط عند التحدي، مما يقلل من الأعباء الحسابية.

تستخدم BitVM2 أيضًا فكرة مشابهة، من خلال تنفيذ تحقق ZK Proof باستخدام سكربتات البيتكوين، وقد قامت بتقليص حجم البرنامج على السلسلة بشكل كبير.

! [خلفية BitVM: تنفيذ إثبات الاحتيال وإثبات الاحتيال ZK])https://img-cdn.gateio.im/webp-social/moments-b5309b7ce9c3f041b7e4566d8b7de7db.webp(

![BitVM المعرفة الأساسية: دليل على الاحتيال وتنفيذ ZK Fraud Proof])https://img-cdn.gateio.im/webp-social/moments-f9bc10a2be3f4410dabf527e0bac78d2.webp(

![معلومات أساسية عن BitVM: دليل على الاحتيال وتنفيذ ZK Fraud Proof])https://img-cdn.gateio.im/webp-social/moments-d675bfbd9279df934bc1e364f8361041.webp(