@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 項目。 如果你發現任何，請在評論中告訴我！