Vitalik：客户端证明速度限制ZK-VM隐私应用

以太坊联合创始人 Vitalik Buterin 就 ZK-VM（零知识虚拟机）在隐私用例上的局限性做出解释。有用户指出，ZK-VM 几乎在所有方面都更优，但讽刺的是，它们唯一未能覆盖的用例恰恰是隐私。 对此，Vitalik 回应道："解释很简单：隐私用例需要客户端侧证明，而目前客户端侧证明器的速度还不够快，无法处理超出 Merkle 分支的任何内容。" “更糟糕的是，客户端用例需要每个用户提供证明，这意味着证明量很小，而基于椭圆曲线的证明系统的证明时间较慢。你可以通过让客户端制作（ZK） STARK 并将其发送给中介来解决这个问题。中介会将其包装在基于椭圆曲线的 SNARK 中，但这是额外的基础依赖，这会带来其他问题。”