France’s government is building its own encrypted messenger service

Post by walterbell » Thu, Apr 19, 2018, 12:57 PM UTC

Arathorn wrote: post #123

walterbell wrote: post #117

Earlier quoted context omitted.

Is Matrix planning to use MLS for interop with other E2E systems? https://datatracker.ietf.org/wg/mls/about/

Good question. We're participating on the periphery of the MLS discussions, mainly to try to encourage the MLS team to consider and support decentralised use cases. At the moment there's a temptation to go for a simpler approach which assumes there's a centralised sequencing server which solves all the races you otherwise get (and which have plagued us in Matrix whilst implementing Megolm). However, assuming a centra…

Post by motohagiography » Fri, Apr 20, 2018, 9:36 PM UTC

Arathorn wrote: post #130

motohagiography wrote: post #100

Is there a reason a crypto messenger team wouldn't seem to publish their protocol specs using BAN notation that people can objectively reason about, and then verify the implementation of it in the code? As in, if you can't explain it this clearly, what's the problem? http://www.lsv.fr/Software/spore/table.html Having worked on some crypto projects, the admonition to, "just read the code," is disingenuous, because wit…

the crypto specs are https://git.matrix.org/git/olm/about/docs/olm.rst and https://git.matrix.org/git/olm/about/docs/megolm.rst (amongst others).