I've seen bitcoin dying too many times due to theoretical attacks to write it all off for another seemingly implementation detail that can be mitigated with more attention and real life experience. no human system is formally proof, yet things somehow work