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

2025-12-25 03:11:35

Geração de resumo em curso

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.

GNO1,1%

BAL-0,58%

Ver original

Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.