Introducción a Simplicity
Blockstream, el desarrollador del protocolo de capa 2 de Bitcoin, Liquid, liderado por el cypherpunk Adam Back, ha lanzado Simplicity, un nuevo lenguaje de contratos inteligentes diseñado específicamente para Bitcoin. Según un anuncio realizado el jueves y compartido con Cointelegraph, los contratos inteligentes de Simplicity se integrarán en Liquid. La compañía afirmó que este movimiento representa un avance significativo en la transformación de Bitcoin, pasando de ser un simple almacén de valor a convertirse en una base programable para las finanzas descentralizadas.
Características de Simplicity
Además, Blockstream presentó SimplicityHL, una implementación de nivel superior del lenguaje que facilita un desarrollo más sencillo gracias a su mayor abstracción. Un representante de Blockstream comentó a Cointelegraph que esta versión del lenguaje «está disponible y es utilizable desde hoy», y también se ha habilitado un entorno de desarrollo integrado basado en la web.
Diferencias con Solidity
Simplicity se diferencia del lenguaje Solidity de Ethereum, principalmente debido a las distintas arquitecturas subyacentes de ambas cadenas de bloques. Esta diferencia proviene de los enfoques y arquitecturas de las redes Ethereum y Bitcoin, siendo Solidity desarrollado para la Máquina Virtual de Ethereum. En este contexto, el estado se refiere a la instantánea acordada por 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 Ethereum emplea un estado global de la red.
Esta diferencia se refleja en el funcionamiento de los contratos inteligentes de Simplicity. Un representante de Blockstream señaló que «no depender del estado global es un gran cambio». «Cada bit de estado que tu contrato necesita debe viajar con la transacción».
Los investigadores de Blockstream indicaron que los desarrolladores familiarizados con Solidity tendrán que modificar su enfoque, dejando de leer variables accesibles globalmente y, en su lugar, proporcionando toda la información necesaria en cada paso. En este sistema, dos contratos inteligentes no pueden compartir estado ni referenciar las mismas variables; toda la información debe ser pasada explícitamente dentro de las transacciones.
A pesar de estas limitaciones, los representantes de la firma explicaron que este enfoque también tiene un impacto positivo: «Incluso si algo sale mal, solo la parte específica de tu contrato en el gráfico de transacciones se ve afectada. 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 utilizar recursión o bucles no acotados, ya que Blockstream sostiene que no son necesarios para la lógica en cadena.
El auge de lenguajes de programación específicos de dominio
Simplicity se suma a una lista creciente de lenguajes de programación de contratos inteligentes específicos de dominio. Noir, un lenguaje lanzado en 2022 para escribir y verificar pruebas de conocimiento cero (ZK-proofs), fue adoptado en 2023 por los desarrolladores de Aztec, una próxima capa 2 de Ethereum centrada en la privacidad. Noir se ha convertido en un lenguaje de programación de contratos inteligentes diseñado específicamente para aplicaciones que preservan la privacidad e integran ZK-proofs de manera profunda en su arquitectura.
Otro ejemplo es Leo, un lenguaje de programación de contratos inteligentes que también crea sistemas de ZK-proof, con una sintaxis estrechamente relacionada y un enfoque en la privacidad. Vyper, otro lenguaje de Ethereum compatible con EVM, está diseñado para reducir la superficie de ataque y es utilizado por algunos de los principales protocolos de finanzas descentralizadas (DeFi) en Ethereum.
