Binance Labs investe milhões na plataforma de auditoria de blockchain CertiK

A Binance Labs, a ala incubadora da bolsa de Criptomoeda Binance, investiu em uma startup de contratos inteligentes e auditoria de blockchain, anunciou a empresa na segunda-feira.

Chamada CertiK, a empresa busca ajudar a proteger plataformas de contratos inteligentes e blockchain por meio de um processo formal de verificação. A equipe já começou a trabalhar para garantir que as plataformas de blockchain existentes não contenham bugs que possam levar à perda de fundos ou outras vulnerabilidades, de acordo com um press release.

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

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

Os métodos da equipe incluem "uma abordagem de decomposição baseada em camadas, mecanismos de prova plugáveis, objetos de prova verificáveis por máquina, bibliotecas certificadas [de aplicação descentralizada] e rotulagem inteligente", de acordo com o comunicado. Ao usar essas abordagens, os pesquisadores afirmam que podem então confirmar a segurança de uma plataforma de blockchain de forma objetiva.

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

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

"O CertiK valida matematicamente a segurança dos contratos inteligentes, que é um ponto crítico que enfrentamos no ecossistema de blockchain, contornando as limitações da detecção manual."

O investimento "sinaliza o reconhecimento da importância da verificação formal na indústria de blockchain", continuou a declaração. A CertiK em particular vem com uma "vantagem única" no campo, dada 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), segundo as notas de lançamento.

Miniaturas de negóciosimagem via Shutterstock