If even such a simple case as escrow accounts can cause these kinds of bugs in ones intuition—and this probably gets much worse for people less versed in correctness proofs—then it seems sensible that people don’t do big The DAO style constructions upfront but start using a limited number of small protocols for small transactions.
If even such a simple case as escrow accounts can cause these kinds of bugs in ones intuition—and this probably gets much worse for people less versed in correctness proofs—then it seems sensible that people don’t do big The DAO style constructions upfront but start using a limited number of small protocols for small transactions.