Vitalik Buterin destaca nova era de pesquisa Ethereum baseada em EVM bruto e Lean

Vitalik Buterin argumenta que a verificação formal de software, combinada com IA, pode eliminar bugs críticos em códigos de alta segurança. Para Ethereum, isto é especialmente relevante: projetos como Arklib e evm-asm já estão trabalhando em implementações formalmente verificadas de EVM e STARKs. A IA escreve código em alta velocidade; a verificação formal garante que está correto.