据官方消息，WorldCoin 项目背后开发团队 Tools for Humanity (TFH)已与 Reilabs 合作，对 World ID 协议中的重要组成部分 Semaphore Merkle Tree Batcher (SMTB)的形式化验证。据悉，SMTB 是一项用于批量处理 Merkle 树更新的服务，旨在与 Semaphore 协议结合使用，负责零知识证明电路的高效链上操作。完成形式化验证后，将能为 World ID 协议增强安全性、运行可靠性并改善信任。
Gate.io - 芝麻交易所，又称芝麻开门交易所，是原比特儿交易所国际版本，是全球第二大交易所 支持人民币OTC交易 让财富更自由一点
文章采集自互联网，本站不对其真实性负责，如需删除，请发送链接至oem1012@qq.com
发表评论
电子邮件地址不会被公开。 必填项已用*标注
文章评论已关闭！