Binance Labs invierte millones en la plataforma de auditoría blockchain CertiK

Binance Labs, el ala incubadora del exchange de Criptomonedas Binance, ha invertido en una startup de auditoría de blockchain y contratos inteligentes, anunció la compañía el lunes.

CertiK, la firma, busca ayudar a proteger las plataformas de contratos inteligentes y blockchain mediante un proceso de verificación formal. El equipo ya ha comenzado a trabajar para garantizar que las plataformas blockchain existentes no contengan errores que puedan provocar la pérdida de fondos u otras vulnerabilidades, según un comunicado de prensa.

La empresa fue fundada el año pasado, en parte por el profesor de Yale Zhong Shao, conocido por desarrollar un "sistema operativo certificado", llamó CertiKOS, y el profesor asistente de la Universidad de Columbia, Ronghui Gu.

El equipo de CertiK opera aplicando pruebas matemáticas a las redes para determinar si los piratas informáticos pueden violar los sistemas.

Los métodos del equipo incluyen un enfoque de descomposición por capas, motores de prueba conectables, objetos de prueba verificables por máquina, bibliotecas certificadas [de aplicaciones descentralizadas] y etiquetado inteligente, según el comunicado. Mediante estos enfoques, los investigadores afirman que pueden confirmar la seguridad de una plataforma blockchain de forma objetiva.

Si bien Binance Labs no reveló el monto total de la inversión, un portavoz le dijo a CoinDesk que su participación representó "varios millones" de dólares.

La directora ejecutiva de la incubadora, Ella Zhang, dijo en el comunicado que la plataforma de CertiK aborda al menos una necesidad destacada en el espacio blockchain, y explicó:

CertiK valida matemáticamente la seguridad de los contratos inteligentes, un problema crítico que enfrentamos en el ecosistema blockchain, superando las limitaciones de la detección manual.

La inversión "señala el reconocimiento de la importancia de la verificación formal en la industria blockchain", continúa el comunicado. CertiK, en particular, cuenta con una "ventaja única" en este campo gracias a su trayectoria y Tecnología probada.

Esta Tecnología incluye CertiKOS, que ya se ha utilizado tanto en programas empresariales como militares, y es una de las herramientas utilizadas por la Agencia de Proyectos de Investigación Avanzada de Defensa de Estados Unidos (DARPA), según señala el comunicado.

Miniaturas de negociosimagen vía Shutterstock