Worldcoin strengthens the World ID protocol with official SMTB verification from Reilabs.
Posted: March 1, 2024 10:24 AM Updated: March 1, 2024 10:25 AM
Correction and fact check date: March 1, 2024, 10:24 AM
briefly
WorldCoin and Reilabs have completed formal validation of the Semaphore Merkle Tree Batcher (SMTB), a critical element of the World ID protocol.
Tools for Humanity (TFH), the development team behind iris biometric cryptocurrency project WorldCoin, has teamed up with blockchain and crypto experts Reilabs to perform a formal validation of the Semaphore Merkle Tree Batcher (SMTB), a critical element of the World ID protocol.
SMTB works in conjunction with the Semaphore protocol, a service geared toward batching Merkle tree updates to facilitate efficient on-chain operations for zero-knowledge proof circuits. Completion of formal verification, a method of verifying the accuracy of algorithms and systems, will strengthen security and operational reliability and enhance trust in the World ID Protocol.
“We sought to mathematically prove the correctness of our SMTB implementation by leveraging Reilabs’ expertise in cryptography and formal verification,” TFH said in a written statement. For the Worldcoin protocol, Reilabs demonstrated proper functioning of the insertion and deletion circuits and ensured that the system inserts and removes identities without forgery or pseudo-deletion.
Reilabs also ensured that the entire system would maintain progress under all conditions and preserve the system entering a state without the ability to insert or remove identities, effectively mitigating potential forms of censorship. The verification process is integrated into SMTB’s CI system to ensure Worldcoin’s authenticity by ensuring that any changes that violate the immutability of the protocol cannot be merged without detection.
The Worldcoin community will also benefit from a formal verification process that will result in increased security, improved operational reliability, and improved overall trust.
“This acceptance of formal verification not only sets a new standard in ensuring encryption protocols, but also paves the way for a future where digital identities are universally accessible and secure,” TFH said in a written statement.
Worldcoin Privacy Protection through Digital Identity Verification
Founded by TFH in 2023, Worldcoin positions itself as a “privacy-preserving” digital identity verification initiative. Worldcoin’s main goal is to build a global universal basic income initiative by issuing WLD, a fiat native token, to individuals around the world in exchange for verifying their identity through an iris scanning process.
Recently, the project achieved a milestone by registering 1 million users for its cryptocurrency wallet application World App.
The recent collaboration between TFH and Reilabs, concluded with formal verification by SMTB, represents a real advance in blockchain security and ensures improved reliability and trust in the World ID protocol.
disclaimer
In accordance with the Trust Project Guidelines, the information provided on these pages is not intended and should not be construed as legal, tax, investment, financial or any other form of advice. It is important to invest only what you can afford to lose and, when in doubt, seek independent financial advice. We recommend that you refer to the Terms of Use and help and support pages provided by the publisher or advertiser for more information. Although MetaversePost is committed to accurate and unbiased reporting, market conditions may change without notice.
About the author
Alisa is a reporter for Metaverse Post. She focuses on everything related to investing, AI, metaverse, and Web3. Alisa holds a degree in Art Business and her expertise lies in the fields of art and technology. She developed a passion for journalism through her work with VCs, notable cryptocurrency projects, and science writing. You can contact us at (email protected).
more articles
alice davidson
Alisa is a reporter for Metaverse Post. She focuses on everything related to investing, AI, metaverse, and Web3. Alisa holds a degree in Art Business and her expertise lies in the fields of art and technology. She developed a passion for journalism through her work with VCs, notable cryptocurrency projects, and science writing. You can contact us at (email protected).
more articles