أطلقت ZKsync مُثبِتها الجديد إيربندر برايم، وهو مُثبت معرفة صفرية أثبت صحة 7,200 بلوك على شبكة إيثيريوم في أقل من 10 ثوانٍ باستخدام معالج رسومي واحد. ووصف فيتاليك بوتيرين، أحد مؤسسي إيثيريوم، هذا الإنجاز بأنه نقطة تحول حاسمة، وقال إن تطوير zkEVM يجب أن يتحول الآن تركيزه من السرعة إلى الأمان.
ماذا حدث فعليًا
أعلنت ZKsync عن إيربندر برايم، مُثبِت المعرفة الصفرية الخاص بها لشبكة إيثيريوم، في 17 أكتوبر 2026، بحسب ما ذكرته منصة Wu Blockchain. وفي الاختبارات، تمكن معالج رسومي واحد من طراز NVIDIA RTX PRO 6000 Blackwell من توليد إثباتات لدفعة متتالية من 7,200 بلوك على الشبكة الرئيسية لإيثيريوم. واستغرقت 99% من إثباتات البلوكات أقل من 10 ثوانٍ، فيما أُنجز كل بلوك خلال 12 ثانية كحد أقصى، بما في ذلك وقت تحضير الشاهد (witness). ويعمل المُثبت وفق معيار RISC-V المفتوح، ويستخدم تقنية إثبات STARK القائمة على التجزئة (hash-based)، وهي مصممة لتوفير أمان مقاوم للحوسبة الكمية. كما يأتي المُثبت مزودًا بمُتحقق (verifier) مستقل يتيح إجراء فحوصات مستقلة. وقد هنأ بوتيرين فريق إيربندر، مشيرًا إلى أن السباق على سرعة إثبات zkEVM بلغ نتائج حاسمة، وقال إن الأولوية يجب أن تنتقل الآن بالكامل إلى الأمان.
كيف وصلنا إلى هنا
تتيح إثباتات المعرفة الصفرية لشبكات التجميع (rollups) إثبات صحة معاملات إيثيريوم دون إعادة تنفيذ كل عملية حسابية، ما يقلل التكاليف ويسرّع وقت الإنهاء النهائي. ولسنوات، تنافست فرق zkEVM بشكل رئيسي على سرعة الإثبات، إذ كان بطء الإثبات يؤخر عمليات السحب ويرفع التكاليف. وتُعد نتائج إيربندر برايم، حيث أُثبتت صحة 99% من البلوكات في أقل من 10 ثوانٍ على معالج رسومي من فئة المستهلكين، واحدة من أسرع المعايير العلنية لمُثبت متوافق مع إيثيريوم. وحدد بوتيرين ثلاث مهام لم تُحل بعد في مجال التحقق الصوري (formal verification): التأكد من تطابق حسابات نظام الإثبات تمامًا مع قواعد بروتوكول إيثيريوم، ووضع حدود صارمة للتكلفة مرتبطة باستهلاك الغاز لكل بلوك، والتحقق من سلامة نظام المعرفة الصفرية نفسه. وهذا يعيد تأطير سباق zkEVM من منافسة أداء إلى مسألة تدقيق أمني.
لماذا يهم هذا بالنسبة لك
بالنسبة لـ ZKsync، قد يعني الإثبات الأسرع رسومًا أقل وإنهاءً أسرع للمستخدمين الذين يجسرون أو يتداولون على شبكتها. أما بالنسبة لفرق zkEVM الأخرى، فقد وضع تصريح بوتيرين معيارًا جديدًا: السرعة وحدها لم تعد كافية للفوز بالنقاش، بل ضمانات الأمان الصورية هي الفيصل. وقد يبدأ المطورون العاملون على توسيع إيثيريوم بإعطاء الأولوية للتدقيقات والبراهين الرياضية على الصحة بدلًا من سباقات المعايير. وينبغي لحاملي الأصول على شبكات zk-rollup مراقبة ما إذا كانت الشركات المنافسة ستوجه مواردها نحو التحقق الصوري، إذ قد يبطئ ذلك بعض خطط التطوير لكنه يقلل من خطر فقدان الأموال بسبب خلل في المُثبت. وفي النهاية، يستفيد المستخدمون من شبكة تثبت صحتها بسرعة وأمان معًا.
السؤال الأكبر
إذا لم تعد سرعة الإثبات العامل الحاسم، فما المعيار الجديد الذي سيفرّق بين أنظمة zkEVM المتنافسة؟ يمكن للتحقق الصوري أن يؤكد تطابق النظام مع مواصفاته الخاصة، لكنه لا يضمن أن تلك المواصفات تغطي كل هجوم محتمل في العالم الواقعي. فمن يقرر إذن متى يكون المُثبت آمنًا بما يكفي لحماية أصول بمليارات الدولارات؟
ما الذي يجب مراقبته
لم تُعلن ZKsync بعد عن موعد لدمج إيربندر برايم في الشبكة الرئيسية. راقبوا ردود فعل مطوري إيثيريوم الأساسيين على خارطة طريق التحقق الصوري التي طرحها بوتيرين في الأسابيع المقبلة. وقد تنشر مشاريع zkEVM أخرى معايير أداء خاصة بها مع تحول التركيز نحو التدقيقات الأمنية. وستتابع Bonuz كيف يؤثر هذا النقاش على بنية الإثبات التحتية التي قد تدعم مستقبلًا أجهزة خفيفة وتعمل باستمرار مثل النظارات الذكية، والتي تعتمد على تحقق سريع ورخيص عند الطرف.
