Vitalik Buterin: Código sem erros pode tornar-se realidade na década de 2030

Vitalik Buterin acredita que código-fonte verdadeiramente livre de erros pode tornar-se viável na década de 2030, pelo menos para os desenvolvedores que colocam a segurança em primeiro lugar. Esta afirmação foi feita após o hard fork controverso da Gnosis Chain em dezembro de 2024, com o objetivo de recuperar 9,4 milhões de dólares perdidos no ataque ao Balancer.

Diante das críticas relacionadas à imutabilidade da blockchain e à construção de smart contracts, Buterin enfatiza que “verificação formal” não equivale a “provar ausência de erros”. Ele acredita que um código completamente livre de erros pode ser algo inatingível, pois os erros derivam da distância entre a intenção humana e a forma como o código é executado—enquanto a intenção é altamente complexa e difícil de captar.

No entanto, Buterin acredita que é possível reduzir significativamente os erros adotando múltiplas camadas de proteção, como sistemas de tipos fortes, verificação formal seletiva, mecanismos de backup e testes rigorosos. Para os desenvolvedores que priorizam a segurança, um futuro “quase livre de erros” está totalmente ao alcance.