维италик·布特ерин（Vitalik Buterin）呼吁为以太坊每单位区块 Gas 的证明成本设定硬上限。 据 NS3 报道，ZKsync称，单张图形处理器在每个区块证明耗时不到10秒（含见证数据准备）的情况下，完成了连续7200个以太坊主网区块中99%的证明。 最高成本保证须覆盖所有获准工作负载，包括刻意构造、证明成本高昂的区块。EIP-7904建议不调整计算 Gas 成本，但其分析针对中央处理器执行，不涵盖零知识简洁非交互知识论证（ZK-SNARK）生成。可靠的证明成本上限还需明确工作负载、