فيتاليك ينشر مقالة تعليمية عن GKR: الدعم لبروتوكول "الطبقة × السريعة" للبرهان ZK

أفادت تقارير مارز المالية أن فيتالك بوتيرين كتب مؤخرًا عن بروتوكول GKR (Goldreich–Kahan–Rothblum) المستخدم لتسريع إثباتات ZK، والذي يتكيف مع بنية حساب “الدفعة × متعددة الطبقات”، مما يقلل بشكل كبير من الالتزام في الطبقات الوسيطة، مع الالتزام فقط بالمدخلات والمخرجات. يستخدم المقال مثال هاش Poseidon2 لشرح عملية الإثبات التكراري التي تركز على sumcheck، ويقدم تحسينات (حيلة غرين، المعالجة الدفترية الخطية، العناصر الأولى التكعيبية فقط لبعض الجولات)، والتي يمكن دمجها مع BaseFold أو FRI في سيناريوهات الالتزام متعدد الحدود. ويشير الكاتب إلى أن التكاليف الفعلية أقل من 100 مرة من القيمة النظرية التقليدية لـ STARK، مع توقع تكاليف على مستوى الأرقام الفردية، وينبه إلى أن تحدي Fiat–Shamir يتطلب الحذر من مخاطر القابلية للتنبؤ داخل الدائرة.