A group of researchers from the University of London and ETH Zurich conducted a formal analysis of the Telegram MTProto protocol. The central result of the investigation was that MTProto can provide a confidential and integrity-protected channel if special care is taken when implementing the protocol. The researchers also highlighted several traits of MTProto that were changed as the result of our discussions before the paper was published. This document provides an accessible overview of these changes. For…