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
Expectations for Fed Rate Cuts Strengthen, Market Focuses on Magnitude and Pace
Economist: U.S. Tariff Policies Will Continue to Impact Economic Growth
The European Central Bank plans to decide on the next steps for CBDC next month.
Trending news
MoreCrypto prices
More
