根据 Foresight News 报道,WorldCoin 项目的开发团队 Tools for Humanity (TFH) 已经与 Reilabs 合作,对 World ID 协议中的重要组成部分 Semaphore Merkle Tree Batcher (SMTB) 进行了形式验证。SMTB 是一项用于批量处理 Merkle 树更新的服务,旨在与 Semaphore 协议结合使用,负责零知识证明电路的高效链上操作。通过完成形式化验证,这将能够增强 World ID 协议的安全性,提高其运行可靠性,并改善用户之间的信任关系。这一合作对于推动区块链技术的发展具有重要意义,为数字身份验证和数据安全领域带来了积极影响。