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