jakiro
المؤلف: Faust ، Geek Web3
>
منذ صيف عام 2023 ، كانت Bitcoin Layer2 هي أبرز ما في Web3.على الرغم من أن الارتفاع في هذا المجال في وقت لاحق في Ethereum Layer2 ، مع سحر الأسرى الفريد والهبوط السلس من صناديق الاستثمار المتداولة في الفترة الفورية ، فإن Bitcoin ، وهو ليس ضروريًا للقلق بشأن خطر “التوريق” ، في نصف عام فقط. هذا هو Layer2.
في مسار Bitcoin Layer2 ، Merlin ، الذي يحتوي على مليارات الدولارات في TVL ، بلا شك هو بلا شك واحد مع أكبر حجم ومعظم المتابعين.مع حوافز تعهد واضحة وعائدات كبيرة ، اقتحمت ميرلين فجأة على الأرض في غضون بضعة أشهر ، مما خلق أسطورة بيئية تفوقت على الانفجار.مع Merlin الناري التدريجي ، أصبحت المناقشة حول حلها الفني موضوعًا أكثر فأكثر.
في هذه المقالة ، سوف يركز Geek Web3الحل التقني لسلسلة Merlin ، وتفسير أفكار تصميم وثيقة البروتوكول العامة والبروتوكول ،نحن ملتزمون بالسماح لمزيد من الناس بفهم سير العمل العام لميرلين ، ولديهم فهم أوضح لنماذج الأمان الخاصة به ، حتى يتمكن الجميع من فهم كيفية عمل “Bitcoin Layer2” بطريقة أكثر سهولة.
>
شبكة النبوءة اللامركزية في ميرلين: لجنة DAC المفتوحة تحت السلسلة المفتوحة
بالنسبة لجميع Layer2 ، سواء كانت Ethereum Layer2 أو Bitcoin Layer2 و DA وتكاليف إصدار البيانات هي واحدة من أهم المشكلات.نظرًا لأن هناك العديد من المشكلات في شبكة Bitcoin نفسها ، فمن الطبيعي أن لا تدعم إنتاجية البيانات الأكبر.
هناك استنتاج مفاده أنه من الواضح: إذا نشرت Layer2 “مباشرة” بيانات المعالجة التي لا تتم معالجتها في كتلة Bitcoin ، فلا يمكن أن تحقق إنتاجية عالية ، ولا رسوم منخفضة.الحل الأكثر سائدة هو إما عن طريق ضغط الارتفاع لضغط حجم البيانات بأكبر قدر ممكن ، ثم قم بتحميله على كتلة Bitcoin ، أو نشر البيانات مباشرة أسفل سلسلة Bitcoin.
في Layer2 ، الذي يتم استخدامه في الفكرة الأولى ، قد يكون الأمر شهرة. قم بتحميل التحميل معًا ، انتقل إلى سلسلة Bitcoin.في هذه الحالة ، يمكن لأي شخص تنزيل Diff و ZKP من شبكة Bitcoin الرئيسية ، ثم مراقبة التغييرات في حالة Citriea.يمكن أن تقلل هذه الطريقة من حجم بيانات السلسلة بأكثر من 90 ٪.
>
على الرغم من أن هذا يمكن أن يضغط حجم البيانات بشكل كبير ، إلا أن عنق الزجاجة لا يزال واضحًا.إذا تغير عدد كبير من الحساب في فترة زمنية قصيرة ، فإن Layer2 سوف يلخص تغيير هذه الحسابات إلى سلسلة Bitcoin.
العديد من Layer2 Bitcoin ، ما عليك سوى السير في المسار الثاني: استخدم حل DA مباشرة أسفل سلسلة Bitcoin ، إما أن تقوم بإنشاء طبقة DA بنفسك ، أو استخدم Celestia ، Eigenda ، إلخ.B^Square ، Bitlayer ، و Merlin ، بطل الرواية من هذه المقالة ، يستخدمون جميعهم مخطط التوسع DA تحت هذه السلسلةجوهر
في المقالة السابقة في Geek Web3–في ، ذكرنا أن B^2 يقلد بشكل مباشر Celestia وصنعت شبكة DA التي تدعم وظائف أخذ عينات البيانات تحت السلسلة ، المسماة B^2 Hub.يتم تخزين “بيانات DA” مثل بيانات المعاملات أو DIFF الحالة تحت سلسلة Bitcoin ، ويقوم فقط بتحميل Root Datahash / Merkle إلى Bitcoin الرئيسي عبر الإنترنت.
هذا هو في الواقع لوحة مربحة تعامل بيتكوين باعتبارها جدارة بالثقة: يمكن لأي شخص قراءة Datahash من سلسلة Bitcoin.عندما تحصل على بيانات DA من مزود البيانات أسفل السلسلة ، يمكنك التحقق مما إذا كانت تتوافق مع Datahash على السلسلة، هذا هو ، hash (data1) == datahash1؟جوهرإذا كانت هناك علاقة مقابلة بين الاثنين ، فهذا يعني أن مزود البيانات الموجود تحت السلسلة يمنحك على حق.
>
(Layer2 تخطيطي مخطط لطبقة DA موجود تحت سلسلة Bitcoin
مصدر الصورة: Geek Web3)
يمكن أن تضمن العملية أعلاه البيانات التي توفرها العقد تحت السلسلة ، والتي ترتبط ببعض “القرائن” على Layer1 لمنع البيانات الخاطئة من طبقات DA الضارة.ولكن هناك مشهد شرير مهم للغاية هنا: إذا لم يرسل مصدر البيانات -sequencer ، Datahash المقابل Datahash على الإطلاق ، فأرسل Datahash فقط إلى سلسلة Bitcoin ، ولكنه يخصي البيانات المقابلة عن عمد من السماح لأي شخص بالقراءة. خذ ، ماذا علي أن أفعل في هذا الوقت؟
تتضمن المشاهد المماثلة ، على سبيل المثال لا الحصر: نشر ZK-Problaring و Staticoot ، ولكن لا تصدر بيانات DA المقابلة (بيانات الحالة أو المعاملات).في هذه الحالة ، على الرغم من أن أصول المستخدم آمنة ، لا يمكن للجميع تحديد الحالة الفعلية للشبكة على الإطلاق. هو في الأساس ما يعادل الإغلاق.
>
هذا هو في الواقع“احتجاز البيانات”استخدم Dankrad من مؤسسة Ethereum لمناقشة قضايا مماثلة على Twitter في أغسطس 2023. بالطبع ، استهدف بشكل أساسي شيئًا يسمى “DAC”.
تعتمد العديد من طبقة Ethereum على حل DA تحت السلسلة ، غالبًاقم بتعيين العديد من العقد بأذونات خاصة لتشكيل لجنة ، والاسم الكامل هو مجتمع توافر البيانات (DAC).لعبت لجنة DAC دور الضامنالمطالبة الخارجية: نشر Sequencer بالفعل بيانات DA كاملة (بيانات المعاملة أو DIFF الحالة) تحت السلسلة.ثم تولد عقدة DAC بشكل جماعي ، طالما قمت بالتوقيع على متطلبات العتبة (مثل 2/4)
>
>
تتبع لجنة DAC of Ethereum Layer2 بشكل أساسي وضع POA ، ولا تسمح سوى للبعض بالانضمام إلى لجنة DAC من خلال KYC أو العقد المخصصة رسميًا.وقد جعل هذا DAC مرادفًا لـ “المركزية” و “سلسلة التحالف”.بالإضافة إلى ذلك ، في بعض طبقة Ethereum في بعض وضع DAC ، يرسل Sorter فقط بيانات DA إلى عقدة DAC ، وسيتم تحميل البيانات إلى أماكن أخرى. اللجنة.
ليس هناك شك في أن DAC يجب أن تكون غير مركزية.(مناقشة حول مشاهد DAC الشريرة ، يمكنك الرجوع إلى خطب Dankrad السابقة على Twitter)
إن blobstream الذي اقترحته سيليستا مسبقًا هو في الأساس DAC مركزيًا مع سيليستيا التي تحل محلها سيليستا لاستبدالها DAC، يمكن لـ Ethereum L2 نشر بيانات DA إلى سلسلة Celestia.بالنظر إلى أن سيليستيا لديها مئات من العقد المدققة ، يمكننا أن نعتقد أن هذا DAC الكبير أكثر مركزية.
>
إن حل DA الذي اعتمدته Merlin أقرب إلى Celestia’s Blobstream.يمكن لأي شخص تشغيل عقدة DAC طالما تعهد بأصول كافية.في وثائق Merlin ، تسمى عقدة DAC أعلاه Oracle ، ويتم الإشارة إلى أنها ستدعم BTC و MERL ، وحتى BRC-20 Token Asset Pledge لتحقيق آليات تعهد مرنة وتعهد وكيل الدعم على غرار LIDO.(بروتوكول تعهد POS لآلة التنبؤ هو في الأساس أحد رواية Merlin الأساسية التالية ، ومعدل فائدة التعهد المقدم نسبيًا)
هنا سنصف باختصار سير عمل Merlin (الصورة أدناه):
-
بعد تلقي عدد كبير من طلبات المعاملات ، سيقوم جهاز تسلسل SARTer بتلخيصها وإنشاء دفعة بيانات (دفعة بيانات) ، ونقلها إلى عقدة المثل ، وعقدة Oracle (DAC اللامركزية).
-
عقدة Prover’s Merlin غير مركزية وتستخدم Prover Lumoz كخدمة خدمة.بعد تلقي دفعة متعددة للبيانات ، ستقوم بركة التعدين بإنشاء إثبات المعرفة المقابل.
-
تحقق العقد Oracle ما إذا كان الإثبات ZK من مجموعة ZK Mining Pool of LMUOZ يمكن أن يتوافق مع دفعة البيانات المرسلة بواسطة Sequencer.إذا كان بإمكان الاثنين أن يتوافق معها ولا تتضمن أخطاء أخرى ، فإنها تمرر التحقق.في هذه العملية ،ستقوم عقدة أوراكل اللامركزية بإنشاء توقيعات متعددة من خلال توقيع العتبة ، ويتم إصدار البيانات الخارجية -يتم إصدار بيانات DA بالكامل ، و ZKP المقابلة فعالة وتجاوز التحقق من عقدة Oracle.
-
يجمع الفارق نتائج توقيع متعددة من Oracle Node.
-
تتم معالجة عقد Oracle خصيصًا للتحقق من عملية الحوسبة لإثبات ZK ، وتوليد العمولة وعدها بإرسالها إلى سلسلة Bitcoin للسماح لأي شخص بالتحدي “الالتزام”.العملية التي تكون في الأساس نفس اتفاقية شهادة BITVM.إذا نجح التحدي ، فسيتم معاقبة عقدة Oracle للالتزام من قبل العقوبة الاقتصادية.بالطبع ، تتضمن البيانات التي يتم نشرها على Oracle على سلسلة Bitcoin أيضًا تجزئة حالة Layer2 الحالية ، و ZKP نفسها ، يجب نشرها جميعًا على سلسلة Bitcoin للسماح بالاكتشاف الخارجي.
>
(Merlin Working Schematic Diagram: Geek Web3)
هناك العديد من التفاصيل التي يجب توضيحها. .في الوقت نفسه ، فإن الالتزام الذي تم إنشاؤه بواسطة Oracle Network هو جذر شجرة Merkle. يمكن أن تكون هذه المنصة.
تحليل نموذج الأمان: خدمة MPC الخاصة بـ ZKROLL
نصف سير عمل ميرلين لفترة وجيزة.ليس من الصعب أن نرى أن Merlin و B^Square و BitLayer و Citriea يتبعان بشكل أساسي نفس نموذج الأمان ZK-Rollup.
عند قراءة هذه الكلمة ، قد تجعل العديد من عشاق Ethereum غريبًا.في إدراك مجتمع Ethereum ، يعتمد “النموذج النظري” على موثوقية الحوسبة التشفير. في Rollup.بمجرد حدوث خطأ ، يمكن معاقبة مشغل Rollup عن طريق الدليل الاحتيالي.
بالنسبة للنظام الإيكولوجي لـ Ethereum في معسكر قاعدة Rollup ، قد يكون ZK-Rollup متفائلًا غير مريح بعض الشيء ، ولكن هذا هو الوضع الراهن من Bitcoin Layer2.بسبب القيود الفنية ، فإنه غير قادر على التحقق من دليل ZK على سلسلة Bitcoin ، والتي يمكن أن تتحقق فقط من عملية حساب ZKP في ظل ظروف خاصة. بالطبع ، لا يمكن توافق هذا على طراز Ethereum -Style ، ولكنه في نهاية طبقة Bitcoin التي يمكن الوصول إليها من خلال طريقة الاحتيال.
تحت نظام ZK-Rollup المتفائل أعلاه ،لنفترض أن هناك أشخاصًا لديهم سلطة في شبكة Layer2 ، طالما أن أحد المنافسين N صادق وموثوق ، يمكنهم اكتشاف الأخطاء في أي وقت وبدء الاحتيال.جوهربطبيعة الحال ، يحتاج المتفائل مع درجة عالية من الانتهاء إلى ضمان حماية جسر الانسحاب أيضًا من خلال الإثبات الاحتيالي. يرتبط ارتباطًا وثيقًا بأمن Layer2.
اختارت Merlin خدمة Cobo’s MPC على الجسر ، واعتماد تدابير مثل عزل المحفظة الساخنة والباردة ، تتم إدارة أصول الجسر بشكل مشترك بواسطة سلسلة COBO و MERLINبالطبع ، هذا هو المقياس الصحيح للمرحلة الحالية. تعتمد الجسور الرسمية Layer2 على توقيع متعددة).
بشكل عام ، يمكننا الفرز ،قدمت Merlin DAC المستندة إلى POS ، المتفائل المتفائل ZK-Rollup ، حل حارس الأصول MPC ومقره COBOيتم حل مشكلة DA عن طريق فتح أذونات DAC ؛
خطة إرسال ZKP من اثنين من الخطوة على أساس Lumoz
في وقت سابق ، قمنا بفرز نموذج أمان Merlin وقدمنا مفهوم التفاؤل ZK-Rollup.في خارطة الطريق الفنية لميرلين ، تحدثت أيضًا عن المثل اللامركزي.كما نعلم ، يعد Prover دورًا أساسيًا في بنية ZK-Rollup. مشكلة.
إنها العملية الأساسية لتسريع توليد دليل ZK وتقسيم التوازي المهمة.جوهرإن التوازي الذي تم تحفيزه هو في الواقع قطع مهمة التوليد التي أثبتتها ZK في أجزاء مختلفة ، والتي يتم الانتهاء منها بشكل منفصل بواسطة المداخلات المختلفة ، وأخيراً يقوم تجميع التجميع بتجميع أدلة متعددة في كلي.
>
من أجل تسريع عملية توليد ZK ،ستعتمد ميرلين بمثل Lumoz كحل خدمةفي الواقع ، هو جمع كمية كبيرة من معدات الأجهزة لتشكيل تجمع التعدين معًا ، ثم تخصيص مهمة الحوسبة لأجهزة مختلفة ، وتخصيص الحوافز المقابلة ، والتي تشبه تعدين الأسرى.
في حل المثل اللامركزي هذا ، هناك نوع من مشهد الهجوم ، المعروف باسم الهجوم الجري: على افتراض أن مجمع البوليمر قد شكل ZKP ، فإنه يرسل ZKP للحصول على مكافأة.بعد رؤية محتوى ZKP ، قامت المجاميع الأخرى بتشغيل المحتوى نفسه أمامه ، مدعيا أن هذا ZKP قد تم تعويضه بنفسه.
ربما يكون أحد أكثر الحلول الغريزية التي يعتقد الجميع تخصيص رقم المهمة المحدد لكل مجمع.ولكن هناك مشكلة في هذه الطريقة التي لا يمكن أن تقاوم خطر نقطة واحدة.إذا كان لدى Aggregator A فشل في الأداء أو انخفاض ، فسيتم دائمًا تعليق المهمة 1 ولا يمكن إكمالها.علاوة على ذلك ، لا يمكن لهذه الطريقة التي تعين المهام لكيان واحد تحسين كفاءة الإنتاج من خلال آلية الحوافز التنافسية ، وهي ليست طريقة جيدة.
اقترح Polygon Zkevm طريقة تسمى إثبات الفعالية في المدونةأشار إلى أنه ينبغي الترويج للمنافسة بالوسائل التنافسية ، ويجب تعيين المنافسة بين المجمع المختلفة لتخصيص حوافز في الطريق للحصول على المجلس الأول المقدم من ZK.بالطبع ، لم يذكر كيفية حل مشكلة تشغيل MEV.
>
يستخدم Lumoz طريقة شهادة ZK اثنين من الخطوة. ) تم نشره.وبهذه الطريقة ، حتى لو رأى الآخرون قيمة التجزئة ، فإنهم لم يعرفوا محتوى ZKP المقابل ، ولم يتمكنوا من التشغيل مباشرة ؛
إذا قام شخص ما ببساطة بنسخ نسخة التجزئة بأكملها من الإصدار الأول ، فهذا لا معنى له ، لأن التجزئة تحتوي على عنوان إجمالي X. حتى لو كان التجميع الأول يطلق هذا التجزئة ، عندما يتم الكشف عن الصورة الأصلية للتجزئة ، فإن الجميع سيفعلون أيضًا كن الجميع.
من خلال مخطط تقديم ZKP الخاصين بالتحقق من الخطوة ، يمكن لـ Merlin (Lumoz) حل مشكلة الاستيلاء أثناء عملية تقديم ZKP ، وبالتالي تحقيق دليل على الصفر التنافسي للغاية لتوليد حوافز ، وبالتالي زيادة سرعة ZKP.
Merlin’s Phantom: عملية متعددة
وفقًا لخريطة الطريق الفنية لميرلين ، فإنها ستدعم أيضًا قابلية التشغيل البيني بين ميرلين وسلاسل EVM الأخرىمسار التنفيذ هو نفس الفكرة السابقة ل Zetachain. سيتم تشغيل العمل اللاحق على السلسلة المستهدفة في عملية السلسلة المستهدفة.
على سبيل المثال ، يمكنك نشر حساب EOA الذي تسيطر عليه شبكة Merlin على Polygon ،عندما يصدر المستخدمون تعليمات متداخلة للتشغيل على سلسلة Merlin ، تقوم Merlin Network بتحليل محتواها أولاً ، وينشئ بيانات المعاملة على سلسلة الهدف ، ثم وقعت توقيع MPC للمعاملة بواسطة Oracle Network لإنشاء رقم المعاملة .بعد أن أصدرت عقدة Merlin’s Relayer Transtaction على Polygonتشغيل المتابعة للأصول في حساب EOA من خلال Merlin على السلسلة المستهدفة هو.
عند اكتمال عملية المستخدم المطلوبة ، سيتم إعادة توجيه الأصول المقابلة مباشرة إلى عنوان المستخدم على السلسلة المستهدفة ، ومن الناحية النظرية ، يمكن أيضًا أن تكون مباشرة عبر سلسلة Merlin.هناك بعض الفوائد الواضحة لهذا المخطط: يمكن أن تتجنب ارتداء الرسوم الناتجة عن عقد التقاطع المتقاطع عندما يكون التسلل التقليدي للأصول التقليدية ، وهو لضمان أمان عمليات التقاطع المباشر بواسطة شبكة أوراكل من البنية التحتية.طالما أن المستخدم يثق في سلسلة Merlin ، فلا توجد مشكلة في قابلية التشغيل البيني المتقاطع.
لخص
في هذه المقالة ، قمنا بتفسير الحل التقني العام لسلسلة Merlin لفترة وجيزة.بالنظر إلى أن النظام الإيكولوجي الحالي للبيتكوين على قدم وساق ، نعتقد أن السلوك العلمي الشعبي لهذه التكنولوجيا هو قيمة والحاجة إلى الجماهير.سنقوم بإجراء مشاريع متابعة طويلة المدى مثل Merlin و BitLayer ، B^Squareلمعرفة المزيد في التحليل العمق لحلولها التقنية ، يرجى ترقب!
