فيتاليك بوتيرين يُقدّم بروتوكول GKR لتعزيز توسع الإيثريوم وكفاءة ZK

قدّم فيتاليك بوتيرين، المؤسس المشارك لإيثريوم، إمكانية تطبيق بروتوكول GKR لتحسين كفاءة أنظمة zk-SNARK وzk-STARK التقليدية. في 20 أكتوبر، نشر شرحًا تعليميًا على مدونته الشخصية vitalik.eth.limo، يشرح فيه بروتوكول جولدفاسر-كالاي-روثبلوم. يمكن لتقنية تجميع البراهين التكرارية هذه أن تُغيّر طريقة تعامل إيثريوم مع التوسع والتحقق.

أشار إلى أن التطورات الحديثة في تشفير المعرفة الصفرية (ZK) ركزت على حلول متخصصة لمهام حسابية محددة، بعضها مُحسّن للدوائر الحسابية والبعض الآخر لانتقالات الحالة. ويجمع بروتوكول GKR، الذي طُرح لأول مرة عام ٢٠١٠، هذه المزايا، مما يُمكّن من التحقق من ملايين العمليات الحسابية في الثانية دون الحاجة إلى التحقق من صحة الخطوات الوسيطة.

وفقًا لفيتاليك بوتيرين، يُعدّ GKR مناسبًا بشكل خاص للعمليات التي تتضمن كميات كبيرة من البيانات الموحدة المُرتبة في طبقات، مثل التجزئة الشاملة باستخدام Poseidon2 أو عمليات الشبكات العصبية التي تُطبّق فيها خوارزمية واحدة على مجموعات بيانات متعددة. بخلاف الأنظمة التقليدية مثل STARK، التي تتطلب توليد أدلة في كل مرحلة حسابية - بما في ذلك بناء أشجار ميركل وتجزئة جميع البيانات الأساسية - يتطلب GKR التزامات تشفيرية فقط لقيم الإدخال والإخراج، مما يُلغي العمليات الوسيطة المُكثّفة.

عمليًا، أثبت البروتوكول كفاءةً تفوق الحلول القائمة على zk-STARK بما يصل إلى 15 ضعفًا. ويرتكز على أسلوب تحقق من المجموع يُبسط عملية التحقق تسلسليًا: إذ يُثبت النظام أولًا صحة النتيجة النهائية، ثم يتحقق تكراريًا من كل مرحلة حسابية سابقة، مما يُقلل تدريجيًا من تعقيد المهمة.

تتقدم إيثريوم نحو شبكات قابلة للتطوير وفعالة ومقاومة للكميات مع تكامل بروتوكول GKR

بروتوكول GKR يكمل فيتاليك بوتيرين مفهوم "إيثريوم الرشيق" الأوسع نطاقًا، وهو رؤية لتصميم شبكة مبسطة ومقاومة للكميات. يُسهم هذا بشكل مباشر في جهود إيثريوم لتحقيق سرعة في النهاية، وتمكين تجميع الأدلة لعمليات التجميع، وتعزيز قابلية التوسع القائمة على ZK.

يأتي هذا التطوير في أعقاب العديد من مقترحات المؤسس المشارك لإيثريوم السابقة، بما في ذلك أدوات متقدمة للتوافق البيني لشبكات الطبقة الثانية، وعملاء بدون جنسية جزئيًا لتقليل متطلبات تخزين العقد، وآليات حوكمة مدعومة بتقنيات ZK-proofs. تهدف هذه المبادرات مجتمعةً إلى جعل إيثريوم أكثر كفاءةً وخصوصيةً وسهولةً في الوصول.

مع بدء المطورين في تجربة تنفيذات تعتمد على GKR، يمكن أن يصبح الإطار التشفيري الخاص بـ Ethereum أخف وأسرع، مما يدعم هدف Vitalik Buterin طويل الأمد المتمثل في الحوسبة القابلة للتطوير والتحقق.