A Fundação Ethereum tem como missão promover e apoiar a plataforma Ethereum, tal como pesquisas, desenvolvimentos e educação da camada base para trazer protocolos e ferramentas descentralizadas para o mundo, que capacitam os desenvolvedores a produzirem aplicativos descentralizados de próxima geração (dapps) e juntos possam construir um ambiente mais globalmente acessível.
A fundação informou no dia 06 de março ter aprovado uma bolsa para pesquisadores das universidades de Columbia e Yale para a criação de uma nova linguagem de programação de contratos inteligentes na EVM (Máquina Virtual Ethereum).
O investimento faz parte do Programa de Subsídios da Fundação Ethereum, o qual é dedicado a apoiar os melhores recursos para o ecossistema Ethereum. O projeto que receberá o benefício é o DeepSea, liderado por Ronghu Gui, professor assistente de ciência da computação na universidade de Columbia, em parceria com pesquisadores de Yale.
Esse não é o primeiro projeto do Ronghui Gu na área de criptomoedas, em 2017, o professor, juntamente com o chefe do departamento de ciência da computação da Yale, professor Shao, fundaram a Certik (plataforma de verificação de contrato inteligente e blockchain) e o projeto arrecadou uma grande quantia em uma rodada de investimento liderada pela Binance Labs em outubro de 2018.
O DeepSea foi nomeado em honra à linguagem de programação de contratos inteligente criada no laboratório de pesquisa do professor Shao. Essa linguagem foi inicialmente designada para implementação de softwares, porém a equipe observou que são riscos altos que cercam as vulnerabilidades desse tipo de contrato e com isso resolveu estender os recursos de proteção da empresa para essa área, também como o professor Gu disse em entrevistas:
“Como os contratos (inteligentes) são autoexecutáveis e permanentes, é crucial que esses contratos sejam executados apenas da forma que são precisamente planejados. A linguagem de programação DeepSea permitirá que os programadores adicionem proteções para garantir que o código esteja de acordo com suas especificações, usando a verificação formal.”
Leia também: Pesquisadores de Stanford desenvolvem mecanismo de privacidade para contratos inteligentes do Ethereum
