Vitalik Buterin a appelé à fixer un plafond strict au coût de preuve d’Ethereum par unité de gaz de bloc. Selon NS3.AI, ZKsync a indiqué qu’un seul GPU avait généré la preuve de 99 % des 7 200 blocs consécutifs du réseau principal Ethereum en moins de 10 secondes chacun, préparation des témoins comprise.

Une garantie de coût maximal devrait prendre en compte toutes les charges de travail autorisées, y compris les blocs délibérément conçus pour être coûteux à prouver. L’EIP-7904 recommande de ne pas modifier les coûts de gaz de calcul, mais son analyse porte sur l’exécution par CPU plutôt que sur la génération de preuves ZK-SNARK. Pour établir une limite fiable du coût de preuve, il faudrait formuler explicitement des hypothèses concernant les charges de travail, les implémentations, la sécurité et le matériel.