Closed source hardware is indeed a problem: If the HW of TxM is pre-compromised, the device&#x2F;malware running on it might spit out what it thinks is the key via serial or alternative covert channel.<p>If you start developing on top of TFC, please create a Github fork at some point and submit pull requests to any typos &#x2F; issues you might find.