Pretty good baseline for standard smart contracts. Formal verification still expensive but AI is pretty good at writing FV tests - so the hard part is thinking what invariants are worth enforcing. If the smart contract manages risk / depends on market volatility, the bar is much higher. * Oracle design is a huge rabbit hole * Failovers on cranks / keepers, oracles resilience * Risk parameters calibration * Invariant checks --- Previously a team had to have funding + good judgement + good devs to do the above. With code becoming cheap / free, the good judgement is more and more of the differentiating factor.