دليل على الاحتيال هو حل تقني مستخدم على نطاق واسع في مجال blockchain، وقد نشأ في البداية من مجتمع Ethereum، وتم اعتماده من قبل Layer2 مثل Arbitrum وOptimism. بعد ظهور نظام Bitcoin البيئي في عام 2023، اقترح Robin Linus خطة BitVM، التي تتمحور حول فكرة دليل على الاحتيال، مما يوفر نموذج أمان جديد للطبقة الثانية من Bitcoin أو الجسور.
شهدت BitVM تطورات متعددة في النسخ، من BitVM0 التي تعتمد على دوائر البوابات المنطقية كعناصر أساسية، إلى BitVM2 التي تركز على دليل احتيال ZK ودائرة التحقق Groth16، مما يجعل المسار التكنولوجي ينضج باستمرار. تم تنفيذ العديد من المشاريع مثل Bitlayer وCitrea وBOB على أساس تقنية BitVM.
ستكون هذه المقالة مثالاً عن دليل على الاحتيال الخاص بـ Optimism، حيث ستقوم بتحليل خطته المستندة إلى آلة MIPS الافتراضية ودليل الاحتيال التفاعلي، بالإضافة إلى الفكرة الرئيسية وراء تحويل دليل الاحتيال إلى ZK.
OutputRoot و StateRoot
Optimism هو مشروع معروف في مجال Optimistic Rollup، يتكون هيكله من مكونين هما المحدد والعقد الذكي على سلسلة Ethereum. بعد معالجة المعاملات، يقوم المحدد بإرسال البيانات إلى Ethereum. يمكن لأي شخص تشغيل عميل عقد Optimism، تنزيل البيانات وتنفيذ المعاملات محليًا، وحساب تجزئة مجموعة الحالة الحالية.
إذا قام المرسِل بتحميل مجموعة حالة hash خاطئة، فإن النتائج المحلية ستختلف، وفي هذه الحالة يمكن تقديم اعتراض. تستخدم Optimism حقل OutputRoot لتعكس تغييرات الحالة، والتي تُحسب من StateRoot وحقليّن آخرين.
آلة MIPS الافتراضية وشجرة ميركل للذاكرة
لتأكيد صحة OutputRoot على السلسلة، قامت فريق Optimism بتنفيذ آلة MIPS الافتراضية باستخدام Solidity، وصممت نظام دليل على الاحتيال التفاعلي. يقوم هذا النظام بتفصيل عملية معالجة المعاملات، ويراقب أي رمز تشغيل MIPS تسبب في الخطأ.
تُنظم معلومات حالة آلة MIPS الافتراضية في هيكل شجرة ميركل. في دليل الاحتيال التفاعلي، من الضروري تحديد أي رمز عملية تسبب في خطأ تجزئة الحالة، ثم إعادة إنتاج حالة الآلة الافتراضية على السلسلة وتنفيذ رمز العملية.
دليل على الاحتيال
طورت Optimism لعبة نزاع الأخطاء ( FDG )، والتي تتضمن دورين: المتحدي والمدافع. يجب على كلا الجانبين بناء GameTree محليًا، ومن خلال تفاعلات متعددة تحديد رموز العمليات المثيرة للجدل MIPS.
دليل على الاحتيال ZK
توجد في دليل الاحتيال التقليدي مشاكل مثل التعقيد التفاعلي، وارتفاع تكاليف الغاز، وصعوبة التطوير. لهذا السبب، قدمت Optimism مفهوم دليل الاحتيال ZK. الجوهر هو أن المهاجم يحدد المعاملات التي تحتاج إلى إعادة التشغيل، ويقدم المنظم دليل ZK، ويتم التحقق من ذلك بواسطة عقد إيثريوم.
بالمقارنة مع دليل على الاحتيال التفاعلي، فإن ZK Fraud Proof يبسط التفاعلات المتعددة إلى جولة واحدة من توليد وإثبات ZK، مما يوفر الوقت والتكاليف. بالمقارنة مع ZK Rollup، يتم توليد الإثبات فقط عند التحدي، مما يقلل من تكاليف الحساب.
تم اعتماد هذه الفكرة أيضًا من قبل BitVM2. تحقق BitVM2 من إثبات ZK من خلال سكربتات البيتكوين وقامت بتبسيط البرنامج على السلسلة. وقد اعتمدت العديد من المشاريع مثل Bitlayer و Goat Network هذه الخطة.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 11
أعجبني
11
7
مشاركة
تعليق
0/400
BugBountyHunter
· منذ 2 س
مرة أخرى تقنيات عربة OP، تبا.
شاهد النسخة الأصليةرد0
GateUser-a180694b
· منذ 2 س
خطة Groth16 الجديدة تحمل شيئًا مميزًا
شاهد النسخة الأصليةرد0
TestnetFreeloader
· منذ 4 س
قريبًا ستحصل على الكثير من المكافآت!
شاهد النسخة الأصليةرد0
GasWastingMaximalist
· 07-20 00:31
عالم العملات الرقمية أيضا مشغول جدا، مجموعة من الناس تعمل على الإثبات.
تحليل دليل على الاحتيال في Optimism وتنفيذ دليل الاحتيال ZK
دليل على الاحتيال وتنفيذ فكرة ZK Fraud Proof
دليل على الاحتيال هو حل تقني مستخدم على نطاق واسع في مجال blockchain، وقد نشأ في البداية من مجتمع Ethereum، وتم اعتماده من قبل Layer2 مثل Arbitrum وOptimism. بعد ظهور نظام Bitcoin البيئي في عام 2023، اقترح Robin Linus خطة BitVM، التي تتمحور حول فكرة دليل على الاحتيال، مما يوفر نموذج أمان جديد للطبقة الثانية من Bitcoin أو الجسور.
شهدت BitVM تطورات متعددة في النسخ، من BitVM0 التي تعتمد على دوائر البوابات المنطقية كعناصر أساسية، إلى BitVM2 التي تركز على دليل احتيال ZK ودائرة التحقق Groth16، مما يجعل المسار التكنولوجي ينضج باستمرار. تم تنفيذ العديد من المشاريع مثل Bitlayer وCitrea وBOB على أساس تقنية BitVM.
ستكون هذه المقالة مثالاً عن دليل على الاحتيال الخاص بـ Optimism، حيث ستقوم بتحليل خطته المستندة إلى آلة MIPS الافتراضية ودليل الاحتيال التفاعلي، بالإضافة إلى الفكرة الرئيسية وراء تحويل دليل الاحتيال إلى ZK.
OutputRoot و StateRoot
Optimism هو مشروع معروف في مجال Optimistic Rollup، يتكون هيكله من مكونين هما المحدد والعقد الذكي على سلسلة Ethereum. بعد معالجة المعاملات، يقوم المحدد بإرسال البيانات إلى Ethereum. يمكن لأي شخص تشغيل عميل عقد Optimism، تنزيل البيانات وتنفيذ المعاملات محليًا، وحساب تجزئة مجموعة الحالة الحالية.
إذا قام المرسِل بتحميل مجموعة حالة hash خاطئة، فإن النتائج المحلية ستختلف، وفي هذه الحالة يمكن تقديم اعتراض. تستخدم Optimism حقل OutputRoot لتعكس تغييرات الحالة، والتي تُحسب من StateRoot وحقليّن آخرين.
آلة MIPS الافتراضية وشجرة ميركل للذاكرة
لتأكيد صحة OutputRoot على السلسلة، قامت فريق Optimism بتنفيذ آلة MIPS الافتراضية باستخدام Solidity، وصممت نظام دليل على الاحتيال التفاعلي. يقوم هذا النظام بتفصيل عملية معالجة المعاملات، ويراقب أي رمز تشغيل MIPS تسبب في الخطأ.
تُنظم معلومات حالة آلة MIPS الافتراضية في هيكل شجرة ميركل. في دليل الاحتيال التفاعلي، من الضروري تحديد أي رمز عملية تسبب في خطأ تجزئة الحالة، ثم إعادة إنتاج حالة الآلة الافتراضية على السلسلة وتنفيذ رمز العملية.
دليل على الاحتيال
طورت Optimism لعبة نزاع الأخطاء ( FDG )، والتي تتضمن دورين: المتحدي والمدافع. يجب على كلا الجانبين بناء GameTree محليًا، ومن خلال تفاعلات متعددة تحديد رموز العمليات المثيرة للجدل MIPS.
دليل على الاحتيال ZK
توجد في دليل الاحتيال التقليدي مشاكل مثل التعقيد التفاعلي، وارتفاع تكاليف الغاز، وصعوبة التطوير. لهذا السبب، قدمت Optimism مفهوم دليل الاحتيال ZK. الجوهر هو أن المهاجم يحدد المعاملات التي تحتاج إلى إعادة التشغيل، ويقدم المنظم دليل ZK، ويتم التحقق من ذلك بواسطة عقد إيثريوم.
بالمقارنة مع دليل على الاحتيال التفاعلي، فإن ZK Fraud Proof يبسط التفاعلات المتعددة إلى جولة واحدة من توليد وإثبات ZK، مما يوفر الوقت والتكاليف. بالمقارنة مع ZK Rollup، يتم توليد الإثبات فقط عند التحدي، مما يقلل من تكاليف الحساب.
تم اعتماد هذه الفكرة أيضًا من قبل BitVM2. تحقق BitVM2 من إثبات ZK من خلال سكربتات البيتكوين وقامت بتبسيط البرنامج على السلسلة. وقد اعتمدت العديد من المشاريع مثل Bitlayer و Goat Network هذه الخطة.