根据官方发布的消息，WorldCoin 项目的开发者团队 Tools for Humanity (TFH)已经与 Reilabs 达成了合作，共同对 World ID 协议中的关键组件 Semaphore Merkle Tree Batcher (SMTB)进行了形式化验证。这一合作旨在确保 SMTB 的可靠性和安全性，为 WorldCoin 项目的发展提供坚实的基础。通过形式化验证，TFH 和 Reilabs 将能够深入分析和评估 SMTB 的性能和功能，从而优化其性能并提高其在 World ID 协议中的应用价值。这一举措进一步展示了 WorldCoin 项目在技术创新和合作伙伴关系方面的**地位，为其未来的发展奠定了坚实的基础。