Mi az a zéróismeretes bizonyítás és hogyan hat a blokkláncra?
KezdŇĎlap
Cikkek
Mi az a zéróismeretes bizonyítás és hogyan hat a blokkláncra?

Mi az a zéróismeretes bizonyítás és hogyan hat a blokkláncra?

K√∂z√©pszintŇĪ
Közzétéve Jan 18, 2023Frissítve Nov 16, 2023
7m


Ez a cikk egy k√∂z√∂ss√©gi beadv√°ny. A szerzŇĎ Kenny Li, a Manta Network t√°rsalap√≠t√≥ja, mely egy programozhat√≥ adatv√©delmi layer 1 protokoll, amely z√©r√≥ismeretes bizony√≠t√°ssal mŇĪk√∂dik.¬†¬†

TL;DR

A z√©r√≥ismeretes bizony√≠t√°s (ZKP) egy olyan kriptogr√°fiai technol√≥gia, amely lehetŇĎv√© teszi egy inform√°ci√≥ igazs√°g√°nak ellenŇĎrz√©s√©t an√©lk√ľl, hogy mag√°t az inform√°ci√≥t felfedn√©nk. Egyre fontosabb technol√≥gi√°v√° v√°lik a blokkl√°nc, a kriptovalut√°k √©s a decentraliz√°lt p√©nz√ľgyek (DeFi) ter√ľlet√©n az adatv√©delem √©s a biztons√°g fokoz√°sa miatt.¬†

Sz√°mos DeFi projekt m√°r haszn√°l ZKP-t, hogy a felhaszn√°l√≥k sz√°m√°ra jobb adatv√©delmet √©s biztons√°got ny√ļjtson az olyan szolg√°ltat√°sokhoz, mint a hitelny√ļjt√°s, hitelfelv√©tel √©s keresked√©s. Sz√°mos layer 1 blokkl√°nc alkalmaz ZKP-alap√ļ roll-upokat vagy zkEVM-eket. A z√©r√≥ismeretes bizony√≠t√°s v√°rhat√≥an egyre fontosabb szerepet fog j√°tszani a blokkl√°nc √©s a Web3 vil√°g√°ban, mivel alkalmaz√°sa v√°rhat√≥an egyre sz√©lesebb k√∂rben elterjed.

Hogyan mŇĪk√∂dik a z√©r√≥ismeretes bizony√≠t√°s?

A z√©r√≥ismeretes bizony√≠t√°s olyan m√≥dszer, amellyel az egyik f√©l (a bizony√≠t√≥) bebizony√≠thatja egy m√°sik f√©lnek (a hiteles√≠tŇĎnek), hogy egy √°ll√≠t√°s igaz an√©lk√ľl, hogy b√°rmilyen tov√°bbi inform√°ci√≥t felfedne. Ez k√ľl√∂n√∂sen hasznos akkor, amikor az inform√°ci√≥ √©rz√©keny, √©s a bizony√≠t√≥ nem szeretn√©, hogy a hiteles√≠tŇĎ hozz√°f√©rjen.

A bizony√≠t√≥ egy olyan matematikai bizony√≠t√©kot k√≠n√°l, amelyet csak ŇĎ tud l√©trehozni, a hiteles√≠tŇĎ pedig ezt a bizony√≠t√©kot haszn√°lhatja az √°ll√≠t√°s igazs√°g√°nak ellenŇĎrz√©s√©re. A bizony√≠t√©k azonban nem haszn√°lhat√≥ fel az eredeti inform√°ci√≥ rekonstru√°l√°s√°ra.

K√©pzelj√ľnk el egy alagutat, amelynek k√©t bej√°rata van, A √©s B. Van egy titkos k√≥ddal ell√°tott z√°rt ajt√≥, amely elz√°rja az egyetlen utat, √©s megakad√°lyozza, hogy az emberek az alag√ļt egyik v√©g√©bŇĎl a m√°sikba (A-b√≥l B-be) eljussanak. √Ėn ismeri a titkos k√≥dot, √©s el akarja adni Xy-nak, aki be szeretne jutni az alag√ļtba.

√Ėn azt szeretn√©, hogy az illetŇĎ fizessen elŇĎre, mielŇĎtt felfedn√© neki a k√≥dot, de ŇĎ elŇĎsz√∂r azt akarja, hogy bizony√≠tsa be, hogy t√©nyleg ismeri a k√≥dot. Ebben az esetben ezt √ļgy teheti meg, hogy az alag√ļt elŇĎtt √°llva megfigyeli, ahogy √Ėn bes√©t√°l az egyik bej√°raton, majd kij√∂n a m√°sikon. √ćgy meggyŇĎzŇĎdhet arr√≥l, hogy √Ėn t√©nyleg ismeri a titkos k√≥dot.

