【英文】ZK 会吃掉模块化堆栈吗？

我们感兴趣的两个关键问题：1）模块化堆栈的哪些部分已经采用了 ZKP，哪些部分还有待探索？2）哪些开放性问题可以通过引入 ZKP 来缓解？ 用户操作抽象：现有的 ZK 集成：使用 AA x ZK 进行身份验证，为 AA 钱包提供更高效的签名验证；ZKP 可以解决的开放性问题：最佳执行或意图实现的证明，意图结算的隐私，AA 钱包的密码恢复。 排序器：现有的 ZK 集成：验证内存池的正确加密；ZKP 可以解决的开放性问题：可验证的排序规则（VSR）。  执行（扩展写入）：现有的 ZK 集成：zkEVM rollups，替代 zkVM，专注隐私的 zkVM，ZK 协处理器；ZKP 可以解决的开放性问题：纳入 zkVM，zkSVM。 数据查询（扩展读取）：现有的 ZK 集成：存储证明；ZKP 可以解决的开放性问题：隐私状态的高效查询。 假设我们可以达到这样一种状态：ZKP 的生成速度变得非常快（几乎是光速），而且非常便宜（几乎免费），那么终局会是什么样子？换句话说，什么时候 ZK 吃掉了模块堆栈？概括地说，我们认为这种情况下有两件事是正确的：1）所有不必要的重新执行都被消除；2）大多数应用程序依赖于 ZK 支持的加密保证，而不是经济安全。第三个条件是隐私（或信息流管理），但它更复杂，为所有潜在用例实现大规模隐私也依赖于 FHE 和 MPC 等现代密码学解决方案的进展。 我们的论文也存在一些潜在风险，包括：模块化增加了复杂性（包括用户和开发者）、ZKP 的性能没有像预期那样提高，以及 ZKP 提供的隐私是否有用（有用，但不一定适用于所有用例）。如今，由于生成 ZKP 的成本或复杂性，仍然有许多用例默认采用加密经济安全，有些用例则需要两者的结合。不过，随着我们设计出更高效的证明系统和专用硬件以降低证明和验证的成本和延迟，这一比例会逐渐降低。每一次成本的指数级降低都会带来新的用例。【原文为英文】\n原文链接