Reentrancy bugs are difficult to catch. This distilled, illustrative example shows how even a diligently-written contract with invariant checks can go wrong.
We just published a draft article, urging a moratorium on The DAO until some security patches can be applied.
Emin Gün Sirer
Hacker and professor at Cornell, with interests that span distributed
systems, OSes and networking. Current projects include HyperDex, OpenReplica
and the Nexus OS. more...