Vitalik rebate mais uma vez “Hackers de IA deixam a segurança da rede sem solução”: a segurança naturalmente favorece o lado da defesa, desde que os métodos sejam bem feitos. Ele imagina que a IA não apenas procura vulnerabilidades, mas trata “a segurança deste programa” como um teorema matemático a ser provado; o ponto não é quão difícil é provar equações, e sim como definir segurança de um jeito suficientemente amplo, legível e combinável, evitando deixar de fora superfícies de ataque como protocolos de mensagens, sandboxes, SNARK e FHE.
O que realmente chama atenção é a tese mais ousada: verificação formal não pode cobrir apenas os módulos centrais; banco de dados, rede, cache também precisam ser verificados, ou seja, “todos os programas”. Antes isso soava idealista, mas a IA está tornando isso mais executável.
Não é que as “pessoas do bem” cavem buracos mais rápido do que os “maus”; é que o sistema, desde o início, fica mais difícil de ser comprometido. Sem essa camada, a escalabilidade e as cadeias de privacidade não vão muito longe; nos próximos anos, o Ethereum aposta nessa via. Vitalik também diz que cerca de 90% do seu patrimônio líquido líquido ainda está em ativos cripto — o que, por si só, é uma aposta de longo prazo em favor do lado da defesa.
#以太坊 #网络安全 #AI
O que realmente chama atenção é a tese mais ousada: verificação formal não pode cobrir apenas os módulos centrais; banco de dados, rede, cache também precisam ser verificados, ou seja, “todos os programas”. Antes isso soava idealista, mas a IA está tornando isso mais executável.
Não é que as “pessoas do bem” cavem buracos mais rápido do que os “maus”; é que o sistema, desde o início, fica mais difícil de ser comprometido. Sem essa camada, a escalabilidade e as cadeias de privacidade não vão muito longe; nos próximos anos, o Ethereum aposta nessa via. Vitalik também diz que cerca de 90% do seu patrimônio líquido líquido ainda está em ativos cripto — o que, por si só, é uma aposta de longo prazo em favor do lado da defesa.
#以太坊 #网络安全 #AI