Det finns tillfällen då de högsta nivåerna av integritet och säkerhet krävs för att skydda en bit information, men det finns fortfarande ett behov av att bevisa informationens existens och riktighet. För försvarsdepartementet (DoD), beviset kan vara verifiering av en relevant förmåga. Hur kan man verifiera denna förmåga utan att avslöja några känsliga detaljer om den? I den kommersiella världen, denna kamp visar sig över banktransaktioner, avslöjande av cybersäkerhetshot, och vidare. Ett sätt att ta itu med denna utmaning inom kryptografi är med noll-kunskapsbevis. Ett nollkunskapsbevis är en metod där en part kan bevisa för en annan part att de känner till ett visst faktum utan att avslöja någon känslig information som behövs för att visa att faktumet är sant.

"Ett noll-kunskapsbevis innebär ett påstående om fakta och det underliggande beviset på dess riktighet, " sa Dr Josh Baron, programledare i DARPAs Information Innovation Office (I2O). "Faktumsinnehavaren vill inte avslöja den underliggande informationen för att övertyga sin publik om att faktumet är korrekt. Ta, till exempel, ett bankuttag. Du kanske vill ha ett system som låter dig göra ett uttag utan att också behöva dela ditt banksaldo. Systemet skulle behöva något sätt att verifiera att det finns tillräckligt med pengar att dra från utan att behöva veta den exakta summan pengar som finns på ditt konto."

På senare år har det har skett en markant ökning av effektiviteten och den verkliga användningen av nollkunskapsbevis. De flesta av dessa användningar har varit inom kryptovalutadomänen där det finns ett behov av att tillhandahålla viss verifierbar data utan att avslöja personlig eller annan känslig information. Även om det är användbart i detta sammanhang, nollkunskapsbevisen som skapats är specialiserade för denna uppgift. De prioriterar kommunikation och verifieringseffektivitet men skalas inte nödvändigtvis för transaktioner som är mer komplexa. För mycket komplexa bevispåståenden som de som DoD kanske vill använda, nya och effektivare tillvägagångssätt behövs.

För att hjälpa till att öka uttrycksförmågan hos problemformuleringar för vilka nollkunskapsbevis är konstruerade samtidigt som effektiviteten hos tekniken som skapar dem ökar, DARPA utvecklade programmet Securing Information for Encrypted Verification and Evaluation (SIEVE). SIEVE syftar till att utveckla datavetenskapsteori och programvara som kan generera matematiskt verifierbara påståenden som kan delas offentligt utan att ge bort känslig information. Under programmet, forskare kommer att utforska skapandet av verifierbara offentliga uttalanden om programvara, allmänna beräkningar, samt social-tekniska interaktioner.