据官方消息，WorldCoin 项目背后开发团队 Tools for Humanity (TFH)已与 Reilabs 合作，对 World ID 协议中的重要组成部分 Semaphore Merkle Tree Batcher (SMTB)的形式化验证。

据悉，SMTB 是一项用于批量处理 Merkle 树更新的服务，旨在与 Semaphore 协议结合使用，负责零知识证明电路的高效链上操作。完成形式化验证后，将能为 World ID 协议增强安全性、运行可靠性并改善信任。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。