Generering af nul-viden beviser for forsvarskapaciteter

Der er tidspunkter, hvor det højeste niveau af privatliv og sikkerhed er påkrævet for at beskytte et stykke information, men der er stadig et behov for at bevise informationens eksistens og nøjagtighed. For forsvarsministeriet (DoD), beviset kan være verifikation af en relevant kapacitet. Hvordan kan man verificere denne evne uden at afsløre følsomme detaljer om den? I den kommercielle verden, denne kamp manifesterer sig på tværs af banktransaktioner, cybersikkerhedstrussel, og videre. En tilgang til at løse denne udfordring inden for kryptografi er med nul-viden beviser. Et nul-viden bevis er en metode, hvor en part kan bevise over for en anden part, at de kender et bestemt faktum uden at afsløre følsomme oplysninger, der er nødvendige for at demonstrere, at kendsgerningen er sand.

"Et nul-viden bevis indebærer en faktaforklaring og det underliggende bevis for dens nøjagtighed, "sagde Dr. Josh Baron, programleder i DARPA's Information Innovation Office (I2O). "Indehaveren af ​​kendsgerningen ønsker ikke at afsløre de underliggende oplysninger for at overbevise sit publikum om, at kendsgerningen er korrekt. Tag, for eksempel, en bankudtrækning. Du vil måske have et system, der giver dig mulighed for at foretage et udtag uden også at skulle dele din banksaldo. Systemet ville have brug for en eller anden måde at kontrollere, at der er tilstrækkelige midler til at trække fra uden at skulle vide det nøjagtige beløb, der sidder på din konto. "

I de seneste år, der har været en markant stigning i effektiviteten og den virkelige brug af nul-viden beviser. De fleste af disse anvendelser har været inden for kryptovaluta -domænet, hvor der er behov for at levere visse verificerbare data uden at afsløre personlige eller andre følsomme oplysninger. Selvom det er nyttigt i denne sammenhæng, nul-viden beviser oprettet er specialiseret til denne opgave. De prioriterer kommunikation og verifikationseffektivitet, men skalerer ikke nødvendigvis til transaktioner, der er mere komplekse. For meget komplekse bevisudtalelser som dem, som DoD måtte ønske at anvende, nye og mere effektive tilgange er nødvendige.

For at hjælpe med at øge ekspressiviteten af ​​problemformuleringer, som nul-viden-beviser er konstrueret til, samtidig med at effektiviteten af ​​den teknologi, der skaber dem, øges, DARPA udviklede programmet Sikkerhedsinformation til krypteret verifikation og evaluering (SIEVE). SIEVE sigter mod at udvikle datalogi og software, der kan generere matematisk verificerbare udsagn, der kan deles offentligt uden at give følsomme oplysninger væk. Under programmet, forskere vil undersøge oprettelsen af ​​verificerbare offentlige erklæringer om software, generelle beregninger, samt social-tekniske interaktioner.