WorldCoin 项目团队与 Reilabs 合作对 World ID 协议组件进行形式验证

ID world worldcoin 协议 合作 2024-03-01 73
根据Foresight News报道,WorldCoin项目的开发团队Tools for Humanity (TFH)已经与Reilabs合作,对World ID协议中关键组成部分Semaphore Merkle Tree Batcher (SMTB)进行了形式验证。SMTB是一项用于批量处理Merkle树更新的服务,旨在与Semaphore协议结合使用,负责高效地在链上操作零知识证明电路。经过形式验证后,将为World ID协议提供更高的安全性和可靠性,以及改善信任度。这一合作将为WorldCoin项目增加更深层次的技术和安全保障,为用户提供更加稳定和可靠的服务。
相关推荐