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

Los contratos inteligentes pronto podrían recibir un impulso en Bitcoin , ya que el destacado programador Pieter Wuille ha presentado un nuevo lenguaje de codificación diseñado específicamente para su uso.

Publicado para el desarrollador de Bitcoin lista de correoEl lunes, el lenguaje «Miniscript» busca facilitar a los programadores la creación de «contratos inteligentes» o condiciones para gastar bitcoins. Los programadores Wuille, Andrew Poelstra y Sanket Sanjalkar llevan trabajando en el código aproximadamente un año, según Wuille.

Aunque se ha compartido entre bastidores, Wuille dijo que ahora lo está publicando en la lista de correo electrónico porque ha llegado a "una etapa en la que me gustaría obtener más atención".

Retrocediendo un BIT, "Script" es el lenguaje de contratos inteligentes de Bitcoin, que permite a los usuarios especificar ciertas condiciones que deben cumplirse antes de poder gastar el Bitcoin . Por ejemplo, los fondos se bloquean hasta cierto tiempo antes de poder gastarlos. O bien, dos personas deben firmar una transacción antes de poder transferir el dinero, un concepto llamado "multifirma".

Esta programabilidad es novedosa cuando se trata de dinero digital, ya que antes de Bitcoin, no era posible implementar tales reglas sin confiar en un banco o un tipo similar de intermediario en el medio.

"Miniguión, por otro lado, se basa en este lenguaje de programación, mejorándolo en varios aspectos. ONE es que es más fácil de analizar y razonar, como argumentó Wuille con un ejemplo: «Eso permite que A tome las monedas en cualquier momento y que B lo haga después de [un] día».

Así es como se implementan estas reglas en el Script de Bitcoin:

OP_CHECKSIG OP_IFDUP OP_NOTIF OP_DUP OP_HASH160 <hash160(B)>

OP_EQUALVERIFY OP_CHECKSIGVERIFY <144> OP_CSV OP_ENDIF

Luego, lo mismo en Minscript:

o_d(c:pk(A),y_v(vc:pk_h(B),más antiguo(144)))

Miniscript se basa en Script y es capaz de "compilarse" en el lenguaje nativo de Bitcoin.

El nuevo lenguaje está recibiendo elogios de los desarrolladores de la comunidad. El ingeniero de Blockstream Lightning, Rusty Russell, por ejemplo,tuiteóEsta será una de esas tecnologías que te harán pensar: '¡¿Cómo demonios lo hacíamos antes?!'. Nada atractiva y vital.

Existen muchos casos de uso potenciales, como facilitar la implementación de scripts tan complejos en la billetera, como tuiteó Eric Lombrozo. O, como el educador de Bitcoin Jimmy Song, descritoIncluso podría usarse para apuntalar la red de rayos.

Pensándolo en el contexto más amplio de los lenguajes de blockchain, Song comentó que el lenguaje de contratos inteligentes se diferencia del lenguaje Solidity de Ethereum, porque mientras Ethereum permite escribir muchos más tipos de contratos inteligentes, Miniscript en realidad reduce las posibilidades.

Song sostiene que esto es mejor porque reduce la "complejidad" y la "superficie de ataque".

En esta versión se incluyen dos implementaciones funcionales, en los lenguajes de programación C++ y Rust, que Wuille llamó un "trabajo en progreso" y agregó:

"Mediante pruebas aleatorias a gran escala, tenemos confianza en que el diseño del lenguaje y los testigos asociados son compatibles con las reglas de consenso y estandarización existentes".

Imagen de Wuille vía archivos de CoinDesk