Vitalik Prediz que Código Sem Erros se Tornará Realidade na década de 2030

Fonte: CoinEdition Título Original: Vitalik Prediz que Código Sem Bugs Estará Disponível na década de 2030 Link Original: https://coinedition.com/vitalik-predicts-that-bug-free-code-will-be-available-in-the-2030s/

Contratos Inteligentes e Sistemas Críticos de Segurança

Aplicações construídas como contratos inteligentes dentro de máquinas virtuais programáveis continuam a revelar uma fraqueza estrutural mais profunda no design de blockchain. Ações recentes dos operadores, incluindo uma bifurcação dura para recuperar fundos após uma exploração do Balancer, colocaram essa preocupação novamente em foco. Os operadores da rede agiram de forma decisiva, mas o evento reforçou uma questão central sobre como as blockchains devem adicionar funcionalidades de forma segura.

Segundo o c-node, um desenvolvedor zk, muita lógica de aplicação pode não pertencer a contratos inteligentes infinitamente mutáveis. Ele argumenta que apenas um conjunto limitado de contratos justifica uma existência a longo prazo e que esses componentes poderiam beneficiar de segurança na camada base e diversidade de clientes. Consequentemente, a indústria pode precisar reconsiderar se máquinas virtuais de uso geral são a forma mais segura de adicionar funcionalidades em escala.

Existem apenas 7 contratos que valem a pena serem escritos, e eles devem simplesmente ser consagrados na camada base e obter segurança através da diversidade de clientes.

Por que Bugs Persistem em Software Crítico

Bugs continuam a ser inevitáveis hoje porque os desenvolvedores ainda trocam segurança por velocidade e flexibilidade. Além disso, a complexidade do software continua a aumentar mais rápido do que a qualidade da verificação. No entanto, Vitalik Buterin espera que esse equilíbrio mude com o tempo. Ele prevê que a afirmação de que bugs são inevitáveis deixará de ser verdadeira na década de 2030.

Registrando uma previsão: “bugs são inevitáveis, você não pode fazer código sem bugs” deixará de ser verdade na década de 2030 (muitos softwares continuarão a ter bugs porque, no caso de uso deles, ganhos de funcionalidade são mais importantes, mas se você quer código sem bugs, você o terá)

Várias forças impulsionam essa mudança. Linguagens de programação agora incorporam sistemas de tipos mais robustos e regras de memória mais rigorosas. Além disso, métodos de auditoria melhoraram através de automação e testes adversariais.

Além disso, ferramentas de verificação formal cada vez mais provam a correção ao invés de presumir. Assim, o código crítico de segurança torna-se lentamente passível de prova ao invés de esperança.

De acordo com pesquisas de Buterin, a densidade de defeitos já diminuiu drasticamente sob condições extremas de engenharia. Em 1990, um programa crítico de segurança de 1.000 linhas provavelmente continha de oito a dez bugs latentes. Até 2000, equipes disciplinadas reduziram esse número para quatro. Consequentemente, até 2010, esforços de elite aproximaram os defeitos de um ou dois.

Curva de Custo da Verificação

Até 2020, equipes que gastaram um milhão de dólares por 1.000 linhas alcançaram defeitos conhecidos quase zero. No entanto, esse resultado exigiu revisão exaustiva e validação matemática.

Buterin esclareceu a suposição ao discutir resultados modernos. Ele afirmou: “isso assumindo um esforço extremo de alto nível na verificação dessas 1000 linhas, o próximo passo é que essa barreira diminua”.

Significativamente, ganhos futuros não dependerão apenas de gastar mais dinheiro. Eles virão de melhores padrões padrão. Linguagens irão prevenir automaticamente classes inteiras de bugs. Além disso, sistemas de prova irão se integrar diretamente aos fluxos de trabalho de desenvolvimento.