فيتالك يشرح بروتوكول GKR لتسريع إثباتات ZK: تحسين وتحديات تجزئة Poseidon2

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