Vitalik Buterin defendeu a imposição de um limite máximo rígido ao custo de geração de provas do Ethereum por unidade de gas de bloco. Segundo a NS3.AI, a ZKsync informou que uma única GPU gerou provas para 99% de 7.200 blocos consecutivos da mainnet do Ethereum em menos de 10 segundos por bloco, incluindo a preparação dos dados auxiliares.

Uma garantia de custo máximo teria de levar em conta todas as cargas de trabalho permitidas, incluindo blocos montados deliberadamente para serem caros de provar. A EIP-7904 recomenda não fazer alterações aos custos de gas de computação, mas a sua análise abrange a execução na CPU, e não a geração de provas ZK-SNARK. Para estabelecer um limite fiável para os custos de geração de provas, seriam necessárias premissas explícitas sobre cargas de trabalho, implementações, segurança e hardware.