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.

"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.

Musk vendió el 79,09 % de las acciones de Tesla que prometió vender: el 22 de diciembre, según los documentos de la Comisión de Bolsa y Valores de EE. UU., el CEO de Tesla, Elon Musk, vendió 583 611 acciones de Tesla el 21 de diciembre. Desde el 8 de noviembre, Musk ha vendido alrededor de 13 484 123 acciones de Tesla. , representando el 79,09% de sus acciones previamente comprometidas. (Diez de oro) [2021/12/22 7:55:27]

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.

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：

Filecoin