Pieter Wuille revela 'Miniscript', uma nova linguagem de contrato inteligente para Bitcoin

Os contratos inteligentes podem em breve ganhar um impulso no Bitcoin , já que o renomado programador Pieter Wuille revelou uma nova linguagem de codificação projetada especificamente para seu uso.

Postado para o desenvolvedor Bitcoin lista de discussãoSegunda-feira, a linguagem 'Miniscript' visa tornar mais fácil para programadores escreverem "contratos inteligentes" ou condições para gastar bitcoins. Os programadores Wuille, Andrew Poelstra e Sanket Sanjalkar têm trabalhado no código por aproximadamente um ano, disse Wuille.

Embora tenha sido compartilhado nos bastidores, Wuille disse que agora está publicando na lista de e-mail porque chegou "a um estágio em que gostaria de receber mais atenção".

Voltando um BIT, "Script" é a linguagem de contrato inteligente em Bitcoin, que permite que os usuários especifiquem certas condições que precisam ser atendidas antes que o Bitcoin possa ser gasto. Digamos que os fundos são bloqueados até um certo tempo antes que possam ser gastos. Ou, duas pessoas precisam assinar uma transação antes que o dinheiro possa ser movido, um conceito chamado "multi-sig".

Essa programabilidade é nova quando se trata de dinheiro digital, pois antes do Bitcoin T era possível implementar tais regras sem confiar em um banco ou um tipo similar de intermediário no meio.

"Miniscript," por outro lado, constrói em cima dessa linguagem de programação, melhorando-a de várias maneiras. Uma ONE é que é um BIT mais fácil de olhar e raciocinar sobre, como Wuille argumentou com um exemplo que "permite que A pegue as moedas a qualquer momento, e B depois de [um] dia."

Veja como essas regras são implementadas no Script do bitcoin:

OP_CHECKSIG OP_IFDUP OP_NOTIF OP_DUP OP_HASH160 <hash160(B)>

OP_EQUALVERIFY OP_CHECKSIGVERIFY <144> OP_CSV OP_ENDIF

Então, a mesma coisa no Minscript:

ou_d(c:pk(A),e_v(vc:pk_h(B),mais antigo(144)))

O Miniscript é baseado no Script, capaz de "compilar" para a linguagem nativa do bitcoin.

A nova linguagem está recebendo aplausos de desenvolvedores na comunidade. O engenheiro de relâmpagos da Blockstream Rusty Russell, por exemplo,tweetou: "Esta será uma daquelas tecnologias do tipo 'Como diabos fazíamos isso antes?'. Nada sexy e vital."

Há muitos casos de uso em potencial, como facilitar a implementação de scripts tão complexos na carteira, como Eric Lombrozo tuitou. Ou, como o educador de Bitcoin Jimmy Song descrito, ele poderia até mesmo ser usado para sustentar a rede lightning.

Pensando nisso no contexto mais amplo das linguagens de blockchain, Song comentou que a linguagem de contrato inteligente difere da linguagem Solidity do Ethereum, porque enquanto o Ethereum torna possível escrever muito mais tipos de contratos inteligentes, o Miniscript na verdade reduz as possibilidades.

Song argumenta que isso é melhor porque reduz a "complexidade" e a "superfície de ataque".

Incluídas nesta versão estão duas implementações funcionais, nas linguagens de programação C++ e Rust, que Wuille chamou de "trabalho em andamento", acrescentando:

"Por meio de testes randomizados em larga escala, temos certeza de que o design da linguagem e as testemunhas associadas são compatíveis com as regras de consenso e padronização existentes."

Imagem Wuille via arquivos CoinDesk