En 2017, Blockstream se propuso desarrollar un lenguaje de contratos inteligentes que superara a Bitcoin Script y EVM, ofreciendo más expresividad con mayores garantías de seguridad. Ocho años después, creemos que lo hemos logrado. Presentamos Simplicity. 🧵

La simplicidad no es como Solidity, o la mayoría de los lenguajes de programación modernos, que son completos de Turing. En cambio, el lenguaje fue diseñado para expresar cualquier función finita mientras evita los riesgos asociados con bucles no acotados y el estado global.

La simplicidad proporciona a los desarrolladores una alta confianza en sus aplicaciones, permitiéndoles conocer todos los resultados potenciales y los costos de las tarifas antes de la ejecución. El reciente hackeo de Bybit ilustra los riesgos de incluir características como la recursión y el estado global.

Con la llegada de Simplicity, tenemos por primera vez una base limpia para aplicaciones financieras serias, sin la complejidad y el mosaico de riesgos que definieron la última era de DeFi.

¿Quieres construir convenios, bóvedas y esquemas de delegación? Ahora puedes en @Liquid_BTC. ¿Quieres crear derivados, billeteras agrupadas o DEXs sin tokens? Eso también es posible.

La simplicidad en @Liquid_BTC es solo el comienzo. Con la retroalimentación de la comunidad, el uso en el mundo real, y más herramientas, documentación, soporte de billeteras y contratos de ejemplo, nuestro próximo gran objetivo es activar en una red de prueba de Bitcoin. Comienza hoy.