Vitalik: verificação formal com IA será a "forma final" do código
A formulação de Buterin eleva uma disciplina de segurança de nicho para um fluxo de trabalho padrão em Ethereum, ZK e criptografia — com a ressalva de que código verificado ainda não é à prova de bala.