https://en.wikipedia.org/wiki/Royal_Saudi_Air_Force
https://www.nytimes.com/2020/05/16/us/arms-deals-raytheon-ye...
2,245 karma · joined October 17, 2012
Website: https://mrosenberg.pub Github: https://github.com/rozbb Keybase: https://keybase.io/mrosenberg Email: michael (@) mrosenberg (.) pub
[ my public key: https://keybase.io/mrosenberg; my proof: https://keybase.io/mrosenberg/sigs/dR6U3ijr9MYZyBe0ueW6L90pU8Adb817jaeWietnOH4 ]
https://en.wikipedia.org/wiki/Royal_Saudi_Air_Force
https://www.nytimes.com/2020/05/16/us/arms-deals-raytheon-ye...
Matrix supports e2ee. Though I believe the only existing implementation is Riot-IM (which actually planned on stabilizing e2ee and making it default today, Apr. 16 https://github.com/vector-im/riot-web/issues/6779).
Also the MLS protocol (https://messaginglayersecurity.rocks/) will likely support federation once it's published, although it'll be a long while before people start implementing and federating it.
Solution B ties in to a bigger argument I won't address
"reals are a field extension of ℚ. They could be considered an algebraic number field..."
This is not an algebraic extension. Pi is a "useful real number" and it is not algebraic over Q.
Cryptography rearranges power: it configures who can do what, from what. This makes cryptography an inherently political tool, and it confers on the field an intrinsically moral dimension. The Snowden revelations motivate a reassessment of the political and moral positioning of cryptography. They lead one to ask if our inability to effectively address mass surveillance constitutes a failure of our field. I believe that it does. I call for a community-wide effort to develop more effective means to resist mass surveillance. I plead for a reinvention of our disciplinary culture to attend not only to puzzles and math, but, also, to the societal implications of our work.