Re:Automated Symbolic Verification of Telegram's MTProto 2.0
by bjoli on Monday January 11, 2021 @01:40AM
(#25725476)
Moxie clearly states that: the competition is framed in such a way that it would be bordering impossible to break it even uf it had been using primitives known to be broken.
But Moxie (or any other cryptographer) could use the money for Signal's development. It's a large amount.