فيتاليك ينشر مقالة تعليمية حول GKR: بروتوكول "Batch × Layer" الذي يدعم إثباتات ZK فائقة السرعة

أفاد ChainCatcher أن Vitalik Buterin نشر مؤخرًا مقالًا يشرح فيه بالتفصيل كيف يُستخدم بروتوكول GKR (Goldreich–Kahan–Rothblum) لتسريع إثباتات ZK، وتكييفه مع بنية الحساب "دفعة × متعددة الطبقات"، مما يقلل بشكل كبير من الالتزامات في الطبقات الوسيطة، ويقتصر الالتزام فقط على المُدخلات والمخرجات.

تتناول المقالة مثال تجزئة Poseidon2، وتشرح بالتفصيل عملية الإثبات التكراري التي تعتمد على sumcheck كمحور أساسي، وتقدم تحسينات (حيلة Gruen، المعالجة الدُفعية الخطية، الاقتصار على تكعيب العنصر الأول في بعض الجولات)، وفي سيناريو التزام متعدد الحدود يمكن دمجه مع BaseFold أو FRI. وذكر المؤلف أن التكلفة الفعلية أقل بحوالي 100 مرة من القيمة النظرية لـ STARK التقليدي، ويمكن توقع تكلفة على مستوى الرقم الفردي، كما حذر من ضرورة الحذر من مخاطر التنبؤ داخل الدائرة في تحدي Fiat–Shamir.