تقوم شركة GKR بخفض تكاليف ZK proof من خلال الالتزام فقط بالمدخلات والمخرجات، وتخطي جميع الخطوات الوسيطة الثقيلة
قدم المؤسس المشارك لشركة Ethereum، فيتاليك بوتيرين، بروتوكول تشفير يسمى GKR، وهو اختصار لـ Goldwasser–Kalai–Rothblum، لجعل إثباتات المعرفة الصفرية (ZK) أسرع بكثير وأكثر قابلية للتطوير.
سيعمل البروتوكول على خفض تكلفة حساب أدلة ZK، والتي تشكل الأساس لحلول الخصوصية وقابلية التوسع في نظام Ethereum البيئي.
كيف تعمل GKR على تسريع عملية إثبات الأخطاء دون الحاجة إلى التزامات كبيرة
في برنامج تعليمي مفصل على مدونته الشخصية، وصف بوتيرين كيف تعمل GKR على جعل العمليات الحسابية التي تنطوي على أكثر من طبقة بيانات، مثل التجزئة التشفيرية أو استنتاج الشبكة العصبية، أكثر كفاءة.
وفقًا له، تتطلب الأنظمة التقليدية، مثل STARKs، من المستخدمين الالتزام بكل خطوة في عملية حسابية، ما يعني إجراء مئات عمليات التجزئة لكل بايت من البيانات. مع ذلك، تتخطى GKR هذه الالتزامات الوسيطة تمامًا، وتلتزم فقط بالمدخلات والمخرجات، مما يوفر الوقت والموارد بشكل كبير.
تعتمد الآلية الأساسية على عملية رياضية تُعرف باسم "التحقق الشامل". تتيح هذه العملية للمُثبت والمُتحقق التحقق من الحسابات المعقدة من خلال النظر فقط إلى بعض النقاط المُختارة عشوائيًا بدلاً من النظر إلى مجموعة البيانات بأكملها
