根据Foresight News报道，WorldCoin项目的开发团队Tools for Humanity (TFH)已经与Reilabs合作，对World ID协议中关键组成部分Semaphore Merkle Tree Batcher (SMTB)进行了形式验证。SMTB是一项用于批量处理Merkle树更新的服务，旨在与Semaphore协议结合使用，负责高效地在链上操作零知识证明电路。经过形式验证后，将为World ID协议提供更高的安全性和可靠性，以及改善信任度。这一合作将为WorldCoin项目增加更深层次的技术和安全保障，为用户提供更加稳定和可靠的服务。