ملاحظة المحرر: تسير الإيثريوم نحو عصر جديد من التوسع بقدرة 10,000 TPS، بينما تصبح تقنية الإثباتات الصفرية (ZK) القوة الدافعة الرئيسية. هذه هي المقالة الثانية من "خريطة طريق الإيثريوم 10,000 TPS"، والتي ستركز على التحديات التقنية للإثبات في الوقت الفعلي، ومنطق مشاركة Prover، والتحديات الأمنية في عملية التحويل بين L1، وكيف يمكن أن تصبح "Rollup الأصلية" الشكل النهائي لتوسع ZK.
إذا كانت ZK هي نقطة انطلاق إعادة بناء تقنية الإيثيريوم، فإن "الإثبات الفوري" و"Rollup الأصلي" هما الجوانب الأساسية لهذه الثورة في التوسع.
في هذه المقالة، سنواصل استكشاف كيفية تحقيق إثبات ZK في الوقت الحقيقي بمستوى 12 ثانية على شبكة Ethereum الرئيسية، وما هي عتبة الأجهزة وآلية التحفيز لتصبح Prover، وكيف ستعيد Rollup الأصلية تشكيل مشهد Ethereum L2.
01، إثبات الوقت الحقيقي: القطعة الأساسية لتوسيع Ethereum
في خارطة طريق الإيثيريوم نحو 10,000 TPS، هناك نقطة تحول تقنية لا غنى عنها: الإثبات الفوري.
شرح المؤسس المشارك سُكِّنت أُما روي ذلك كما يلي: "الإثبات الفوري يعني القدرة على إكمال عملية توليد إثبات ZK لكتلة من شبكة الإيثيريوم الرئيسية في أقل من 12 ثانية."
ماذا يعني هذا؟ بمجرد تحقيق إثبات الوقت الحقيقي، يمكن لـ Ethereum دمج منطق التحقق من الكتل في البروتوكول نفسه، وزيادة حد الغاز تقريبًا "بأي شكل" دون التضحية بالتحقق، مما يحقق التوسع الكبير في L1 (ملاحظة المحرر: الوقت المستغرق لإنشاء كل كتلة في الشبكة الرئيسية لـ Ethereum هو 12 ثانية، لذلك "الوقت الحقيقي" يعني إنهاء الإثبات خلال كل دورة كتلة).
ومع ذلك، لتحقيق إثباتات في الوقت الحقيقي، فإن استخدام تقنية zkVM وحدها ليس كافياً، بل يتطلب أيضاً إجراء تغييرات على طبقة بروتوكول إيثيريوم.
أشار لاديسلاوس من مؤسسة إيثيريوم إلى أنه من المتوقع إدخال آلية حاسمة في ترقية غلاندستام العام المقبل - "فصل التحقق من الكتل والتنفيذ الفوري"، مما سيوفر لمقدم الإثبات (Prover) وقتًا أكثر رحابة لتوليد إثبات zkEVM ضمن دورة كاملة، مما يحقق معالجة حقيقية في الوقت الفعلي.
فيما يتعلق بتنفيذ التقنية، أصدرت Succinct أحدث إصدار من SP1 Hypercube zkVM، والذي يمكنه توليد إثباتات في الوقت الفعلي لـ 93% من 10,000 كتلة على الشبكة الرئيسية تحت مجموعة من 200 وحدة معالجة رسومات.
يقول روي إنهم واثقون من أنهم سيرفعون معدل النجاح إلى 99% قبل نهاية هذا العام. على الرغم من أن بعض الكتل الصعبة قد تؤدي إلى عدم القدرة على إنتاج إثباتات لبعض الكتل في الوقت المناسب، إلا أن تصميم البروتوكول قد أخذ في الاعتبار آلية تحمل الأخطاء، مثل السماح بتجاوز الكتلة، والانتقال إلى الكتلة التالية لمتابعة المعالجة.
علاوة على ذلك، تفكر إيثيريوم في تقليص وقت الكتلة من 12 ثانية إلى 6 ثوانٍ (كاقتراح محتمل آخر لGlamsterdam)، مما سيعزز بشكل كبير تجربة المستخدم وسرعة تأكيد المعاملات، ولكن هذا أيضاً يضع ضغطاً إضافياً على ZK Prover - حيث زادت صعوبة المهمة بالنسبة للمدققين إلى الضعف.
لكن روي لا يقلق، فبعد كل شيء، يمكن لتقنية ZK تحسين الأداء بمعدل 10 مرات كل عام، حتى لو تم تقليص زمن الكتلة إلى النصف، فلا يزال يمكن التعامل مع ذلك.
في يونيو، أعلنت Linea أيضًا أنه يمكن تحقيق 100% من الأنشطة على الشبكة من خلال تغطية ZK، على الرغم من أن TPS الحالي لـ Linea هو فقط 2، إلا أن هذا ليس قيد الأداء، بل هو مقيد بالطلب على الاستخدام.
من الجدير بالذكر أن فترة الفاصل بين الكتل في Linea هي فقط 2 ثانية، وأن إثبات ZK يتم تحميله من خلال العقود الذكية إلى التحقق من Ethereum L1، وقد تكون هذه النموذج نسخة أولية لمستقبل الشبكة الرئيسية "ZK".
02، هل عتبة الأجهزة لمثبتات ZK على الإيثيريوم عالية؟
لإنشاء إثباتات ZK في الوقت الحقيقي، بالطبع لا يمكن الاستغناء عن موارد الحوسبة القوية.
الهدف الفني الأولي الذي حددته مؤسسة إيثريوم لـ Prover هو: التحكم في تكلفة الأجهزة بأقل من 100,000 دولار، واستهلاك الطاقة أقل من 10 كيلووات، وهو ما يعادل تقريبًا مستوى استهلاك الطاقة لبطارية تسلا Powerwall المنزلية.
هذا الرقم لا يبدو "خفيفًا"، حيث انتقد جاستن بونز (مؤسس Cyber Capital) إيثيريوم واصفًا إياها "بمتطلبات الأجهزة المجنونة التي تفوق بكثير متطلبات عقد سولانا"، لكن هذا في الواقع يخلط بين نوعين مختلفين تمامًا من الأدوار.
أشار لاديسلاوس من فريق تنسيق بروتوكول مؤسسة إيثريوم إلى أن واجبات الموثق والمحقق (التحقق) مختلفة ولا يمكن الخلط بينها - يقوم الموثق بتشغيل العقدة والمشاركة في التوافق؛ بينما مهمة المحقق هي توليد إثبات ZK، وبمجرد أن يتم توليد إثبات ZK للمعاملة بشكل صحيح، يحتاج الشبكة فقط إلى التحقق مما إذا كان هذا الإثبات صحيحًا، دون الحاجة إلى تنفيذ المعاملة مرة أخرى.
وبسبب ذلك، أعرب لاديسلاوس عن تفاؤله "طالما أنه يمكن العثور على مُثبت صادق يلبي متطلبات الأجهزة، يمكن للإيثريوم أن يستمر في العمل بأمان، لقد عمدنا عمدًا إلى خفض العتبة إلى ما دون مراكز البيانات، وحتى إذا لم يكن من المؤسسات الكبيرة أو مراكز البيانات، فإن أي مطور فردي لديه القدرة التقنية يمكنه تشغيل المثبت في منزله".
تعتبر هذه التهيئة المادية التي تبلغ 100000 دولار حاليًا الهدف الأولي، حيث تتوقع الباحثة في مؤسسة Ethereum، صوفيا جولد، أنه بحلول نوفمبر من هذا العام، قبل مؤتمر مطوري Devconnect في الأرجنتين، من المتوقع أن يصل Prover الرئيسي إلى المعايير.
يتوقع روي، المؤسس المشارك لـ Succinct، أنه بحلول بداية العام المقبل، يمكن تقليل طلبات GPU إلى حوالي 16 بطاقة رسومية، كما سيتم التحكم في التكلفة الإجمالية بين 10,000 إلى 30,000 دولار.
في الوقت نفسه، قامت Succinct بإنشاء شبكة لامركزية تتكون من "مئات من Prover" على الشبكة التجريبية، حيث تم توليد ملايين من الإثباتات.
المنطق الأساسي لهذا النظام هو إثبات تنافسي، حيث يشارك جميع المشاركين (Prover) في تقديم العطاءات، ويتم اختيار فائز واحد في كل جولة لتنفيذ إثبات zk، والهدف هو أن يكون الفائز هو المشاركون الذين يتسمون بأقصر وقت وأقل تكلفة، مما يشكل آلية مزاد شبيهة بقوة الحوسبة.
هذا يعني أنه في مستقبل الإيثريوم المدفوع بـ ZK، ستظهر روح المعدنين بشكل آخر - فقط أن الدور تحول من تعدين الكتل إلى إثبات الحساب.
03، تحويل الشبكة الرئيسية إلى بنية ZK: عملية انتقال نظام عالية الصعوبة
سيكون الانتقال بشبكة إيثيريوم L1 إلى هيكل إثبات المعرفة الصفرية (ZK) هو التحدي التقني الكبير التالي بعد الانتقال من إثبات العمل (PoW) إلى إثبات الحصة (PoS) في عام 2022. تتطلب هذه العملية إعادة بناء الطبقة البروتوكولية، ويجب مراعاة مجموعة متنوعة من السيناريوهات الهامشية والمخاطر الأمنية المحتملة بعناية لمنع انقطاع تشغيل الشبكة.
في مؤتمر EthProofs الذي عُقد في يوليو من هذا العام، أشار الباحث جاستين دريك إلى عدة مخاطر محتملة. على سبيل المثال، قد يقوم المهاجمون الخبيثون بإدراج ما يُسمى بـ "prover killer" في الكتلة، مما يؤدي إلى فشل آلية التحقق في الشبكة بأكملها؛ أو قد تنخفض نشاطات الشبكة بشكل حاد، مما يؤدي إلى أن إيرادات رسوم المعاملات المنتجة لا تكفي لتغطية تكلفة إنشاء إثبات ZK، مما يؤثر على استدامة الشبكة.
قال لاديسلاوس من فريق تنسيق بروتوكول مؤسسة إيثريوم إن عملية الانتقال بأكملها قد تستغرق سنوات، مع التركيز بشكل خاص على المخاطر الأمنية. من المحتمل أن تظهر عيوب مختلفة في آلة zk الافتراضية (zkVM) كونه تقنية معقدة لا تزال في مراحلها المبكرة. ولكن مع نضوج النظام البيئي، يمكننا تحسين جدواها وموثوقيتها على مستوى إيثريوم L1 من خلال إدخال أنظمة إثبات متنوعة، وتحسين آليات التحفيز، والتحقق الرسمي.
في الوقت نفسه، تخطط الإيثيريوم لإعادة هيكلة جذرية لطبقة الإجماع الخاصة بها، أي بناء هيكل جديد يسمى «Beam Chain»، الهدف هو أن يكون صديقًا لتحسين ZK منذ البداية، حتى أن دريك ذكر أن جميع أعمال التحقق من البيانات في الإيثيريوم يمكن أن تتم في المستقبل على وحدة المعالجة المركزية لجهاز كمبيوتر محمول عادي.
04، الشبكة الرئيسية "تحويل Snark": Rollup الأصلية قادمة
بينما يتم دمج zkEVM في شبكة الإيثريوم الرئيسية، بدأت فكرة أخرى طويلة الأمد في الظهور تدريجياً: Rollup الأصلي (Native Rollup).
تستخدم أنظمة Rollup الحالية (سواء كانت من نوع Optimistic أو ZK) أنظمة إثبات مستقلة، وتعتمد سلامتها على آلية المدققين أو المنظمين الخاصة بها، مما يخلق افتراض ثقة معين بينها وبين الشبكة الرئيسية لإيثريوم.
ورؤية "Rollup الأصلية" مختلفة تمامًا - من خلال دمج zkEVM في الشبكة الرئيسية، مما يسمح لمدققي Ethereum L1 بالتحقق مباشرة من إثباتات تحويل حالة Rollup، وبالتالي تحقيق L2 الذي يتم التحقق منه حقًا من قبل الشبكة الرئيسية وتضمنه.
يحتاج هذا إلى إضافة جزء أساسي من الشفرة "execute precompile" في عميل Ethereum L1، مما يسمح للمتحققين بالتحقق مباشرة من إثبات تحويل الحالة ZK الذي تم إنشاؤه بواسطة L2، كما قال منسق بروتوكول مؤسسة Ethereum Ladislaus، "سيستهلك المتحققون في L1 إثباتات تنفيذ هذه Rollup، ويحققون في صحتها".
بعبارة أخرى، إذا تحقق Rollup الأصلي، فإن أي صفقة تحدث في L1 أو أي صفقة تحدث على Rollup الأصلي ستتم تسويتها وأمانها من قِبل نفس مجموعة المدققين على إيثيريوم، وسيكون مستوى الثقة متطابقًا تمامًا.
هذا يعني أنه إذا تم إيداع 10 ملايين دولار على Rollup الأصلي، فإن أمانه سيكون معادلاً للإيداع مباشرة على الشبكة الرئيسية لإيثيريوم.
قال دكلان فوكس، رئيس مشروع لينا، إن هدفهم طويل الأمد هو أن يصبحوا Rollup أصلي. وهو يعتبر ذلك "ترقية" لخطة تقسيم ETH 2.0 - حيث لم يعد من الضروري تشغيل 64 سلسلة تقسيم متطابقة، بل بناء نظام Rollup غير متجانس بطريقة قابلة للبرمجة العالية والقابلة للتخصيص، لخدمة سيناريوهات واحتياجات مستخدمين مختلفة.
على عكس بنية التقسيم المتناظر في ETH 2.0 في الماضي، يمكن أن تكون Rollup الأصلية غير متناظرة، مما يوفر تجربة تطبيقات أكثر تنوعًا وتمايزًا للمستخدمين النهائيين.
على الرغم من أن Rollup الأصلي لم يتم كتابته رسميًا في خارطة طريق Ethereum ، إلا أنه مع الإطلاق الرسمي لـ zkEVM وإعادة بناء بنية L1 تدريجيًا ، أصبح من الواضح أنه قد تم إعداد واجهاته ومنطق الترجمة المسبق ، مما أصبح اتجاهًا تقنيًا يمكن التنبؤ به.
!
خلص لاديسلاوس إلى أن "في تحويل EVM إلى Snark (أي دمج قدرة ZK على الإثبات) وتعزيز Rollup الأصلي، هناك تآزر تقني عالٍ في إيثيريوم، لأن كلاهما يشترك في مجموعة تقنيات ZK الأساسية"، بالطبع لا يزال يتعين أن تمر هذه العملية من خلال حوكمة مجتمع إيثيريوم، لتشكيل EIP (اقتراح تحسين إيثيريوم)، وفي النهاية يتم تنفيذها في عملية تقسيم صلبة.
إذا كانت التوقعات متفائلة، وإذا سارت الأمور بسلاسة، فقد يتم تقديم EIP ذات الصلة بحلول نهاية العام، وسيتم إطلاقها في الانقسام الذي يلي ترقية Glamsterdam.
ومع ذلك، لا يزال هذا الجدول الزمني يحمل درجة عالية من عدم اليقين، ويجب التعامل معه بحذر.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
من إثبات الوقت الحقيقي إلى Rollup الأصلي: نهاية توسيع إثيريوم المدفوعة بـ ZK
المؤلف: imToken
ملاحظة المحرر: تسير الإيثريوم نحو عصر جديد من التوسع بقدرة 10,000 TPS، بينما تصبح تقنية الإثباتات الصفرية (ZK) القوة الدافعة الرئيسية. هذه هي المقالة الثانية من "خريطة طريق الإيثريوم 10,000 TPS"، والتي ستركز على التحديات التقنية للإثبات في الوقت الفعلي، ومنطق مشاركة Prover، والتحديات الأمنية في عملية التحويل بين L1، وكيف يمكن أن تصبح "Rollup الأصلية" الشكل النهائي لتوسع ZK.
إذا كانت ZK هي نقطة انطلاق إعادة بناء تقنية الإيثيريوم، فإن "الإثبات الفوري" و"Rollup الأصلي" هما الجوانب الأساسية لهذه الثورة في التوسع.
في هذه المقالة، سنواصل استكشاف كيفية تحقيق إثبات ZK في الوقت الحقيقي بمستوى 12 ثانية على شبكة Ethereum الرئيسية، وما هي عتبة الأجهزة وآلية التحفيز لتصبح Prover، وكيف ستعيد Rollup الأصلية تشكيل مشهد Ethereum L2.
01، إثبات الوقت الحقيقي: القطعة الأساسية لتوسيع Ethereum
في خارطة طريق الإيثيريوم نحو 10,000 TPS، هناك نقطة تحول تقنية لا غنى عنها: الإثبات الفوري.
شرح المؤسس المشارك سُكِّنت أُما روي ذلك كما يلي: "الإثبات الفوري يعني القدرة على إكمال عملية توليد إثبات ZK لكتلة من شبكة الإيثيريوم الرئيسية في أقل من 12 ثانية."
ماذا يعني هذا؟ بمجرد تحقيق إثبات الوقت الحقيقي، يمكن لـ Ethereum دمج منطق التحقق من الكتل في البروتوكول نفسه، وزيادة حد الغاز تقريبًا "بأي شكل" دون التضحية بالتحقق، مما يحقق التوسع الكبير في L1 (ملاحظة المحرر: الوقت المستغرق لإنشاء كل كتلة في الشبكة الرئيسية لـ Ethereum هو 12 ثانية، لذلك "الوقت الحقيقي" يعني إنهاء الإثبات خلال كل دورة كتلة).
ومع ذلك، لتحقيق إثباتات في الوقت الحقيقي، فإن استخدام تقنية zkVM وحدها ليس كافياً، بل يتطلب أيضاً إجراء تغييرات على طبقة بروتوكول إيثيريوم.
أشار لاديسلاوس من مؤسسة إيثيريوم إلى أنه من المتوقع إدخال آلية حاسمة في ترقية غلاندستام العام المقبل - "فصل التحقق من الكتل والتنفيذ الفوري"، مما سيوفر لمقدم الإثبات (Prover) وقتًا أكثر رحابة لتوليد إثبات zkEVM ضمن دورة كاملة، مما يحقق معالجة حقيقية في الوقت الفعلي.
فيما يتعلق بتنفيذ التقنية، أصدرت Succinct أحدث إصدار من SP1 Hypercube zkVM، والذي يمكنه توليد إثباتات في الوقت الفعلي لـ 93% من 10,000 كتلة على الشبكة الرئيسية تحت مجموعة من 200 وحدة معالجة رسومات.
يقول روي إنهم واثقون من أنهم سيرفعون معدل النجاح إلى 99% قبل نهاية هذا العام. على الرغم من أن بعض الكتل الصعبة قد تؤدي إلى عدم القدرة على إنتاج إثباتات لبعض الكتل في الوقت المناسب، إلا أن تصميم البروتوكول قد أخذ في الاعتبار آلية تحمل الأخطاء، مثل السماح بتجاوز الكتلة، والانتقال إلى الكتلة التالية لمتابعة المعالجة.
علاوة على ذلك، تفكر إيثيريوم في تقليص وقت الكتلة من 12 ثانية إلى 6 ثوانٍ (كاقتراح محتمل آخر لGlamsterdam)، مما سيعزز بشكل كبير تجربة المستخدم وسرعة تأكيد المعاملات، ولكن هذا أيضاً يضع ضغطاً إضافياً على ZK Prover - حيث زادت صعوبة المهمة بالنسبة للمدققين إلى الضعف.
لكن روي لا يقلق، فبعد كل شيء، يمكن لتقنية ZK تحسين الأداء بمعدل 10 مرات كل عام، حتى لو تم تقليص زمن الكتلة إلى النصف، فلا يزال يمكن التعامل مع ذلك.
في يونيو، أعلنت Linea أيضًا أنه يمكن تحقيق 100% من الأنشطة على الشبكة من خلال تغطية ZK، على الرغم من أن TPS الحالي لـ Linea هو فقط 2، إلا أن هذا ليس قيد الأداء، بل هو مقيد بالطلب على الاستخدام.
من الجدير بالذكر أن فترة الفاصل بين الكتل في Linea هي فقط 2 ثانية، وأن إثبات ZK يتم تحميله من خلال العقود الذكية إلى التحقق من Ethereum L1، وقد تكون هذه النموذج نسخة أولية لمستقبل الشبكة الرئيسية "ZK".
02، هل عتبة الأجهزة لمثبتات ZK على الإيثيريوم عالية؟
لإنشاء إثباتات ZK في الوقت الحقيقي، بالطبع لا يمكن الاستغناء عن موارد الحوسبة القوية.
الهدف الفني الأولي الذي حددته مؤسسة إيثريوم لـ Prover هو: التحكم في تكلفة الأجهزة بأقل من 100,000 دولار، واستهلاك الطاقة أقل من 10 كيلووات، وهو ما يعادل تقريبًا مستوى استهلاك الطاقة لبطارية تسلا Powerwall المنزلية.
هذا الرقم لا يبدو "خفيفًا"، حيث انتقد جاستن بونز (مؤسس Cyber Capital) إيثيريوم واصفًا إياها "بمتطلبات الأجهزة المجنونة التي تفوق بكثير متطلبات عقد سولانا"، لكن هذا في الواقع يخلط بين نوعين مختلفين تمامًا من الأدوار.
أشار لاديسلاوس من فريق تنسيق بروتوكول مؤسسة إيثريوم إلى أن واجبات الموثق والمحقق (التحقق) مختلفة ولا يمكن الخلط بينها - يقوم الموثق بتشغيل العقدة والمشاركة في التوافق؛ بينما مهمة المحقق هي توليد إثبات ZK، وبمجرد أن يتم توليد إثبات ZK للمعاملة بشكل صحيح، يحتاج الشبكة فقط إلى التحقق مما إذا كان هذا الإثبات صحيحًا، دون الحاجة إلى تنفيذ المعاملة مرة أخرى.
وبسبب ذلك، أعرب لاديسلاوس عن تفاؤله "طالما أنه يمكن العثور على مُثبت صادق يلبي متطلبات الأجهزة، يمكن للإيثريوم أن يستمر في العمل بأمان، لقد عمدنا عمدًا إلى خفض العتبة إلى ما دون مراكز البيانات، وحتى إذا لم يكن من المؤسسات الكبيرة أو مراكز البيانات، فإن أي مطور فردي لديه القدرة التقنية يمكنه تشغيل المثبت في منزله".
تعتبر هذه التهيئة المادية التي تبلغ 100000 دولار حاليًا الهدف الأولي، حيث تتوقع الباحثة في مؤسسة Ethereum، صوفيا جولد، أنه بحلول نوفمبر من هذا العام، قبل مؤتمر مطوري Devconnect في الأرجنتين، من المتوقع أن يصل Prover الرئيسي إلى المعايير.
يتوقع روي، المؤسس المشارك لـ Succinct، أنه بحلول بداية العام المقبل، يمكن تقليل طلبات GPU إلى حوالي 16 بطاقة رسومية، كما سيتم التحكم في التكلفة الإجمالية بين 10,000 إلى 30,000 دولار.
في الوقت نفسه، قامت Succinct بإنشاء شبكة لامركزية تتكون من "مئات من Prover" على الشبكة التجريبية، حيث تم توليد ملايين من الإثباتات.
المنطق الأساسي لهذا النظام هو إثبات تنافسي، حيث يشارك جميع المشاركين (Prover) في تقديم العطاءات، ويتم اختيار فائز واحد في كل جولة لتنفيذ إثبات zk، والهدف هو أن يكون الفائز هو المشاركون الذين يتسمون بأقصر وقت وأقل تكلفة، مما يشكل آلية مزاد شبيهة بقوة الحوسبة.
هذا يعني أنه في مستقبل الإيثريوم المدفوع بـ ZK، ستظهر روح المعدنين بشكل آخر - فقط أن الدور تحول من تعدين الكتل إلى إثبات الحساب.
03، تحويل الشبكة الرئيسية إلى بنية ZK: عملية انتقال نظام عالية الصعوبة
سيكون الانتقال بشبكة إيثيريوم L1 إلى هيكل إثبات المعرفة الصفرية (ZK) هو التحدي التقني الكبير التالي بعد الانتقال من إثبات العمل (PoW) إلى إثبات الحصة (PoS) في عام 2022. تتطلب هذه العملية إعادة بناء الطبقة البروتوكولية، ويجب مراعاة مجموعة متنوعة من السيناريوهات الهامشية والمخاطر الأمنية المحتملة بعناية لمنع انقطاع تشغيل الشبكة.
في مؤتمر EthProofs الذي عُقد في يوليو من هذا العام، أشار الباحث جاستين دريك إلى عدة مخاطر محتملة. على سبيل المثال، قد يقوم المهاجمون الخبيثون بإدراج ما يُسمى بـ "prover killer" في الكتلة، مما يؤدي إلى فشل آلية التحقق في الشبكة بأكملها؛ أو قد تنخفض نشاطات الشبكة بشكل حاد، مما يؤدي إلى أن إيرادات رسوم المعاملات المنتجة لا تكفي لتغطية تكلفة إنشاء إثبات ZK، مما يؤثر على استدامة الشبكة.
قال لاديسلاوس من فريق تنسيق بروتوكول مؤسسة إيثريوم إن عملية الانتقال بأكملها قد تستغرق سنوات، مع التركيز بشكل خاص على المخاطر الأمنية. من المحتمل أن تظهر عيوب مختلفة في آلة zk الافتراضية (zkVM) كونه تقنية معقدة لا تزال في مراحلها المبكرة. ولكن مع نضوج النظام البيئي، يمكننا تحسين جدواها وموثوقيتها على مستوى إيثريوم L1 من خلال إدخال أنظمة إثبات متنوعة، وتحسين آليات التحفيز، والتحقق الرسمي.
في الوقت نفسه، تخطط الإيثيريوم لإعادة هيكلة جذرية لطبقة الإجماع الخاصة بها، أي بناء هيكل جديد يسمى «Beam Chain»، الهدف هو أن يكون صديقًا لتحسين ZK منذ البداية، حتى أن دريك ذكر أن جميع أعمال التحقق من البيانات في الإيثيريوم يمكن أن تتم في المستقبل على وحدة المعالجة المركزية لجهاز كمبيوتر محمول عادي.
04، الشبكة الرئيسية "تحويل Snark": Rollup الأصلية قادمة
بينما يتم دمج zkEVM في شبكة الإيثريوم الرئيسية، بدأت فكرة أخرى طويلة الأمد في الظهور تدريجياً: Rollup الأصلي (Native Rollup).
تستخدم أنظمة Rollup الحالية (سواء كانت من نوع Optimistic أو ZK) أنظمة إثبات مستقلة، وتعتمد سلامتها على آلية المدققين أو المنظمين الخاصة بها، مما يخلق افتراض ثقة معين بينها وبين الشبكة الرئيسية لإيثريوم.
ورؤية "Rollup الأصلية" مختلفة تمامًا - من خلال دمج zkEVM في الشبكة الرئيسية، مما يسمح لمدققي Ethereum L1 بالتحقق مباشرة من إثباتات تحويل حالة Rollup، وبالتالي تحقيق L2 الذي يتم التحقق منه حقًا من قبل الشبكة الرئيسية وتضمنه.
يحتاج هذا إلى إضافة جزء أساسي من الشفرة "execute precompile" في عميل Ethereum L1، مما يسمح للمتحققين بالتحقق مباشرة من إثبات تحويل الحالة ZK الذي تم إنشاؤه بواسطة L2، كما قال منسق بروتوكول مؤسسة Ethereum Ladislaus، "سيستهلك المتحققون في L1 إثباتات تنفيذ هذه Rollup، ويحققون في صحتها".
بعبارة أخرى، إذا تحقق Rollup الأصلي، فإن أي صفقة تحدث في L1 أو أي صفقة تحدث على Rollup الأصلي ستتم تسويتها وأمانها من قِبل نفس مجموعة المدققين على إيثيريوم، وسيكون مستوى الثقة متطابقًا تمامًا.
هذا يعني أنه إذا تم إيداع 10 ملايين دولار على Rollup الأصلي، فإن أمانه سيكون معادلاً للإيداع مباشرة على الشبكة الرئيسية لإيثيريوم.
قال دكلان فوكس، رئيس مشروع لينا، إن هدفهم طويل الأمد هو أن يصبحوا Rollup أصلي. وهو يعتبر ذلك "ترقية" لخطة تقسيم ETH 2.0 - حيث لم يعد من الضروري تشغيل 64 سلسلة تقسيم متطابقة، بل بناء نظام Rollup غير متجانس بطريقة قابلة للبرمجة العالية والقابلة للتخصيص، لخدمة سيناريوهات واحتياجات مستخدمين مختلفة.
على عكس بنية التقسيم المتناظر في ETH 2.0 في الماضي، يمكن أن تكون Rollup الأصلية غير متناظرة، مما يوفر تجربة تطبيقات أكثر تنوعًا وتمايزًا للمستخدمين النهائيين.
على الرغم من أن Rollup الأصلي لم يتم كتابته رسميًا في خارطة طريق Ethereum ، إلا أنه مع الإطلاق الرسمي لـ zkEVM وإعادة بناء بنية L1 تدريجيًا ، أصبح من الواضح أنه قد تم إعداد واجهاته ومنطق الترجمة المسبق ، مما أصبح اتجاهًا تقنيًا يمكن التنبؤ به.
!
خلص لاديسلاوس إلى أن "في تحويل EVM إلى Snark (أي دمج قدرة ZK على الإثبات) وتعزيز Rollup الأصلي، هناك تآزر تقني عالٍ في إيثيريوم، لأن كلاهما يشترك في مجموعة تقنيات ZK الأساسية"، بالطبع لا يزال يتعين أن تمر هذه العملية من خلال حوكمة مجتمع إيثيريوم، لتشكيل EIP (اقتراح تحسين إيثيريوم)، وفي النهاية يتم تنفيذها في عملية تقسيم صلبة.
إذا كانت التوقعات متفائلة، وإذا سارت الأمور بسلاسة، فقد يتم تقديم EIP ذات الصلة بحلول نهاية العام، وسيتم إطلاقها في الانقسام الذي يلي ترقية Glamsterdam.
ومع ذلك، لا يزال هذا الجدول الزمني يحمل درجة عالية من عدم اليقين، ويجب التعامل معه بحذر.