【تغريدة طويلة بالإنجليزية】Lighter × Succinct: رؤية العقود عالية الأداء المدفوعة بتقنية ZK والمرتبطة بترتيب مشترك

سلسلة Chainfeeds دليل القراءة:

يحدد هذا الهيكل تقسيمًا واضحًا للأدوار: L1 (Ethereum) يعمل كدفتر أصول وخصوم عالمي آمن، مسؤول عن حفظ رأس المال؛ L2 (Lighter): يعمل كطبقة تنفيذ عالية الأداء، مسؤول عن إدارة المخاطر؛ البنية التحتية ZK (Succinct): تعمل كشبكة تشفير أساسية، تربط بين الاثنين بشكل موثوق.

مصدر المقال:

كاتب المقال:

jaehaerys

وجهة نظر:

jaehaerys: في السعي وراء قابلية التوسع في البلوكشين، لطالما هيمنت استعارة الجسر على سردية L2. إذا أراد المستخدمون الدخول إلى بيئة Rollup ذات الإنتاجية العالية والتكلفة المنخفضة، يجب عليهم قفل أصولهم في L1 والحصول على أصل مكافئ اصطناعي في L2. ومع ذلك، أدى هذا النموذج إلى مشاكل جديدة: تجزئة السيولة، وسلسلة من الهجمات الكارثية على الجسور عبر السلاسل — والتي أصبحت من أكبر حالات فقدان الأموال في تاريخ التمويل اللامركزي. رداً على ذلك، ظهرت فكرة بديلة جديدة: بدلاً من نقل الأصول إلى بيئة الحوسبة، لماذا لا يتم فقط جلب المعلومات القابلة للتحقق حول الأصول إلى بيئة الحوسبة؟ ظهرت هذه الفكرة لأول مرة في بث مباشر لـ SuccinctLabs، حيث اقترح مؤسس Gauntlet، Tarun Chitra، أثناء تفكيره في مستقبل أنظمة ZK، أن بروتوكولات ZK يمكن أن تجعل نقل الأصول أكثر طبيعية وكفاءة. يمكن أن تظل الأصول مقفلة في شبكة Ethereum الرئيسية (L1)، ولكن من خلال إثباتات المعرفة الصفرية (ZKP)، يمكن التحقق من فائدتها بأمان في L2 واستخدامها كضمان. بهذه الطريقة، يتم فصل موقع رأس المال ووظيفته: تبقى الأصول في البيئة الأكثر أمانًا L1، بينما يتم إسقاط قيمتها على L2 عالي الأداء، مما يعزز بشكل كبير كفاءة رأس المال. على سبيل المثال، يمكن لمراكز stETH أو Morpho Vault الخاصة بالمستخدمين الاستمرار في تحقيق العائدات في L1، بينما يتم استخدام إثبات قيمتها كضمان للرافعة المالية في L2. لا يقلل هذا النموذج من مخاطر العبور عبر السلاسل فحسب، بل يعزز أيضًا إمكانية التركيب والأمان عبر الطبقات. يعتمد تنفيذ هذا النموذج على الجمع بين Lighter وSuccinct. Lighter هو بورصة تداول لامركزية للعقود الدائمة (Perp DEX) تعتمد على دفتر أوامر محدود مركزي (CLOB)، وخيارها المعماري الأساسي هو استخدام دوائر zk مخصصة بدلاً من zkVM أو zkEVM العامة. يسمح هذا التصميم لنظام التشفير الخاص بها بأن يكون مُحسَّنًا خصيصًا للمطابقة، ومحرك المخاطر، ومنطق التصفية، وبالتالي يكون فعالًا للغاية عند التحقق من وظائف التداول المحددة، متجنبًا عنق الزجاجة الباهظ والبطيء لإثباتات الأنظمة العامة. من ناحية أخرى، توفر Succinct آلة افتراضية zkVM SP1 — وهي آلة افتراضية تعتمد على RISC-V، تدعم نظام Rust البيئي بالكامل، وقادرة على ترميز منطق التطبيقات المعقدة بكفاءة، مثل طرق تقييم DeFi Vault أو محركات التصفية. بالإضافة إلى ذلك، تدير Succinct شبكة إثبات لامركزية (SPN)، وهي سوق تنافسي لتوليد الإثباتات مدعوم من GPU وFPGA، وربما ASIC في المستقبل، ويمكنها إنتاج الإثباتات المطلوبة بسرعة وبتكلفة منخفضة. بعد الجمع بين الاثنين، يمكن للمستخدمين استخدام الأصول الإنتاجية على L1 في التداول بالرافعة المالية على L2 دون التضحية بالعائدات. على سبيل المثال، يستمر المستخدم في كسب الفائدة من Morpho Vault على L1، بينما يتم استخدام إثبات قيمة هذه الأصول كهامش لتداول العقود الدائمة على L2. علاوة على ذلك، يمكن لهذا الهيكل دعم ترميز استراتيجيات L2 المعقدة، مما يسمح بتداولها على L1 كأصول موحدة، مثل توكن الرافعة المالية 3x ETH الأصلي، والذي يمكن استخدامه في تطبيقات مثل الإقراض على Aave. لا يعزز هذا النموذج كفاءة رأس المال فحسب، بل يثري أيضًا إمكانيات التركيب عبر الطبقات. جوهر هذا الهيكل هو التعاون بين عقدة Escrow وشبكة إثبات Succinct. أولاً، يقوم المستخدم بإيداع ETH أو العملات المستقرة أو الأصول المدرة للعائد في عقدة Escrow على Ethereum L1. تقوم عقدة Escrow بإطلاق حدث، تتلقاه شبكة إثبات Succinct وتولد إثبات SNARK يثبت أن الأصول قد تم قفلها بالفعل. بعد أن يؤكد عقد التحقق هذا الإثبات على السلسلة، يقوم Sequencer بإيداع الأموال في حساب الهامش الخاص بالمستخدم على Lighter L2. بعد ذلك، يتم إرسال تعهدات الحالة الخاصة بـ L2 (حالة دفتر الأوامر، الأرصدة، إلخ) إلى طبقة توفر البيانات (DA) للتحقق المستقبلي. طوال العملية، لا تغادر الأصول L1 أبدًا، مما يضمن الأمان. والأهم من ذلك، أنه عندما يواجه المستخدم الرقابة أو تحدث مشكلة في L2، يمكنه استخدام آلية كبسولة الهروب لتقديم طلب سحب مباشرة على L1. يبدأ المستخدم معاملة السحب على L1، وتوفر DA تعهدات الحالة والإثباتات المضمنة، وتحوّل شبكة Succinct هذا الطلب إلى مهمة إثبات وتولد إثبات SNARK. إذا تم التحقق من الإثبات، يجبر عقد Escrow على تحرير الأموال وإعادة الأصول مباشرة إلى المستخدم. يضمن هذا التصميم أنه بغض النظر عن الحالة التي تحدث في L2، يمكن للمستخدم دائمًا الاعتماد على أمان L1 لاسترداد أصوله. يشبه هذا مسار الهروب في Rollup التقليدي، ولكن في سيناريو نقل فائدة الأصول والضمانات، يوفر هذا النموذج حماية أكثر مرونة ومقاومة للرقابة لعمليات السحب، مما يبرز بشكل أكبر ميزة فصل موقع رأس المال عن وظيفته. [النص الأصلي بالإنجليزية]