Vitalik a publié un article tutoriel sur GKR : support du protocole "batch × layer" pour des preuves ZK ultra-rapides.

MarsBitNews

2025-10-20 01:14:09

Selon Mars Finance, Vitalik Buterin a récemment écrit un article détaillant comment le protocole GKR (Goldreich–Kahan–Rothblum) est utilisé pour accélérer les preuves ZK, s'adaptant à la structure de calcul “lots × multicouche”, réduisant considérablement les engagements intermédiaires, en s'engageant uniquement sur les entrées et les sorties. L'article prend l'exemple du hash Poseidon2, détaillant le processus de preuve récursive centré sur le sumcheck, et propose des optimisations (truc de Gruen, traitement par lots linéaires, premiers éléments cubiques seulement pour certaines rondes), qui peuvent être combinées avec BaseFold ou FRI dans le cadre des engagements polynomiaux. L'auteur affirme que les coûts réels sont inférieurs à la valeur théorique d'environ 100 fois celle des STARK traditionnels, avec des coûts d'un seul chiffre envisageables, et rappelle que le défi de Fiat–Shamir doit prendre en compte le risque de prévisibilité au sein du circuit.

Voir l'original

Avertissement : Les informations contenues dans cette page peuvent provenir de tiers et ne représentent pas les points de vue ou les opinions de Gate. Le contenu de cette page est fourni à titre de référence uniquement et ne constitue pas un conseil financier, d'investissement ou juridique. Gate ne garantit pas l'exactitude ou l'exhaustivité des informations et n'est pas responsable des pertes résultant de l'utilisation de ces informations. Les investissements en actifs virtuels comportent des risques élevés et sont soumis à une forte volatilité des prix. Vous pouvez perdre la totalité du capital investi. Veuillez comprendre pleinement les risques pertinents et prendre des décisions prudentes en fonction de votre propre situation financière et de votre tolérance au risque. Pour plus de détails, veuillez consulter l'avertissement.

Commentaire

0/400

Aucun commentaire