I assume that too. https://tuta.com/encryption

…Just because they say so.

It’s open-source but I did not check their code in detail. ⚠️