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
MSCI adopts index exclusion rules that could oust Strategy
No scientific evidence but viral on social media: “Bodybuilding miracle drug” peptide products deregulation file sent to the White House for review, Hims&Hers (HIMS.US) surged 6% in one day.
The temporary admission policy for peptides has been submitted to the White House for review, and compounding pharmacies are expected to receive approval to produce BPC-157 and other substances; HIMS closed up 6% on Thursday.
AiCoin丨10.16 Snapshot: PPI Exceeds Expectations, Russia Bans P2P, US Stock ETF Net Outflow
Crypto prices
More
