Of course there can be flaws. WPA2 was famously proven correct, but that didn't stop KRACK.

This still dramatically raises the bar. EVM has a variety of very fun footguns and formal verification can help you dodge lots of these.