بروتوكول مورف

تتضمن هندسة بروتوكول Morph بشكل رئيسي شبكة متسلسلة للمُعالج المُقسمة وإثبات صحة متجاوب. إثبات صحة متجاوب هو طريقة تحقق جديدة اقترحتها Morph، والتي تجمع بين مزايا إثبات الاحتيال وإثبات الصحة.

تجزئة التشكيل

التعددية هي مصطلح يصف تصميمًا معماريًا يمكن فيه تقسيم الطبقة1 إلى أربعة وحدات: الاتفاق والتنفيذ وتوافر البيانات والتسوية. يمكن أيضًا تقسيم الطبقة2 إلى عدة وحدات.

مورف لديه ثلاث وحدات مهمة. يقوم كل دور بأداء واجباته لضمان سير الوحدة بسلاسة. يتألف كل دور من مكونات مختلفة. تتعاون هذه المكونات الأساسية بفعالية مع الحفاظ على سيادتها الخاصة. الوحدات الثلاث هي شبكة Sequencer المسؤولة عن التوافق والتنفيذ، zkEVM التفاؤلية المسؤولة عن التسوية، و Rollup المسؤولة عن توافر البيانات.

استراتيجية اللف لـ Morph تزيد من الكفاءة إلى الحد الأقصى. يحتوي كل عملية على دفعات متعددة، وتحتوي كل دفعة على عدة كتل. بالإضافة إلى ذلك، مع وظيفة التحقق الصفري، يتم ضغط محتويات الكتل لإدارة تكلفة توافر بيانات الطبقة 1 بكفاءة.

شبكة محددات السيكونسر اللامركزية

في Layer1 التقليدية، يقوم المُنقبون في نظام العمل البروف وعُقداء الصك في نظام الحصة البروف بتجميع ومعالجة المعاملات. يمكن للمُنقبين والعُقداء تجميع وتسلسل وإنتاج الكتل.

العديد من تصميمات Layer2 الحالية تستخدم دور واحد، لا يتأثر بالمنافسة أو تكاليف الرهان، مسؤول عن تجميع وتسلسل جميع معاملات Layer2. يُطلق على هذا الدور اسم "المرتب". مسؤولياته ليست مقتصرة على التسلسل؛ بل هو أيضًا مسؤول عن إنشاء كتل L2، والتزام منتظم بتنفيذ معاملات Layer 2 وتغييرات الحالة إلى Layer 1، وحل أي تحديات محتملة مع التقديمات.

هناك مخاوف بشأن هذا الاحتكار للمتسلسلين المركزيين الذين يمتلكون السيطرة الحصرية على تسلسل وتعبئة معاملات الطبقة 2. علاوة على ذلك، سيواجه المتسلسلون المركزيون مشاكل مثل نقاط الفشل الفردية، والمراجعة الزائدة للمعاملات، واحتكار MEV.

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

إثبات صحة استجابي

يمكن تقسيم آليات إثبات الاحتيال المستخدمة في مشروع Optimistic Rollup إلى فئتين: إثبات الاحتيال غير التفاعلي وإثبات الاحتيال التفاعلي.

برهان الاحتيال غير التفاعلي هو عندما يتم تحدي الحالة الجديدة التي تم تقديمها من قبل المتسلسل، ينفذ L1 جميع المعاملات المقابلة في L2، مما ينتج حالة صالحة، والتي يتم مقارنتها مع الحالة التي تم تقديمها من قبل المتسلسل لتحديد ما إذا كان قد حدث احتيال. في حالة الاحتيال، يتطلب براهين الاحتيال غير التفاعلية من L1 إعادة تنفيذ جميع المعاملات في الدفعة ذات الصلة بالكامل، مما ينتج في تكاليف الغاز العالية.

