O pesquisador sênior de segurança da a16z Crypto, Daejun Park, pediu que os protocolos DeFi façam a transição do princípio "o código é a lei" para "as especificações são a lei" para melhorar a segurança. Essa abordagem envolve incorporar garantias de segurança por meio de especificações padronizadas e verificações invariantes, que reverteriam automaticamente transações que violassem as regras estabelecidas. Park destacou que tais medidas poderiam prevenir muitas vulnerabilidades conhecidas, já que hackers exploraram mais de US$ 649 milhões em falhas de código no ano passado. No entanto, permanecem preocupações sobre o aumento dos custos de gás e o desafio de detectar vulnerabilidades com precisão, sem falsos positivos.