Qtum otorga una subvención de US$400K al equipo de investigación de la Universidad de Columbia para I+D de contratos inteligentes

El proyecto de blockchain de código abierto Qtum ha otorgado una subvención de $400 000 dólares a académicos de la Universidad de Columbia para financiar el desarrollo de un nuevo lenguaje de programación para contratos inteligentes de estilo Ethereum (ETH). La noticia fue anunciada en un correo electrónico compartido con Cointelegraph el 19 de diciembre.

La beca de investigación y desarrollo (I+D) se destinará a un equipo de dos estudiantes de doctorado y postdoctorado, encabezado por el profesor asistente de la facultad de ciencias informáticas de Columbia, Ronghui Gu.

La I+D se centrará en el diseño e implementación de un nuevo lenguaje llamado "DeepSEA" y su integración con los contratos inteligentes de estilo Ethereum. Una descripción anterior de DeepSEA establece que el lenguaje puede "abordar [un] conflicto inherente" en la programación, a saber:

“Los sistemas operativos e hipervisores convencionales de hoy en día todavía están escritos en lenguajes de bajo nivel tipo C. Parece que hay un conflicto inherente entre el razonamiento formal de alto nivel y la programación de sistemas de bajo nivel: lo primero se basa en una rica teoría a un alto nivel de abstracción, mientras que lo último debe manipular y administrar los efectos de bajo nivel y los recursos de hardware".

Los objetivos de los investigadores son continuar diseñando e implementando el lenguaje, y desarrollar una "cadena de herramientas" DeepSEA, que posteriormente podría aplicarse para "construir núcleos certificados de sistemas operativos y contratos inteligentes al estilo de Ethereum". Esto, con los investigadores y su lucha contra el patrocinio, puede ayudar a resolver muchos de los problemas con componentes clave en la infraestructura crítica para contratos inteligentes, lo que los haría más "confiables y, en última instancia, adoptables".

De acuerdo con el perfil de su profesorado, el trabajo del profesor Gu, más allá de Columbia, incluye la cofundación de la start-up de blockchain "CertiK", en la que la Fundación Qtum ha invertido, según se informa. Una visión general de CertiK muestra que el proyecto es un "marco de verificación formal que pretende demostrar matemáticamente que los contratos inteligentes y los ecosistemas de blockchain están libres de errores y son resistentes a los hackers".

Tal como se informó anteriormente, la Fundación Qtum registrada en Singapur desarrolló Qtum como una plataforma de aplicación de cadena de bloques híbrida de código abierto, con un enfoque particular en los contratos inteligentes y las aplicaciones descentralizadas (DApp). Su tecnología de núcleo combina una bifurcación del núcleo de Bitcoin (BTC) y una Capa de Abstracción de Cuenta que permite múltiples máquinas virtuales, incluyendo el consenso Máquinas Virtuales de Ethereum (EVM) y Prueba de Participación (PoS).

En este otoño, la Universidad de Columbia —junto con IBManunció dos programas de aceleración de blockchain que apuntaban a ayudar a las nuevas empresas a innovar en el espacio escalonadamente. Ambos programas forman parte del Centro Columbia-IBM para Blockchain y Transparencia de Datos, un centro de innovación conjunto que fue establecido este verano por el gigante tecnológico y la escuela de la Liga Ivy estadounidense.