إثبات الاحتيال التفاعلي هو حل مشكلة إثبات الاحتيال غير التفاعلي ، ويتم تقديم جولات متعددة من إثبات الاحتيال التفاعلي. الفكرة الأساسية هي تحديد تنفيذ التعليمات المحدد الذي تسبب في الخطأ من خلال جولات متعددة من التفاعل بين جهاز التسلسل والمنافس (في EVM ، يتم تقسيم تنفيذ المعاملة إلى تعليمات EVM متعددة لإكمال انتقال الحالة) ، ثم تأكيد ما إذا كان هناك احتيال من خلال الطرق التالية: قم بتنفيذ التعليمات المقابلة على L1. تتمثل فائدة هذا النهج في أن L1 يحتاج فقط إلى إجراء عمليات صغيرة ، مما يقلل بشكل كبير من التكلفة الحسابية. في الوقت نفسه ، نظرا لأن تنفيذ L1 يتم تحسينه إلى مستوى تعليمات EVM ، سيتم تقليل مشكلة النتائج غير المتسقة بين L1 و L2 بشكل كبير. ومع ذلك ، فإن المشكلة واضحة تماما. وكما يتبين من الوصف الوارد أعلاه، فإن منطق منع الاحتيال التفاعلي أكثر تعقيدا بكثير من المنطق غير التفاعلي، مما يعني صعوبة أكبر في التنفيذ وفترة تحدي أطول (يلزم تخصيص وقت كاف لضمان إتمام جميع التفاعلات المعقدة).

لديها طريقتين تقديم دليل على أن هناك نقصا كبيرا. اقترح مورف طريقة تحقق جديدة: دليل صحة متجاوب. يجمع بين Optimistic Rollup مع دليل الصحة ويستخدم ZK-Proof للتحقق من صحة الحالة.

ميزة إثبات الصحة الاستجابة هي أنها تقصر فترة التحدي من 7 أيام إلى 1-3 أيام. ليس فقط ذلك، بل يمكن أيضًا تقليل تكاليف تقديم L2 بشكل كبير. بناءً على إثبات الصحة، لا يحتاج L2 إلى أن يحتوي على معظم بايتات المعاملات. كن أكثر ودًا للمتحدين. بالإضافة إلى صيانة وتحديد حالة L2 الأساسية، مطلوب فقط المسؤولية عن تحفيز التحديات، ويحتاج المسلسل إلى إثبات صحة نفسه (من خلال إنشاء والتحقق من الإثبات ZK المقابل).

خارطة الطريق للمشروع

يتم تقسيم المشروع إلى أربع مراحل بحلول الربع في عام 2024. في الربع الأول، سيتم إطلاق شبكة الاختبار سيبوليا. في الربع الثاني، سيتم إطلاق شبكة الاختبار هوليسكي، وسيتم إجراء التكامل مع ترقيات EIP-4844 و zkEVM. في الربع الثالث، تم إطلاق الشبكة الرئيسية. في الربع الرابع، سيتم تنفيذ تحديثات الشبكة الرئيسية. حالياً، يتقدم المشروع من خلال المرحلة الثانية.

خلفية التمويل

وفقًا لـ BlockBeats، في 20 مارس، أعلن Ethereum L2 Morph عن اكتمال جولة تمويل بذري بقيمة 19 مليون دولار، بقيادة Dragonfly Capital، Pantera Capital، Foresight Ventures، The Spartan Group، MEXC Ventures، Symbolic Capital، Public Works، MH Ventures و Everyrealm يشاركون في الاستثمار المشترك.

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

بيان:

1. هذه المقالة التي تحمل في الأصل عنوان "读懂Morph:首个响应式有效性证明的以太坊L2" مستنسخة من [theblockbeats]. جميع حقوق النشر تنتمي إلى الكاتب الأصلي [Frost & جاك]. إذا كان لديك أي اعتراض على إعادة الطبع، يرجى الاتصال بوابة تعلمالفريق، سيتولى الفريق ذلك في أقرب وقت ممكن.

2. إخلاء المسؤولية: تعبر الآراء والآراء المعبر عنها في هذه المقالة فقط عن آراء الكاتب الشخصية ولا تشكل أي نصيحة استثمارية.

3. يتم إجراء ترجمة المقال إلى لغات أخرى من قبل فريق Gate Learn. ما لم يذكر غير ذلك، فإن نسخ أو توزيع أو ارتكاب الانتحال للمقالات المترجمة ممنوع.