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