WorldCoin: Formal verification of the World ID protocol component SMTB has been completed
According to official sources, the development team Tools for Humanity (TFH) behind the WorldCoin project has partnered with Reilabs to formally verify an important component of the World ID protocol, Semaphore Merkle Tree Batcher (SMTB).
It is reported that SMTB is a service used for batch processing Merkle tree updates, designed to be used in conjunction with the Semaphore protocol and responsible for efficient on-chain operations of zero-knowledge proof circuits. Upon completion of formal verification, it will enhance security, operational reliability, and trust improvement for the World ID protocol.
Disclaimer: The content of this article solely reflects the author's opinion and does not represent the platform in any capacity. This article is not intended to serve as a reference for making investment decisions.
You may also like
Data: James Wynn goes long on BTC with 40x leverage, currently making an unrealized profit of $231,000
Data: "Machi" increased long positions in HYPE to 26,888 tokens, approximately $920,000.
Trending news
MoreCrypto prices
More
