Vitalik Buterin: IA impulsionará verificação formal de pilha completa e favorecerá a defesa em cibersegurança

Vitalik Buterin afirmou que o avanço da IA não significa o fracasso da cibersegurança. Segundo ele, a IA permitirá definir propriedades de segurança de programas complexos como proposições matemáticas verificáveis. A estratégia foca em aplicar a IA para verificar toda a pilha de software, incluindo redes, bancos de dados e camadas de cache, aumentando a resiliência do sistema desde a origem. A Ethereum (ETH) planeja seguir essa direção nos próximos anos para fortalecer a segurança de suas funções de escalabilidade e privacidade.