Evercrypt Isn't a Perfectly Secure Soft Ware

A clever adversary can monitor how long you are computing for and decide, oh, i've learned alllb about your secret. Side channel attacks were behind several of the most notorious hacking attacks in recent years. Even a verified cryptographic library has to work together with a host of other soft ware that's typically not verified. These include operating systems and many common desk top applications.