Daejun Park, investigador principal de seguridad de a16z Crypto, ha solicitado que los protocolos DeFi pasen del principio "el código es la ley" a "las especificaciones son la ley" para mejorar la seguridad. Este enfoque implica incorporar garantías de seguridad mediante especificaciones estandarizadas y verificaciones invariantes, que revertirían automáticamente las transacciones que violen las reglas establecidas. Park destacó que tales medidas podrían prevenir muchas vulnerabilidades conocidas, ya que los hackers explotaron más de 649 millones de dólares en fallos de código el año pasado. Sin embargo, persisten preocupaciones sobre el aumento de los costos de gas y el desafío de detectar vulnerabilidades con precisión sin falsos positivos.