Vitalik Buterin menyerukan batas maksimum yang tegas untuk biaya pembuktian Ethereum per unit gas blok. Menurut NS3.AI, ZKsync melaporkan bahwa satu GPU berhasil membuktikan 99% dari 7.200 blok Ethereum mainnet berturut-turut dalam waktu kurang dari 10 detik per blok, termasuk persiapan witness.

Jaminan biaya maksimum perlu memperhitungkan setiap beban kerja yang diizinkan, termasuk blok yang sengaja disusun agar mahal untuk dibuktikan. EIP-7904 merekomendasikan agar biaya gas komputasi tidak diubah, tetapi analisisnya mencakup eksekusi CPU, bukan pembuatan bukti ZK-SNARK. Batas biaya pembuktian yang andal memerlukan asumsi eksplisit mengenai beban kerja, implementasi, keamanan, dan perangkat keras.