Desenvolvedores da Blockstream apresentam linguagem de programação Simplicity para contratos inteligentes

O desenvolvidor da Blockstream, Russell O’Connor, publicou o White Paper para Simplicity, uma nova linguagem de programação destinada a ser uma alternativa às linguagens existentes usadas na criação de contratos inteligentes. Acredita-se que a Simplicity pode ser implementada ao longo do tempo no protocolo do Bitcoin através do mecanismo do softfork.

Dr. Russell O’Connor introduces #Simplicity, a new programming language for smart contracts on the #blockchain. https://t.co/aiTZENJ1My

— Blockstream (@Blockstream) 30 de outubro de 2017

Conforme o blog Blockstream, a Simplicity é baseada no algoritmo de computação sequencial e oferece várias melhorias importantes, sendo a principal, a extensão dos recursos da linguagem.

Como descrito na apresentação da Simplicity, “um dos problemas do Bitcoin Script – linguagem da programação do Bitcoin –, é que, mesmo no estágio inicial, alguns opcodes foram desativados. Por exemplo, no Bitcoin Script, você pode somente adicionar números, mas não pode multiplicá-los“.

Entre outras características importantes apontadas pela Blockstream, está o um aumento do nível de segurança. Conforme Turing, Simplicity é uma linguagem incompleta que fornece uma limitação de uma chamada recursiva, proteção contra ciclos intermináveis e permite fazer uma análise estática de código.

Além disso, a Simplicity tem suporte embutido para as árvores Merkle de sintaxe abstratas.

Juntos, todos esses fatores permitem a criação de um código mais seguro, eficiente e funcional para contratos inteligentes.

Uma análise mais detalhada da Simplicity será publicada no futuro próximo. Enquanto isso, você pode se familiarizar com seu White Paper.