There are lots of cryptographical protocols with mathematical proofs that contain errors that break the security of the protocols themselves. A version MuSig in

There are lots of cryptographical protocols with mathematical proofs that contain errors that break the security of the protocols themselves. A version MuSig in Bitcoin was a protocol like that, though luckily the mistake was caught by the cryptographic community when the authors wanted to publish the proof at a conference.