Compass Investments

-O desenvolvimento do Ethereum tem o potencial de entrar numa fase estrutural diferente. Vitalik Buterin mencionou recentemente que a inteligência artificial está a acelerar significativamente o processo de codificação e verificação dentro do ecossistema, o que poderia potencialmente acelerar o plano de desenvolvimento do Ethereum e aumentar a sua segurança para além das expectativas anteriores.

ão se trata apenas de aumentar o ritmo de criação de código. Trata-se de uma mudança mais profunda nas restrições da própria engenharia de software: o custo do código está a diminuir, enquanto a especificação e a verificação estão a tornar-se grandes gargalos.

Para um protocolo de segurança crítica como o Ethereum, isto é um fator de mudança.

É uma experiência notável. A capacidade de codificar todo o plano 2030 numa questão de semanas.

o passado, a criação de protocolos era limitada pela produtividade humana. Escrever, auditar, testar e verificar rigorosamente o código criptográfico e de consenso é um trabalho moroso e altamente especializado.

A IA altera este quadro de duas formas:Os programadores podem agora criar protótipos de arquitecturas, implementações concretas e testes para situações extremas com uma rapidez muito superior. Vitalik observou que mesmo os modelos locais podem gerar software complexo em minutos, uma capacidade que era impensável há apenas alguns meses.

A consequência disto é uma redução drástica dos ciclos de alteração de protocolos.

À medida que a velocidade de geração de código aumenta, a precisão torna-se o fator limitante. O código gerado por IA não está isento de falhas, inconsistências e secções incompletas. No entanto, as mesmas ferramentas permitem-lhe expandir o âmbito da verificação.

Vitalik destacou dois aspectos positivos principais da segurança:

As iniciativas de verificação formal, como o Lean, visam provar matematicamente a correção de partes de um protocolo. A IA pode ajudar na construção de provas, explorando casos extremos e confirmando a consistência lógica de todas as implementações.

Isto aproxima o Ethereum de um objetivo há muito desejado: criar componentes de protocolo com segurança comprovada.

A iniciativa Lean Ethereum procura formalizar matematicamente e verificável por máquina os principais pressupostos criptográficos e de protocolo do Ethereum. Essa abordagem trata a segurança do protocolo como um teorema em vez de um axioma.

Testes recentes mostram que a IA é agora capaz de ajudar a produzir provas verificáveis por máquina para teoremas complexos relacionados com o STARK – tarefas que anteriormente exigiam uma enorme quantidade de trabalho de formalização manual.