3 ms·No, they are not using truecrypt. They're using SJCL for AES-GCM and OpenPGP for public-key encryption.by sarciszewski 11y agoNo, they are not using truecrypt. They're using SJCL for AES-GCM and OpenPGP for public-key encryption.