Everyone would just replace all their proprietary programs with dumb clients that communicate with a server. Either that, or they'd go all in on homomorphic encryption.

Only formally proven systems will be secure

Everything is open source is you speak assembly.

Secure enclaves would appear in most computers. Nothing would be run without everything being encrypted.