تقرير بحثي: أول طبقة SVM Layer2 - Eclipse

المؤلف: YBB Capital Researcher Ac-Core؛ من إعداد: Block Rhythm

عمل مؤسس Eclipse، نيل سوماني، في السابق كمهندس برمجيات في Airbnb و تعمل Citadel كباحثة كمية وأسست شركة Eclipse الناشئة ومقرها Solana في عام 2022، وتلقت الدعم من المؤسس المشارك لـ Solana Anatoly Yakovenko وPolygon (لإنشاء سلسلة كتل متوافقة لـ Solana وPolygon).

وفقًا لتقارير CoinDesk في 28 سبتمبر 2022، أكملت Eclipse بنجاح جولة تمويل ما قبل التأسيس بقيمة 6 ملايين دولار بقيادة Polychain و9 دولارات أمريكية. جولة تمويل أولية بقيمة مليون دولار أمريكي بقيادة مشتركة من ترايب كابيتال وتابية، ليصل إجمالي مبلغ التمويل إلى 15 مليون دولار أمريكي. تلقت Eclipse أيضًا منحة تطوير من مؤسسة Solana لدعم مجموعة Solana Virtual Machine التي تعمل بالطاقة.

استخدم مؤسس Eclipse Somani علاقاته والميزة الجغرافية لقربه من مقر Solana الرئيسي في شيكاغو لإنشاء سلسلة فريدة بنجاح باستخدام أجهزة Solana الافتراضية. تتمثل الرؤية في تمكين المطورين من نشر Rollup مدعومًا بـ Solana VM، مع خطط لإطلاق شبكة اختبار عامة على النظام البيئي Cosmos في أوائل عام 2023، بالإضافة إلى خطط لدعم لغة Aptos’ Move في المستقبل.

علق المؤسس المشارك لـ Solana والمستثمر في Eclipse Angel، أناتولي ياكوفينكو: "يمهد Eclipse الطريق أمام Solana للتواصل مع Cosmos من خلال الاتصال بين blockchain (IBC). . "

علق نيراج بانت، الشريك في Polychain Capital: "مع بدء المؤسسات الكبيرة والحكومات في دخول مجال blockchain، يعد Eclipse هو الحل الأفضل لتسهيل استخدامها حالات مثل التطبيقات الاستهلاكية والمالية على نطاق Web2)."

بنية Eclipse

وفقًا للتفسير الرسمي، تعد Eclipse Mainnet أول شبكة L2 عالمية مبنية حول SVM في Ethereum، فهي تجمع بين أفضل أجزاء المجموعة المعيارية وتهدف إلى أن تصبح الطبقة الثانية الأسرع والأكثر عالمية من Ethereum التي يقودها SVM. تستخدم بنية المشروع Ethereum كطبقة تسوية ويتم استخدامها لجسر التحقق المضمن الرسمي؛ Celestia كطبقة توفر البيانات؛ يتم استخدام RISC Zero لإنشاء أدلة احتيال صفر المعرفة؛ وأخيرًا يتم تنفيذ Solana's SVM كمشروع نمطي من الطبقة الثانية كمشروع ككل. وسيتم شرح ما يلي بالتفصيل بناءً على التوضيحات الرسمية.

طبقة التسوية — Ethereum: سوف يستقر Eclipse على Ethereum (أي جسر التحقق المضمن في Ethereum) ويستخدم ETH كمستهلك للغاز، وسيعمل إثبات الاحتيال على سيتم تقديمها أيضًا على Ethereum;

طبقة التنفيذ — Solana Virtual Machine (SVM): سيقوم Eclipse بتشغيل SVM عالي الأداء كبيئة تنفيذ خاصة به. شوكة عميل Solana Labs (الإصدار 1.17)؛

طبقة توفر البيانات—Celestia: ستنشر Eclipse البيانات إلى Celestia لتحقيق توفر بيانات قابل للتطوير (DA)؛< /p>

آلية الإثبات — RISC Zero: سيستخدم Eclipse RISC Zero لإثبات الاحتيال ZK (لا يلزم إجراء تسلسل للحالة الوسيطة)؛

