https://9dok.net/document/q2np4006-an-analysis-of-lattice-based-key-exchange-protocols.html