Escribir contratos inteligentes de Bitcoin será más fácil con un nuevo lenguaje de codificación

Los contratos inteligentes de Bitcoin son una bestia difícil de domar, pero un nuevo lenguaje está haciendo que sea más fácil escribirlos, democratizándolos en cierto sentido..

Los contratos inteligentes pueden (entre otras cosas) permitir a los usuarios establecer reglas adicionales en susBitcoin, requiriendo que se cumplan estas reglas antes de que se puedan desbloquear los fondos.Minsc, creado por el desarrollador de Bitcoin Nadav Ivgi, es un nuevo lenguaje de programación que facilita a los desarrolladores la creación de este tipo de contratos para que puedan integrarlos en billeteras de Bitcoin y otras aplicaciones con mayor facilidad.

ONE de los objetivos de Minsc es hacer que los contratos inteligentes sean más accesibles para más personas, según declaró Ivgi a CoinDesk. Esto significa que tanto desarrolladores como usuarios pueden aprovechar las herramientas desarrolladas por ellos mismos.

Nivel ONE: Contratos inteligentes de 'script'

Los contratos inteligentes fueron descritos por primera vez por Nick Szabo en la década de 1990. Él teorizó una forma de automatizar los contratos legalmente vinculantes celebrados entre personas.

Ejemplos típicos de contratos inteligentes en Bitcoin incluyen no permitir el gasto de 0,1 BTC hasta 2021 o requerir la aprobación de más de una persona para una transacción antes de que el dinero pueda transferirse. Los contratos inteligentes también impulsan las segundas capas del protocolo Bitcoin , como la Red Lightning, lo que podría ayudar a la expansión de Bitcoin para llegar a más usuarios.

Hasta ahora, Bitcoin Script es el lenguaje que hace posibles estos contratos.

El problema es que trabajar con Bitcoin Script es complicado. Es diferente a otros lenguajes de programación más populares a los que los desarrolladores están acostumbrados, lo que dificulta su comprensión y escritura. Esta falta de comprensión también facilita la comisión de errores, lo que podría poner en riesgo a Bitcoin .

La complejidad de Bitcoin Script fue ONE de los factores que llevaron a Vitalik Buterin a diseñar la plataforma Ethereum . Solidity, el primer lenguaje de contratos inteligentes de Ethereum, se diseñó para que los desarrolladores lo leyeran y, por lo tanto, lo usaran con mayor facilidad. Y ha dado sus frutos: Ethereum se ha convertido en la plataforma predilecta para los desarrolladores de contratos inteligentes.

Sigue leyendo: ¿Cómo funcionan los contratos inteligentes de Ethereum ?

Nivel dos: Miniscript

Miniscript, publicado en 2019 por Pieter Wuille, Andrew Poelstra y Sanket Kanjalkar en Blockstream Research,va resolviendo este problema para Bitcoin.

Sigue leyendo: Pieter Wuille presenta 'Miniscript', un nuevo lenguaje de contratos inteligentes para Bitcoin

"Una razón por la que no estamos ni cerca de utilizar todo el potencial de Script es que, en realidad, construir scripts para tareas no triviales es engorroso. Es difícil verificar su corrección y seguridad, y aún más difícil encontrar la forma más económica de escribir cosas", escribieron Wuille y Poelstra en un entrada de blogPresentamos Miniscript en septiembre del año pasado.

Miniscript ofrece un lenguaje más fácil de entender que Script, con garantías de seguridad integradas.

Además, si hay dos formas diferentes de redactar el mismo contrato en Script, Miniscript puede evaluar ONE es "más económica".

Finalmente, la computadora compila (o convierte) Miniscript a Bitcoin Script, que es en lo que en última instancia se debe escribir el código para bloquear con éxito el Bitcoin real con estas restricciones adicionales.

Nivel tres: Minsc

Minsc es el tercer nivel del CAKE. Se basa en Miniscript, aprovechando sus propiedades de seguridad, pero creando un lenguaje aún más fácil de leer y entender para los desarrolladores que Miniscript.

"El enfoque de Minsc se centra en la usabilidad y en facilitar la expresión, la comprensión y el razonamiento sobre scripts, utilizando una sintaxis simple y familiar. Añade funciones de conveniencia adicionales y 'azúcar sintáctica'", explicó Ivgi a CoinDesk.

"Azúcar sintáctico" es un término de programación que se refiere a agregar a un lenguaje otra forma más sencilla y abreviada de ejecutar una tarea que normalmente es más difícil de escribir.

Entonces Minsc no agrega nada nuevo al Script, sólo lo hace más fácil de usar.

"No te permite hacer nada que Miniscript no haga ya, de manera similar a lo que hace Miniscript en relación con Bitcoin Script", dijo Ivgi.

Contratos inteligentes de Bitcoin y Minsc: ¿Hacia dónde se dirigirán a continuación?

Minsc podría facilitar a los desarrolladores la compatibilidad con diversos contratos inteligentes. «El público objetivo principal son los desarrolladores que buscan crear aplicaciones que utilicen Bitcoin Script de forma interesante y avanzada», añadió Ivgi.

Sigue leyendo: RIF lanza una red de capa 3 para escalar contratos inteligentes y tokens basados en Bitcoin

Si más desarrolladores logran eventualmente agregar soporte para estos contratos inteligentes, más usuarios (quizás incluso sin saberlo) también podrán usar estos contratos más complejos.

"Sin embargo, inicialmente preveo que su uso será principalmente experimental y educativo. Minsc puede ser una herramienta excelente para quienes buscan comprender mejor Bitcoin Script, así como para docentes que enseñan los aspectos técnicos de Bitcoin", afirmó Ivgi.

Ivgi aún está en proceso de añadir otras funciones al lenguaje. Es probable que las capacidades de contratación inteligente de Bitcoin se expandan aún más.como con TaprootUna posible mejora en el horizonte de Bitcoin. Minsc estará presente para facilitar la creación de estos contratos.