00:16
Vitalik a publié un article de tutoriel GKR : protocole "batch × layer" supportant des preuves ZK ultra rapides.
L'article récent de Vitalik Buterin discute du protocole GKR utilisé pour accélérer les preuves ZK, introduisant une réduction du contenu des couches intermédiaires des engagements grâce à une structure "batch×multi-layer". Prenant Poseidon2 comme exemple, il détaille le processus de preuve récursive centré sur sumcheck et plusieurs solutions d'optimisation, soulignant que les coûts réels sont inférieurs d'environ 100 fois à ceux des STARK traditionnels, tout en avertissant des risques de prévisibilité liés au défi Fiat–Shamir.

