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.