A empresa de segurança blockchain CertiK lançou um manual de referência de demonstração para sua linguagem de programação DeepSEA, focada em smart contracts (contratos inteligentes).

A CertiK e seus projetos acadêmicos afiliados à pesquisa e desenvolvimento receberam financiamento de empresas como a Binance Labs, a Ethereum Foundation e a Qtum. A empresa compartilhou detalhes do novo lançamento com o Cointelegraph em 21 de fevereiro.

O manual de referência é um compilado da linguagem do código DeepSEA, lançado nesta semana, tem como objetivo fornecer aos desenvolvedores uma visão aprofundada e prática do design da programação. 

Uma linguagem adequada ao objetivo

O DeepSEA é uma linguagem de programação funcional de contrato inteligente, criada originalmente no laboratório de pesquisa do professor Zhong Shao, presidente do departamento de ciência da computação em Yale e cofundador da Certik, juntamente com Ronghui Gu, professor assistente de ciência da computação da Universidade de Columbia.

Embora inicialmente tenham sido projetada para a implementação de software no sistema, os desenvolvedores do DeepSEA reorientaram seu uso na verificação formal e auditoria de contratos inteligentes e protocolos blockchain.

Eles argumentaram que as linguagens existentes não são adequadas aos procedimentos formais de verificação necessários para proteger adequadamente contra os altos riscos associados a possíveis vulnerabilidades nos contratos inteligentes.

Esses riscos estão ligados ao caráter auto-executável e imutável dos contratos inteligentes - como o ditado "código é lei" - e o professor Gu, no passado, defendeu o DeepSEA, apontando suas implementações anteriores em hardware de missão crítica, em sistemas como o NASA Mars Rover.

Os pesquisadores criticaram linguagens como Solidity e Facebook's Move, argumentando que o DeepSEA é significativamente mais seguro e adequado ao seu objetivo. Ao usar provas matemáticas (verificação formal), eles alegam que podem garantir que a infraestrutura da blockchain seja "livre de erros e resistente a hackers".

Seu lançamento antecede o lançamento da CertiK Chain Mainnet 1.0 da empresa, na primavera de 2020, após o lançamento da versão beta em novembro passado. A rede principal é totalmente interoperável com a blockchain Ethereum - permitindo que os contratos inteligentes existentes em Solidity sejam executados sem atrito - e com a rede Cosmos, e destina-se ao uso de vários aplicativos, como finanças e apostas descentralizadas.

O professor Gu disse que os desenvolvedores planejam integrar o DeepSEA à cadeia CertiK ainda este ano.

A principal exchange de criptomoedas da Coréia do Sul, a Coinone, também fez parceria com a CertiK para auditar projetos e tomar medidas preventivas contra explorações de segurança de código.