温馨提示：这篇文章已超过493天没有更新，请注意相关的内容是否还可用！
据 Foresight News 报道，WorldCoin 项目背后的开发团队 Tools for Humanity (TFH) 已与 Reilabs 合作，对 World ID 协议中的重要组成部分 Semaphore Merkle Tree Batcher (SMTB) 的形式验证。SMTB 是一项用于批量处理 Merkle 树更新的服务，旨在与 Semaphore 协议结合使用，负责零知识证明电路的高效链上操作。完成形式化验证后，将能为 World ID 协议增强安全性、运行可靠性并改善信任。
OK交易所是全球知名的加密货币衍生品交易平台，OK交易所官网提供以BTC、ETH为代表的多种加密货币的实时行情及走势，立即前往欧意交易所开启您的加密货币之旅吧。