بروتوكول الاتصال - IBC: سد كامل مع سلاسل غير Eclipse من خلال معيار الاتصالات بين السلاسل الخاص بـ Cosmos IBC؛

بروتوكول عبر السلسلة - Hyperlane: تتعاون Eclipse وHyperlane لجلب حل التشغيل البيني غير المسموح به من Hyperlane إلى سلاسل الكتل المستندة إلى Solana Virtual Machine (SVM).

مصدر الصورة: مسؤول Eclipse

طبقة التسوية: الحصول على الأثير أمان وسيولة إيثريوم

يستخدم Eclipse Ethereum كطبقة تسوية مثل مجموعات Ethereum الأخرى. تتطلب هذه العملية تثبيت Eclipse على Ethereum. تم دمج جسر التحقق الموجود على النظام الأساسي مباشرةً في Eclipse، وتحتاج عقده إلى اكتشاف صحة جسر التحقق وتصحيح ترتيب المعاملات، حتى يتمكن المستخدمون من الحصول على أمان على مستوى Ethereum.

يُعرّف L2BEAT Layer2 بأنها "سلسلة تستمد أمانها كليًا أو جزئيًا من الطبقة الأولى من Ethereum بحيث لا يضطر المستخدمون إلى الاعتماد على سلامة Layer2 المصادقون. ضمان سلامة الأموال ". يفرض Eclipse Validation Bridge الصلاحية المطلقة ومقاومة الرقابة في ظل ظروف فشل معينة، مما يسمح للمستخدمين بإجبار إكمال معاملاتهم من خلال الجسر واستخدام Ethereum كغاز للمعاملات حتى إذا تعطل جهاز التسلسل أو بدأت الرقابة في L2 تنفيذ الحرق.

طبقة التنفيذ: الحصول على سرعة معاملة Solana وتأثيرات الحجم

لتحسين الكفاءة، تتبنى Eclipse Mainnet بيئة تنفيذ Solana، باستخدام SVM وSealevel (يتم استخدام Solana لبناء حلول تقنية للتوسع الأفقي، ويتم استخدام محرك معالجة المعاملات المتوازي للغاية للتوسع أفقيًا عبر وحدات معالجة الرسومات ومحركات أقراص الحالة الصلبة)، وهو ما يتوافق مع EVM بالمقارنة مع العمليات أحادية الترابط، تتمثل الميزة في أنه يمكن تنفيذها دون تصميم معاملات حالة متداخلة، بدلاً من تنفيذها بشكل تسلسلي.

فيما يتعلق بمشكلات توافق EVM، تعاونت Eclipse Mainnet مع Neon EVM للسماح للمطورين بالاستفادة من أدوات Ethereum وبناء تطبيقات Web3 على Solana. ووفقًا للبيانات الرسمية، فإن إنتاجيتها أكبر من EVM أحادي الخيط، حيث يصل إلى مستوى 140TPS. يتفاعل مستخدمو EVM مع التطبيقات الموجودة أصلاً في Eclipse Mainnet من خلال المكون الإضافي "Snaps" الخاص بمحفظة MetaMask.

توفر البيانات: الاستفادة من عرض النطاق الترددي وطبيعة Celestia التي يمكن التحقق منها

سوف تستفيد Ecilpse Mainnet من Celestia من أجل توافر البيانات والعلاقة طويلة الأمد. والسبب هو أن Ethereum غير قادر حاليًا على تلبية الإنتاجية والرسوم المستهدفة لـ Ecilpse، والتي يمكن أن توفر متوسطًا يبلغ حوالي 0.375 لكل كتلة حتى بعد ترقية EIP-4844 ميغابايت من مساحة Blobs (الحد الأقصى هو 0.75 ميغابايت تقريبًا لكل كتلة).

وفقًا للبيانات الرسمية، فإن استخدام معاملات ERC-20 بناءً على توسيع مجموعة التحديثات، المحسوبة على أنها 154 بايت لكل معاملة، يعادل إجمالي جميع عمليات التجميع، حوالي 213TPS ، وبالنسبة لمبادلة الضغط، يبلغ حجم كل معاملة حوالي 400 بايت، ويبلغ TPS لجميع عمليات التجميع حوالي 82TPS. بالمقارنة مع كتل 2 ميجابايت التي أطلقتها شركة Celestia، من المتوقع أن يزيد حجم Blobstream إلى 8 ميجابايت بعد أن تثبت الشبكة استقرارها ويتم تشغيل وإيقاف المزيد من العقد الضوئية DAS (الموضحة أدناه).

