Certik, la empresa de seguridad blockchain, ha publicado una demostración (demo) y un manual de referencia del lenguaje para su lenguaje de programación inteligente DeepSEA enfocado en contratos.

Tanto CertiK como sus proyectos académicos de I+D afiliados han recibido financiación de entidades como Binance Labs, la Fundación Ethereum y Qtum. La firma compartió detalles de la nueva publicación con Cointelegraph el 21 de febrero.

La demostración de DeepSEA, el compilador y el manual de referencia del lenguaje publicado esta semana, tiene como objetivo darles a los desarrolladores una visión profunda y práctica del diseño del lenguaje. 

Un lenguaje adecuado para el propósito

DeepSEA es un lenguaje de programación funcional de contratos inteligentes que fue creado originalmente en el laboratorio de investigación del profesor Zhong Shao, jefe del departamento de informática de Yale y cofundador de Certik junto con Ronghui Gu, un profesor asistente de informática de la Universidad de Columbia.

Aunque inicialmente se diseñó para la implementación de software de sistemas, los desarrolladores de DeepSEA más tarde se reorientaron hacia su uso para la verificación y auditoría formal de contratos inteligentes y protocolos blockchain. 

Han argumentado que los lenguajes existentes no son adecuados para los procedimientos de verificación formal necesarios para salvaguardar adecuadamente contra los altos riesgos asociados con las posibles vulnerabilidades de los contratos inteligentes.

Estos riesgos están vinculados al carácter autoejecutable e inmutable de los contratos inteligentes -omo diría el adagio "el código es ley”- y el Profesor Gu ha defendido en el pasado el caso de DeepSEA señalando sus anteriores implementaciones en sistemas de hardware de misión crítica como el Mars Rover de la NASA.

Los investigadores han criticado lenguajes como Solidity y Move de Facebook, argumentando que DeepSEA es significativamente más seguro y adecuado para el propósito. Mediante el uso de pruebas matemáticas (verificación formal), afirman que puede asegurar que la infraestructura blockchain es "libre de errores o bugs y resistente a los hackers".

Su lanzamiento se adelanta al próximo de la compañía, la CertiK Chain Mainnet 1.0 en la primavera de 2020, después de su lanzamiento lanzamiento beta en noviembre. La Mainnet es totalmente interoperable con Ethereum -permitiendo que los contratos inteligentes de Solidity existentes funcionen sin fricción- y la red Cosmos, y está destinada al uso de múltiples aplicaciones como las finanzas descentralizadas y el staking. 

El profesor Gu ha dicho que los desarrolladores planean integrar DeepSEA con la Cadena CertiK a finales de este año. 

Coinone, el gran criptoexchange de Corea del Sur, también se ha asociado con CertiK para auditar los proyectos y tomar medidas preventivas contra los exploits de seguridad del código.

No dejes de leer: