Vitalik Buterin يكشف عن بروتوكول GKR لتعزيز أنظمة إثبات إثيريوم

فيتاليك بوتيرين يكشف عن بروتوكول GKR لتعزيز أنظمة إثبات إيثيريوم

مؤسس إيثيريوم فيتاليك بوتيرين قدم بروتوكول GKR، وهو عائلة جديدة من أنظمة الإثبات التشفيرية مصممة لتسريع الحسابات بشكل كبير عبر ZK-EVMs وبيئات zk-ML.

مصمم من أجل الكفاءة، يمكّن GKR من توليد الإثباتات بسرعات غير مسبوقة عن طريق الالتزام فقط بالمدخلات والمخرجات، مما يلغي الحاجة إلى التحقق من كل خطوة حسابية وسيطة.

اختراق في أداء الإثبات

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

على عكس أنظمة الإثبات التقليدية مثل STARKs، التي تتطلب التزامات في كل طبقة، تركز طريقة GKR المبسطة على النقاط النهائية، مما يقلل بشكل كبير من الأعباء. والنتيجة هي إنشاء إثبات أسرع بكثير، لا سيما بالنسبة لـ ZK-EVMs ونماذج zk-ML حيث تكون الطلبات الحسابية هائلة.

الكفاءة دون تنازلات

وفقًا لبوتيرين، تكمن قوة GKR في بساطته. إنه يلتزم فقط بالمدخلات والمخرجات، مستفيدًا من هيكل من إثباتات فحص المجموع للتحقق من الخطوات بينهما. يجعل هذا الهيكل مثاليًا لأعباء العمل المتكررة مثل التجزئة ( مثل، بوسيدون ) أو الطبقات العصبية، حيث يمكن إثبات الأنماط بكفاءة بالتوازي.

بينما لا يوفر GKR نفسه خصوصية المعرفة الصفرية، يمكن تغليفه ضمن أنظمة ZK-SNARK أو ZK-STARK لإضافة السرية. يسمح تصميم البروتوكول بكفاءة عالية مع الحفاظ على دقة رياضية كاملة في التحقق من الصحة.

لماذا هو مهم للإيثريوم

أكد بيوترين أن GKR تمثل قفزة كبيرة إلى الأمام في قابلية التوسع لحلول البلوكشين وإثبات الحسابات. من خلال تجنب الالتزامات الزائدة والتركيز على التحقق من البداية إلى النهاية، يجعل GKR من الممكن إثبات الأحمال الضخمة بسرعة وبتكلفة أقل.

بينما تواصل Ethereum تطورها نحو أنظمة صفرية المعرفة أسرع وأكثر قابلية للتوسع، يمكن أن تصبح GKR مكونًا أساسيًا يدعم أطر الإثبات من الجيل التالي في تطبيقات التشفير والذكاء الاصطناعي.