إثيريوم توسيع العصر الجديد: إثبات الوقت الحقيقي و Rollup الأصلي
تدخل Ethereum حقبة جديدة من التوسع ، وأصبحت تقنية إثبات المعرفة الصفرية محركا رئيسيا. في هذه المقالة ، سوف نستكشف الصعوبات الفنية للبراهين في الوقت الفعلي ، ومنطق مشاركة Provers ، والتحديات الأمنية أثناء عمليات تبديل L1 ، وكيف أن المجموعات الأصلية هي الشكل النهائي لتحجيم ZK.
إثبات في الوقت الحقيقي: قطعة اللغز الرئيسية لتوسيع إثيريوم
إثبات الزمن الحقيقي هو نقطة الاختراق الرئيسية لارتفاع أداء ايثر. يشير إلى إكمال عملية توليد إثبات ZK لكتلة واحدة من شبكة إثيريوم الرئيسية في أقل من 12 ثانية. بمجرد تحقيق ذلك، ستتمكن إثيريوم من دمج منطق التحقق من الكتل في البروتوكول نفسه، مما يزيد بشكل كبير من حد الغاز مع الحفاظ على قابلية التحقق، ويحقق توسيع كبير في L1.
إن تحقيق إثباتات في الوقت الحقيقي لا يتطلب فقط تقنية zkVM، بل يتطلب أيضًا تغييرات في طبقة بروتوكول إثيريوم. من المتوقع أن يتضمن ترقية Glamsterdam في العام المقبل آلية "فصل التحقق من الكتل والتنفيذ الفوري"، مما يوفر للمثبتين وقتًا أكبر لإنشاء إثباتات zkEVM.
أصدرت فريق تقني معين أحدث SP1 Hypercube zkVM، الذي يمكنه توليد إثباتات في الوقت الحقيقي لـ 93% من كتل الشبكة الرئيسية تحت مجموعة من 200 وحدة معالجة رسومات. وهم واثقون من أنهم سيتمكنون من زيادة معدل النجاح إلى 99% بحلول نهاية هذا العام.
إثيريوم لا تزال تفكر في تقصير وقت الكتلة من 12 ثانية إلى 6 ثوانٍ، مما سيعزز تجربة المستخدم وسرعة تأكيد المعاملات، ولكن ذلك سيزيد من الضغط على المصدّقين. ومع ذلك، نظرًا لأن تقنية ZK يمكن أن تحسن الأداء بمعدل 10 أضعاف سنويًا، نعتقد أنه يمكن التعامل مع هذا التحدي.
متطلبات الأجهزة لمدققي ZK على إثيريوم
تتطلب إنشاء إثبات ZK في الوقت الحقيقي موارد حسابية قوية. الهدف الفني الأولي الذي وضعته مؤسسة إثيريوم للمثبتين هو: أن تكون تكلفة الأجهزة أقل من 100,000 دولار، واستهلاك الطاقة أقل من 10 كيلووات.
يعتقد البعض أن هذا الطلب مرتفع للغاية، لكن في الواقع فإن مسؤوليات المُثبتين والمُحققين مختلفة. يقوم المُحققون بتشغيل العقد للمشاركة في الإجماع، بينما مهمة المُثبتين هي إنتاج إثباتات ZK. بمجرد إنتاج الإثبات، تحتاج الشبكة فقط إلى التحقق مما إذا كان الإثبات صحيحًا، دون الحاجة إلى تنفيذ المعاملة مرة أخرى.
حاليًا، يعد تكوين الأجهزة بقيمة 100000 دولار هدفًا أوليًا فقط. من المتوقع بحلول أوائل العام المقبل، أن يتم تقليل الحاجة إلى وحدات معالجة الرسومات إلى حوالي 16 بطاقة رسومية، مع التحكم في التكلفة الإجمالية بين 10000 و30000 دولار.
قامت بعض الفرق بإنشاء شبكة لامركزية تتكون من مئات من المدققين على شبكة الاختبار. يستخدم النظام آلية إثبات تنافسية، مما يسمح للمشاركين الذين لديهم وقت أقصر وتكاليف أقل بالفوز، مما يشكل آلية تشبه مزايدة القوة الحاسوبية. وهذا يعني أنه في المستقبل المدفوع بـ ZK لإثيريوم، ستظهر روح التعدين بشكل آخر.
الانتقال إلى بنية ZK: تحديات نقل النظام
إن تحويل الشبكة الرئيسية لـ إثيريوم L1 إلى بنية ZK يمثل تحديًا تقنيًا كبيرًا، ويتطلب إعادة هيكلة طبقة البروتوكول، مع مراعاة المخاطر المحتملة المختلفة. تشمل المخاطر المحتملة إدخال "قاتل الإثبات" من قبل مهاجمين خبيثين، مما يؤدي إلى فشل آلية التحقق، أو انخفاض حاد في نشاط الشبكة يؤثر على الاستدامة.
قد تستغرق عملية الانتقال بأكملها عدة سنوات. قد تحتوي آلة ZK الافتراضية، كونها تقنية مبكرة، على ثغرات، ولكن مع نضوج النظام البيئي، يمكن تحسين جدواها وقوتها من خلال أنظمة إثبات متنوعة، وآليات تحفيز محسّنة، والتحقق الشكلي.
إثيريوم لا تزال تخطط لإعادة هيكلة طبقة الإجماع، وبناء هيكل جديد يسمى "Beam Chain"، والهدف هو أن يكون صديقًا لتحسين ZK منذ بداية التصميم. في المستقبل، قد تتم جميع أعمال التحقق من البيانات في إثيريوم على وحدة المعالجة المركزية لجهاز كمبيوتر محمول عادي.
الشبكة الرئيسية "تحويل Snark": آفاق Rollup الأصلية
مع دمج الشبكة الرئيسية لإثيريوم لـ zkEVM، بدأت فكرة Rollup الأصلية في الظهور. تستخدم Rollup الحالية نظام إثبات مستقل، وهناك بعض الافتراضات المتعلقة بالثقة بين الشبكة الرئيسية لإثيريوم. أما رؤية Rollup الأصلية فهي تمكين مدققي إثيريوم L1 من التحقق مباشرة من إثبات تحويل حالة Rollup، لتحقيق L2 الذي يتم التحقق منه فعليًا بواسطة الشبكة الرئيسية وتضمن أمانه.
هذا يتطلب إضافة كود "تنفيذ مسبق" في عميل إيثيريوم L1، مما يسمح للمتحققين بالتحقق مباشرة من إثبات انتقال الحالة ZK الذي تم إنشاؤه في L2. إذا تم التنفيذ، فإن التسويات النهائية والأمان للمستقبل، سواء في L1 أو على Rollup الأصلي، ستضمنها نفس مجموعة المتحققين من إيثيريوم، مما يجعل مستوى الثقة متساويًا تمامًا.
يمكن أن تكون Rollup الأصلية هيتروجينية، مما يوفر للمستخدمين تجربة تطبيقات أكثر تنوعًا وتباينًا. على الرغم من أنها لم تُكتب رسميًا بعد في خارطة طريق إثيريوم، فإن بدء zkEVM وإعادة هيكلة بنية L1 قد جعلت واجهاتها المحددة والمنطق المسبق للتجميع اتجاهًا تقنيًا يمكن توقعه.
توجد تعاون تقني عالٍ بين إثريوم في تحويل EVM إلى Snark وتقديم Rollup الأصلي. لا يزال يتعين على هذه العملية أن تمر عبر حوكمة المجتمع، لتشكيل مقترحات تحسين إثريوم، وتنفيذها في الانقسامات الصعبة. بموجب التوقعات المتفائلة، قد يتم تقديم المقترحات ذات الصلة بحلول نهاية العام، وستكون متاحة بعد الانقسام الذي يلي ترقية Glamsterdam. ومع ذلك، لا يزال هذا الجدول الزمني يحمل درجة عالية من عدم اليقين، ويجب التعامل معه بحذر.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 6
أعجبني
6
5
إعادة النشر
مشاركة
تعليق
0/400
GasFeeNightmare
· منذ 17 س
أخيرًا لا أحتاج إلى الاعتماد على النقش لخداع الناس لتحقيق الربح.
شاهد النسخة الأصليةرد0
MindsetExpander
· منذ 23 س
آه، يبدو أن زيسا قد خدع الناس لتحقيق الربح.
شاهد النسخة الأصليةرد0
MEVictim
· منذ 23 س
هذه غاز الرسوم ستذهب للقمر...
شاهد النسخة الأصليةرد0
ImpermanentPhobia
· منذ 23 س
فيتاليك بوتيرين أسرع شوية، متى ستنتهي من التعديل؟
شاهد النسخة الأصليةرد0
DeFiGrayling
· منذ 23 س
إثيريوم التوسع يحتاج إلى الانتظار لفترة أطول، لقد تعبت.
إثيريوم توسيع فصل جديد: إنجازات تقنية إثبات الوقت الحقيقي وRollup الأصلي
إثيريوم توسيع العصر الجديد: إثبات الوقت الحقيقي و Rollup الأصلي
تدخل Ethereum حقبة جديدة من التوسع ، وأصبحت تقنية إثبات المعرفة الصفرية محركا رئيسيا. في هذه المقالة ، سوف نستكشف الصعوبات الفنية للبراهين في الوقت الفعلي ، ومنطق مشاركة Provers ، والتحديات الأمنية أثناء عمليات تبديل L1 ، وكيف أن المجموعات الأصلية هي الشكل النهائي لتحجيم ZK.
إثبات في الوقت الحقيقي: قطعة اللغز الرئيسية لتوسيع إثيريوم
إثبات الزمن الحقيقي هو نقطة الاختراق الرئيسية لارتفاع أداء ايثر. يشير إلى إكمال عملية توليد إثبات ZK لكتلة واحدة من شبكة إثيريوم الرئيسية في أقل من 12 ثانية. بمجرد تحقيق ذلك، ستتمكن إثيريوم من دمج منطق التحقق من الكتل في البروتوكول نفسه، مما يزيد بشكل كبير من حد الغاز مع الحفاظ على قابلية التحقق، ويحقق توسيع كبير في L1.
إن تحقيق إثباتات في الوقت الحقيقي لا يتطلب فقط تقنية zkVM، بل يتطلب أيضًا تغييرات في طبقة بروتوكول إثيريوم. من المتوقع أن يتضمن ترقية Glamsterdam في العام المقبل آلية "فصل التحقق من الكتل والتنفيذ الفوري"، مما يوفر للمثبتين وقتًا أكبر لإنشاء إثباتات zkEVM.
أصدرت فريق تقني معين أحدث SP1 Hypercube zkVM، الذي يمكنه توليد إثباتات في الوقت الحقيقي لـ 93% من كتل الشبكة الرئيسية تحت مجموعة من 200 وحدة معالجة رسومات. وهم واثقون من أنهم سيتمكنون من زيادة معدل النجاح إلى 99% بحلول نهاية هذا العام.
إثيريوم لا تزال تفكر في تقصير وقت الكتلة من 12 ثانية إلى 6 ثوانٍ، مما سيعزز تجربة المستخدم وسرعة تأكيد المعاملات، ولكن ذلك سيزيد من الضغط على المصدّقين. ومع ذلك، نظرًا لأن تقنية ZK يمكن أن تحسن الأداء بمعدل 10 أضعاف سنويًا، نعتقد أنه يمكن التعامل مع هذا التحدي.
متطلبات الأجهزة لمدققي ZK على إثيريوم
تتطلب إنشاء إثبات ZK في الوقت الحقيقي موارد حسابية قوية. الهدف الفني الأولي الذي وضعته مؤسسة إثيريوم للمثبتين هو: أن تكون تكلفة الأجهزة أقل من 100,000 دولار، واستهلاك الطاقة أقل من 10 كيلووات.
يعتقد البعض أن هذا الطلب مرتفع للغاية، لكن في الواقع فإن مسؤوليات المُثبتين والمُحققين مختلفة. يقوم المُحققون بتشغيل العقد للمشاركة في الإجماع، بينما مهمة المُثبتين هي إنتاج إثباتات ZK. بمجرد إنتاج الإثبات، تحتاج الشبكة فقط إلى التحقق مما إذا كان الإثبات صحيحًا، دون الحاجة إلى تنفيذ المعاملة مرة أخرى.
حاليًا، يعد تكوين الأجهزة بقيمة 100000 دولار هدفًا أوليًا فقط. من المتوقع بحلول أوائل العام المقبل، أن يتم تقليل الحاجة إلى وحدات معالجة الرسومات إلى حوالي 16 بطاقة رسومية، مع التحكم في التكلفة الإجمالية بين 10000 و30000 دولار.
قامت بعض الفرق بإنشاء شبكة لامركزية تتكون من مئات من المدققين على شبكة الاختبار. يستخدم النظام آلية إثبات تنافسية، مما يسمح للمشاركين الذين لديهم وقت أقصر وتكاليف أقل بالفوز، مما يشكل آلية تشبه مزايدة القوة الحاسوبية. وهذا يعني أنه في المستقبل المدفوع بـ ZK لإثيريوم، ستظهر روح التعدين بشكل آخر.
الانتقال إلى بنية ZK: تحديات نقل النظام
إن تحويل الشبكة الرئيسية لـ إثيريوم L1 إلى بنية ZK يمثل تحديًا تقنيًا كبيرًا، ويتطلب إعادة هيكلة طبقة البروتوكول، مع مراعاة المخاطر المحتملة المختلفة. تشمل المخاطر المحتملة إدخال "قاتل الإثبات" من قبل مهاجمين خبيثين، مما يؤدي إلى فشل آلية التحقق، أو انخفاض حاد في نشاط الشبكة يؤثر على الاستدامة.
قد تستغرق عملية الانتقال بأكملها عدة سنوات. قد تحتوي آلة ZK الافتراضية، كونها تقنية مبكرة، على ثغرات، ولكن مع نضوج النظام البيئي، يمكن تحسين جدواها وقوتها من خلال أنظمة إثبات متنوعة، وآليات تحفيز محسّنة، والتحقق الشكلي.
إثيريوم لا تزال تخطط لإعادة هيكلة طبقة الإجماع، وبناء هيكل جديد يسمى "Beam Chain"، والهدف هو أن يكون صديقًا لتحسين ZK منذ بداية التصميم. في المستقبل، قد تتم جميع أعمال التحقق من البيانات في إثيريوم على وحدة المعالجة المركزية لجهاز كمبيوتر محمول عادي.
الشبكة الرئيسية "تحويل Snark": آفاق Rollup الأصلية
مع دمج الشبكة الرئيسية لإثيريوم لـ zkEVM، بدأت فكرة Rollup الأصلية في الظهور. تستخدم Rollup الحالية نظام إثبات مستقل، وهناك بعض الافتراضات المتعلقة بالثقة بين الشبكة الرئيسية لإثيريوم. أما رؤية Rollup الأصلية فهي تمكين مدققي إثيريوم L1 من التحقق مباشرة من إثبات تحويل حالة Rollup، لتحقيق L2 الذي يتم التحقق منه فعليًا بواسطة الشبكة الرئيسية وتضمن أمانه.
هذا يتطلب إضافة كود "تنفيذ مسبق" في عميل إيثيريوم L1، مما يسمح للمتحققين بالتحقق مباشرة من إثبات انتقال الحالة ZK الذي تم إنشاؤه في L2. إذا تم التنفيذ، فإن التسويات النهائية والأمان للمستقبل، سواء في L1 أو على Rollup الأصلي، ستضمنها نفس مجموعة المتحققين من إيثيريوم، مما يجعل مستوى الثقة متساويًا تمامًا.
يمكن أن تكون Rollup الأصلية هيتروجينية، مما يوفر للمستخدمين تجربة تطبيقات أكثر تنوعًا وتباينًا. على الرغم من أنها لم تُكتب رسميًا بعد في خارطة طريق إثيريوم، فإن بدء zkEVM وإعادة هيكلة بنية L1 قد جعلت واجهاتها المحددة والمنطق المسبق للتجميع اتجاهًا تقنيًا يمكن توقعه.
توجد تعاون تقني عالٍ بين إثريوم في تحويل EVM إلى Snark وتقديم Rollup الأصلي. لا يزال يتعين على هذه العملية أن تمر عبر حوكمة المجتمع، لتشكيل مقترحات تحسين إثريوم، وتنفيذها في الانقسامات الصعبة. بموجب التوقعات المتفائلة، قد يتم تقديم المقترحات ذات الصلة بحلول نهاية العام، وستكون متاحة بعد الانقسام الذي يلي ترقية Glamsterdam. ومع ذلك، لا يزال هذا الجدول الزمني يحمل درجة عالية من عدم اليقين، ويجب التعامل معه بحذر.
!