@KaitoAI 上的 ZK 项目 1. Prover Networks 生成 ZKP 的成本很高。Prover 基础设施帮助应用程序以更便宜和更快的方式获取证明。代表性的例子包括 Succinct 和 @boundless，以及 @cysic，后者正在研究 ZKP 的硬件加速。 Prover 网络是整个区块链生态系统的核心基础设施，因为它围绕 ZK 进行重塑。 2. L2 Vitalik 曾表示，与其仅仅追求第二阶段，更重要的是以 ZK rollups 过渡以减少以太坊 L2 的提款时间至几秒钟。许多 rollups 开始时采用 ZK 验证或从 OP 迁移到 ZK。 3. AI 验证 在加密领域，AI 代表用户管理资产将变得普遍。在这种情况下，验证 AI 是否运行正确模型至关重要。 4. 隐私 在区块链上，ZK 是保护隐私的最佳工具，通过隐藏 mempool 交易或意图来实现。 5. 跨链消息传递 在一个碎片化的区块链生态系统中，链间通信至关重要。到目前为止，我们依赖于预言机和其他额外的信任假设，但通过 ZKP，我们可以支持无信任的跨链消息传递。 可能还有我遗漏的 Kaito 上的 ZK 项目。 如果你发现任何，请在评论中告诉我！