Blockstream, el desarrollador del protocolo de capa 2 Liquid de Bitcoin y liderado por el cypherpunk de Bitcoin, Adam Back, ha lanzado Simplicity, un nuevo lenguaje de contratos inteligentes diseñado para Bitcoin.
Según un anuncio del jueves compartido con Cointelegraph, los contratos inteligentes de Simplicity se integrarán en Liquid. La empresa afirmó que la medida representa un avance en la transformación de Bitcoin () de una reserva segura de valor a una base programable para las finanzas descentralizadas.
La empresa también presentó SimplicityHL, una implementación de alto nivel del lenguaje que facilita un desarrollo más sencillo con mayor abstracción.
Un representante de Blockstream dijo a Cointelegraph que esta versión del lenguaje “ya está aquí y es utilizable hoy mismo”, y que también está disponible un entorno de desarrollo integrado basado en la web.
Un enfoque diferente para una arquitectura diferente
Simplicity difiere del lenguaje Solidity de Ethereum, en gran parte debido a las diferentes arquitecturas subyacentes de las dos blockchains.
Esto se deriva de diferentes enfoques y arquitecturas de las redes Ethereum y Bitcoin, con Solidity desarrollado para la Máquina Virtual de Ethereum. El estado es la instantánea acordada de la red de todos los saldos de cuentas y datos almacenados en un bloque determinado.
Bitcoin utiliza la arquitectura de salida de transacción no gastada (UTXO), mientras que la red Ethereum emplea un estado a nivel de red. Esta diferencia se manifiesta en cómo funcionan los contratos inteligentes de Simplicity, con un representante de Blockstream diciendo que “no depender del estado global es un gran cambio.” “Cada fragmento de estado que tu contrato necesita debe viajar con la transacción.”
Los investigadores de Blockstream dijeron que los desarrolladores de Solidity deberán romper su hábito de leer de variables de acceso global y, en su lugar, proporcionar toda la información necesaria en cada paso. En un sistema así, dos contratos inteligentes no pueden compartir estado ni hacer referencia a las mismas variables; todo debe pasarse explícitamente dentro de las transacciones. Aun así, los representantes de la empresa explicaron que este enfoque también tiene un impacto positivo:
“Aunque algo salga mal, solo se ve afectada la parte específica de tu contrato en el grafo de transacciones. Es una mentalidad diferente en comparación con el estado global, pero en última instancia conduce a contratos más seguros y contenidos por diseño.”
Los desarrolladores tampoco podrán usar recursión o bucles ilimitados, lo que Blockstream afirma que no es necesario para la lógica onchain.
El auge de los lenguajes de programación de contratos inteligentes de dominio específico
Simplicity se suma a una lista creciente de lenguajes de programación de contratos inteligentes de dominio específico.
Noir, un lenguaje de programación lanzado en 2022 para escribir y verificar pruebas de conocimiento cero (ZK-proofs), fue adoptado en 2023 por los desarrolladores de Aztec, la próxima capa 2 de Ethereum centrada en la privacidad.
Noir se ha convertido en un lenguaje de programación de contratos inteligentes específicamente diseñado para aplicaciones que preservan la privacidad e integran ZK-proofs profundamente en su arquitectura.
Otro ejemplo es Leo, un lenguaje de programación de contratos inteligentes que también crea sistemas de ZK-proofs con una sintaxis y una privacidad estrechamente relacionadas.
Vyper de Ethereum es un lenguaje compatible con EVM diseñado para reducir la superficie de ataque, y es ahora utilizado por algunos de los principales protocolos de finanzas descentralizadas (DeFi) de Ethereum.
Aclaración: La información y/u opiniones emitidas en este artículo no representan necesariamente los puntos de vista o la línea editorial de Cointelegraph. La información aquí expuesta no debe ser tomada como consejo financiero o recomendación de inversión. Toda inversión y movimiento comercial implican riesgos y es responsabilidad de cada persona hacer su debida investigación antes de tomar una decisión de inversión.