Miért használjunk a zéróismeretes bizonyítást? 

A z√©r√≥ismeretes bizony√≠t√°s n√©pszerŇĪs√©g√©t a blokkl√°nc √©s a kript√≥k ter√©n a digit√°lis tranzakci√≥kkal kapcsolatos adatv√©delem √©s biztons√°g ir√°nti n√∂vekvŇĎ ig√©ny n√∂veli. A blokkl√°nc technol√≥gia √©s a kriptovalut√°k elterjed√©s√©vel egyre nagyobb sz√ľks√©g van a tranzakci√≥k hiteles√≠t√©s√©re an√©lk√ľl, hogy √©rz√©keny inform√°ci√≥kat fedn√©nk fel ‚Äď ezt az ig√©nyt a ZKP ki tudja el√©g√≠teni.

A z√©r√≥ismeretes bizony√≠t√°s az elm√ļlt √©vekben egyre nagyobb figyelemre √©s √©rdeklŇĎd√©sre tett szert, sz√°mos ZKP-t haszn√°l√≥ protokollt ind√≠tottak, √©s a nagyobb blokkl√°ncok z√©r√≥ismeretes roll-upokat fejlesztettek ki. A z√©r√≥ismeretes bizony√≠t√°s n√©pszerŇĪs√©g√©t egy√©rtelmŇĪen bizony√≠totta a DevCon 2022 konferencia, ahol az elŇĎad√°sok t√∂bb mint 20%-a errŇĎl a technol√≥gi√°r√≥l sz√≥lt.

Kulcsfontoss√°g√ļ fejleszt√©sek

A z√©r√≥ismeretes bizony√≠t√°s egyik legfontosabb fejlem√©nye a zk-SNARK, a ZKP egy speci√°lis t√≠pus√°nak fokozott haszn√°lata. A zk-SNARK-ot sz√©les k√∂rben alkalmazz√°k k√ľl√∂nb√∂zŇĎ DeFi alkalmaz√°sokban, p√©ld√°ul a priv√°t tokentranzakci√≥kban, illetve a v√©dett hitelny√ļjt√°sban √©s hitelfelv√©telben. A z√©r√≥ismeretes bizony√≠t√°s m√°sik jelentŇĎs fejlem√©nye, hogy a zkRoll-upok r√©v√©n egyre nagyobb hangs√ļlyt kap a sk√°l√°zhat√≥s√°g √©s a teljes√≠tm√©ny.¬†

zk-SNARKs

A z√©r√≥ismeretes, t√∂m√∂r, nem-interakt√≠v tud√°s√©rvek (zk-SNARKs) a z√©r√≥ismeretes bizony√≠t√°s egy speci√°lis t√≠pusa, amely lehetŇĎv√© teszi egy √°ll√≠t√°s ellenŇĎrz√©s√©t an√©lk√ľl, hogy b√°rmilyen inform√°ci√≥t felfedne mag√°r√≥l az √°ll√≠t√°sr√≥l.

A zk-SNARKs-t m√°r haszn√°lt√°k olyan alkalmaz√°sokban, mint a Zcash √©s a JP Morgan Chase blokkl√°ncalap√ļ fizet√©si rendszere. Arra is haszn√°lj√°k, hogy az √ľgyfeleket biztons√°gosan hiteles√≠ts√©k a kiszolg√°l√≥kkal szemben.

zkRoll-upok

A zkRoll-up egy olyan sk√°l√°z√°si megold√°s a blokkl√°nch√°l√≥zatok sz√°m√°ra, amely megk√∂nny√≠ti t√∂bb tranzakci√≥ egyetlen, nagyobb tranzakci√≥v√° t√∂rt√©nŇĎ √∂sszevon√°s√°t, amelyet azt√°n a blokkl√°ncon r√∂gz√≠tenek. A BNB Chain p√©ld√°ul 2022-ben elind√≠totta a zkRoll-up architekt√ļr√°ra √©p√ľlŇĎ zkBNB testnet√©t.

A zkBNB k√©pes t√∂bb sz√°z tranzakci√≥t egyetlen k√∂tegbe csoportos√≠tani a l√°ncon k√≠v√ľl, √©s kriptogr√°fiai bizony√≠t√©kot gener√°lni az √∂sszes tranzakci√≥ √©rv√©nyess√©g√©nek igazol√°s√°ra. A zkRoll-upok egyens√ļlyt teremtenek a sk√°l√°zhat√≥s√°g √©s a biztons√°g k√∂z√∂tt, √©s alkalmasak nagy l√©pt√©kŇĪ, alacsony k√©sleltet√©sŇĪ be√°ll√≠t√°sokhoz.

A zéróismeretes bizonyítás felhasználási módjai

A z√©r√≥ismeretes bizony√≠t√°snak sz√°mos felhaszn√°l√°si m√≥dja van, amelyek k√∂z√ľl n√©h√°nyat m√°r megval√≥s√≠tottak, a t√∂bbi pedig v√°rhat√≥an a j√∂vŇĎben val√≥sul meg. N√©h√°ny fontosabb ZKP felhaszn√°l√°si m√≥d:¬†

Digit√°lis identit√°s-ellenŇĎrz√©s

A z√©r√≥ismeretes bizony√≠t√°s felhaszn√°lhat√≥ a felhaszn√°l√≥k szem√©lyazonoss√°g√°nak ellenŇĎrz√©s√©re an√©lk√ľl, hogy b√°rmilyen √©rz√©keny szem√©lyes adatot felfedn√©nek. Ez olyan ter√ľleteken lehet hasznos, mint p√©ld√°ul a digit√°lis szavaz√°si rendszerek, ahol a szavaz√≥k szem√©lyazonoss√°g√°t √ļgy kell ellenŇĎrizni, hogy a szavaz√≥k anonimit√°sa ne s√©r√ľlj√∂n.

Adatvédelmet biztosító tranzakciók

A kript√≥ban a z√©r√≥ismeretes bizony√≠t√°s egyik legn√©pszerŇĪbb felhaszn√°l√°si ter√ľlete az adatv√©delmet biztos√≠t√≥ tranzakci√≥k lehetŇĎv√© t√©tele. P√©ld√°ul a Manta Network MantaPay nevŇĪ decentraliz√°lt alkalmaz√°sa (DApp) ZKP seg√≠ts√©g√©vel teszi lehetŇĎv√© a felhaszn√°l√≥k sz√°m√°ra, hogy tranzakci√≥kat hajthassanak v√©gre a decentraliz√°lt tŇĎzsd√©n (DEX) an√©lk√ľl, hogy felfedn√©k szem√©lyazonoss√°gukat vagy tranzakci√≥s adataikat. Ez biztos√≠tja a felhaszn√°l√≥k sz√°m√°ra az adatv√©delmet akkor is, amikor a platformot tranzakci√≥kra haszn√°lj√°k.

Védett tranzakciók

A Zcash egy olyan kriptovaluta, amely z√©r√≥ismeretes bizony√≠t√°st haszn√°l, hogy lehetŇĎv√© tegye a v√©dett tranzakci√≥kat. Az ilyen tranzakci√≥k sor√°n a felad√≥ √©s a c√≠mzett c√≠m√©t, valamint a tranzakci√≥ √∂sszeg√©t elrejtik a publikus blokkl√°nc elŇĎl, ami a felhaszn√°l√≥k sz√°m√°ra tov√°bbi adatv√©delmet biztos√≠t.

Tokeniz√°l√°s √©s tulajdonjog ellenŇĎrz√©se

A z√©r√≥ismeretes bizony√≠t√°s felhaszn√°lhat√≥ az eszk√∂z√∂k tokeniz√°l√°s√°ra √©s tulajdonjoguk igazol√°s√°ra is. P√©ld√°ul egy ingatlan tokeniz√°lhat√≥, √©s b√°rmelyik f√©l igazolhatja tulajdonjog√°t an√©lk√ľl, hogy b√°rmilyen m√°s inform√°ci√≥t nyilv√°noss√°gra hozna.

Globális megfelelés

Egyes orsz√°gokban szigor√ļ elŇĎ√≠r√°sok vonatkoznak a p√©nz√ľgyi inform√°ci√≥k begyŇĪjt√©s√©re √©s megoszt√°s√°ra, amelyeket a decentraliz√°lt platformok nehezen tudnak betartani. A z√©r√≥ismeretes bizony√≠t√°s seg√≠ts√©g√©vel a sz√ľks√©ges inform√°ci√≥kat meg lehet osztani a szab√°lyoz√≥ hat√≥s√°gokkal, mik√∂zben azok m√°s felek elŇĎl titokban maradnak.

Ez seg√≠thet √°thidalni a decentraliz√°lt platformok √©s a hagyom√°nyos p√©nzint√©zetek k√∂z√∂tti szakad√©kot, megk√∂nny√≠tve a DeFi sz√°m√°ra a k√ľl√∂nb√∂zŇĎ joghat√≥s√°gok elŇĎ√≠r√°sainak val√≥ megfelel√©st.

A z√©r√≥ismeretes bizony√≠t√°s j√∂vŇĎje a blokkl√°ncon

A z√©r√≥ismeretes bizony√≠t√°s a j√∂vŇĎben val√≥sz√≠nŇĪleg √ļj technol√≥giai innov√°ci√≥kat fog eredm√©nyezni. N√©h√°ny ZKP-val kapcsolatos j√∂vŇĎbeli fejleszt√©s, amelyre √©rdemes odafigyelni:¬†

