Prova ta' Għarfien Żero

(Zero-Knowledge Proof)

Prova ta' għarfien żero hija metodu kriptografiku biex tiġi ppruvata dikjarazzjoni vera, bħal "id-detentur huwa 'l fuq minn 18-il sena", mingħajr ma tiġi żvelata ebda waħda mid-data sottostanti li fuqha hija bbażata d-dikjarazzjoni, bħad-data tat-twelid attwali.

Filwaqt li ż-żvelar selettiv iħalli lil detentur jiżvela talbiet magħżula kif inhuma, prova ta' għarfien żero ma tiżvela xejn: il-verifikatur jitgħallem biss li d-dikjarazzjoni valida, appoġġjata minn prova li jista' jiċċekkja kontra l-firma tal-emittent. Din hija garanzija ta' privatezza aktar b'saħħitha miż-żvelar selettiv, u qasam attiv ta' standardizzazzjoni għal formati ta' kredenzjali futuri użati fl-ekosistema tal-EUDI Wallet. Il-prova hija mibnija sabiex kulħadd ikun jista' jiċċekkjaha kontra parametri pubbliċi u l-firma tal-emittent, iżda l-ebda kombinazzjoni ta' proofs mogħtija lil verifikaturi differenti ma tista' tiġi konnessa lura mal-istess kredenzjal jew ma' xulxin, li tneħħi r-riskju ta' korrelazzjoni li ġej minn wiri repetut tal-istess valur iffirmat. Kredenzjal sempliċi ta' żvelar selettiv xorta jħalli lil żewġ verifikaturi li jikkollaboraw iqabblu talba hashed u jikkonkludu li l-istess detentur żar it-tnejn, filwaqt li prova ta' għarfien żero tal-istess dikjarazzjoni tidher differenti kull darba li tiġi ġġenerata. Il-kompromess huwa l-ispiża u l-kumplessità komputazzjonali: il-ġenerazzjoni u l-verifika ta' prova ta' għarfien żero jieħdu aktar qawwa ta' pproċessar mill-verifika ta' firma sempliċi, u l-iskemi kriptografiċi involuti, bħal firem BBS+ jew zk-SNARKs, huma aktar ġodda u anqas standardizzati mill-iżvelar selettiv ibbażat fuq hashing diġà implimentat f'SD-JWT. Diversi implimentazzjonijiet ta' referenza u pilots tal-EUDI Wallet qed jevalwaw tekniki ta' għarfien żero bħala rotta futura ta' aġġornament għal attributi fejn l-unlinkability tgħodd l-aktar, bħal kontrolli ta' età jew nazzjonalità ripetuti f'ħafna servizzi mhux relatati.

Lura għall-glossarju