I’m definitely more likely to trust open source. Generally the more eyes on it the better, I still think even one vulnerability could potentially be catastrophi

I’m definitely more likely to trust open source. Generally the more eyes on it the better, I still think even one vulnerability could potentially be catastrophic though. That microsoft link looks really interesting, I don’t understand automated theorem proving and crypto enough to see how it would work even with untrusted hardware (although it does say it can be run on any third party system)