تعتقد Eclipse أنه بدعم من عقدة DAS الخفيفة من Celestia، مع الأخذ في الاعتبار المفاضلة بين أمان اقتصاد التشفير وإنتاجية DA القابلة للتطوير بشكل كبير، أصبحت Celestia الخيار الأفضل لـ Eclipse Mainnet اليوم. على الرغم من أن هناك حاليًا وجهة نظر مفادها أن استخدام Ethereum DA هو الطبقة الثانية التقليدية، فسيستمر فريق المشروع في الاهتمام بالتقدم المحرز في توسيع DA بعد EIP-4844. إذا تمكنت Ethereum من تزويد Eclipse بنطاق أوسع وعالي الإنتاجية DA، سيتم إعادة تقييم إمكانية الانتقال إلى Ethereum DA.

آلية الإثبات: RISC صفر دليل على الاحتيال (لا يوجد تسلسل للحالة المتوسطة)

تشبه طريقة إثبات Eclipse طريقة SIMD لإثبات الاحتيال في SVM من Anatoly (راجع رابط ملحق GitHub 2 للحصول على التفاصيل)، وهو ما يتوافق مع رؤية John Adler لتجنب التكلفة العالية لتسلسل الحالة. لذلك، من أجل تجنب إعادة تقديم شجرة Merkle (شجرة التجزئة) في SVM، حاولت أطراف المشروع المبكرة إدراج شجرة Merkle المتفرقة في SVM، ولكن تحديث شجرة Merkle في كل مرة سيكون للمعاملة تأثير كبير على الأداء. لا يمكن أن تكون أطر العمل التراكمية الحالية ذات الأغراض العامة (مثل مكدس OP) بمثابة الأساس لمجموعة SVM دون استخدام أشجار Merkle للإثبات، الأمر الذي يتطلب تصميمات أكثر إبداعًا لمقاومة الفشل.

متطلبات إثبات الفشل: التزام إدخال المعاملة، والمعاملة نفسها، وإثبات أن إعادة تنفيذ المعاملة ستؤدي إلى مخرجات مختلفة عن تلك المحددة على السلسلة.

يتم تنفيذ التزام الإدخال عادةً من خلال توفير جذر Merkle لشجرة حالة التجميع. سيقوم منفذ Eclipse بنشر مدخلات ومخرجات كل معاملة (بما في ذلك تجزئة الحساب القيمة والحالة العالمية المرتبطة بها)، بالإضافة إلى فهرس المعاملات الذي ينشئ كل إدخال، وينشر المعاملة إلى Celestia حتى تتمكن أي عقدة كاملة من المتابعة، واستخراج حساب الإدخال من حالته الخاصة، وحساب حساب الإخراج، والتأكيد حساب الإخراج على Ethereum الوعد صحيح.

هناك أيضًا نوعان محتملان من الأخطاء الرئيسية هنا:

إخراج غير صحيح: يوفر المدقق إثبات ZK لسلسلة الإخراج الصحيحة. يستخدم Eclipse RISC Zero لإنشاء براهين ZK لتنفيذ SVM، ومواصلة العمل السابق للمشروع الذي يثبت تنفيذ BPF bytecode (راجع رابط ملحق GitHub 3 للحصول على التفاصيل). وهذا يسمح لعقد التسوية الخاص بنا بالتأكد من صحته دون الحاجة إلى إجراء المعاملات على السلسلة.

إدخال غير صحيح: ينشر المدقق بيانات تاريخية عن السلسلة تشير إلى أن حالة الإدخال لا تتطابق مع ما تمت المطالبة به. يتم استخدام جسر الجاذبية الكمي من Celestia للسماح لعقد تسوية Eclipse بالتحقق من وجود احتيال في البيانات التاريخية.

اتصال Eclipse مع ETH وCelestia

