我同意。比例证明/本地计算在 zkVMs 中传达了一些重要信息,告诉我们证明一个 CPU 周期的单位成本与并行化无关。当我们在规模上进行证明时,另一个有趣的比例是能量/本地计算(以焦耳/原始 CPU 周期计).