Share this article
Algorand y Blockstack están construyendo un lenguaje de contratos inteligentes multicadena
Clarity, un nuevo lenguaje de programación de código abierto, promete ofrecer contratos inteligentes con menos errores.
By Danny Nelson
Updated Apr 10, 2024, 2:04 a.m. Published Jun 10, 2020, 3:00 p.m.
Algorand y Blockstack están colaborando en un nuevo lenguaje de programación de contratos inteligentes que lleva a las dos startups hacia comunicaciones directas entre cadenas de bloques.
CONTINÚA MÁS ABAJO
Don't miss another story.Subscribe to the Crypto Daybook Americas Newsletter today. See all newsletters
El proyecto, denominado Clarity, permitirá en última instancia a los desarrolladores escribir contratos inteligentes que se ejecuten en sus dos cadenas de bloques (y otros que puedan decidir unirse a la iniciativa de código abierto) sin involucrar protocolos de interoperabilidad de terceros comoPolkadot, dijeron a CoinDesk los ejecutivos de ambas compañías.
El potencial para las comunicaciones directas entre cadenas es probablemente tan ilimitado como las ideas de los desarrolladores que implementan contratos inteligentes en dos plataformas tan diferentes. La blockchain de prueba de participación de Algorand suele atender a las necesidades financieras.casos de uso, mientras que el próximo Stacks 2.0 de Blockstack “prueba de transferencia” blockchain LOOKS más ampliamente a computación descentralizada.
“Creemos que vivimos en un mundo multicadena”, afirmó Steve Kokinos, director ejecutivo de Algorand. “Se utilizarán diferentes cadenas para distintos fines, y la interoperabilidad será crucial”.
Contratos inteligentes con menos errores
El director ejecutivo de Blockstack, Muneeb Ali, dijo que fue la similitud entre sus filosofías de diseño de contratos inteligentes y las de Algorand lo que los unió.
“Ya estábamos mirando las mismas propiedades”, dijo Ali.
Ambos están muy interesados en implementar lenguajes "no Turing completos". Algorand 2.0 Lenguaje de contratos inteligentes TEALno es Turing completo, al igual que el epónimo Clarity de Blockstack,Ya está previsto su debutEn Stacks 2.0, Ali estimó que ambos idiomas tenían entre un 80 % y un 90 % en común desde el principio.
La completitud no Turing significa, en parte, que los programas de un lenguaje no pueden, en teoría, ejecutarse eternamente, y eso, en la práctica, significa que sus programas son algo más restrictivos que los escritos en un lenguaje Turing-completo.
Pero los lenguajes no Turing completos también son mucho menos propensos a errores que sus homólogos computacionalmente completos debido a esa misma propiedad. Sus contratos inteligentes no necesitan auditoría manual, afirmó Ali.
Sigue leyendo: ¿Quién pagará los contratos inteligentes Turing-Completos?
“Todo puede ser preciso, todo puede verificarse”, dijo Ali, contrastando Clarity con lenguajes alternativos potencialmente propensos a errores que podrían poner en riesgo “cientos de millones de dólares” de fondos de usuarios de contratos inteligentes.
El infameHack de DAOEs quizás el ejemplo más conocido de los posibles peligros de los contratos inteligentes defectuosos escritos en un lenguaje Turing-completo. Ese robo de 2016 costó a los usuarios 50 millones de dólares en ether, todo por culpa de un error.
“La pregunta clave para estos contratos inteligentes es simplemente: ¿Son precisos y seguros? Por lo tanto, el lenguaje debe centrarse precisamente en eso, que es lo que hemos hecho aquí”, dijo Ali.
Kokinos dijo que Clarity proporciona un “enfoque filosóficamente diferente a los contratos inteligentes”.
La claridad también facilitará la experiencia de los desarrolladores, afirmó. «Ofrecemos herramientas para que no tengan que Aprende mucho sobre el funcionamiento de la cadena de bloques y las partes subyacentes del sistema, y simplemente les permita realizar su trabajo».
More For You
What to know:
- As of October 2025, GoPlus has generated $4.7M in total revenue across its product lines. The GoPlus App is the primary revenue driver, contributing $2.5M (approx. 53%), followed by the SafeToken Protocol at $1.7M.
- GoPlus Intelligence's Token Security API averaged 717 million monthly calls year-to-date in 2025 , with a peak of nearly 1 billion calls in February 2025. Total blockchain-level requests, including transaction simulations, averaged an additional 350 million per month.
- Since its January 2025 launch , the $GPS token has registered over $5B in total spot volume and $10B in derivatives volume in 2025. Monthly spot volume peaked in March 2025 at over $1.1B , while derivatives volume peaked the same month at over $4B.
More For You
El Banco de Japón se prepara para aumentar las tasas a un máximo de 30 años, planteando otra amenaza para Bitcoin
El aumento de las tasas en Japón y un yen más fuerte amenazan las operaciones de carry trade y podrían presionar los mercados criptográficos a pesar de la flexibilización de la política en EE.UU.
What to know:
- Según Nikkei, el Banco de Japón (BoJ) está dispuesto a aumentar las tasas de interés a 75 puntos básicos, el nivel más alto en 30 años.
- El aumento de los costos de financiamiento en Japón, junto con la caída de las tasas en EE.UU., podría obligar a los fondos apalancados a reducir la exposición al carry trade, aumentando el riesgo a la baja para bitcoin.
Historias Destacadas
