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