链下计算成本

Lower（尽管需要许多全节点重新执行计算）

Higher（专门针对通用计算的 ZK-SNARK 证明会很昂贵，相比直接执行计算要贵数千倍）