WorldCoin成功完成了World ID协议的SMTB部分的形式化验证，标志着重要的技术突破

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

小编为您带来关于Web3开发工具BuildBear Labs成功筹集190万美元资金，Tribe Capital等知名投资机构领投相关的内容。希望可以帮助到大家