有效性证明神奇的魔法「零知识证明」有一套晦涩的机制，不好实现常见的通用合约，所以很难获得现有记账系统（即 EVM）的基础设施，不便于发展生态。欺诈性证明有点繁琐。 要留点时间抓坏人，所以记账的时间会比较久，导致资金效率低。