Zero-Knowledge Proof
Zero-knowledge proof ir kriptogrāfiska metode, kas pierāda, ka apgalvojums ir patiess, piemēram, "turētājs ir vecāks par 18 gadiem", neatklājot nekādus datus, uz kuriem šis apgalvojums balstīts, piemēram, faktisko dzimšanas datumu.
Kur selektiva atklasana lauj turetajam atklat izvelētas prasibas tadas, kadas tas ir, nulles zinasanu pieradijums neatklaj neko: parbauditajs uzzina tikai, ka apgalvojums ir spēkā, ko apstiprina pieradijums, kuru tas var parbaudit pret izsniedzeja parakstu. Šī ir stiprāka privatuma garantija neka selektiva atklasana, un tā ir aktiva standartizacijas joma nakotnes apliecinajumu formatiem, kas tiks izmantoti EUDI Wallet ekosistemā. Pieradijums ir veidots tā, ka ikviens var to parbaudit pret publiskajiem parametriem un izsniedzeja parakstu, tacu nekada pieradijumu kombinacija, kas nodota dažadiem parbauditajiem, nevar tikt sasaistita atpakal ar to pasu apliecinajumu vai savstarpeji, kas noverst korelacijas risku, kas raksturs no atkartotas tā paša parakstitā vertibas rādīšanas. Vienkarsa selektivas atklasanas apliecinajuma joprojam lauj diviem sazvērejošiem parbauditajiem salidzinat hasetu prasibu un secinat, ka tas pats turetajs apmeklēja abus, kamer nulles zinasanu pieradijums par identisku apgalvojumu izskatas atskirigi katru reizi, kad tas tiek izveidots. Kompromiss ir aprēkinu izmaksas un sarezgitiba: nulles zinasanu pieradijuma izveide un parbaude prasa vairak procesora jaudas neka vienkarsa paraksta parbaude, un kriptografiskas shēmas, piemeram, BBS+ paraksti vai zk-SNARK, ir jaunakas un mazak standartizetas neka jau ieviestā hašēšanas balstitā selektiva atklasana SD-JWT. Vairaki EUDI Wallet atsauces ieviesumi un izmeginajumi vertē nulles zinasanu tehnikas ka nakotnes jauninajuma celu atributiem, kur nesaistamiba ir vissvarigaka, piemeram, vecuma vai pilsonibas parbaudem, kas atkartojas daudzos nesaistitos pakalpojumos.
Saistītie termini
Vai nulles zinasanu pieradijuma izmantosana nozime, ka parbauditajam akli jāuzticas turetajam?
Ne. Parbauditajs joprojam balstas uz kriptografiju, nevis uzticibu turetajam. Pieradijums matematiski sasaista apgalvojumu ar izsniedzeja sakotnejo parakstu, tapec parbauditajs var but pardrosinats, ka prasiba ir isteni un nemainita, lai gan tas nekad neredz pamatā esosos datus, tā pati garantija, kadu dod parasta paraksta parbaude, vienkarsi neatklajot vertibu aiz tas.