DARPA asks Stealth Software to help advance trusted computing and cryptography

摘要

Trusted-computing experts at Stealth Software Technologies Inc. in Los Angeles are helping U.S. military researchers enhance information security and trusted computing by advancing zero-knowledge proof technology to enable cryptography in complex military applications. Officials of the U.S. Defense Advanced Research Projects Agency (DARPA) in Arlington, Va., announced an $8.5 million contract to Stealth Software for the first phase of a research project under the Securing Information for Encrypted Verification and Evaluation (SIEVE) program. SIEVE seeks advance the state of the art in zero-knowledge proofs to enable complex military applications. A zero-knowledge proof in cryptography enables one party to prove that he knows a particular without conveying any secret information; the challenge is proving possession of sensitive information without revealing the information itself. Stealth Software joins Galois Inc. in Portland, Ore., on the SIEVE program. SIEVE will use zero knowledge proofs to verify military capabilities without revealing the sensitive details. The project also will focus on increasing the efficiency of zero knowledge proof technology to enable large, complex proof statements - such as billions of gates or more - where the statement consists of probabilistic and indeterminate-branching conditions.