A16z Crypto wants DeFi to ditch ‘code is law’ for ‘spec is law’ to combat $649m exploit problem – DL News
- DeFi protocols must adopt a more principled approach to security to mature.
- They could use standardised specifications that constrain what a protocol is allowed to do.
- Many protocols are already adopting so-called invariant checks.
DeFi protocols must move beyond “patch-after-the-hack” security and hard-code safety guarantees into their software if the $168 billion sector is to mature, according to a16z Crypto.
In a January 11 post, Daejun Park, a senior security researcher at the firm, argued that DeFi developers should adopt a more principled approach to security instead of relying on trial and error.
At the core of that shift, Park said, is the use of standardised specifications that constrain what a protocol is allowed to do, and…




