Vitalik Buterin hat eine feste Obergrenze für die Kosten von Ethereum-Proofs pro Block-Gas-Einheit gefordert. Laut NS3.AI berichtete ZKsync, dass eine einzelne GPU 99 % von 7.200 aufeinanderfolgenden Ethereum-Mainnet-Blöcken jeweils in weniger als 10 Sekunden bewiesen hat – einschließlich der Vorbereitung der Witness-Daten.

Eine Garantie für maximale Kosten müsste jede zulässige Arbeitslast berücksichtigen, einschließlich absichtlich so zusammengestellter Blöcke, dass sie besonders teuer zu beweisen sind. EIP-7904 empfiehlt keine Änderungen an den Kosten für Compute-Gas, seine Analyse befasst sich jedoch mit der CPU-Ausführung und nicht mit der Erzeugung von ZK-SNARK-Proofs. Eine verlässliche Obergrenze für die Proof-Kosten würde ausdrückliche Annahmen zu Arbeitslasten, Implementierungen, Sicherheit und Hardware erfordern.