WorldCoin：已完成World ID协议组成部分SMTB的形式化验证
MarsBit2024/03/01 12:47
据官方消息，WorldCoin 项目背后开发团队 Tools for Humanity (TFH)已与 Reilabs 合作，对 World ID 协议中的重要组成部分 Semaphore Merkle Tree Batcher (SMTB)的形式化验证。
据悉，SMTB 是一项用于批量处理 Merkle 树更新的服务，旨在与 Semaphore 协议结合使用，负责零知识证明电路的高效链上操作。完成形式化验证后，将能为 World ID 协议增强安全性、运行可靠性并改善信任。
0
0
免责声明：文章中的所有内容仅代表作者的观点，与本平台无关。用户不应以本文作为投资决策的参考。
PoolX：锁仓获得新代币空投
不要错过热门新币，且APR 高达 10%+
立即参与！
你也可能喜欢
数据：若 BTC 跌破 87,032 美元，主流 CEX 累计多单清算强度将达 13.76 亿美元
Chaincatcher•2025/12/07 18:30
「1011内幕巨鲸」正持续加仓以太坊多单，同时挂入11,450枚ETH的限价买单
金色财经•2025/12/07 17:30
数据：222.11 枚 BTC 从匿名地址转出，经中转后流入某交易所
Chaincatcher•2025/12/07 16:30
「1011内幕巨鲸」ETH多单加仓至14227枚，目前浮盈76.2万美元
金色财经•2025/12/07 16:12
