audit e.g.: https://www.nccgroup.trust/us/our-research/matrix-olm-cryptographic-review/ https://www.nccgroup.trust/us/our-research/matrix-olm-crypto... formal

audit e.g.: https://www.nccgroup.trust/us/our-research/matrix-olm-cryptographic-review/ https://www.nccgroup.trust/us/our-research/matrix-olm-crypto... formal proofs e.g.: https://matrix.org/_matrix/media/v1/download/jki.re/hSmkLkFGVUnrXjtYcjsCUsyS https://matrix.org/_matrix/media/v1/download/jki.re/hSmkLkFG... Agreed that Matrix is still beta, but hopefully we are heading in the right direction and the end is in sight.