Visão 'Regras como Lei' da a16z: Como a Verificação Formal Assistida por IA e as Proteções em Tempo de Execução Estão Remoldando a Segurança do DeFi
Em dezembro de 2025, pesquisadores da Anthropic direcionaram um agente de IA para 405 contratos inteligentes explorados no mundo real. O agente produziu exploits funcionais para 207 deles — 51 % — drenando 1,22.
Esse único ponto de dados captura a crise existencial que as finanças descentralizadas enfrentam em 2026. Os $ 3,4 bilhões perdidos em ataques de cripto em 2025 não foram uma falha de esforço — a maioria dos protocolos atacados havia sido auditada, alguns várias vezes. Foi uma falha de paradigma. E agora, a a16z Crypto está propondo uma substituição radical: abandonar "o código é a lei" e adotar "a especificação é a lei", onde propriedades de segurança matematicamente comprovadas e salvaguardas em tempo de execução tornam a maioria dos exploits estruturalmente impossíveis.