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 por meio de verificações invariantes padronizadas. No ano passado, as vulnerabilidades de código levaram a mais de $649 milhões em perdas, incluindo $128 milhões apenas 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.