خلفية BitVM: دليل على الاحتيال وتنفيذ فكرة ZK Fraud Proof
دليل على الاحتيال هو حل تقني يُستخدم على نطاق واسع في مجال blockchain، نشأ من مجتمع Ethereum، وتم اعتماده من قبل Arbitrum و Optimism، وهما Layer2 لـ Ethereum. بعد ظهور نظام Bitcoin البيئي في عام 2023، قدم Robin Linus خطة BitVM، التي تركز على دليل على الاحتيال، لتوفير نموذج أمان جديد لـ Bitcoin Layer 2 أو الجسور.
مرت BitVM بعدة مراحل تطور، من BitVM0 الأولية إلى BitVM2 لاحقاً، حيث نضجت المسارات التقنية باستمرار. وقد نفذت مشاريع متعددة مثل Bitlayer وCitrea وBOB وغيرها اعتماداً على تقنية BitVM.
ستتناول هذه المقالة مثالًا على دليل الاحتيال الخاص بـ Optimism، وتحليل方案 المبني على آلة MIPS الافتراضية ودليل الاحتيال التفاعلي، وكذلك الأفكار الرئيسية لدليل الاحتيال المعتمد على ZK.
OutputRoot و StateRoot
يعتبر Optimism مشروعًا معروفًا من نوع Optimistic Rollup، يتكون من مُرتب (sequencer) وعقد ذكي على سلسلة Ethereum. بعد معالجة المعاملات، يقوم المُرتب بإرسال البيانات إلى Ethereum. يمكن تشغيل عقد Optimism لتنفيذ هذه المعاملات محليًا، وحساب تجزئة مجموعة الحالة الحالية.
إذا قام مرتب التسلسل بتحميل مجموعة الحالة الخاطئة hash، فستكون النتائج المحسوبة محليًا مختلفة، وفي هذه الحالة يمكن تقديم اعتراض. تستخدم Optimism حقل StateRoot للإشارة إلى تغييرات مجموعة الحالة، ويتم تحميل OutputRoot بانتظام إلى Ethereum.
آلة افتراضية MIPS وشجرة ميركل للذاكرة
للتحقق من صحة OutputRoot على السلسلة، قام فريق تطوير Optimism بكتابة آلة MIPS الافتراضية باستخدام Solidity، وتنفيذ جزء من وظائف عقد OP. لقد صمموا نظام دليل على الاحتيال تفاعلي، حيث قاموا بتفصيل عملية معالجة المعاملات إلى معالجة أوامر MIPS.
تُنظم معلومات حالة آلة MIPS الافتراضية في شجرة ميركل، بما في ذلك حالة السجل، وهاش حالة الذاكرة، وما إلى ذلك. تقوم العقود على السلسلة بتنفيذ تعليمة MIPS واحدة من خلال وظيفة Step، ومقارنة النتائج للتحقق من سلوك المنظم.
دليل على الاحتيال
طورت فريق Optimism بروتوكول لعبة نزاع الأخطاء (FDG)، والذي يتضمن دورين: المتحدي والمدافع. يجب على المشاركين بناء GameTree محليًا، وتحديد رموز MIPS المتنازع عليها من خلال تفاعلات متعددة.
دليل على الاحتيال ZK
تواجه أدلة الاحتيال التقليدية مشاكل مثل التعقيد التفاعلي، وارتفاع تكلفة الغاز، وصعوبة التطوير. لحل هذه المشكلات، قدمت Optimism مفهوم دليل الاحتيال ZK. عند التحدي، يقدم المنظم إثبات ZK للمعاملة التي تم تحديها، ويتم التحقق منها بواسطة عقد ذكي على الإيثيريوم.
تقوم ZK Fraud Proof بتبسيط التفاعلات المتعددة إلى جولة واحدة من توليد وإثبات ZK، مما يوفر الوقت والتكلفة. مقارنة بـ ZK Rollup، فإن OP Rollup القائم على ZK Fraud Proof يقوم بتوليد الإثبات فقط عند التحدي، مما يقلل من تكلفة الحساب.
تتبنى BitVM2 أيضًا فكرة مشابهة، من خلال تنفيذ تحقق ZK Proof باستخدام نصوص البيتكوين، وتبسيط البرامج على السلسلة. تم اعتماد هذه الخطة من قبل مشاريع مثل Bitlayer و Goat Network.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تطور BitVM: تحليل تقني من دليل على الاحتيال إلى إثبات الاحتيال ZK
خلفية BitVM: دليل على الاحتيال وتنفيذ فكرة ZK Fraud Proof
دليل على الاحتيال هو حل تقني يُستخدم على نطاق واسع في مجال blockchain، نشأ من مجتمع Ethereum، وتم اعتماده من قبل Arbitrum و Optimism، وهما Layer2 لـ Ethereum. بعد ظهور نظام Bitcoin البيئي في عام 2023، قدم Robin Linus خطة BitVM، التي تركز على دليل على الاحتيال، لتوفير نموذج أمان جديد لـ Bitcoin Layer 2 أو الجسور.
مرت BitVM بعدة مراحل تطور، من BitVM0 الأولية إلى BitVM2 لاحقاً، حيث نضجت المسارات التقنية باستمرار. وقد نفذت مشاريع متعددة مثل Bitlayer وCitrea وBOB وغيرها اعتماداً على تقنية BitVM.
ستتناول هذه المقالة مثالًا على دليل الاحتيال الخاص بـ Optimism، وتحليل方案 المبني على آلة MIPS الافتراضية ودليل الاحتيال التفاعلي، وكذلك الأفكار الرئيسية لدليل الاحتيال المعتمد على ZK.
OutputRoot و StateRoot
يعتبر Optimism مشروعًا معروفًا من نوع Optimistic Rollup، يتكون من مُرتب (sequencer) وعقد ذكي على سلسلة Ethereum. بعد معالجة المعاملات، يقوم المُرتب بإرسال البيانات إلى Ethereum. يمكن تشغيل عقد Optimism لتنفيذ هذه المعاملات محليًا، وحساب تجزئة مجموعة الحالة الحالية.
إذا قام مرتب التسلسل بتحميل مجموعة الحالة الخاطئة hash، فستكون النتائج المحسوبة محليًا مختلفة، وفي هذه الحالة يمكن تقديم اعتراض. تستخدم Optimism حقل StateRoot للإشارة إلى تغييرات مجموعة الحالة، ويتم تحميل OutputRoot بانتظام إلى Ethereum.
آلة افتراضية MIPS وشجرة ميركل للذاكرة
للتحقق من صحة OutputRoot على السلسلة، قام فريق تطوير Optimism بكتابة آلة MIPS الافتراضية باستخدام Solidity، وتنفيذ جزء من وظائف عقد OP. لقد صمموا نظام دليل على الاحتيال تفاعلي، حيث قاموا بتفصيل عملية معالجة المعاملات إلى معالجة أوامر MIPS.
تُنظم معلومات حالة آلة MIPS الافتراضية في شجرة ميركل، بما في ذلك حالة السجل، وهاش حالة الذاكرة، وما إلى ذلك. تقوم العقود على السلسلة بتنفيذ تعليمة MIPS واحدة من خلال وظيفة Step، ومقارنة النتائج للتحقق من سلوك المنظم.
دليل على الاحتيال
طورت فريق Optimism بروتوكول لعبة نزاع الأخطاء (FDG)، والذي يتضمن دورين: المتحدي والمدافع. يجب على المشاركين بناء GameTree محليًا، وتحديد رموز MIPS المتنازع عليها من خلال تفاعلات متعددة.
دليل على الاحتيال ZK
تواجه أدلة الاحتيال التقليدية مشاكل مثل التعقيد التفاعلي، وارتفاع تكلفة الغاز، وصعوبة التطوير. لحل هذه المشكلات، قدمت Optimism مفهوم دليل الاحتيال ZK. عند التحدي، يقدم المنظم إثبات ZK للمعاملة التي تم تحديها، ويتم التحقق منها بواسطة عقد ذكي على الإيثيريوم.
تقوم ZK Fraud Proof بتبسيط التفاعلات المتعددة إلى جولة واحدة من توليد وإثبات ZK، مما يوفر الوقت والتكلفة. مقارنة بـ ZK Rollup، فإن OP Rollup القائم على ZK Fraud Proof يقوم بتوليد الإثبات فقط عند التحدي، مما يقلل من تكلفة الحساب.
تتبنى BitVM2 أيضًا فكرة مشابهة، من خلال تنفيذ تحقق ZK Proof باستخدام نصوص البيتكوين، وتبسيط البرامج على السلسلة. تم اعتماد هذه الخطة من قبل مشاريع مثل Bitlayer و Goat Network.
! خلفية BitVM: أفكار تنفيذ إثبات الاحتيال وإثبات الاحتيال ZK