المصدر: @jon_charb< /p >

يعد DA أحد الأجزاء الرئيسية لنفقات التكلفة المجمعة. حاليًا، هناك طريقتان رئيسيتان لإتاحة البيانات في Ethereum L2، Calldata وDAC (لجان توفر البيانات).

Calldata: تقوم حلول Layer2 مثل Arbitrum أو Optimism بنشر بيانات المعاملات مباشرة على السلسلة كبيانات استدعاء في كتل Ethereum شديدة المقاومة للرقابة. تقوم Ethereum بتوحيد تسعير بيانات المكالمات والحساب والتخزين تحت وحدة واحدة: الغاز، والتي تعد أيضًا إحدى التكاليف الرئيسية لنفقات Rollup على Ethereum. لتحسين الكفاءة، قدمت ترقية EIP-4844 Blobspace لاستبدال بيانات الاتصال، وبالتالي توفير قيمة مستهدفة تبلغ 375 كيلو بايت لكل كتلة لجميع عمليات التجميع؛

DAC: DAC لديها إنتاجية أعلى بكثير من إصدار بيانات المكالمات مباشرة على السلسلة، ولكن يحتاج المستخدمون إلى الثقة في لجنة صغيرة أو مجموعة من المدققين لتجنب الحجب الضار للبيانات. تقدم DACs، والتي تتضمن أيضًا حلولًا قائمة على إعادة التخزين، افتراضات ثقة كبيرة على L2s، مما يجبر DACs على الاعتماد على السمعة أو آليات الحوكمة أو التصويت الرمزي لمنع أو معاقبة سلوك حجب البيانات، وذلك إلى حد معين عند استخدام DA خارجي ، مطلوب DAC.

يجب إضافة أن Celestia تستخدم شبكة إجماع Blobstream Proof of Stake في Eclipse للسماح لـ Layer2 بالوصول إلى Celestia's Blobspace، حيث تصل إلى 8 ميغابايت من مساحة blobspace وفقًا لنظام الضغط وهذا يعادل تقريبًا 9000 إلى 30000 عملية نقل ERC-20 في الثانية. ومع ذلك، فإن استخدام الطبقة الثانية من Blobstream في العملية سيعتمد على شهادة التحقق من Celestia. إذا اكتشفت العقدة الخفيفة لعملية ضمان الأمان السلوك الضار لثلثي محققي Celestia من خلال الاحتفاظ بالبيانات، فيمكن معاقبتهم. DAC والسلسلة الأصلية DA لا يزال هناك عيب مقارنة بمستوى الثقة، ولكن هذا العيب لا مفر منه عند التفكير من منظور الابتكار وسرد السوق.

المصدر: مسؤول Eclipse - منطق التفاعل المعياري لـ Eclipse

وفقًا للمسؤول توضح الوثيقة أنه كما هو موضح في الشكل أعلاه، فإن Eclipse يمرر Blobstream الخاص بـ Celestia (كما تم تقديم حل DA المعياري لـ Ethereum استنادًا إلى امتداد DAS أعلاه)، وقد تم اختبار وتشغيل بيانات Eclipse المعتمدة لـ Ethereum، مما يسمح للجسر بالاعتماد على توقيع سيليستيا جذر البيانات للتحقق من أمن البيانات المقدمة لإثبات الاحتيال. يقوم مستخدموه بإيداع الأموال في Eclipse عبر جسر Ethereum الأصلي. وتتلخص العملية على النحو التالي:

1. يستدعي المستخدم عقد جسر إيداع Eclipse على Ethereum (لـ عنوان العقد، راجع رابط الامتداد 1)؛

2.Eclipse موجود في منفذ SVM (يحسب نتائج SVM ويخرجها إلى عقدة حالة Eclipse الجديدة) والمكرر (قناة ETH وEclipse) لإكمال تفاعل البيانات عبر السلسلة بين عنوان إرسال المستخدم وعنوان الاستلام؛

3. يستدعي التتابع برنامج جسر SVM وهو مسؤول عن إرسال إيداعات المستخدم إلى العنوان الهدف؛

4. يتحقق التتابع من معاملة الإيداع من خلال عميل zk-light (ليكون تم تنفيذه)؛

