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

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

#Cryptocurrency #بلوكشين #Ethereum #إثباتات ZK #فيتالك_بوترين