El protocolo blockchain de prueba de participación Algorand y la firma de software blockchain Blockstack han lanzado un proyecto conjunto de código abierto para apoyar el desarrollo de un lenguaje de contrato inteligente denominado "Clarity".

Ambos afirman que los lenguajes de contratos inteligentes existentes no son lo suficientemente seguros ni predecibles para satisfacer las crecientes necesidades de la industria emergente.

A partir de este mes de febrero, el valor de USD 1 mil millones fue asegurado en los mercados de finanzas descentralizadas (DeFi), donde los contratos inteligentes se utilizan para innovar servicios financieros como el crédito y los préstamos.

En su anuncio el 10 de junio, Algorand y Blockstack enfatizaron la necesidad de un lenguaje de contrato inteligente alternativo que sería:

"Diseñado específicamente para las necesidades de los desarrolladores que trabajan en transacciones de alto riesgo en los cientos de millones de dólares, que requieren más previsibilidad y confiabilidad que las soluciones actuales".

Los equipos de ambas redes blockchain tienen fuertes conexiones con la informática y la investigación académica en criptografía.

El fundador de Algorand es el profesor y criptógrafo del MIT Silvio Micali, galardonado con el Premio Turing en informática y el Premio Gödel en informática teórica. En Blockstack, el equipo está dirigido por el Dr. Muneeb Ali, quien tiene un doctorado en ciencias de la computación de la Universidad de Princeton.

¿Qué diferencia a Clarity de los lenguajes de contratos inteligentes existentes?

En su declaración para el lanzamiento del proyecto, el Dr. Ali explicó que los contratos inteligentes tienen "requisitos radicalmente diferentes", particularmente cuando se trata de verificabilidad y seguridad.

Antes de que el espacio de DeFi crezca aún más, ha pedido una "actualización seria" para el desarrollo de lenguaje de contrato inteligente, y de esta manera garantizar que el código seguro y efectivo sea compatible con las aplicaciones más populares de la tecnología.

Como lo demuestran las vulnerabilidades pasadas, como el infame incidente con DAO en la cadena de bloques de Ethereum en 2016, lo que está en juego puede ser extremadamente alto cuando las cosas salen mal.

Clarity, como se describe en el anuncio, es un lenguaje "'determinable', lo que significa que los desarrolladores pueden saber, con certeza matemática, lo que un programa hará y no hará con anticipación".

Algorand y Blockctack afirman que en la actualidad, el uso de lenguajes "indeterminables" hace que sea imposible para los desarrolladores comprender exactamente cómo se comportará un contrato en ciertas situaciones sin su ejecución previa. Afirman que este cambio a la capacidad de decisión, por lo tanto, "aborda un obstáculo clave que actualmente impide el uso serio a gran escala".

Con la adopción de un lenguaje de programación como Clarity, el Dr. Micali también ha señalado la probabilidad de que las empresas y gobiernos a gran escala confíen más en la tecnología.

Más allá de su colaboración conjunta con Clarity, Algorand y Blockstack también se comprometen a trabajar hacia una mejor comunicación y operabilidad entre cadenas, a fin de evitar la consolidación de "jardines amurallados" en el espacio blockchain.

Otros lenguajes de contratos inteligentes "especialmente diseñados"

Cointelegraph ha informado previamente sobre el desarrollo del lenguaje de modelado de activos digitales (DAML), que fue abierto a la comunidad por su creador, la firma de software Digital Asset, el año pasado.

Esta primavera, el banco digital de Tencent, WeBank, reveló que estaba explorando la integración de DAML para su consorcio blockchain FISCO BCOS, la cadena que respaldará la red nacional de servicios basados en blockchain de China.

Sigue leyendo: