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.