Securing Information for Encrypted Verification and Evaluation (SIEVE)
Abstract
The Securing Information for Encrypted Verification and Evaluation (SIEVE) program is developing technology to enable the creation of mathematically verifiable public statements derived from sensitive information that remains hidden. To accomplish this, SIEVE will produce advances in a cryptographic technique known as zero knowledge (ZK) proofs, which simultaneously enable mathematical verification of public statements while provably hiding the sensitive information from which the statement is derived. The advances produced by SIEVE will make it possible and operationally feasible to verify statements substantially more complex than the current ZK state of the art supports, for example, statements about a software vulnerability that do not reveal details of how the vulnerability can be exploited.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2025
- Source ID
- 1c2680954c404ca8a5fb0817345e2a5c