KezdŇĎlap
Szószedet
Zéróismeretes bizonyítás

Zéróismeretes bizonyítás

Haladó

A z√©r√≥ismeretes bizony√≠t√°s, vagy zk-protokoll, egy olyan hiteles√≠t√©si m√≥dszer, amely egy bizony√≠t√≥ √©s egy hiteles√≠tŇĎ k√∂z√∂tt zajlik. A z√©r√≥ismeretes bizony√≠t√°si rendszerben a bizony√≠t√≥ k√©pes bebizony√≠tani a hiteles√≠tŇĎnek, hogy birtok√°ban van egy adott inform√°ci√≥nak (p√©ld√°ul egy matematikai egyenlet megold√°s√°nak) an√©lk√ľl, hogy felfedn√© mag√°t az inform√°ci√≥t. Ezeket a bizony√≠t√°si rendszereket a modern kriptogr√°fusok felhaszn√°lhatj√°k az adatv√©delem √©s a biztons√°g n√∂vel√©s√©re.

A z√©r√≥ismeretes bizony√≠t√°s koncepci√≥j√°t elŇĎsz√∂r egy 1985-√∂s MIT-essz√©ben fogalmazt√°k meg, amelyet Shafi Goldwasser √©s Silvio Micali publik√°lt. Megmutatt√°k, hogy egy sz√°m bizonyos tulajdons√°gait be lehet bizony√≠tani an√©lk√ľl, hogy felfedn√©nk a sz√°mot vagy b√°rmilyen tov√°bbi inform√°ci√≥t r√≥la. Ez a cikk mutatta be azt a matematikailag jelentŇĎs felfedez√©st is, hogy a bizony√≠t√≥ √©s a hiteles√≠tŇĎ k√∂z√∂tti interakci√≥ cs√∂kkentheti az adott t√©tel bizony√≠t√°s√°hoz sz√ľks√©ges inform√°ci√≥ mennyis√©g√©t.¬†

Egy zk-bizony√≠t√°snak k√©t alapvetŇĎ k√∂vetelm√©nynek kell megfelelnie, a teljess√©gnek √©s a megb√≠zhat√≥s√°gnak. A teljess√©g arra utal, hogy a bizony√≠t√≥ k√©pes-e bizony√≠tani az adott inform√°ci√≥ nagy val√≥sz√≠nŇĪs√©ggel pontos ismeret√©t. Ahhoz, hogy a bizony√≠t√°s megb√≠zhat√≥ legyen, a hiteles√≠tŇĎnek k√©pesnek kell lennie megb√≠zhat√≥an meg√°llap√≠tani, hogy a bizony√≠t√≥ val√≥ban birtok√°ban van-e az inform√°ci√≥nak vagy sem. V√©g√ľl ahhoz, hogy a bizony√≠t√°s val√≥ban z√©r√≥ismeretes legyen, a bizony√≠t√°snak el kell √©rnie mind a teljess√©get, mind a megb√≠zhat√≥s√°got an√©lk√ľl, hogy a k√©rd√©ses inform√°ci√≥ valaha is √°tad√°sra ker√ľlne a bizony√≠t√≥ √©s a hiteles√≠tŇĎ k√∂z√∂tt.

A z√©r√≥ismeretes bizony√≠t√°st legink√°bb olyan alkalmaz√°sokban haszn√°lj√°k, amelyekben elengedhetetlen az adatv√©delem √©s a biztons√°g. A hiteles√≠t√©si rendszerek p√©ld√°ul zk-bizony√≠t√°st haszn√°lhatnak a hiteles√≠tŇĎ adatok vagy szem√©lyazonoss√°g ellenŇĎrz√©s√©re an√©lk√ľl, hogy azokat k√∂zvetlen√ľl felfedn√©k. P√©ld√°ul haszn√°lhat√≥ annak ellenŇĎrz√©s√©re, hogy egy adott szem√©ly rendelkezik-e jelsz√≥val egy sz√°m√≠t√≥g√©pes rendszerhez an√©lk√ľl, hogy a jelsz√≥t fel kellene fedni.¬†

A z√©r√≥ismeretes bizony√≠t√°s egyik kiemelkedŇĎ val√≥s vil√°gbeli felhaszn√°l√°sa a kriptovalut√°k √©s a blokkl√°nc-technol√≥gia vil√°g√°ban tal√°lhat√≥. A zk-SNARK (Zero-Knowledge Succinct Non-interactive Argument of Knowledge) n√©ven ismert bizony√≠t√°si m√≥dot haszn√°lva az olyan, az adatv√©delemre √∂sszpontos√≠t√≥ kriptovalut√°k, mint a Zcash,¬†k√©pesek nagyobb fok√ļ adatv√©delmet biztos√≠t√≥ blokkl√°nc-tranzakci√≥kat k√≠n√°lni a felhaszn√°l√≥k sz√°m√°ra. Az Ethereum is zk-SNARK bizony√≠t√°ssal dolgozik a 2017-es Byzantium friss√≠t√©s √≥ta.