Binance Labs investe milhões em plataforma de auditoria do Blockchain CertiK

A Binance Labs, subsidiária da divisão de criptomoedas Binance, investiu em uma startup de auditoria de contratos inteligentes e blockchain, anunciou a empresa na segunda-feira.

Chamada de CertiK, a empresa procura ajudar a proteger plataformas inteligentes de contrato e blockchain por meio de um processo de verificação formal. A equipe já começou a trabalhar para garantir que as plataformas blockchain existentes não contenham erros que poderiam levar a uma perda de fundos ou outras vulnerabilidades, de acordo com um comunicado de imprensa.

A empresa foi fundada no ano passado, em parte pelo professor de Yale, Zhong Shao, que é conhecido por desenvolver um “sistema operacional certificado” chamado CertiKOS, e pelo professor assistente da Universidade de Columbia, Ronghui Gu.

A equipe da CertiK opera aplicando provas matemáticas nas redes para determinar se os hackers podem violar os sistemas.

Os métodos da equipe incluem “uma abordagem de decomposição baseada em camadas, mecanismos de provas plugáveis, objetos de prova verificáveis ​​por máquina, bibliotecas certificadas de [aplicativos descentralizados] e rotulagem inteligente”, de acordo com o comunicado. Usando essas abordagens, os pesquisadores afirmam que podem confirmar a segurança de uma plataforma blockchain de maneira objetiva.

Embora a Binance Labs não tenha divulgado o valor total do investimento, um porta-voz disse à CoinDesk que sua participação respondia por “vários milhões” de dólares.

A CEO da incubadora, Ella Zhang, disse no comunicado que a plataforma da CertiK atende a pelo menos uma necessidade pendente no espaço do blockchain, explicando:

“CertiK valida matematicamente a segurança de contratos inteligentes, que é um ponto crítico que estamos enfrentando no ecossistema blockchain, ignorando as limitações da detecção manual.”

O investimento “sinaliza o reconhecimento da importância da verificação formal na indústria de blockchain”, disse o comunicado. CertiK em particular vem com uma “vantagem única” no campo, dada a sua história e tecnologia comprovada.

Essa tecnologia inclui o CertiKOS, que já foi usado em programas empresariais e militares, e é uma das ferramentas usadas pela Agência de Projetos de Pesquisa Avançada de Defesa dos EUA (DARPA), as notas de lançamento.

Fonte: CoinDesk
Anúncios

Leandro | レアンドロ・フェレイラ

Webmaster, analista, desenvolvedor e editor de artigos.

Leandro | レアンドロ・フェレイラ has 2448 posts and counting. See all posts by Leandro | レアンドロ・フェレイラ

Deixe uma resposta

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *