zk-STARKs

Haladó
A z√©r√≥ismeretes bizony√≠t√°snak (zero-knowledge (zk) proofs) kettŇĎ n√©pszerŇĪ t√≠pusa van (amelyeket n√©ha a zk-protokollok is n√©vvel illetnek): a SNARKs √©s a STARKs. A z√©r√≥ismeretes bizony√≠t√°s egy kriptogr√°fiai hiteles√≠t√©si m√≥dszer, ahol az egyik f√©l (a bizony√≠t√≥) an√©lk√ľl bizony√≠thatja a m√°sik f√©l (a hiteles√≠tŇĎ) fel√© egy adott √°ll√≠t√°s igaz volt√°t, hogy b√°rmilyen al√°t√°maszt√≥ inform√°ci√≥t k√∂z√∂lne azon a t√©nyen k√≠v√ľl, hogy az √°ll√≠t√°s val√≥ban igaz.
A zk-STARK a ‚Äězero-knowledge scalable transparent argument of knowledge‚ÄĚ (z√©r√≥ismeretes sk√°l√°zhat√≥ √°tl√°that√≥ tud√°s√©rv)j kifejez√©s r√∂vid√≠t√©se. A zk-STARKs megold√°st Eli-Ben Sasson, a Technion-Israel Institute of Technology professzora dolgozta ki. A zk-SNARKs m√≥dszerrel ellent√©tben ‚Äď amely egy bizony√≠t√≥ √©s egy hiteles√≠tŇĎ k√∂z√∂tt fenn√°ll√≥ kezdeti bizalomt√≥l f√ľgg ‚Äď a zk-STARKs nem ig√©nyel kezdeti bizalmat, mivel √°ramvonalasabb kriptogr√°fi√°ra t√°maszkodik a √ľtk√∂z√©s√°ll√≥ hash f√ľggv√©nyek alkalmaz√°s√°val. Ez a megk√∂zel√≠t√©s megsz√ľnteti a zk-SNARKs √°ltal haszn√°lt sz√°melm√©leti felt√©telez√©sek ir√°nti ig√©nyt, amelyek sz√°m√≠t√°s tekintet√©ben k√∂lts√©gig√©nyesek, √©s elm√©letileg s√©r√ľl√©kenyek a kvantumsz√°m√≠t√≥g√©pes t√°mad√°sokkal szemben.
EgyszerŇĪen sz√≥lva, a zk-STARK bizony√≠t√©kok egy√©rtelmŇĪbb strukt√ļr√°t k√≠n√°lnak a kriptogr√°fiai felt√©telez√©sek tekintet√©ben. Mindazon√°ltal jelentŇĎs h√°tr√°nya is van: a bizony√≠t√©km√©ret nagy, √°ltal√°ban 10-100-szorosa a zk-SNARKs-n√°l tapasztalhat√≥ m√©retn√©l. Ez az adatm√©retbeli k√ľl√∂nbs√©g k√∂lts√©gesebb√© teszi, √©s korl√°tozza a haszn√°lhat√≥s√°g√°t, amikor a technol√≥gi√°t kriptovalut√°k √°tutal√°s√°hoz vagy m√°s felhaszn√°l√°si c√©lokra alkalmazz√°k.

A z√©r√≥ismeretes bizony√≠t√°sok gyakori felhaszn√°l√°si ter√ľletei azok, ahol az adatv√©delem √©s a biztons√°g is l√©tfontoss√°g√ļ. Erre p√©lda a szem√©lyazonoss√°g hiteles√≠t√©se. Bizonyos online szolg√°ltat√°sok haszn√°lat√°hoz sz√ľks√©ges a szem√©lyazonoss√°g √©s a platformhoz tartoz√≥ hozz√°f√©r√©si jogosults√°g igazol√°sa. Ez gyakran szem√©lyes adatok ‚Äď pl. n√©v, e-mail-c√≠m, sz√ľlet√©si d√°tum stb. ‚Äď megad√°s√°t k√∂veteli.

A z√©r√≥ismeretes bizony√≠t√°sok k√©pesek mind a platformok, mind a felhaszn√°l√≥k sz√°m√°ra egyszerŇĪs√≠teni a hiteles√≠t√©st. Amint a zk-bizony√≠t√©kot l√©trehozt√°k nyilv√°nos adatokkal (amelyek megerŇĎs√≠tik a felhaszn√°l√≥ platformtags√°g√°t) √©s priv√°t adatokkal (a felhaszn√°l√≥ adataival), a felhaszn√°l√≥ egyszerŇĪen bemutathatja azt a szem√©lyazonoss√°ga hiteles√≠t√©s√©re, amikor csak hozz√° kell f√©rnie a szolg√°ltat√°shoz. Ez jav√≠tja a felhaszn√°l√≥i √©lm√©nyt, √©s felszabad√≠tja a szervezeteket a nagy mennyis√©gŇĪ szem√©lyes adat t√°rol√°s√°nak k√∂telezetts√©ge al√≥l.