Daejun Park, leitender Sicherheitsforscher bei a16z Crypto, hat gefordert, dass DeFi-Protokolle vom Prinzip "Code ist Gesetz" zum Prinzip "Spezifikationen sind Gesetz" übergehen sollten, um die Sicherheit zu verbessern. Dieser Ansatz beinhaltet die Einbettung von Sicherheitsgarantien durch standardisierte Spezifikationen und Invariantenprüfungen, die automatisch Transaktionen zurücksetzen würden, die gegen festgelegte Regeln verstoßen. Park betonte, dass solche Maßnahmen viele bekannte Schwachstellen verhindern könnten, da Hacker im letzten Jahr über 649 Millionen US-Dollar durch Codefehler ausgenutzt haben. Dennoch bestehen Bedenken hinsichtlich erhöhter Gas-Kosten und der Herausforderung, Schwachstellen ohne Fehlalarme genau zu erkennen.