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

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