Wu a appris que le fondateur d'Ethereum, Vitalik Buterin, a publié un article présentant le protocole GKR, une famille de protocoles capable d'atteindre des vitesses extrêmement rapides pour de nombreux systèmes de preuve. GKR est le protocole central pour la réalisation de preuves rapides comme ZK-EVM et zk-ML, adapté à des calculs de "multi-niveau de faible ordre + application de nombreuses fonctions répétées" (comme hash, réseaux neuronaux), sans nécessiter d'engagement sur les couches intermédiaires, mais seulement sur les entrées et sorties, ce qui améliore considérablement l'efficacité. En réduisant la charge de calcul à chaque cycle de sumcheck (comme le truc de Gruen), le traitement par lots de Poseidon2 et d'autres optimisations, il est théoriquement prouvé que le coût du hash Poseidon n'est que de 15x (contre 100x pour les STARKs traditionnels), et en pratique, cela peut être inférieur à 10x, avec des coûts qui tendent vers zéro à mesure que la quantité de données augmente.