Ask HN: Has anyone used LLMs to audit TrueCrypt for backdoors?
TrueCrypt was discontinued in 2014 under mysterious circumstances, prompting speculation about possible US government involvement. Now that LLMs can help with source code analysis, has anyone revisited the code and found evidence of a backdoor or other signs of government interference?
Why would someone go back and audit Truecrypt when Truecrypt was subjected to an audit, and then the resultant code open sourced:
https://en.wikipedia.org/wiki/VeraCrypt#VeraCrypt_audit
Maybe if you know so little about cryptography you don't even know the names of pieces of software, you should leave this kind of work to others rather than generate a series of questionable CVEs that you'll argue over like it's the Reddit comment section?