According to official sources, Worldcoin's Semaphore Merkle Tree Batcher (SMTB) protocol has passed formal verification. SMTB is an important component of Worldcoin's World ID protocol, responsible for efficient on-chain operations of zero-knowledge proof circuits. This verification is an important milestone for the Worldcoin protocol and represents substantial recognition of its stability and reliability.
All Comments