A Blockstream, desenvolvedora do protocolo de camada 2 do Bitcoin Liquid e liderada pelo cypherpunk do Bitcoin Adam Back, lançou o Simplicity, uma nova linguagem de contrato inteligente projetada para o Bitcoin.
De acordo com um anúncio feito na quinta-feira e compartilhado com a Cointelegraph, contratos inteligentes Simplicity serão integrados ao Liquid. A empresa disse que a mudança marca um avanço na transformação do Bitcoin (BTC) de um armazenamento seguro de valor em uma fundação programável para finanças descentralizadas.
A empresa também apresentou o SimplicityHL, uma implementação de nível mais alto da linguagem que facilita o desenvolvimento mais fácil com maior abstração.
Um representante da Blockstream disse à Cointelegraph que esta versão da linguagem “está aqui e utilizável hoje”, com um ambiente de desenvolvimento integrado baseado na web também disponível.
Uma abordagem diferente para uma arquitetura diferente
Simplicity difere da linguagem Solidity da Ethereum, em grande parte devido às diferentes arquiteturas subjacentes das duas blockchains.
Isso decorre de diferentes abordagens e diferentes arquiteturas das redes Ethereum e Bitcoin, com Solidity desenvolvida para a Máquina Virtual Ethereum. O estado é a instantânea acordada da rede de todos os saldos de contas e dados armazenados em um determinado bloco.
O Bitcoin utiliza a arquitetura de saída de transação não gasta (UTXO), enquanto a rede Ethereum emprega um estado em toda a rede. Essa diferença se manifesta na forma como os contratos inteligentes Simplicity funcionam, com um representante da Blockstream dizendo que “não depender do estado global é uma grande mudança.” “Cada pedaço de estado que seu contrato precisa deve viajar com a transação.”
Pesquisadores da Blockstream disseram que os desenvolvedores de Solidity precisarão quebrar o hábito de ler de variáveis acessíveis globalmente e em vez disso fornecer todas as informações necessárias em cada etapa. Em tal sistema, dois contratos inteligentes não podem compartilhar estado ou referenciar as mesmas variáveis; tudo deve ser explicitamente passado dentro das transações. No entanto, os representantes da empresa explicaram que essa abordagem também tem um impacto positivo:
“Mesmo que algo dê errado, apenas a parte específica do seu contrato do gráfico de transações é afetada. É uma mentalidade diferente em comparação com o estado global, mas isso acaba levando a contratos mais seguros e contidos por design.”
Os desenvolvedores também não poderão usar recursão ou loops não limitados, que a Blockstream afirma não serem necessários para a lógica on-chain.
A ascensão de linguagens de programação de contratos inteligentes específicas de domínio
Simplicity se junta a uma lista crescente de linguagens de programação de contratos inteligentes específicas de domínio.
Noir, uma linguagem de programação lançada em 2022 para escrever e verificar provas de conhecimento zero (ZK-proofs), foi adotada em 2023 pelos desenvolvedores da próxima camada 2 do Ethereum focada em privacidade, Aztec.
Noir se tornou uma linguagem de programação de contratos inteligentes construída especificamente para aplicações que preservam a privacidade e integram provas ZK profundamente em sua arquitetura.
Outro exemplo é o Leo, uma linguagem de programação de contratos inteligentes que também cria sistemas de prova ZK com sintaxe intimamente relacionada e foco na privacidade.
O Vyper da Ethereum é uma linguagem compatível com EVM projetada para reduzir a superfície de ataque, que agora é usada por alguns dos principais protocolos de finanças descentralizadas (DeFi) da Ethereum.
