根据Foresight News的报道指出，WorldCoin项目的开发团队Tools for Humanity (TFH)已经与Reilabs合作，对World ID协议中的重要组成部分Semaphore Merkle Tree Batcher (SMTB)进行了形式验证。SMTB是一个用于批量处理Merkle树更新的服务，旨在与Semaphore协议结合使用，负责高效地进行零知识证明电路的链上操作。完成形式化验证后，将能够显著增强World ID协议的安全性、运行可靠性并改善用户信任。这一合作标志着WorldCoin在区块链安全和隐私方面迈出了重要一步，为用户提供更加可靠和安全的数字身份认证服务。