Hay momentos en los que se requieren los niveles más altos de privacidad y seguridad para proteger una pieza de información, pero aún es necesario demostrar la existencia y exactitud de la información. Para el Departamento de Defensa (DoD), la prueba podría ser la verificación de una capacidad relevante. ¿Cómo se puede verificar esta capacidad sin revelar ningún detalle sensible al respecto? En el mundo comercial, esta lucha se manifiesta en las transacciones bancarias, divulgación de amenazas de ciberseguridad, y más allá. Un enfoque para abordar este desafío en criptografía es con pruebas de conocimiento cero. Una prueba de conocimiento cero es un método en el que una de las partes puede demostrarle a otra que conoce un hecho determinado sin revelar ninguna información sensible necesaria para demostrar que el hecho es cierto.

"Una prueba de conocimiento cero implica una declaración de hechos y la prueba subyacente de su exactitud, "dijo el Dr. Josh Baron, gerente de programa en la Oficina de Innovación de la Información (I2O) de DARPA. "El titular del hecho no quiere revelar la información subyacente para convencer a su audiencia de que el hecho es exacto. Tome, por ejemplo, un retiro bancario. Es posible que desee un sistema que le permita realizar un retiro sin tener que compartir también su saldo bancario. El sistema necesitaría alguna forma de verificar que hay fondos suficientes para extraer sin tener que saber la cantidad exacta de dinero que se encuentra en su cuenta ".

En años recientes, Ha habido un marcado aumento en la eficiencia y el uso en el mundo real de las pruebas de conocimiento cero. La mayoría de estos usos se han realizado dentro del dominio de las criptomonedas, donde existe la necesidad de proporcionar ciertos datos verificables sin revelar información personal o confidencial. Si bien es útil en este contexto, las pruebas de conocimiento cero creadas están especializadas para esta tarea. Priorizan la eficiencia de la comunicación y la verificación, pero no necesariamente se adaptan a las transacciones que son más complejas. Para declaraciones de prueba muy complejas como las que el Departamento de Defensa puede querer emplear, Se necesitan enfoques novedosos y más eficientes.

Para ayudar a aumentar la expresividad de los enunciados de problemas para los que se construyen pruebas de conocimiento cero, al mismo tiempo que aumenta la eficiencia de la tecnología que las crea, DARPA desarrolló el programa de protección de información para verificación y evaluación cifradas (SIEVE). SIEVE tiene como objetivo desarrollar la teoría y el software de la informática que pueda generar declaraciones matemáticamente verificables que se puedan compartir públicamente sin revelar información confidencial. Bajo el programa, Los investigadores explorarán la creación de declaraciones públicas verificables sobre software, cálculos generales, así como interacciones socio-técnicas.