WorldCoin 项目团队与 Reilabs 合作对 World ID 协议组件进行形式验证
温馨提示：这篇文章已超过684天没有更新，请注意相关的内容是否还可用！
据 Foresight News 报道，WorldCoin 项目背后的开发团队 Tools for Humanity (TFH) 已与 Reilabs 合作，对 World ID 协议中的重要组成部分 Semaphore Merkle Tree Batcher (SMTB) 的形式验证。SMTB 是一项用于批量处理 Merkle 树更新的服务，旨在与 Semaphore 协议结合使用，负责零知识证明电路的高效链上操作。完成形式化验证后，将能为 World ID 协议增强安全性、运行可靠性并改善信任。
免责声明:
本站内容来源于公开网络，仅作信息整理与展示之用，不代表本站立场或观点。相关内容不构成任何投资、交易或决策建议，亦不作为任何行为依据。请读者自行判断并承担相关风险。
本站不向特定国家或地区用户提供服务。如相关内容在您所在地区存在法律或监管限制，请您停止访问。
本站内容来源于公开网络，仅作信息整理与展示之用，不代表本站立场或观点。相关内容不构成任何投资、交易或决策建议，亦不作为任何行为依据。请读者自行判断并承担相关风险。
本站不向特定国家或地区用户提供服务。如相关内容在您所在地区存在法律或监管限制，请您停止访问。