Bezpečnost programu nelze definitivně prokázat. Definitivně prokázat jde pouze ne-bezpečnost. Ale to ničemu nevadí - pokud známí experti dají TrueCryptu "potvrzení", že v něm nic nenašli, bude to *mnohem* víc, než má jakýkoliv jiný veřejně dostupný šifrovací SW.