本站 消息,9 月 24 日,以太坊联合创始人 Vitalik 于社交平台回复关于「ZK-VM 唯一没有实现的用例是隐私,这很讽刺。」讨论时表示,「其实解释很简单:隐私用例需要客户端生成证明,但目前客户端的证明器速度还不足以处理除 Merkle 分支之外的其他复杂任务。」
Vitalik 进一步表示,这一问题更为严重,因为客户端用例需要每个用户生成证明,这意味着需要小型证明,而基于椭圆曲线的证明系统生成证明的速度较慢。
「你可以通过让客户端生成一个 (ZK) STARK,并将其发送给一个中间方,由其将其封装为基于椭圆曲线的 SNARK 来解决这个问题,但这会增加基础设施的依赖性,同时带来其他问题。」