Vitalik diz que a IA não vai destruir a cibersegurança — ela também pode provar matematicamente que o código é seguro, não apenas encontrar bugs

$ETH está construindo uma base para verificação formal de bases de código inteiras. Vitalik tão confiante que mantém ~90% do seu patrimônio líquido em cripto

$ONE

$FLNC