Vitalik Buterin a appelé à une limite stricte des coûts de preuve sur Ethereum par unité de gaz de bloc, ajoutant une exigence de comptabilisation des ressources à la course aux preuves à divulgation nulle de plus en plus rapides. Dans une publication du 15 octobre, il a félicité l'équipe Airbender de ZKsync et a fixé trois priorités : aligner la représentation mathématique de l'exécution sur la spécification d'Ethereum, plafonner le coût du prouveur par rapport au gaz de bloc, et sécuriser le système de preuve lui-même.
Le versant preuve avance vite. ZKsync a annoncé le 13 octobre qu'un seul GPU NVIDIA RTX PRO 6000 Blackwell avait prouvé 99 % de 7 200 blocs consécutifs du mainnet Ethereum en moins de 10 secondes chacun, chaque bloc échantillonné étant terminé en moins de 12 secondes. Mais une performance d'échantillon n'est pas une garantie : un plafond de coût doit couvrir les blocs délibérément coûteux, et non les blocs typiques.
Pourquoi c'est important
Le gaz existe pour plafonner la consommation de ressources d'un bloc, et l'argument de Buterin est que cette allocation devrait aussi se traduire par une limite fiable sur les ressources de preuve. L'EIP-7904, actuellement au statut Informational en Last Call avec une échéance au 1er novembre, ne recommande aucun repricing du calcul, mais son analyse ne couvre que l'exécution sur CPU seul à 100 millions de gaz par seconde et n'aborde expressément pas la génération de preuves ZK-SNARK.
Les mesures de janvier de Nethermind Research ont révélé que les précompiles cryptographiques et les opérations d'arithmétique modulaire ou de division coûtent disproportionatement plus cher à prouver par gaz, avec des résultats variant selon le prouveur. Pour un opérateur qui planifie son matériel, c'est la charge de travail légale la plus lourde, et non le bloc moyen, qui détermine la capacité de réserve nécessaire.
Impact sur le marché
Les réponses probables incluent une mesure du ZK-gas pondérée avec un plafond par bloc, telle que esquissée par Nethermind, ou un repricing des opcodes via l'allocation de gaz existante, ce qui augmenterait les coûts pour les applications utilisant des opérations gourmandes en preuves. Le marché de frais multidimensionnel de l'EIP-7999 reste au stade Draft, et la proposition de preuve d'exécution optionnelle de l'EIP-8025 ne prévoit aucune incitation pour les prouveurs. Jusqu'à ce qu'une limite liée à des charges de travail, du matériel et des hypothèses de sécurité explicites soit adoptée, une capacité d'exécution accrue entraîne une facture de preuve imprévisible pour les prouveurs indépendants.
Questions fréquemment posées
-
Que propose Vitalik Buterin concernant les coûts de preuve sur Ethereum ?
Dans une publication du 15 octobre, il a appelé à une limite stricte du coût de preuve par unité de gaz de bloc, aux côtés de priorités de vérification formelle couvrant l'alignement de l'exécution sur la spécification et la sécurité du système de preuve.
-
Quelle est la rapidité actuelle des preuves Ethereum de ZKsync ?
ZKsync a annoncé qu'un seul GPU NVIDIA RTX PRO 6000 Blackwell avait prouvé 99 % de 7 200 blocs consécutifs du mainnet en moins de 10 secondes chacun, chaque bloc échantillonné étant terminé en moins de 12 secondes.
-
Pourquoi l'EIP-7904 ne couvre-t-il pas la génération de preuves ?
L'EIP-7904 ne recommande aucun repricing du calcul sur la base d'une analyse d'exécution sur CPU seul à 100 millions de gaz par seconde, et il indique expressément qu'il n'aborde pas la génération de preuves ZK-SNARK, qui impose des charges de travail différentes.
-
Quelles opérations sont les plus coûteuses à prouver sur Ethereum ?
Les mesures de Nethermind Research ont montré que les précompiles cryptographiques et plusieurs opérations d'arithmétique modulaire ou de division coûtent relativement plus cher à prouver par gaz, avec des coûts variant selon les prouveurs comme SP1 et RISC0.
-
Comment Ethereum pourrait-il imposer une limite de coût de preuve ?
Les options incluent une mesure du ZK-gas pondérée avec un plafond par bloc, telle qu'esquissée par Nethermind, ou un repricing des opcodes via l'allocation de gaz existante, afin que les opérations gourmandes en preuves consomment davantage de la capacité d'un bloc.
WuBlockchain
CoinTelegraph
CZ Binance
Benjamin Cowen
Crypto News
CoinDesk