Tudo construído sobre o Bitcoin que você conhece hoje se deve aos primitivos que o Bitcoin Script suporta. O que quero dizer com primitivos? Os componentes básicos de uma linguagem de programação que você pode usar para construir aplicativos reais para fazer coisas. Nenhuma linguagem de programação foi projetada especificamente para uma única aplicação, ou seja, para construir um programa. Eles são projetados para oferecer suporte a primitivos básicos, como operações matemáticas para manipular dados ou criar estruturas de dados básicas para armazenar dados de uma determinada maneira ou operações para iterar os dados conforme você os manipula.
As primitivas básicas são projetadas de tal forma que os desenvolvedores podem decidir como usá-las para criar um aplicativo ou programa real. O design central da linguagem não se concentra necessariamente no que as pessoas farão com ela, apenas que os primitivos da linguagem não podem ser combinados de uma forma que 1) falhe em realizar o que o desenvolvedor está tentando realizar sem eles entendem o porquê, ou 2) realizar o que o desenvolvedor está tentando fazer de uma forma que seja prejudicial ao usuário final.
Ninguém projeta uma linguagem de programação pensando desde o início “Oh, queremos permitir que os desenvolvedores façam A, B e C, mas impedi-los completamente de fazer X, Y e Z”. (Para leitores mais técnicos aqui, estou me referindo aqui ao objetivo do que o desenvolvedor está construindo, e não a detalhes técnicos de baixo nível, como como os primitivos são combinados).
Bitcoin Script não é diferente de outras linguagens de programação, exceto em um aspecto: o que significa que uma certa combinação de primitivos é prejudicial aos usuários finais. O Bitcoin tem duas propriedades que os aplicativos de computador em geral não têm: o blockchain e o que é executado nele devem ser totalmente verificados por todos os usuários que executam um nó completo, e toda a progressão do sistema é garantida por incentivos financeiros que devem permanecer em equilíbrio. Além dessas considerações extras, o Script é como qualquer outra linguagem de programação, deve incluir quaisquer primitivos que permitam aos desenvolvedores construir coisas úteis para os usuários que não podem ser combinadas de maneiras prejudiciais aos usuários.
Todas as conversas em torno dos softforks para adicionar convênios (novos primitivos) evoluíram, pelo menos em praça pública, para exigências ridículas sobre para que serão usados. Isso não é uma coisa possível de se fazer e também não é a coisa importante em que se concentrar. O que será construído com o Script é tangencial aos riscos que precisam ser analisados, como as coisas construídas interagem com a camada base é o maior risco. Que custos irá impor e como podem ser restringidos? (Esta é uma grande parte da proposta da Grande Restauração de Script de Rusty). Como é que esses custos na camada base podem distorcer os incentivos? Esta é uma grande parte do risco de MEV.
Essas questões podem ser analisadas sem focar obsessivamente em todas as coisas possíveis que podem ser construídas com um primitivo. Os primitivos podem ser restringidos na camada base em termos de custo e complexidade de verificação. Mais importante ainda, em termos de incentivos, o que os novos primitivos permitem pode ser comparado com coisas que já são possíveis de construir hoje. Se os novos primitivos simplesmente melhorarem o modelo de confiança para os utilizadores finais de sistemas que já podem ser construídos e que têm influência sobre os incentivos do sistema, sem piorar materialmente a influência que têm sobre esses incentivos, então não há nenhum risco real introduzido.
Essas conversas precisam começar a focar no que realmente importa: novas funcionalidades versus danos ao usuário final. Eles descarrilaram quase completamente, novamente na esfera pública, e não nos círculos técnicos, em discussões sobre se os usuários finais deveriam ser autorizados a fazer coisas ou não. Essa não é a conversa que importa. O que importa é fornecer funcionalidades valiosas aos usuários finais sem criar consequências prejudiciais.
As pessoas precisam se concentrar nos primitivos, e não nos gansos selvagens que ouvem à distância.
Este artigo é um Pegar. As opiniões expressas são inteiramente do autor e não refletem necessariamente as da BTC Inc ou da Bitcoin Magazine.
Fonte: bitcoinmagazine.com