比推消息，以太坊联合创始人 Vitalik 于 X 平台回复关于 ZK-VMs 唯一没有实现的用例是隐私，这很讽刺。讨论时表示，其实解释很简单：隐私用例需要客户端生成证明，但目前客户端的证明器速度还不足以处理除 Merkle 分支之外的其他复杂任务。

Vitalik 进一步表示，这一问题更为严重，因为客户端用例需要每个用户生成证明，这意味着需要小型证明，而基于椭圆曲线的证明系统生成证明的速度较慢。

你可以通过让客户端生成一个 (ZK) STARK，并将其发送给一个中间方，由其将其封装为基于椭圆曲线的 SNARK 来解决这个问题，但这会增加基础设施的依赖性，同时带来其他问题。