Il y a des moments où les plus hauts niveaux de confidentialité et de sécurité sont requis pour protéger une information, mais il reste encore à prouver l'existence et l'exactitude de l'information. Pour le ministère de la Défense (DoD), la preuve pourrait être la vérification d'une capacité pertinente. Comment peut-on vérifier cette capacité sans révéler aucun détail sensible à son sujet ? Dans le monde commercial, cette lutte se manifeste à travers les transactions bancaires, divulgation des menaces de cybersécurité, et au-delà. Une approche pour relever ce défi en cryptographie consiste à utiliser des preuves à connaissance nulle. Une preuve à connaissance nulle est une méthode par laquelle une partie peut prouver à une autre partie qu'elle connaît un certain fait sans révéler aucune information sensible nécessaire pour démontrer que le fait est vrai.

"Une preuve de connaissance nulle implique un énoncé de fait et la preuve sous-jacente de son exactitude, " a déclaré le Dr Josh Baron, responsable de programme au Bureau d'innovation de l'information (I2O) de la DARPA. "Le détenteur du fait ne veut pas révéler l'information sous-jacente pour convaincre son auditoire que le fait est exact. Prenez, par exemple, un retrait bancaire. Vous voudrez peut-être un système qui vous permette d'effectuer un retrait sans avoir à partager votre solde bancaire. Le système aurait besoin d'un moyen de vérifier qu'il y a suffisamment de fonds pour tirer sans avoir à connaître le montant exact d'argent se trouvant sur votre compte."

Dans les années récentes, il y a eu une augmentation marquée de l'efficacité et de l'utilisation dans le monde réel des preuves à connaissance nulle. La plupart de ces utilisations ont eu lieu dans le domaine de la crypto-monnaie où il est nécessaire de fournir certaines données vérifiables sans révéler d'informations personnelles ou sensibles. Bien qu'utile dans ce contexte, les preuves à connaissance nulle créées sont spécialisées pour cette tâche. Ils donnent la priorité à l'efficacité de la communication et de la vérification, mais ne s'adaptent pas nécessairement aux transactions plus complexes. Pour les déclarations de preuve très complexes comme celles que le DoD peut souhaiter utiliser, des approches nouvelles et plus efficaces sont nécessaires.

Pour aider à augmenter l'expressivité des énoncés de problèmes pour lesquels des preuves à connaissance nulle sont construites tout en augmentant l'efficacité de la technologie qui les crée, La DARPA a développé le programme Securing Information for Encrypted Verification and Evaluation (SIEVE). SIEVE vise à développer une théorie informatique et des logiciels capables de générer des déclarations mathématiquement vérifiables qui peuvent être partagées publiquement sans divulguer d'informations sensibles. Dans le cadre du programme, les chercheurs exploreront la création de déclarations publiques vérifiables sur les logiciels, calculs généraux, ainsi que les interactions socio-techniques.