La Fundación Ethereum financia el trabajo de investigadores de Columbia, Yale sobre el lenguaje de los contratos inteligentes

La Fundación Ethereum ha concedido una beca a investigadores de las universidades de Columbia y Yale para la compilación de un nuevo lenguaje de programación de contratos inteligentes en la Ethereum Virtual Machine (EVM). El desarrollo fue anunciado en un comunicado de prensa compartido con Cointelegraph el 6 de marzo.

El beneficiario de la subvención es un proyecto de I+D de contratos inteligentes llamado DeepSea, encabezado por el profesor Ronghui Gu, profesor adjunto de informática en Columbia, en colaboración con investigadores de Yale. Gu es también cofundador de la empresa de seguridad blockchain CertiK, que es también uno de los participantes en el proyecto que realizó el proyecto "varios millones" en una ronda de financiación liderada por Binance Labs el pasado octubre.

No dejes de leer: "No se necesita billetera": el juego móvil criptopunk anuncia un nuevo enfoque para los tokens no fungibles

La nueva subvención forma parte de la quinta ola de financiación de la fundación -bajo la égida del Programa de Subvenciones de la Fundación Ethereum - dedicada a apoyar los esfuerzos de escalado de Ethereum 2.0 y Layer 2.

DeepSea lleva el nombre de un nuevo lenguaje de programación de contratos inteligentes, creado originalmente en el laboratorio de investigación del profesor Shao, jefe del departamento de informática de Yale y cofundador de Gu en CertiK.

Aunque el lenguaje fue diseñado inicialmente para la implementación de software de sistema, el comunicado de prensa señala que los altos riesgos que rodean a las vulnerabilidades de los contratos inteligentes han proporcionado un nuevo impulso para extender las "características de protección" de DeepSea a ese ámbito. Como ha señalado el profesor Gu:

"Dado que los contratos [inteligentes] son autoejecutables y permanentes, es crucial que estos contratos sólo funcionen como se pretende. El lenguaje DeepSEA permitirá a los programadores añadir salvaguardas para asegurar que el código se ajusta exactamente a sus especificaciones, utilizando Verificación Formal".

Te puede interesar: Investigadores de Stanford desarrollan mecanismo de privacidad para contrato inteligente de Ethereum

La verificación formal se refiere al "proceso de aprovechar las pruebas matemáticas para verificar la exactitud de la implementación del código" y, según se informa, se implementó inicialmente en el Mars Rover de la NASA y en otros sistemas de hardware que el comunicado de prensa califica de "críticos para la misión".

Según se informa, el proceso se está ampliando para su uso en sistemas de software, como con la auditoría de CertiK de contratos inteligentes y protocolos de cadena de bloques, y se puede utilizar para evitar la posible introducción de errores mientras se compila DeepSea en la EVM.
Como informó en diciembre, el proyecto de cadena de bloques de código abierto Qtum ha concedido previamente al laboratorio del profesor Gu una subvención de USD 400.000 para financiar el desarrollo de DeepSea.

Sigue leyendo: Los contratos inteligentes no son un problema para los sistemas legales del mundo, siempre y cuando se comporten como los contratos legales