a16z Crypto's senior security researcher, Daejun Park, has called for DeFi protocols to transition from the "code is law" principle to "specifications are law" to enhance security. This approach involves embedding security guarantees through standardized specifications and invariant checks, which would automatically revert transactions violating set rules. Park highlighted that such measures could prevent many known vulnerabilities, as hackers exploited over $649 million in code flaws last year. However, concerns remain about increased gas costs and the challenge of accurately detecting vulnerabilities without false positives.