jakiro
المصدر: مجلة Cointelegraph ، التي جمعتها Imtoken
ملاحظة المحرر:تتحرك Ethereum نحو عصر جديد من التوسع البالغ 10000 TPS ، وأصبحت تقنية Proof Proof (ZK) صفراً محركًا رئيسيًا. ستركز هذه المقالة على الصعوبات الفنية لإثبات الوقت الفعلي ، ومنطق مشاركة Prover ، والتحديات الأمنية في عملية تبديل L1 ، وكيف يمكن أن تصبح “Rollup الأصلية” الشكل النهائي لتوسيع ZK.
إذا كانت ZKIZY هي نقطة الانطلاق لإعادة بناء تكنولوجيا Ethereum ، فإن “Proof Time Proof” و “Rollup الأصلي” هما روابط التنفيذ الأساسية لثورة التوسع هذه.
في هذه المقالة ، سنستمر في استكشاف كيفية تنفيذ دليل ZK في الوقت الفعلي على شبكة Ethereum الرئيسية على شبكة Ethereum الرئيسية ، وما هي آلية الأجهزة والحوافز لتصبح المثل ، وكيف سيعيد Rollup الأصلي كتابة نمط Ethereum L2.
دليل في الوقت الحقيقي: اللغز الرئيسي لتوسيع Ethereum
على خريطة طريق Ethereum نحو 10000 TPS ، هناك نقطة اختراق تكنولوجية لا غنى عنها: إثبات الوقت الحقيقي.
أوضح أوما روي ، المؤسس المشارك للمستجني ، “يشير الإثبات في الوقت الحقيقي إلى القدرة على إكمال عملية توليد إثبات ZK على كتلة من الشبكة الرئيسية Ethereum في أقل من 12 ثانية.”
ماذا يعني ذلك؟بمجرد تنفيذ دليل في الوقت الفعلي ، يمكن لـ Ethereum دمج منطق التحقق من الكتلة في البروتوكول نفسه وزيادة “تعسفي” تقريبًا إلى الحد من الغاز دون التضحية بالتحقق ، وبالتالي تحقيق التوسع على نطاق واسع لـ L1(ملاحظة المحرر: يبلغ وقت توليد كل كتلة على Ethereum Mainnet 12 ثانية ، لذا فإن “الوقت الفعلي” يعني إكمال الدليل في كل دورة كتلة).
ومع ذلك ، لتحقيق إثبات في الوقت الفعلي ، لا تكفي تقنية ZKVM وحدها ، كما أن هناك حاجة أيضًا إلى تغييرات في طبقة بروتوكول Ethereum.
أشار Ladislaus من مؤسسة Ethereum إلى أنه من المتوقع أن يتم تقديم آلية رئيسية في ترقية Glamsterdam في العام المقبل – “فك الارتباط بالتحقق من الكتلة والتنفيذ الفوري” ، والتي ستوفر المثل (Prover) مع المزيد من الوقت لتوليد أدلة Zkevm ضمن فتحة كاملة ، مما يحقق المعالجة في الوقت الفعلي في الوقت الفعلي.
فيما يتعلق بالتنفيذ الفني ، أصدرت Secrinct أحدث SP1 Hypercube ZKVM ، والتي يمكن أن تولد أدلة في الوقت الفعلي بنسبة 93 ٪ من 10000 كتلة Mainnet تحت مجموعة من 200 وحدات معالجة الرسومات.
قال روي إنهم واثقون من أنهم سيزيدون من معدل النجاح هذا إلى 99 ٪ بحلول نهاية هذا العام.على الرغم من أن بعض الكتل التي يصعب إجراء العملية قد لا تزال تتسبب في فشل عدد قليل جدًا من الكتل في توليد أدلة في الوقت المناسب ، فقد نظر تصميم البروتوكول في آليات تحمل الأعطال ، مثل السماح لتخطي الكتلة والكتلة التالية للاستمرار في المعالجة.
الذهاب أبعد من ذلك ،يدرس Ethereum أيضًا تقليل وقت الكتلة من 12 ثانية إلى 6 ثوانٍ (كقاحلة محتملة أخرى لـ Glamsterdam) ، مما سيحسن بشكل كبير تجربة المستخدم وسرعات تأكيد المعاملات ،لكنه يضع أيضًا ضغطًا إضافيًا على ZK Prover – بالنسبة للمدرب ، يتم مضاعفة المهمة.
ومع ذلك ، روي ليس قلقا. بعد كل شيء ، يمكن تحسين أداء تقنية ZK بمقدار 10 مرات كل عام ، ولا يزال من الممكن التعامل معه حتى لو تم تقليل وقت الكتلة بمقدار النصف.
في يونيو / حزيران ، أعلنت Linea أيضًا أن 100 ٪ من النشاط على الشبكة على شبكتها قد تمت تغطيتها بواسطة ZK Proof. على الرغم من أن Linea لديها حاليًا TPS من 2 فقط ، إلا أن هذا ليس حدًا للأداء ، ولكنه محدود بمتطلبات الاستخدام.
تجدر الإشارة إلى أن الفاصل الزمني كتلة Linea هو فقط ثانيتين ، ويتم تحميل Proof ZK للتحقق من Ethereum L1 من خلال العقود الذكية. قد يكون هذا النموذج هو الإصدار الرئيسي من “zkization” في المستقبل للشبكة الرئيسية.
هل عتبة الأجهزة لـ Ethereum ZK Prover عالية؟
إذا كنت ترغب في إنشاء دليل ZK في الوقت الفعلي ، فأنت بالطبع لا ينفصل عن موارد الحوسبة القوية.
تحدد مؤسسة Ethereum حاليًا الأهداف التقنية الأولية للثلج:يتم التحكم في تكاليف الأجهزة في حدود 100000 دولار ، ويبلغ استهلاك الطاقة أقل من 10 كيلووات ، وهو ما يقرب من مستوى استهلاك الطاقة لبطارية Home Tesla Powerwall.
هذا الرقم لا يبدو “خفيفة الوزن” ، وصفه الناقد Ethereum جوستين بونز (مؤسس Cyber Capital) بأنه “متطلب أجهزة مجنون يتجاوز بكثير عقد التحقق من Solana” ، لكن هذا يخلط في الواقع دورين مختلفين تمامًا.
أشار Ladislaus من فريق تنسيق بروتوكول Ethereum Foundation إلى أن مسؤوليات المثل والمقحة مختلفة ولا يمكن الخلط بينها – يدير التحقق من العقدة ويشارك في الإجماع ؛ في حين أن مهمة Prover هي إنشاء دليل ZK. بمجرد إنشاء دليل ZK لمعاملة معينة بشكل صحيح ، تحتاج الشبكة فقط إلى التحقق مما إذا كان الدليل صحيحًا ، دون تنفيذ متكرر للمعاملة.
ولهذا السبب ، أعرب Ladislaus عن تفاؤله ، “طالما يمكنك العثور على المثل الصادق الذي يلبي ظروف الأجهزة ، يمكن أن تستمر Ethereum في العمل بأمان. لقد وضعنا العتبة عن عمد أسفل مركز البيانات ، وحتى إذا لم نكن منظمة كبيرة أو مركز بيانات ، طالما نحن مطورون فرديون يتمتعون بقدرات فنية ، يمكننا تشغيل الاندفاع في المنزل.”
حاليا ، هذا تكوين الأجهزة البالغ 100000 دولار هو مجرد الهدف الأولي. تتوقع Sophia Gold ، الباحثة في مؤسسة Ethereum ، أن تلبي Prover السائد معايير مؤتمر DevConnect Argentina Developer في نوفمبر من هذا العام.
يتوقع Roy المؤسس المشارك الناجح تقليل طلب GPU إلى حوالي 16 بطاقة رسومات بحلول أوائل العام المقبل ، حيث تتراوح التكلفة الإجمالية بين 10،000 دولار و 30،000 دولار.
وفي الوقت نفسه ، قامت Secricction ببناء شبكة لا مركزية من “المئات من المداهيات” على شبكة الاختبار ، مما يولد ملايين الشهادات.
المنطق الأساسي لهذا النظام هو دليل تنافسي ، أييشارك جميع Prover في تقديم العطاءات ، ويختار كل جولة مزايد رابح لأداء Proof ZK. والهدف من ذلك هو جعل المشاركين مع وقت أقصر وفوز منخفض التكلفة ، مما يشكل آلية تقديم عطاءات تشبه الطاقة الحاسوبية.
هذا يعني أنه في مستقبل Ethereum الذي يحركه ZK ، سيتم استنساخ روح عمال المناجم بشكل آخر – فقط الدور سوف ينتقل من عد الكتل إلى البراهين.
Mainnet مقطعة إلى بنية ZK: هجرة نظام عالية الدقة
إن تحويل Ethereum L1 mainnet إلى بنية إثبات المعرفة (ZK)-هو نفس المستوى تقريبًا من التحدي الفني بعد الانتقال من إثبات العمل (POW) إلى إثبات الحصة (POS) في عام 2022. لا تتطلب العملية برمتها إعادة تشكيل طبقة البروتوكول ، ولكنها تتطلب أيضًا النظر الصارم في سيناريو الحافة المحتملة المختلفة.
في اجتماع Ethproofs في يوليو من هذا العام ، ذكر الباحث جوستين دريك العديد من المخاطر المحتملة.على سبيل المثال ، قد يقوم المهاجم الضار بإدراج ما يسمى “قاتل المثل” في الكتلة ، مما تسبب في فشل آلية التحقق من الشبكة بأكملها ؛ أو انخفاض نشاط الشبكة ، مما يؤدي إلى دخل رسوم المعاملات لا يكفي لتغطية تكلفة توليد أدلة ZK ، مما يؤثر على استدامة الشبكة.
قال Ladislaus من فريق تنسيق اتفاقية مؤسسة Ethereum إن عملية الانتقال بأكملها قد تستغرق عدة سنوات ، خاصة التركيز على المخاطر الأمنية.ZK Virtual Machine (ZKVM) هي تقنية معقدة لا تزال في مراحلها المبكرة ومن المرجح أن يكون لها الكثير من نقاط الضعف.ومع ذلك ، مع نضوج النظام الإيكولوجي ، يمكننا أن نحسن تدريجياً من جدواه وقلته في Ethereum L1 من خلال إدخال نظام إثبات متنوع ، وتحسين آليات الحوافز ، والتحقق الرسمي.
في الوقت نفسه ، تخطط Ethereum أيضًا لإعادة هيكلة طبقة الإجماع بشكل أساسي ، أي بناء بنية جديدة تسمى “سلسلة الشعاع”. الهدف من ذلك هو التحسين والودي لـ ZK في بداية التصميم ، حتى قال دريك ذلكفي المستقبل ، سيتم إكمال عمل التحقق من البيانات بأكمله من Ethereum على وحدة المعالجة المركزية لجهاز كمبيوتر محمول عادي.
Mainnet “snarkization”: Rollup الأصلي قادم
أثناء دمج ZKEVM على شبكة Ethereum الرئيسية ، بدأت رؤية أخرى طويلة الأجل في الظهور تدريجياً: Rollup الأصلي (Rollup الأصلي).
يتبنى Rollup الحالي (سواء كان متفائلًا أو نوع ZK) نظام إثبات مستقل ، ويعتمد أمانه على آلية المدقق أو آلية الفوضى الخاصة به ، وهناك افتراض ثقة معين بينه وبين Ethereum Mainnet.
رؤية “Rollup الأصلية” مختلفة تمامًا –من خلال دمج ZKEVM في الشبكة الرئيسية ، يمكن لمقحة Ethereum L1 التحقق مباشرة من إثبات انتقال الحالة من Rollup ، وبالتالي إدراك L2 الذي تمت مصادقته حقًا بواسطة الشبكة الرئيسية والأمان المضمون من قبل الشبكة الرئيسية.
يتطلب ذلك إضافة قطعة من الكود الرئيسي “تنفيذ Precompile” إلى عميل Ethereum L1 ، مما يسمح للمقحة بالتحقق مباشرة من دليل انتقال حالة ZK الناتج عن L2. كما قال LADISLAUS ، منسق بروتوكول مؤسسة Ethereum ، “سوف يستهلك مصادقو L1 هذه البراهين في تنفيذ Rollup والتحقق من صحتها”.
بمعنى آخر ، إذا أصبح Rollup الأصلي حقيقة ، إذنفي المستقبل ، سواء كانت معاملة تحدث في L1 أو معاملة تحدث على Rollup الأصلي ، يتم ضمان تسوية وأمنها النهائي من قبل مجموعة من مرقو Ethereum ، وسيكون مستوى الثقة مكافئًا تمامًا.
هذا يعني أن 10 ملايين دولار يتم إيداعها على Rollup الأصلي ، وسيكون أمنه مكافئًا لإيداع توجيه الإيداع إلى Ethereum Mainnet.
قال زعيم مشروع Linea Declan Fox إن هدفهم على المدى الطويل هو أن يصبح رولوبًا أصليًا. وهو يعتقد أن هذا “نسخة ترقية” من حل ETH 2.0 Sharding – لم تعد سلاسل شارد 64 شارد من شدة مع نفس الهيكل ، بل بناء نظام متداول غير متجانس بطريقة قابلة للبرمجة للغاية وقابلة للتخصيص لخدمة سيناريوهات مختلفة واحتياجات المستخدمين.
على عكس بنية القطع المتسوية لـ ETH 2.0 في الماضي ، يمكن أن تكون Rollup الأصلية غير متجانسة ، مما يوفر للمستخدمين النهائيين تجارب تطبيق أكثر تنوعًا وتمييزًا.
على الرغم من أن Rollup الأصلي لم تتم كتابته رسميًا في خارطة طريق Ethereum ، حيث أصبح الإطلاق الرسمي لـ ZKEVM وإعادة الإعمار التدريجي لهندسة L1 ، والواجهات المسبقة ومنطقها المسبق من الواضح أنها أصبحت اتجاهًا تقنيًا متوقعًا.
وخلص لاديسلاوس إلى أن “Ethereum لديه درجة عالية من التعاون الفني في snarkization من EVM (أي دمج قدرة ZK Proof) وتعزيز Rollup الأصلي ، لأن الاثنين يشتركان في مكدس تقنية ZK الأساسي.” بالطبع ، لا تزال هذه العملية يجب تشكيلها من خلال حوكمة مجتمع Ethereum ، وتشكيل EIP (اقتراح تحسين Ethereum) ، ونشرت أخيرًا في شوكة صعبة.
إذا كنت متفائلاً ، إذا سارت الأمور على ما يرام ، فقد تتمكن من تقديم EIP ذات الصلة في نهاية العام والتعرض للحياة في شوكة Glamsterdam التي تمت ترقيتها.
ومع ذلك ، لا يزال هذا الجدول الزمني غير مؤكد إلى حد كبير ويجب أن ينظر إليه بحذر.
