فيتاليك ينشر مقالاً حول بروتوكول GKR الذي يعزز كفاءة حساب إثبات المعرفة الصفرية

أفاد ChainCatcher أن مؤسس Ethereum، Vitalik Buterin، نشر هذا الصباح مقالاً يعرّف فيه ببروتوكول GKR، حيث أصبح بروتوكول GKR (Goldwasser-Kalai-Rothblum) التقنية الأساسية في أنظمة الإثباتات عديمة المعرفة عالية الأداء.

تشير أحدث الأبحاث إلى أن GKR، من خلال تجنب عمليات الالتزام في الطبقات الوسيطة والاقتصار على الالتزام بالمدخلات والمخرجات فقط، يمكنه تقليل التكلفة النظرية لطريقة STARK التقليدية من 100 ضعف إلى حوالي 15 ضعفاً، وفي التطبيق العملي حتى أقل من 10 أضعاف. هذا البروتوكول مناسب بشكل خاص لأنماط الحوسبة متعددة الطبقات مثل دالة التجزئة Poseidon والشبكات العصبية، حيث تقوم تقنية "sumcheck" الأساسية بتبسيط المشكلات متعددة الأبعاد بشكل تكراري من خلال التركيبات الخطية العشوائية. وعلى الرغم من أن GKR لا يوفر خاصية عدم المعرفة بحد ذاته، إلا أنه يمكن دمجه مع ZK-SNARK أو ZK-STARK، وقد أصبح دعامة تقنية أساسية لإثبات ZK-EVM في الوقت الفعلي والتحقق من نماذج التعلم الآلي واسعة النطاق.