Vitalik Buterin argues that security is about closing the gap between user intent and system behavior through overlapping ...