An official website of the United States government
Here's how you know
A .mil website belongs to an official U.S. Department of Defense organization in the United States.
A lock (lock ) or https:// means you’ve safely connected to the .mil website. Share sensitive information only on official, secure websites.

NEWS | March 31, 2023

SIEVE: Securing Information for Encrypted Verification and Evaluation

Project Lead:  Dr. Joshua Baron                                                            

Sponsoring Organization:  DARPA


Project Synopsis:  SIEVE seeks to advance the state of the art in zero-knowledge (ZK) proofs to enable the verification of capabilities relevant to DoD without revealing the sensitive details associated with those capabilities. SIEVE will focus on dramatically increasing the expressivity of problem statements for which ZK proofs can be constructed, and increasing the efficiency of ZK proof technology, to enable large, complex proof statements (e.g., billions of gates or more, where the statement natively consists of probabilistic, indeterminate-branching conditions). SIEVE will demonstrate the feasibility of encoding complex, DoD-relevant statements into intermediate representations (IRs) that can then be used to create efficient ZK proofs for those statements. Additionally, SIEVE will attempt to substantially decrease the asymptotic complexity of post-quantum ZK proof techniques, specifically ZK proofs that rely on post-quantum hardness assumptions for their security and/or reason about statements of relevance to post-quantum cryptography.