据官方消息,WorldCoin 项目背后开发团队 Tools for Humanity (TFH)已与 Reilabs 合作,对 World ID 协议中的重要组成部分 Semaphore Merkle Tree Batcher (SMTB)的形式化验证。
据悉,SMTB 是一项用于批量处理 Merkle 树更新的服务,旨在与 Semaphore 协议结合使用,负责零知识证明电路的高效链上操作。完成形式化验证后,将能为 World ID 协议增强安全性、运行可靠性并改善信任。
免责声明:本文为转载,非本网原创内容,不代表本网观点。其原创性以及文中陈述文字和内容未经本站证实,对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
如有疑问请发送邮件至:goldenhorseconnect@gmail.com