The Defense Advanced Research Projects Agency awarded Trail Of Bits Inc. a $7.1 million firm fixed price contract to conduct research under the Securing Information for Encrypted Verification and Evaluation program. The contract is for four years beginning in April 2020 to advance zero-knowledge proofs for complex Department of Defense applications. Specifically, Trail Of Bits will develop techniques to enable the verification of DoD capabilities without revealing sensitive details through encoding problems, generating proof compilers, and post-quantum proofs. The research responds to a broad agency announcement seeking proposals in these technical areas related to zero-knowledge proofs. The Defense Advanced Research Projects Agency seeks innovative solutions through this vehicle to securely share information while protecting classified details.
Generated 12/29/23, 2:25 PM