أثبتت وحدة GPU واحدة إثبات 7,200 كتلة من شبكة إيثريوم الرئيسية. لكن الاختبار الذي يجب تجاوزه في البيئة الواقعية مختلف. أثبت @zksync 7,200 كتلة متتالية من شبكة إيثريوم الرئيسية باستخدام وحدة GPU واحدة فقط. 99% منها أُكمل إثباتها في أقل من 10 ثوانٍ، وكل الكتل أُكمل إثباتها في أقل من 12 ثانية. لكن وفقًا لمؤشرات التشغيل المباشرة لـ EthProofs، المدعوم من مؤسسة إيثريوم، من بين 8 مُثبتين قيد التقييم، كان هناك مثبتان فقط تجاوزا المعايير المؤهلة للأسبوع الأخير. لا يمكن إجراء مقارنة مباشرة بين هذين الناتجين لأنهما يقيسان أشياء مختلفة وتم في بيئتين مختلفتين. بل على العكس، إن الفرق بينهما يكشف عن المهمة التالية لتقنية ZK. ملخص موجز: - أثبت Airbender Prime إمكانية مجاراة دورة إنشاء كتل إيثريوم البالغة حوالي 12 ثانية باستخدام وحدة GPU واحدة فقط. - في التشغيل الفعلي، يجب أخذ في الاعتبار ليس فقط سرعة الإثبات، بل أيضًا معدل التوفر، وفشل الإثبات، ومتطلبات الأجهزة. - على المدى الطويل، قد تحدد دقة التحقق، وتكلفة الإثبات في أسوأ الظروف، وقدرة التشغيل المستقرة، أكثر من سرعة معالجة الإثبات، قدرة konkEVM التنافسية. أعلن ZKsync عن Airbender Prime في 13 أكتوبر، حيث أثبتت وحدة NVIDIA RTX PRO 6000 Blackwell GPU واحدة 7,200 كتلة متتالية من شبكة إيثريوم الرئيسية. بما أن إيثريوم تُنشئ كتلًا كل 12 ثانية تقريبًا، فإن 7,200 كتلة تمثل ما يعادل حوالي 24 ساعة من الكتل من الناحية النظرية. ما يهم هو أن 99% من الكتل تم معالجتها في أقل من 10 ثوانٍ، بما في ذلك الوقت اللازم لإعداد بيانات الإثبات (witness). إذا كانت سرعة إنشاء الإثبات أسرع من سرعة ظهور الكتل الجديدة، يمكن للمتحققين التحقق من نتائج التنفيذ عبر الإثباتات الكryptوغرافية بدلاً من إعادة تنفيذ جميع المعاملات. وهذا يفتح الباب أمام تقليل كبير في كمية العمليات الحسابية المطلوبة للتحقق. لكن اختبار الأداء على 7,200 كتلة مختلف تمامًا عن توفير الإثباتات باستمرار في بيئة تشغيل حقيقية. يقيّم EthProofs بشكل علني أداء وحالة تشغيل أنظمة متعددة تقوم بإثبات كتل إيثريوم في الوقت الفعلي. عند الاستعلام في 26 أكتوبر، ظهرت الأرقام التالية على لوحة التحكم: - 8 مثبتين قيد التقييم، 2 منهم فقط استوفوا المعايير المؤهلة للأسبوع الأخير - نسبة نجاح الإثبات في أقل من 10 ثوانٍ بالنسبة لSlots الكتل: 69.7% - النسبة المصنفة كـ "غير متصلة": 26.2% هذه الأرقام ليست نتيجة اختبار GPU واحد لـ Airbender Prime. إنها تجميع تشغيلي لعدة مثبتين، مع اختلافات في الأجهزة والبيئات التنفيذية ومعايير التأهيل. لكنها تُظهر بوضوح أنه لاستخدام الإثباتات في الشبكة الحقيقية، يجب ضمان موثوقية التشغيل بخلاف السجلات الفردية للأداء. حتى لو استغرق مثبت ما متوسط 5 ثوانٍ لإنشاء الإثبات، فإن توقفه المتكرر أو فشله في معالجة كتل معينة سيجعل أي هيكل تحقق يعتمد فقط عليه غير مستقر. يجب التحقق مما إذا كان هناك تنفيذ بديل يمكنه تقديم إثبات عند فشل مثبت معين، وما إذا كانت التأخيرات تتراكم عند دخول كتل صعبة متتالية. كما تتطلب ظروف الأجهزة تحققًا منفصلًا. يذكر دليل GPU في مستودع Airbender العام أن وحدات GPU تُستخدم في مراحل الإثبات الأساسية والمتكررة، بينما تتطلب المرحلة النهائية من الإثبات وحدة CPU وحوالي 150 جيجابايت من الذاكرة العشوائية. لم يتم التحقق مما إذا كان هذا التكوين يتطابق مع تكوين الاختبار النهائي لـ Prime. لذلك لا يمكن استنتاج متطلبات الذاكرة أو تكلفة التشغيل الكاملة للنظام بناءً فقط على نتيجة "وحدة GPU واحدة". في 15 أكتوبر، أثنى @VitalikButerin على إنجاز فريق Airbender، وحدد ثلاث مهام قادمة لـ zkEVM: الأولى: التحقق رياضيًا من أن الحسابات المستخدمة في الإثبات تتوافق مع مواصفات تنفيذ إيثريوم الفعلية. الثانية: فرض حدود صارمة على تكلفة الإثبات مقارنة بكمية الغاز المستخدمة في الكتلة. الثالثة: التحقق من الأمان الكryptوغرافي لنظام الإثبات نفسه. يرتبط الشرط الثاني مباشرة بتكلفة التشغيل الفعلية. ماذا لو تم تصميم كتلة بشكل متعمد بحيث تحتوي على عمليات شديدة الصعوبة لإثباتها، رغم أنها ضمن حدود الغاز المسموح بها؟ قد يتم تنفيذ الكتلة بشكل طبيعي مع دفع تكلفة مناسبة، لكن إنشاء الإثبات لها قد يتطلب عمليات ووقتًا مفرطين. إذا كان هذا ممكنًا، فحتى لو كان متوسط وقت الإثبات لكل كتلة قصيرًا جدًا، سيكون من الصعب التنبؤ بالحد الأقصى للحمل الذي يمكن للشبكة التعامل معه بشكل مستقر. اقتصادية الإثبات الزمني الحقيقي تعتمد ليس فقط على تكلفة الإثبات المتوسطة للكتلة، بل أيضًا على كمية الموارد المطلوبة في أسوأ الحالات. وتتجه خارطة طريق EthProofs أيضًا نحو هذا الاتجاه.تم الانتهاء من مرحلة تحسين الأداء، وتجري حاليًا مرحلة التحقق الأمني. بعد ذلك، من المقرر دمج إثبات التأخير، وإثبات الالتزام، وإثبات البروتوكول مباشرة. يُعد هذا الترتيب مهمًا لأن إنشاء نظام إثبات سريع يختلف تمامًا عن جعل إيثريوم يثق بهذا الإثبات ضمن عملية التوافق. أظهر إعلان Airbender Prime دليلاً قويًا على إمكانية تقليل العبء على الأجهزة لعملية الإثبات في الوقت الحقيقي. سيكون من الصعب تقييم الإنجاز التالي بناءً على السرعة فقط. الأهم هو مدى قدرة النظام على الحفاظ على معدل نجاح إثبات عالٍ في بيئة التشغيل الفعلية، وما إذا كانت تكلفة الإثبات محدودة حتى في أسوأ الكتل، وما إذا كانت تنفيذات مختلفة تستطيع إثبات نتائج تنفيذ إيثريوم بدقة متطابقة. تنتقل تقنية إثبات ZK من مرحلة عرض الحسابات السريعة إلى مرحلة التحول إلى بنية تحتية يمكن للشبكة الاعتماد عليها فعليًا. #Ethereum #zkEVM