نشر فيتاليك مقالاً يقدم بروتوكول GKR، والذي يمكنه تحقيق أدلة سريعة مثل ZK-EVM وzk-ML

نشر فيتاليك بوتيرين، مؤسس إيثريوم، منشورًا هذا الصباح يُعرّف فيه ببروتوكول GKR. يُعد GKR البروتوكول الأساسي للإثباتات السريعة في ZK-EVM وzk-ML وأطر عمل أخرى. وهو مناسب للعمليات الحسابية التي تتضمن طبقات متعددة من المعالجة منخفضة المستوى وتطبيقات دوال متكررة مكثفة، مثل التجزئة والشبكات العصبية. يلغي هذا البروتوكول الحاجة إلى الالتزامات بالطبقات الوسيطة، ويقتصر على الالتزامات بالمدخلات والمخرجات فقط، مما يُحسّن الكفاءة بشكل كبير. من خلال تقليل عدد عمليات التحقق من المجموع في الجولة (مثل خدعة جروين) وتطبيق معالجة دفعات Poseidon2، ثبت نظريًا أن تكلفة التجزئة في Poseidon تبلغ 15 ضعفًا فقط (مقارنةً بـ 100 ضعف في STARKs التقليدية)، ويمكن أن تكون أقل من 10 أضعاف عمليًا. تقترب هذه التكلفة من الصفر مع زيادة حجم البيانات.