A BlockStream, o desenvolvedor do protocolo Layer-2 do Bitcoin e líquido e liderado pelo Bitcoin Cypherpunk Adam Back, lançou a Simplicity, uma novidade linguagem de contrato inteligente projetada para o Bitcoin.
De pacto com um pregão de quinta -feira compartilhado com a Cointelegraph, os contratos inteligentes da Simplity serão integrados ao Liquid. A empresa disse que a mudança marca um passo adiante na transformação do Bitcoin (BTC) de um armazenamento seguro de valor em uma base programável para finanças descentralizadas.
A empresa também introduziu o SimplicityHL, uma implementação de nível superior do linguagem que facilita o desenvolvimento mais fácil com o aumento da abstração.
Um representante da Blockstream disse ao Cointelegraph que esta versão do linguagem “está cá e utilizável hoje”, com um envolvente de desenvolvimento integrado fundamentado na Web, também disponível.
Uma abordagem dissemelhante para uma arquitetura dissemelhante
A simplicidade difere da linguagem de solidez do Ethereum, em grande segmento devido às diferentes arquiteturas subjacentes das duas blockchains.
Relacionado: Os pesquisadores da Starkware propõem contratos inteligentes para o Bitcoin com a ColidervM
Isso decorre de diferentes abordagens e diferentes arquiteturas das redes Ethereum e Bitcoin, com a solidez desenvolvida para a máquina virtual Ethereum. O estado é o momentâneo acordado da rede de todos os saldos de contas e dados armazenados em um determinado conjunto.
O Bitcoin utiliza a arquitetura de saída de transações não gastas (UTXO), enquanto a rede Ethereum emprega um estado em toda a rede. Essa diferença se manifesta em uma vez que os contratos inteligentes da simplicidade funcionam, com um representante de Blockstream dizendo que “não responsabilizar no estado global é uma grande mudança”. “Cada pedaço de estado que suas necessidades de contrato precisam viajar com a transação.”
Os pesquisadores da Blockstream disseram que os desenvolvedores de solidez precisarão quebrar seu hábito de ler de variáveis globalmente acessíveis e, em vez disso, fornecer todas as informações necessárias em todas as etapas. Nesse sistema, dois contratos inteligentes não podem compartilhar estado ou referência às mesmas variáveis; Tudo deve ser revalidado explicitamente nas transações. Ainda assim, os representantes da empresa explicaram que essa abordagem também tem um impacto positivo:
“Mesmo que um pouco dê falso, exclusivamente a segmento específica do seu contrato do gráfico de transações é afetada. É uma mentalidade dissemelhante em verificação com o estado global, mas, em última estudo, leva a contratos mais seguros e mais contidos por design.“
Os desenvolvedores também não poderão usar loops de recursão ou iliminação, quais reivindicações Blockstream não são necessárias para a lógica de Onchain.
Relacionado: Um mergulho profundo nas cinco plataformas populares de desenvolvimento de contratos inteligentes e em sua verificação
A subida de linguagens de programação de contratos inteligentes específicos para domínio
A simplicidade se une a uma lista crescente de linguagens de programação de contratos inteligentes específicos de domínio.
Noir, uma linguagem de programação lançado em 2022 para ortografar e verificar provas de zero e conhecimento (prova de ZK), foi adotado Em 2023, pelos desenvolvedores do próximo AZTEC da Privacy-First Ethereum Layer-2.
O NOIR se tornou uma linguagem de programação de contrato inteligente criada especificamente para aplicativos de preservação de privacidade que integram profundamente a ZK à sua arquitetura.
Outro exemplo é o Leo, uma linguagem de programação de contrato inteligente que também cria sistemas à prova de ZK com sintaxe e privacidade intimamente relacionadas.
O Vyper do Ethereum é uma linguagem patível com EVM projetada para reduzir A superfície de ataque, que agora é usada por alguns protocolos de finanças descentralizadas (DEFI) do Ethereum.
https://www.youtube.com/watch?v=tzdgwhx2xts
Revista: O ZK-Proponse está trazendo contratos inteligentes para o Bitcoin-Bitcoinos e StarkNet
