Has Bitcoin been subjected to serious academic research? Quickly scanning this bibliography [1], at least, I don't see many top ACM conferences.
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.