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.

La propuesta de impuesto a las transacciones LUNC se votará formalmente el 10 de septiembre: Según noticias del 7 de septiembre, la cuenta de Twitter LUNC Burn reveló que la propuesta de imponer un impuesto del 1,2% a las transacciones LUNC se votará el 10 de septiembre; comenzará alrededor del 20.

Según noticias anteriores, la comunidad LUNC propuso cobrar una tarifa del 1,2 % en cada transacción en la cadena y luego enviar estas tarifas a la dirección de destrucción para reducir el suministro de LUNC. Vale la pena señalar que la configuración de este parámetro no tiene efecto en los intercambios centralizados, pero la mayoría de las transacciones LUNC ocurren en CEX. Actualmente, dos plataformas, MEXC y Gate, han anunciado su apoyo a la propuesta. [2022/9/7 13:14:30]

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

OKB supera la marca de los 35 dólares con un aumento intradiario del 0,81 %: los datos de Ouyi OKEx muestran que OKB ha subido a corto plazo, superando la marca de los 35 dólares, y ahora cotiza a 35,007 dólares, con un aumento intradiario del 0,81 %. fluctúa mucho, así que por favor haga un buen trabajo en el control de riesgos. [2021/5/14 22:00:56]

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：

OKB