Keresztl√°nc√ļ adatv√©delmi r√©tegek

Ahogy a blokkl√°nc √©s a DeFi √∂kosziszt√©m√°k tov√°bb n√∂vekszenek √©s fejlŇĎdnek, egyre nagyobb sz√ľks√©g van a k√ľl√∂nb√∂zŇĎ blokkl√°nch√°l√≥zatok k√∂z√∂tti √°tj√°rhat√≥s√°gra. A keresztl√°nc√ļ adatv√©delmi r√©tegek lehetŇĎv√© teszik, hogy a tranzakci√≥kat k√ľl√∂nb√∂zŇĎ blokkl√°nch√°l√≥zatokon bonyol√≠ts√°k le, mik√∂zben biztos√≠tj√°k az adatv√©delmet az √©rintett felek sz√°m√°ra.

zk-STARKs

Egy m√°sik ter√ľlet, amelyre √©rdemes odafigyelni, a zk-STARKs (z√©r√≥ismeretes sk√°l√°zhat√≥ √°tl√°that√≥ tud√°s√©rv) fokozott haszn√°lata, amely a zk-SNARKs-n√°l hat√©konyabbnak √©s biztons√°gosabbnak tartott √ļjabb t√≠pus√ļ z√©r√≥ismeretes bizony√≠t√°s. A zk-STARKs m√°sik elŇĎnye a zk-SNARKs-al szemben, hogy az elŇĎbbi gyorsabban ellenŇĎrizhetŇĎ, √©s nem ig√©nyel megb√≠zhat√≥ be√°ll√≠t√°st.

Felhasználóbarát eszköztárak 

A z√©r√≥ismeretes bizony√≠t√°si technol√≥gia √∂sszetett lehet, √©s nem minden fejlesztŇĎcsapat rendelkezik szak√©rtelemmel a kriptogr√°fia ezen speci√°lis ter√ľlet√©n. A felhaszn√°l√≥bar√°t ZKP-eszk√∂zt√°rak seg√≠thetnek √°thidalni ezt a szakad√©kot, √©s megk√∂nny√≠thetik a k√ľl√∂nb√∂zŇĎ h√°tterŇĪ fejlesztŇĎk sz√°m√°ra a technol√≥gia haszn√°lat√°t.¬†

A zéróismeretes bizonyítás korlátai

A z√©r√≥ismeretes bizony√≠t√°s egyed√ľl√°ll√≥ m√≥dszert jelent egy inform√°ci√≥ igazs√°g√°nak ellenŇĎrz√©s√©re az adatv√©delem megŇĎrz√©se mellett, de nem ny√ļjt 100%-os garanci√°t. B√°r elhanyagolhat√≥ a hiteles√≠t√©s val√≥sz√≠nŇĪs√©ge abban az esetben, ha a bizony√≠t√≥ hazudik, a felhaszn√°l√≥knak tiszt√°ban kell lenni√ľk azzal, hogy a ZKP nem bombabiztos.

R√°ad√°sul a z√©r√≥ismeretes bizony√≠t√°s √°ltal haszn√°lt algoritmusok intenz√≠v sz√°m√≠t√°si erŇĎforr√°sokat ig√©nyelnek. A ZKP-k bizonyos t√≠pusain√°l intenz√≠v sz√°m√≠t√°sokra van sz√ľks√©g, mivel sok interakci√≥t ig√©nyelnek a hiteles√≠tŇĎk √©s a bizony√≠t√≥k k√∂z√∂tt. M√°s esetekben az algoritmusok rendk√≠v√ľl sz√°m√≠t√°sig√©nyesek, ami korl√°tozhatja a ZKP alkalmaz√°s√°t.

Záró gondolatok

A z√©r√≥ismeretes bizony√≠t√°s egyre nagyobb figyelmet kap az adatv√©delem megŇĎrz√©s√©vel √©s a sk√°l√°z√°si potenci√°llal kapcsolatos egyed√ľl√°ll√≥ tulajdons√°gai miatt. A technol√≥gia egyre sz√©lesebb k√∂rŇĪ alkalmaz√°sa a blokkl√°nc, a kriptovalut√°k √©s a DeFi ter√ľlet√©n val√≥sz√≠nŇĪleg tov√°bbi innovat√≠v szolg√°ltat√°sokat eredm√©nyez majd, melyek jelentŇĎs elŇĎny√∂kkel szolg√°lhatnak a felhaszn√°l√≥k sz√°m√°ra. A z√©r√≥ismeretes bizony√≠t√°s v√°rhat√≥an d√∂ntŇĎ szerepet j√°tszik majd a biztons√°gosabb, priv√°t √©s hat√©konyabb DApp-√∂kosziszt√©m√°k l√©trehoz√°s√°ban.

További olvasnivaló