Adam Back apresenta proposta de atualização da linguagem de programação do Bitcoin

0


Os desenvolvedores de Bitcoin têm trabalhado nos últimos quatro anos em um “sistema de script de substituição Bitcoin de próxima geração que é totalmente geral. Você pode programar scripts e programas geralmente arbitrários. ”

É o que diz Adam Back ao apresentar o Simplicity, uma linguagem de programação em nível de máquina desenvolvida por Russell O'Connor com a ajuda de Andrew Poelstra, enquanto Gregory Maxwell o testa, todos os quatro desenvolvedores de protocolo de bitcoin, com Back como CEO da Blockstream, bitcoin e blockchain dev studio.

“O nível mais baixo é a máquina de nível de bits da linguagem Assembly. Mas a partir disso são construídas várias funções intrínsecas de nível superior ”, diz Back, com funções de nível superior chamadas jatos.

Se você conhece os contratos inteligentes da ethereum, o código que você pode ler no etherscan deve ser transformado em código de bytes para que as máquinas o entendam.

A simplicidade é basicamente esse bytecode, como 0101101, com uma linguagem de nível superior legível por humanos e, em seguida, rodando sobre ela, como mostrado acima em Haskell.

Os jatos são uma espécie de modelos, ou uma biblioteca, com uma demonstração mostrando uma transação de envio simples.

Jatos de simplicidade, abril de 2020

Isso intencionalmente não é Turing completo, com isso aparentemente limitado a verificar se algo é verdade. Back diz:

“Se o Bitcoin tivesse a Simplicity hoje, você seria capaz de implementar o Schnorr na própria Simplicity sem precisar de um garfo macio. Mostra a generalidade da simplicidade em termos de sua expressividade.

Outros exemplos incluem uma extensão de forquilha flexível específica que estaria disponível para o Lightning chamada SIGHASH_NOINPUT ou alternativas.

Em algum momento, isso também seria necessário para que o Bitcoin for Lightning funcionasse com mais eficiência, a versão eltoo do Lightning. Se o Bitcoin tivesse simplicidade hoje, você poderia implementar o NOINPUT diretamente na linha. ”

Schnorr é um método de compressão de assinatura e você pode ver acima que é apenas um jato no Simplicity. Back diz:

“O núcleo da simplicidade é completo em termos da funcionalidade do intérprete, da capacidade de avaliar as coisas.

Mas há algumas coisas que estão faltando. Estimativas de recursos do tempo de execução e memória dos recursos. Algumas melhorias anti-negação de serviço.

Existe um formato binário, mas podemos concluir que vamos nos comprometer a manter a compatibilidade binária.

Muito mais jatos e provas de equivalência aos programas Simplicity da versão Simplicity dos jatos.

Mais provas, mais jatos para que haja uma ampla biblioteca de jatos compostos de coisas comuns que são usadas no próximo nível dentro de um nó completo do Bitcoin. ”

Eles esperam terminar tudo isso até o final do ano, quando for lançado no Liquid, a cadeia lateral permitida do bitcoin.

Então, pode levar algum tempo para que isso se transforme em bitcoin, mas muito mais programação está chegando à moeda descentralizada no nível do protocolo para estender seus recursos ao ponto “você pode criar limites de velocidade diretamente no esquema de armazenamento para poder não precisa fazer distinção entre carteira quente e carteira fria e reequilíbrio. ”

Direitos autorais PapoBitcoin.com



Leave A Reply

Your email address will not be published.