Vitalik publie un article tutoriel sur GKR : le protocole "batch × layer" qui soutient les preuves ZK ultra-rapides
Selon ChainCatcher, Vitalik Buterin a récemment publié un article détaillant comment le protocole GKR (Goldreich–Kahan–Rothblum) est utilisé pour accélérer les preuves ZK, en s'adaptant à une structure de calcul « batch × multi-couches », ce qui réduit significativement les engagements intermédiaires, en ne s'engageant que sur les entrées et les sorties.
L'article prend l'exemple du hash Poseidon2 pour expliquer en détail le processus de preuve récursive centré sur sumcheck, et propose des optimisations (Gruen’s trick, traitement par lots linéaire, seules les premières valeurs cubiques de certaines rondes), qui peuvent être combinées avec BaseFold ou FRI dans des scénarios d'engagement polynomial. L'auteur indique que le coût réel est environ 100 fois inférieur à la valeur théorique des STARK traditionnels, avec un coût au niveau du chiffre unique envisageable, et rappelle que le défi Fiat–Shamir doit prendre en compte les risques de prévisibilité dans le circuit.
Avertissement : le contenu de cet article reflète uniquement le point de vue de l'auteur et ne représente en aucun cas la plateforme. Cet article n'est pas destiné à servir de référence pour prendre des décisions d'investissement.
Vous pourriez également aimer
En vogue
PlusLe fondateur de 21Shares : Il est peu probable que le bitcoin retrouve l’élan qui lui a permis d’atteindre un sommet historique en janvier
CryptoOnchain : BitMine détient actuellement environ 3 % de l’offre totale d’ethereum, tout nouvel afflux d’achats pourrait déclencher une flambée du prix de l’ETH.
Prix des cryptos
Plus
