Daejun Park da a16z Crypto defende a mudança da segurança DeFi de 'código como lei' para 'especificação como lei' para prevenir ataques de hackers através de verificações invariantes padronizadas. No ano passado, vulnerabilidades de código resultaram em mais de $649 milhões em perdas, incluindo $128 milhões somente do Balancer. Apesar dos benefícios, existem preocupações sobre o aumento dos custos de gás e os desafios em criar regras invariantes eficazes sem falsos positivos.