Vitalik Buterin ha pedido establecer un límite máximo estricto al costo de demostrar Ethereum por unidad de gas de bloque. Según NS3.AI, ZKsync informó que una sola GPU demostró el 99 % de 7.200 bloques consecutivos de la red principal de Ethereum en menos de 10 segundos cada uno, incluida la preparación de los datos testigo.

Una garantía de costo máximo tendría que tener en cuenta todas las cargas de trabajo permitidas, incluidos los bloques ensamblados deliberadamente para que sean costosos de demostrar. La EIP-7904 recomienda no modificar los costos de gas de cómputo, pero su análisis abarca la ejecución en CPU, no la generación de pruebas ZK-SNARK. Para establecer un límite fiable al costo de generación de pruebas, habría que especificar supuestos sobre las cargas de trabajo, las implementaciones, la seguridad y el hardware.