[skywhopper]

"Provable" algorithms aren't all they are cracked up to be, see the Krack attack on WPA2. The algorithm may well be perfect. But everything around it is still attackable.