Many academics are deeply fascinated by Bitcoin. The lack of formal proofs has many reasons, not the least of which is that there is no security definition tha

Many academics are deeply fascinated by Bitcoin. The lack of formal proofs has many reasons, not the least of which is that there is no security definition that one could base a proof on. Coming up with a good security definition is going to be a major undertaking. Last year's Turing award was given for the security definition of something much simpler.