دليل على الاحتيال هو حل تقني يُستخدم على نطاق واسع في مجال blockchain، وقد نشأ في البداية من مجتمع Ethereum، وتم اعتماده من قبل Layer2 مثل Arbitrum وOptimism. بعد ظهور نظام Bitcoin البيئي في عام 2023، قدم Robin Linus خطة BitVM، التي تركز على دليل على الاحتيال، لتوفير نموذج أمان جديد لطبقة Bitcoin الثانية أو الجسور.
مرّت BitVM بعدة مراحل من التطور، بدءًا من الحلول المبنية على الدوائر المنطقية في المراحل المبكرة إلى حلول ZK Fraud Proof في وقت لاحق. قامت مشاريع متعددة مثل Bitlayer وCitrea وBOB بتنفيذات مختلفة استنادًا إلى BitVM كأساس تقني.
ستتناول هذه المقالة مثالًا عن دليل الاحتيال الخاص بـ Optimism، وتحلل كيفية تحقيقه اعتمادًا على آلة MIPS الافتراضية ودليل الاحتيال التفاعلي، بالإضافة إلى فكرة تحقيق دليل الاحتيال باستخدام ZK.
OutputRoot و StateRoot
تتضمن بنية Optimism مُرتب المُعاملات وعقد ذكي على سلسلة Ethereum. بعد معالجة المُعاملات، يقوم مُرتب المُعاملات بإرسال بيانات DA إلى Ethereum. يمكن لأي شخص تشغيل عقدة Optimism، وتحميل البيانات وتنفيذ المُعاملات محليًا، وحساب تجزئة مجموعة الحالة الحالية.
إذا قام المنظم بتحميل تجزئة مجموعة الحالة الخاطئة، ستختلف النتائج المحلية، وفي هذه الحالة يمكن تقديم دليل على الاحتيال.
يستخدم Optimism حقل StateRoot مماثلًا لـ Ethereum لتمثيل تغييرات مجموعة الحالة. يقوم المنسق بتحميل OutputRoot إلى Ethereum بشكل دوري، ويتم حساب OutputRoot من StateRoot وحقول أخرى.
آلة افتراضية MIPS وشجرة ميركل للذاكرة
للتحقق من صحة OutputRoot على السلسلة، قامت فريق Optimism بتنفيذ آلة MIPS الافتراضية باستخدام Solidity، وصممت نظام دليل على الاحتيال تفاعلي.
يعمل النظام على تفصيل عملية معالجة المعاملات إلى تسلسل تعليمات MIPS. من خلال مراقبة أي تعليمات تتسبب في خطأ حالة الآلة الافتراضية، يتم تحديد ما إذا كان OutputRoot صالحًا.
تُنظَّم معلومات حالة جهاز MIPS الافتراضي في شجرة ميركل. على السلسلة، يكفي تنفيذ رمز عملية MIPS واحد، ومقارنة ما إذا كان تجزئة الحالة بعد التنفيذ متطابقة.
يتم تنظيم بيانات الذاكرة للآلة الافتراضية أيضًا في شجرة ميركل ثنائية مكونة من 28 طبقة، ويطلق على جذر الهاش اسم memRoot. عند تنفيذ رمز العملية، يجب تحميل جزء من بيانات الذاكرة وإثبات ميركل.
طورت Optimism لعبة نزاع الأخطاء ( FDG ) بروتوكول، الذي يتضمن دورين: المتحدي والمدافع. يتعين على الطرفين بناء شجرة اللعبة محليًا، والتي تحتوي على شجرتين ميركل من مستويين:
العقدة الورقية من المستوى الأول هي OutputRoot لمختلف الكتل
الحالة التجزئة للجهاز الافتراضي MIPS هي عقدة ورقة من المستوى الثاني.
تفاعلت الأطراف عدة مرات على السلسلة، وحددت في النهاية رمز العملية المتنازع عليه MIPS.
الآلية الأساسية لدليل على الاحتيال التفاعلي:
يجب تنفيذ رمز التشغيل وحالة VM في سلسلة FDG
تنفيذ رمز العملية في آلة MIPS الافتراضية على السلسلة، والحصول على النتيجة
دليل على الاحتيال ZK
توجد مشاكل في إثبات الاحتيال التفاعلي التقليدي مثل التعقيد التفاعلي، وارتفاع تكاليف الغاز، وإيقاف تنفيذ Rollup. لذلك، قدمت Optimism مفهوم إثبات الاحتيال ZK:
تحدد الجهة المتحدية المعاملات التي يجب إعادة تشغيلها
يقوم مُرتب Rollup بإنشاء إثبات ZK لهذه المعاملة
التحقق من إثبات ZK لعقد الإيثيريوم
بالمقارنة مع الحلول التفاعلية، يقوم دليل الاحتيال ZK بتبسيط التفاعلات المتعددة إلى جولة واحدة من إنشاء وإثبات ZK، مما يوفر الوقت وتكاليف الغاز. بالمقارنة مع ZK Rollup، يتم إنشاء الدليل فقط عند التحدي، مما يقلل من تكاليف الحوسبة.
BitVM2 يعتمد أيضًا على فكرة مشابهة، حيث يستخدم سكربت البيتكوين لتنفيذ تحقق ZK Proof، وقد تم تبسيط برنامج السلسلة بشكل كبير.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 11
أعجبني
11
9
مشاركة
تعليق
0/400
LiquidityOracle
· منذ 10 س
لقد سئمت من op و arb. أريد تغيير النكهة.
شاهد النسخة الأصليةرد0
DegenWhisperer
· 08-06 17:11
بيتكوين أيضًا تحتاج إلى zk啦
شاهد النسخة الأصليةرد0
GateUser-4745f9ce
· 08-04 09:25
كنت أفعل ذلك منذ عشر سنوات.
شاهد النسخة الأصليةرد0
GasFeeNightmare
· 08-04 08:33
7غاز难民 شريك متواطئ答辩
شاهد النسخة الأصليةرد0
RugResistant
· 08-04 08:31
هذا الشيء bitvm مريب بصراحة... يحتاج إلى المزيد من تدقيق الأمان بصراحة
شاهد النسخة الأصليةرد0
HallucinationGrower
· 08-04 08:15
لا أستطيع كتابة الكود لذلك أفهم قليلاً من التقنية
شاهد النسخة الأصليةرد0
ValidatorVibes
· 08-04 08:11
دليل على الاحتيال حقاً يغير اللعبة... نظام btc البيئي أخيراً يلحق بـ eth بصراحة
دليل على الاحتيال ZK: التطور والتنفيذ من Optimism إلى BitVM
دليل على الاحتيال وطرق تنفيذ ZK Fraud Proof
دليل على الاحتيال هو حل تقني يُستخدم على نطاق واسع في مجال blockchain، وقد نشأ في البداية من مجتمع Ethereum، وتم اعتماده من قبل Layer2 مثل Arbitrum وOptimism. بعد ظهور نظام Bitcoin البيئي في عام 2023، قدم Robin Linus خطة BitVM، التي تركز على دليل على الاحتيال، لتوفير نموذج أمان جديد لطبقة Bitcoin الثانية أو الجسور.
مرّت BitVM بعدة مراحل من التطور، بدءًا من الحلول المبنية على الدوائر المنطقية في المراحل المبكرة إلى حلول ZK Fraud Proof في وقت لاحق. قامت مشاريع متعددة مثل Bitlayer وCitrea وBOB بتنفيذات مختلفة استنادًا إلى BitVM كأساس تقني.
ستتناول هذه المقالة مثالًا عن دليل الاحتيال الخاص بـ Optimism، وتحلل كيفية تحقيقه اعتمادًا على آلة MIPS الافتراضية ودليل الاحتيال التفاعلي، بالإضافة إلى فكرة تحقيق دليل الاحتيال باستخدام ZK.
OutputRoot و StateRoot
تتضمن بنية Optimism مُرتب المُعاملات وعقد ذكي على سلسلة Ethereum. بعد معالجة المُعاملات، يقوم مُرتب المُعاملات بإرسال بيانات DA إلى Ethereum. يمكن لأي شخص تشغيل عقدة Optimism، وتحميل البيانات وتنفيذ المُعاملات محليًا، وحساب تجزئة مجموعة الحالة الحالية.
إذا قام المنظم بتحميل تجزئة مجموعة الحالة الخاطئة، ستختلف النتائج المحلية، وفي هذه الحالة يمكن تقديم دليل على الاحتيال.
يستخدم Optimism حقل StateRoot مماثلًا لـ Ethereum لتمثيل تغييرات مجموعة الحالة. يقوم المنسق بتحميل OutputRoot إلى Ethereum بشكل دوري، ويتم حساب OutputRoot من StateRoot وحقول أخرى.
آلة افتراضية MIPS وشجرة ميركل للذاكرة
للتحقق من صحة OutputRoot على السلسلة، قامت فريق Optimism بتنفيذ آلة MIPS الافتراضية باستخدام Solidity، وصممت نظام دليل على الاحتيال تفاعلي.
يعمل النظام على تفصيل عملية معالجة المعاملات إلى تسلسل تعليمات MIPS. من خلال مراقبة أي تعليمات تتسبب في خطأ حالة الآلة الافتراضية، يتم تحديد ما إذا كان OutputRoot صالحًا.
تُنظَّم معلومات حالة جهاز MIPS الافتراضي في شجرة ميركل. على السلسلة، يكفي تنفيذ رمز عملية MIPS واحد، ومقارنة ما إذا كان تجزئة الحالة بعد التنفيذ متطابقة.
يتم تنظيم بيانات الذاكرة للآلة الافتراضية أيضًا في شجرة ميركل ثنائية مكونة من 28 طبقة، ويطلق على جذر الهاش اسم memRoot. عند تنفيذ رمز العملية، يجب تحميل جزء من بيانات الذاكرة وإثبات ميركل.
! خلفية BitVM: تنفيذ إثبات الاحتيال وإثبات الاحتيال ZK
دليل على الاحتيال التفاعلي
طورت Optimism لعبة نزاع الأخطاء ( FDG ) بروتوكول، الذي يتضمن دورين: المتحدي والمدافع. يتعين على الطرفين بناء شجرة اللعبة محليًا، والتي تحتوي على شجرتين ميركل من مستويين:
تفاعلت الأطراف عدة مرات على السلسلة، وحددت في النهاية رمز العملية المتنازع عليه MIPS.
الآلية الأساسية لدليل على الاحتيال التفاعلي:
دليل على الاحتيال ZK
توجد مشاكل في إثبات الاحتيال التفاعلي التقليدي مثل التعقيد التفاعلي، وارتفاع تكاليف الغاز، وإيقاف تنفيذ Rollup. لذلك، قدمت Optimism مفهوم إثبات الاحتيال ZK:
بالمقارنة مع الحلول التفاعلية، يقوم دليل الاحتيال ZK بتبسيط التفاعلات المتعددة إلى جولة واحدة من إنشاء وإثبات ZK، مما يوفر الوقت وتكاليف الغاز. بالمقارنة مع ZK Rollup، يتم إنشاء الدليل فقط عند التحدي، مما يقلل من تكاليف الحوسبة.
BitVM2 يعتمد أيضًا على فكرة مشابهة، حيث يستخدم سكربت البيتكوين لتنفيذ تحقق ZK Proof، وقد تم تبسيط برنامج السلسلة بشكل كبير.