Dokaz brez razkritja znanja
(Zero-Knowledge Proof)
Dokaz brez razkritja znanja je kriptografska metoda za dokazovanje resničnosti trditve, na primer "imetnik je star nad 18 let", ne da bi razkril katerekoli osnovne podatke, na katerih trditev temelji, na primer dejanski datum rojstva.
Kjer selektivno razkritje imetniku omogoča, da izbrane trditve razkrije takšne, kot so, dokaz brez razkritja znanja ne razkrije ničesar: preveritelj izve le, da trditev drži, kar podpira dokaz, ki ga lahko preveri glede na izdajateljev podpis. To je močnejše zagotovilo zasebnosti kot selektivno razkritje in dejavno področje standardizacije za prihodnje formate poveril v ekosistemu EUDI Wallet. Dokaz je zgrajen tako, da ga lahko kdor koli preveri glede na javne parametre in izdajateljev podpis, vendar nobene kombinacije dokazov, predanih različnim preveriteljem, ni mogoče povezati nazaj na isto poverilo ali med seboj, kar odpravlja tveganje korelacije, ki nastane, kadar je isto podpisano vrednost večkrat pokazati. Preprosto poverilo s selektivnim razkritjem še vedno omogoča, da dva preveritelja, ki sodelujeta, primerjata zgoščeno trditev in sklepata, da je isti imetnik obiskal oba, medtem ko je dokaz brez razkritja znanja za isto trditev vsakič videti drugače. Kompromis sta računska zahtevnost in kompleksnost: ustvarjanje in preverjanje dokaza brez razkritja znanja zahteva več procesorske moči kot preverjanje navadnega podpisa, kriptografske sheme, kot so podpisi BBS+ ali zk-SNARK, pa so novejše in manj standardizirane kot na zgoščevanju temelječe selektivno razkritje, ki je že uveljavljeno v SD-JWT. Več referenčnih izvedb in pilotov EUDI Wallet zdaj preučuje tehnike brez razkritja znanja kot prihodnjo nadgradnjo za atribute, pri katerih je nepovezljivost najpomembnejša, na primer pri preverjanju starosti ali državljanstva, ki se ponavlja pri številnih nepovezanih storitvah.
Sorodni pojmi
Ali uporaba dokaza brez razkritja znanja pomeni, da mora preveritelj imetniku slepo zaupati?
Ne. Preveritelj se še vedno zanaša na kriptografijo in ne na zaupanje imetniku. Dokaz matematično poveže trditev z izdajateljevim izvirnim podpisom, tako da je lahko preveritelj prepričan, da je trditev pristna in nespremenjena, čeprav nikoli ne vidi osnovnih podatkov, enako zagotovilo, kot ga daje navadno preverjanje podpisa, le brez razkritja vrednosti, ki stoji za njim.