WorldCoin:已完成 World ID 协议组成部分 SMTB 的形式验证
WorldCoin 项目背后开发团队 Tools for Humanity (TFH) 已与 Reilabs 合作,对 World ID 协议中的重要组成部分 Semaphore Merkle Tree Batcher (SMTB) 的形式验证。SMTB 是一项用于批量处理 Merkle 树更新的服务,旨在与 Semaphore 协议结合使用,负责零知识证明电路的高效链上操作。完成形式化验证后,将能为 World ID 协议增强安全性、运行可靠性并改善信任。
快讯