Le chercheur principal en sécurité chez a16z Crypto, Daejun Park, a appelé les protocoles DeFi à passer du principe « le code fait loi » à « les spécifications font loi » afin d'améliorer la sécurité. Cette approche consiste à intégrer des garanties de sécurité via des spécifications standardisées et des vérifications d'invariants, qui annuleraient automatiquement les transactions enfreignant les règles établies. Park a souligné que de telles mesures pourraient prévenir de nombreuses vulnérabilités connues, les hackers ayant exploité plus de 649 millions de dollars de failles dans le code l'année dernière. Cependant, des inquiétudes subsistent concernant l'augmentation des coûts en gas et la difficulté de détecter avec précision les vulnérabilités sans faux positifs.