Vitalik publie un article, le protocole GKR améliore l'efficacité du calcul des preuves à connaissance nulle

Selon ChainCatcher, le fondateur d'Ethereum, Vitalik Buterin, a publié ce matin un article présentant le protocole GKR. Le protocole GKR (Goldwasser-Kalai-Rothblum) est en train de devenir la technologie clé des systèmes de preuve à connaissance nulle haute performance.

Les recherches récentes montrent que le GKR, en évitant les engagements intermédiaires et en ne s'engageant que sur les entrées et les sorties, peut réduire la surcharge théorique de la méthode STARK traditionnelle de 100 fois à environ 15 fois, et même à moins de 10 fois dans les implémentations réelles. Ce protocole est particulièrement adapté aux modèles de calcul multicouches tels que la fonction de hachage Poseidon et les réseaux neuronaux. Sa technologie centrale, le "sumcheck", simplifie récursivement les problèmes multidimensionnels grâce à des combinaisons linéaires aléatoires. Bien que GKR n'offre pas intrinsèquement de propriétés de connaissance nulle, il peut être combiné avec ZK-SNARK ou ZK-STARK, et il est déjà devenu un support technologique clé pour la preuve ZK-EVM en temps réel et la vérification de modèles d'apprentissage automatique à grande échelle.