[zaphar]

I think the case that they are inescapable risks is pretty strong. I think the history of formal design and software engineering is pretty clear that the designing a foolproof system is effectively and practically speaking impossible except for extremely small, extremely isolated problem spaces.

I don't think smart contracts are in that space and I don't think any level of maturity is going to get you there.