CEO de Blockstack: Los contratos inteligentes necesitan un lenguaje más seguro

El cofundador y CEO de Blockstack, Muneed Ali, dijo en una entrevista con Cointelegraph que los contratos inteligentes requerirán un lenguaje de desarrollo más seguro en el futuro.

También cree que así como la computación en la nube ha afectado a muchas industrias, los contratos inteligentes no solo afectarán a la industria financiera, y que los posibles beneficios y aplicaciones de los contratos inteligentes van mucho más allá de lo que su nombre implica.

Noticias | La billetera Blockchain ahora agrega la moneda estable PAX: Según Finance Magnates, Blockchain.com anunció que la billetera Blockchain ahora agrega la moneda estable PAX. A partir de ahora, la billetera admite cinco monedas digitales, incluidas BTC, ETH, BCH, XLM y PAX. Según los datos del mercado, el precio promedio global actual de Paxos Standard Token (PAX) es de $ 1,01, un aumento del 0,18% en la actualidad. [2019/5/2]

"Ni siquiera debería llamarse contrato inteligente, porque es un nombre bastante limitado. Estos son programas verificables y no existen en la era de la computación en la nube", dijo Ali.

Blockstack y ShapeShift ofrecen premios de hasta $50 000 para quienes desafían la creación de una billetera universal para DApps: según la revista bitcoin, Blockstack y ShapeShift se asocian para ofrecer premios de hasta $50 000 para los desarrolladores que desafían la creación de billeteras universales para DApps. El concurso comienza a las 9:00 a. m. ET el 25 de abril y durará hasta las 11:59 p. m. el 25 de junio. Los proyectos ganadores se anunciarán el 29 de junio de 2018. [2018/4/26]

Blockstack se ha asociado con el protocolo de cadena de bloques basado en prueba de participación Algorand para respaldar e implementar un lenguaje de contrato inteligente llamado "Claridad". El lenguaje tiene como objetivo proporcionar contratos inteligentes con capacidades más seguras y de "propósito especial" que los lenguajes de programación existentes.

Las acciones de la antigua compañía de té helado de Long Island, Long Blockchain, cayeron un 9% hoy: La antigua compañía de té helado de Long Island, Long Blockchain, cayó un 9% después de que el mercado de valores de EE. UU. abriera hoy, y luego continuó cayendo. Las acciones de la compañía han perdido dos tercios de su valor desde diciembre, eliminando casi todas las ganancias del cambio de nombre de la compañía a Long Island Iced Tea Company. Se informa que la compañía también anunció un nuevo enfoque corporativo, es decir, "explorar e invertir en oportunidades para aprovechar las ventajas de la tecnología blockchain". El precio actual de las acciones de Long Blockchain es de 2,82 dólares estadounidenses, una caída del 6,93%. [ 2018/2/10]

Mencionó: "Nuestra industria necesita una alternativa predecible, segura y de código abierto a los lenguajes actuales como Solidity. Si bien esperamos que el valor bloqueado en los contratos inteligentes alcance eventualmente billones de dólares, nuestra industria no está lista para este tipo de crecimiento."

Según Blockstack y Algorand, la razón de esta falta de preparación es que los desarrolladores “han estado usando un lenguaje inseguro” hasta ahora.

Ali enfatizó que los contratos inteligentes, diseñados para superar las debilidades de los intermediarios humanos o institucionales al depender de un código de software autoejecutable, son "muy diferentes de los programas informáticos y sitios web típicos".

Entonces, señaló, "para operaciones de alto riesgo, deben ser programas verificables. Un lenguaje común puede ser peligroso aquí".

Para que las partes interesadas apliquen contratos inteligentes y se den cuenta de su potencial, Ali cree que "se necesita un lenguaje determinista que sea seguro y matemáticamente predecible antes de la ejecución de contratos inteligentes" porque es poco probable que una industria "escriba contratos inteligentes para transacciones de alto valor".

Señaló que esta implicación tiene implicaciones mucho más allá de la industria de servicios financieros. Ali agregó: "La capacidad de escribir código verificable es como un superpoder para los desarrolladores. Esto podría cambiar la forma en que se distribuye y verifica el software en Internet, cómo se les paga a los desarrolladores por contribuir con el código, cómo se implementa el control de acceso a los servicios de Internet, etc.".

Tags：

FTT