Publicado: 01 de março de 2024 às 10h24 Atualizado: 01 de março de 2024 às 10h25
Editado e verificado: 01 de março de 2024 às 10h24
em resumo
WorldCoin e Reilabs finalizaram a verificação formal do Semaphore Merkle Tree Batcher (SMTB), um elemento crucial do protocolo World ID.
A equipe de desenvolvimento por trás do projeto de criptomoeda biométrica da íris WorldCoin, Tools for Humanity (TFH) colaborou com especialistas em blockchain e criptografia Reilabs para realizar a verificação formal do Semaphore Merkle Tree Batcher (SMTB) – um elemento crucial do protocolo World ID.
O SMTB é um serviço adaptado para processamento em lote de atualizações da árvore Merkle destinado a funcionar em conjunto com o protocolo Semaphore, facilitando operações eficientes na cadeia para circuitos à prova de conhecimento zero. A conclusão da verificação formal – um método para comprovar a precisão de algoritmos e sistemas – aumentará a segurança e a confiabilidade operacional e aumentará a confiança do protocolo World ID.
“Ao empregar a experiência da Reilabs em criptografia e verificação formal, o TFH procurou provar matematicamente a correção da implementação do SMTB”, disse o TFH em uma declaração por escrito. Para o protocolo Worldcoin, Reilabs apresentou a funcionalidade adequada dos circuitos de inserção e exclusão, garantindo que o sistema insira e remova identidades sem qualquer falsificação ou pseudo-exclusão.
Além disso, Reilabs verificou que todo o sistema manteria o progresso sob todas as condições, preservando o sistema de entrar num estado onde as identidades não podem ser inseridas ou removidas, mitigando efetivamente qualquer forma potencial de censura. O processo de verificação está integrado ao sistema CI do SMTB, garantindo que quaisquer alterações que violem as invariantes do protocolo não possam ser mescladas sem detecção, afirmando a confiabilidade do Worldcoin.
A comunidade Worldcoin também deverá se beneficiar do processo de verificação formal, pois trará maior segurança, maior confiabilidade operacional e maior confiança geral.
“Essa adoção da verificação formal não apenas estabelece um novo padrão na garantia de protocolos criptográficos, mas também abre caminho para um futuro onde as identidades digitais sejam universalmente acessíveis e protegidas com segurança”, disse o TFH em uma declaração por escrito.
Privacidade Worldcoin com verificação de identidade digital
Fundada em 2023 pela TFH, a Worldcoin se posiciona como uma iniciativa de verificação de identidade digital de “preservação da privacidade”. O objetivo principal da Worldcoin é estabelecer uma iniciativa global de Renda Básica Universal, emitindo uma quantidade nominal de seu token nativo, WLD, para indivíduos em todo o mundo, em troca da verificação de sua identidade por meio de procedimentos de digitalização da íris.
Recentemente, o projeto alcançou um marco ao registrar 1 milhão de usuários em seu aplicativo de carteira de criptomoedas, World App.
A recente colaboração entre TFH e Reilabs, culminando na verificação formal do SMTB, marca um avanço substancial na segurança da blockchain, garantindo maior confiabilidade e confiança no protocolo World ID.
Isenção de responsabilidade
De acordo com as diretrizes do Trust Project, observe que as informações fornecidas nesta página não se destinam e não devem ser interpretadas como aconselhamento jurídico, tributário, de investimento, financeiro ou qualquer outra forma. É importante investir apenas o que você pode perder e procurar aconselhamento financeiro independente se tiver alguma dúvida. Para mais informações, sugerimos consultar os termos e condições, bem como as páginas de ajuda e suporte fornecidas pelo emissor ou anunciante. MetaversePost está comprometido com relatórios precisos e imparciais, mas as condições de mercado estão sujeitas a alterações sem aviso prévio.
Sobre o autor
Alisa é repórter do Metaverse Post. Ela se concentra em investimentos, IA, metaverso e tudo relacionado à Web3. Alisa é formada em Negócios de Arte e tem especialização em Arte e Tecnologia. Ela desenvolveu sua paixão pelo jornalismo escrevendo para VCs, projetos criptográficos notáveis e redação científica. Você pode contatá-la em [email protected]
Mais artigos
Alice Davidson
Alisa é repórter do Metaverse Post. Ela se concentra em investimentos, IA, metaverso e tudo relacionado à Web3. Alisa é formada em Negócios de Arte e tem experiência em Arte e Tecnologia. Ela desenvolveu sua paixão pelo jornalismo escrevendo para VCs, projetos criptográficos notáveis e redação científica. Você pode contatá-la em [email protected]
Mais artigos
source – mpost.io