5. يتم إكمال كتلة معاملة التحويل النهائية التي تحتوي على الودائع اللاحقة ونشرها من خلال المكون الإضافي Solana Geyser.

في هذه العملية، سيقوم منفذ SVM بنشر كل فتحة Eclipse في قائمة انتظار الرسائل من خلال Geyser، وسيتم نشر الفتحة الخاصة بها إلى Celestia ككتلة بيانات، و يقبل مدقق Celestia كتل البيانات المقدمة لإثبات أن المعاملة مدرجة في سلسلة Eclipse وتتوافق مع جذر البيانات، وأخيرًا، يتم ترحيل كل كتلة بيانات Celestia إلى جسر Eclipse على Ethereum من خلال Blobstream.

المصدر: Eclipse Official: تتفاعل Celestia مع منفذ SVM

مع At the في الوقت نفسه، وعلى غرار الطبقة الثانية الأخرى في Ethereum التي تستخدم إثباتات الاحتيال، يتطلب سحب الأموال بين Eclipse وEthereum أيضًا فترة نافذة استعلام، حتى يتمكن المدقق من تقديم دليل احتيال عندما يكون انتقال الحالة غير صالح.

- سيطلق منفذ SVM بشكل دوري عصرًا (عملية وفقًا لرقم دفعة محدد مسبقًا) من فتحة Eclipse إلى Ethereum للالتزام بالرهن العقاري وتحريره؛

p>

-يجري عقد الجسر الخاص بـ Eclipse فحوصات أساسية للتأكد من أن تنسيق البيانات المنشورة سليم (راجع المقالة المرجعية [2] فصل تصميم إثبات الاحتيال للحصول على التفاصيل)؛

-إذا اجتازت الدفعة المقدمة الفحص الأساسي، فسيتم إنشاء نافذة محددة مسبقًا. ضمن هذه النافذة، إذا تم الالتزام بالدفعة، وهذا يعني أن انتقال الحالة غير صالح، ويمكن للمدقق نشر إثبات الاحتيال.

- إذا نجح المدقق في نشر دليل الاحتيال، لقد فازوا بضمان المنفذ، وتم رفض الدفعة المنشورة، والحالة الأساسية لـ Eclipse L2 Rollback إلى آخر التزام دفعة صالح. وهنا سيكون لمديري Eclipse الحق في انتخاب منفذ جديد؛

- ولكن إذا انقضت فترة التحدي دون إثبات التزوير، فسيتم سحب المنفذ ضماناتها ومكافآتها؛

-أخيرًا يكمل عقد Eclipse Bridge جميع معاملات السحب المدرجة في الدفعة النهائية.

الملخص

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

بالنظر إلى عملية تطوير Ethereum، هناك نقطة مثيرة للاهتمام للغاية وهي أن الجولة الأخيرة من ظروف السوق كانت بسبب الضجيج الذي شهدته DeFi Summer وظهور تسبب عدد كبير من "دمى DeFi المتداخلة" والابتكار والوزن الزائد لـ "DeFi Lego" في حدوث طفرة في تطوير النظام البيئي بأكمله. في هذه الجولة، ظهر عدد كبير من مجموعات "الستاكينغ ماتريوشكا" و"الستاكينغ ليغو" ضمن مزيج من LSD وإعادة الستاكينغ، مما سمح لـ EigenLayer وBlast وMerlin من نظام BTC البيئي بالوصول إلى مستويات عالية جديدة في TVL على المدى القصير. إذا اعتبرنا دمى ماتريوشكا وليغو الموضوع الرئيسي لمعنويات السوق، فيمكن للنمطية أيضًا أن تلعب دمية ماتريوشكا الخاصة بها ولحن ليغو في المستقبل.

يكمن سحر النمطية في فوائد فصل المكونات، وبالتالي تحقيق الابتكار في كل طبقة في المكدس، بحيث يؤدي تحسين كل وحدة إلى تضخيم التحسينات الأخرى من الوحدات، ربما في المستقبل، قد تنتج عملية تطوير الوحدات عددًا كبيرًا من الخيارات التنافسية للمطورين والمستخدمين.