NOT KNOWN FACTUAL STATEMENTS ABOUT TELEGRAM

Lastly, they skilled their summary with the caveat that "Qualities must be formally proved in order to deem MTProto 2.0 certainly secure. This proof cannot be accomplished inside a symbolic product like ProVerif's, but it might be accomplished in a very computational design, making use of applications like CryptoVerif or EasyCrypt."频道：频道