KezdŇĎlap
Cikkek
A kriptók átláthatóságának javítása zéróismeretes bizonyítással

A kriptók átláthatóságának javítása zéróismeretes bizonyítással

K√∂z√©pszintŇĪ
Közzétéve Feb 10, 2023Frissítve Jan 5, 2024
10m

TL;DR

A z√©r√≥ismeretes bizony√≠t√°s lehetŇĎv√© teszi az egyik f√©l (a hiteles√≠tŇĎ) sz√°m√°ra, hogy meg√°llap√≠tsa egy m√°sik f√©l (a bizony√≠t√≥) √°ltal adott √°ll√≠t√°s √©rv√©nyess√©g√©t an√©lk√ľl, hogy ismern√© az √°ll√≠t√°s tartalm√°t. A Binance p√©ld√°ul bizony√≠thatja, hogy a felhaszn√°l√≥k p√©nzeszk√∂zei teljes m√©rt√©kben fedezve vannak tartal√©kokkal an√©lk√ľl, hogy felfedn√© az √∂sszes egy√©ni felhaszn√°l√≥i egyenleget.

A ‚ÄěProof of Reserve‚ÄĚ egy Merkle-fa seg√≠ts√©g√©vel √©p√≠thetŇĎ fel, amely v√©delmet ny√ļjt a belsŇĎ adatok, ebben az esetben a teljes nett√≥ √ľgyf√©legyenlegek, azaz a tŇĎzsde felhaszn√°l√≥kkal szembeni k√∂telezetts√©geinek meghamis√≠t√°sa ellen. Ez majd kombin√°lhat√≥ egy zk-SNARK-kal (z√©r√≥ismeretes bizony√≠t√°si protokoll), amely biztos√≠tja, hogy a felhaszn√°l√≥k az egy√©ni egyenlegek ismerete n√©lk√ľl ellenŇĎrizni tudj√°k, hogy egyenleg√ľk a teljes nett√≥ felhaszn√°l√≥i eszk√∂zegyenleg r√©sz√©t k√©pezi.

Bevezetés

A piaci esem√©nyek f√©ny√©ben a let√©tbe helyezett kriptoeszk√∂z√∂k biztons√°ga kritikus t√©m√°v√° v√°lt. A blokkl√°nc felhaszn√°l√≥k nagyra √©rt√©kelik az √°tl√°that√≥s√°got √©s a nyitotts√°got, de t√°mogatj√°k az adatv√©delmet √©s a titoktart√°st is. Ez dilemm√°t okoz a let√©tkezelŇĎk √°ltal ŇĎrz√∂tt p√©nzeszk√∂z√∂k tartal√©kainak bizony√≠t√°sakor. Gyakran kompromisszumot kell k√∂tni az √°tl√°that√≥s√°g, a bizalom √©s az adatok bizalmas kezel√©se k√∂z√∂tt.

Ennek azonban nem kell így lennie. A zk-SNARK-hoz hasonló zéróismeretes bizonyítási protokollok és Merkle-fák kombinálásával minden fél számára hatékony megoldást találhatunk.

Mi az a zéróismeretes bizonyítás?

A z√©r√≥ismeretes bizony√≠t√°s lehetŇĎv√© teszi az egyik f√©l (a hiteles√≠tŇĎ) sz√°m√°ra, hogy meg√°llap√≠tsa egy m√°sik f√©l (a bizony√≠t√≥) √°ltal adott √°ll√≠t√°s √©rv√©nyess√©g√©t an√©lk√ľl, hogy ismern√© az √°ll√≠t√°s tartalm√°t. L√°ssunk egy r√∂vid p√©ld√°t.

Van egy z√°rt sz√©f, amelynek csak √Ėn tudja a k√≥dj√°t. A p√©lda kedv√©√©rt a sz√©fet nem lehet m√°s m√≥don felt√∂rni vagy kinyitni, csak a kombin√°ci√≥ ismeret√©ben. Ezt a t√©nyt a k√≠s√©rletben r√©szt vevŇĎ bar√°tja is meg√°llap√≠totta, ellenŇĎrizte √©s tudja.

√Ėn elmondja a bar√°tj√°nak, hogy tudja a kombin√°ci√≥t, de nem akarja el√°rulni vagy kinyitni a dobozt a bar√°tja elŇĎtt. A doboz tetej√©n van egy lyuk, amin kereszt√ľl a bar√°tja be tud helyezni egy √ľzenetet. Ahhoz, hogy ez egy z√©r√≥ismeretes bizony√≠t√°s legyen, a bar√°tj√°nak a megadott √°ll√≠t√°son k√≠v√ľl semmilyen tov√°bbi inform√°ci√≥val nem szabad rendelkeznie a folyamatr√≥l.

Bebizony√≠thatja a bar√°tj√°nak, hogy ismeri a kombin√°ci√≥t az√°ltal, hogy kinyitja a dobozt, elmondja, mi volt a cetlire √≠rva, majd √ļjra bez√°rja azt. √Ėn azonban egy pillanatra sem fedte fel a kombin√°ci√≥t.

R√©szletesebb p√©lda√©rt tekintse meg Mi az a z√©r√≥ismeretes bizony√≠t√°s √©s hogyan hat a blokkl√°ncra? c√≠mŇĪ cikk√ľnket.

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

A z√©r√≥ismeretes bizony√≠t√°sok alkalmasak valaminek a bizony√≠t√°s√°ra an√©lk√ľl, hogy √©rz√©keny inform√°ci√≥kat vagy r√©szleteket fedn√©nk fel. Ez hasznos lehet akkor, ha nem akarja √°tadni p√©nz√ľgyi vagy szem√©lyes adatait, amelyeket helytelen√ľl haszn√°lhatn√°nak fel.

A kript√≥k eset√©ben bizony√≠thatja, hogy rendelkezik a priv√°tkulccsal an√©lk√ľl, hogy felfedn√© vagy digit√°lisan al√°√≠rna valamit. Egy kriptovaluta-tŇĎzsde a tartal√©kai √°llapot√°t is bizony√≠thatja an√©lk√ľl, hogy bizalmas inform√°ci√≥kat fedne fel a felhaszn√°l√≥kr√≥l, bele√©rtve az egy√©ni sz√°mlaegyenleg√ľket is.¬†

Ezekben az esetekben (√©s sok m√°sban) a z√©r√≥ismeretes bizony√≠t√°s olyan algoritmusokat haszn√°lna, amelyek fognak egy adatbemenetet, √©s kimenetk√©nt ‚Äěigaz‚ÄĚ vagy ‚Äěhamis‚ÄĚ √©rt√©ket adnak vissza.¬†

A zéróismeretes bizonyítás technikai meghatározása

A z√©r√≥ismeretes bizony√≠t√°s technikailag egy bizonyos krit√©riumoknak megfelelŇĎ strukt√ļr√°t k√∂vet. A bizony√≠t√≥ √©s a hiteles√≠tŇĎ szerep√©vel m√°r foglalkoztunk, de van m√©g h√°rom krit√©rium, amelyet egy z√©r√≥ismeretes bizony√≠t√°snak le kell fednie:

  1. Teljess√©g. Amennyiben az √°ll√≠t√°s igaz, a megadott bizony√≠t√©k meggyŇĎzi a hiteles√≠tŇĎt, an√©lk√ľl, hogy tov√°bbi inform√°ci√≥ra vagy ellenŇĎrz√©sre lenne sz√ľks√©g.

  2. Megb√≠zhat√≥s√°g. Amennyiben az √°ll√≠t√°s hamis, a megadott bizony√≠t√©k nem fogja meggyŇĎzni a hiteles√≠tŇĎt az √°ll√≠t√°s igazs√°g√°r√≥l.

  3. Z√©r√≥ismeretes. Amennyiben az √°ll√≠t√°s igaz, a hiteles√≠tŇĎ nem szerez tudom√°st semmilyen inform√°ci√≥r√≥l azon k√≠v√ľl, hogy az √°ll√≠t√°s igaz.

Mi az a zk-SNARK?

A zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) egy olyan bizony√≠t√°si protokoll, amely a kor√°bban v√°zolt z√©r√≥ismeretes elveket k√∂veti. A zk-SNARK seg√≠ts√©g√©vel bebizony√≠thatja, hogy ismeri az eredeti hashelt √©rt√©ket (errŇĎl bŇĎvebben al√°bb) an√©lk√ľl, hogy felfedn√©, mi az. Egy tranzakci√≥ √©rv√©nyess√©g√©t is bizony√≠thatja an√©lk√ľl, hogy b√°rmilyen inform√°ci√≥t felfedne a konkr√©t √∂sszegekrŇĎl, √©rt√©kekrŇĎl vagy c√≠mekrŇĎl.

A zk-SNARK-okat gyakran haszn√°lj√°k √©s vitatj√°k meg a blokkl√°nc √©s a kriptovalut√°k vil√°g√°ban. De elgondolkodhat azon, hogy mi√©rt haszn√°lna valaki zk-SNARK-ot, amikor egy egyszerŇĪ nyilv√°nos √©s priv√°tkulcs p√°rt alkalmaz√≥ m√≥dszerrel is biztos√≠thatja az inform√°ci√≥kat. Azonban nem tudn√°nk v√©grehajtani a matematikai bizony√≠t√°st annak biztos√≠t√°s√°ra, hogy ne szerepeljenek benne negat√≠v egyenlegek √©s a Merkle-fa √∂sszege.¬†

A tŇĎzsdei tartal√©kok eset√©ben az √ľgyfelek egyenlegeinek 1:1 ar√°ny√ļ fedezet√©t szeretn√©nk bizony√≠tani an√©lk√ľl, hogy az egyes sz√°ml√°k azonos√≠t√≥i √©s egyenlegei nyilv√°noss√°gra ker√ľln√©nek. Ezenk√≠v√ľl a zk-SNARK technol√≥gia m√©g val√≥sz√≠nŇĪtlenebb√© teszi az adatok meghamis√≠t√°s√°t.

Mi az a Merkle-fa?

A Binance felhaszn√°l√≥khoz tartoz√≥ sz√°ml√°k √∂sszegzett alapjainak bemutat√°sa nagy adatk√©szlettel val√≥ munk√°t ig√©nyel. E nagy mennyis√©gŇĪ adat kriptogr√°fiai bemutat√°s√°nak egyik m√≥dja a Merkle-fa haszn√°lata. Hatalmas mennyis√©gŇĪ inform√°ci√≥ t√°rolhat√≥ benne hat√©konyan, √©s kriptogr√°fiai jellege miatt integrit√°sa k√∂nnyen ellenŇĎrizhetŇĎ.

Hash f√ľggv√©nyek

Egy bemenet t√∂m√∂r k√≥dol√°s√°hoz a Merkle-fa hash-f√ľggv√©nyeket haszn√°l. R√∂viden, a hashel√©s azt a folyamatot jelenti, amelynek sor√°n egy v√°ltoz√≥ m√©retŇĪ bemenetbŇĎl egy fix m√©retŇĪ kimenetet √°ll√≠tunk elŇĎ. M√°s sz√≥val, ha egy tetszŇĎleges hossz√ļs√°g√ļ bemenetet egy algoritmuson kereszt√ľl hashel√ľnk, az egy titkos√≠tott, fix hossz√ļs√°g√ļ kimenetet fog eredm√©nyezni.

Am√≠g a bemenet ugyanaz marad, addig a kimenet sem v√°ltozik. Ez azt jelenti, hogy hatalmas mennyis√©gŇĪ tranzakci√≥s adatot tudunk kezelhetŇĎ kimenett√© hashelni. A kimenet teljesen m√°s lesz, ha b√°rmilyen inform√°ci√≥ megv√°ltozik a bemenetben.

Vegy√ľk p√©ld√°ul 100 k√∂nyv tartalm√°t, √©s futtassuk le ŇĎket az SHA-256 hash-f√ľggv√©nyen. Valami ilyesmit kapn√°nk kimenetk√©nt:

801a9be154c78caa032a37b4a4f0747f1e1addb397b64fa8581d749d704c12ea

Ha ezután megváltoztatnánk a bemenet (a 100 könyv) egyetlen karakterét, a hash teljesen más lenne, például:

abc5d230121d93a93a25bf7cf54ab71e8617114ccb57385a87ff12872bfda410

Ez egy fontos tulajdons√°ga a hash-f√ľggv√©nyeknek, mivel lehetŇĎv√© teszi az adatok pontoss√°g√°nak k√∂nnyŇĪ ellenŇĎrz√©s√©t. Ha b√°rki megism√©tli ugyanannak a 100 k√∂nyvnek az SHA-256 algoritmussal t√∂rt√©nŇĎ hashel√©s√©t, pontosan ugyanazt a hash-t fogja kapni kimenetk√©nt. Ha a kimenet m√°s, akkor biztosan √°ll√≠thatjuk, hogy a bemenet megv√°ltozott. Ez azt jelenti, hogy nem kell egyenk√©nt vagy manu√°lisan ellenŇĎrizni a bemenetek k√∂z√∂tti k√ľl√∂nbs√©geket, ami munkaig√©nyes lehet.

Merkle-f√°k a kriptovalut√°k vil√°g√°ban

A tranzakci√≥s adatok blokkl√°ncon t√∂rt√©nŇĎ t√°rol√°sakor minden √ļj tranzakci√≥t egy hash-f√ľggv√©nyen kereszt√ľl k√ľldenek be, amely egyedi hash-√©rt√©keket gener√°l. Tegy√ľk fel, hogy van nyolc tranzakci√≥nk (A-t√≥l H-ig), amelyeket egyenk√©nt hashel√ľnk, hogy megkapjuk a hashelt kimenet√ľket. Ezeket h√≠vjuk Merkle-lev√©l csom√≥pontoknak. Az al√°bbi k√©pen l√°that√≥ az egyes betŇĪk egyedi hash-√©rt√©ke: hA az A, hB a B, hC a C, stb.

Ezut√°n foghatjuk a hashelt kimenetek p√°rjait, kombin√°lhatjuk ŇĎket, √©s egy √ļj hashelt kimenetet kapunk. A hA √©s hB hashek √∂sszevont hashel√©se r√©v√©n p√©ld√°ul egy √ļj, Merkle-√°gk√©nt ismert, hAB hashelt kimenetet kapunk. Ne feledje, hogy minden alkalommal, amikor egy √ļj kimenet gener√°l√≥dik, az a haszn√°lt hash-f√ľggv√©nynek megfelelŇĎen fix hossz√ļs√°g√ļ √©s m√©retŇĪ lesz.

Most m√°r egyes√≠tve vannak k√©t tranzakci√≥ (pl. A √©s B) adatai egy hashben (hAB). Ne feledje, hogy ha b√°rmilyen inform√°ci√≥t megv√°ltoztatunk A-ban vagy B-ben, √©s megism√©telj√ľk a folyamatot, a hAB hash-kimenet√ľnk teljesen m√°s lesz.

A folyamat folytat√≥dik, ahogy √ļj hash-p√°rokat kombin√°lunk, hogy √ļjra hashelj√ľk ŇĎket (l√°sd az al√°bbi k√©pet). A hAB-t a hCD-vel hashelj√ľk, hogy egy egyedi hABCD hash-t kapjunk, √©s ugyanezt tessz√ľk a hEF-fel √©s a hGH-val, hogy megkapjuk a hEFGH-t. V√©g√ľl egyetlen hash-t kapunk, amely az √∂sszes elŇĎzŇĎ tranzakci√≥ hash-√©rt√©k√©nek hashelt kimenet√©t k√©pviseli. M√°s sz√≥val, a hashelt hABCDEFGH kimenet az √∂sszes elŇĎtte l√©vŇĎ inform√°ci√≥t k√©pviseli.

A fent l√°that√≥ gr√°fot Merkle-f√°nak h√≠vj√°k, √©s a hABCDEFGH hashelt kimenet a Merkle-gy√∂k√©r. A blokk fejl√©cekben Merkle-gy√∂kereket haszn√°lunk, mivel ezek kriptogr√°fiailag t√∂m√∂ren √∂sszefoglalj√°k a blokkban l√©vŇĎ √∂sszes tranzakci√≥s adatot. Gyorsan ellenŇĎrizni tudjuk azt is, hogy a blokkban nem t√∂rt√©nt-e b√°rmilyen adathamis√≠t√°s vagy m√≥dos√≠t√°s.

A Merkle-f√°k korl√°tai

T√©rj√ľnk vissza a CEX-tartal√©kokra vonatkoz√≥ p√©ld√°nkhoz. Egy CEX bizony√≠tani akarja √ľgyfelei √∂sszes eszk√∂z√©nek 1:1 ar√°ny√ļ fedezet√©t, √©s fel√©p√≠t egy Merkle-f√°t, amely tokenszinten hasheli az √ľgyfelek UID-it a nett√≥ eszk√∂z√°llom√°nyukkal (eszk√∂z√∂k √©s k√∂telezetts√©gek nett√≥s√≠t√°sa). Miut√°n kiadt√°k (√©s al√°√≠rt√°k, hogy bizony√≠ts√°k a Merkle-gy√∂k√©r feletti tulajdonjogot), az egyes felhaszn√°l√≥knak nincs m√≥djuk ellenŇĎrizni, hogy a Merkle-fa √©rv√©nyes-e an√©lk√ľl, hogy hozz√°f√©rn√©nek az √∂sszes bemenet√©hez.

ElŇĎfordulhat, hogy egy tŇĎzsde kihagyott n√©h√°ny bemenetet. Hamis sz√°ml√°kat is l√©trehozhat negat√≠v egyenleggel, hogy megv√°ltoztassa a teljes k√∂telezetts√©get. P√©ld√°ul, b√°r lehet, hogy az √ľgyfelek vagyona √∂sszesen 1¬†000¬†000 USD, hozz√°adhat√≥ egy hamis sz√°mla - 500¬†000 USD egyenleggel. Ez mind√∂ssze 500¬†000 doll√°ros tartal√©kc√©lt jelentene.

A proof of reserves esete elt√©r egy blokk Merkle-gy√∂ker√©tŇĎl, mivel a felhaszn√°l√≥k egy blokkl√°ncfelfedezŇĎben l√°thatj√°k az √∂sszes tranzakci√≥t, amelyet egy blokk tartalmaz. A CEX azonban biztons√°gi √©s adatv√©delmi okokb√≥l nem szeretn√© nyilv√°noss√°gra hozni az egyes sz√°ml√°k egyenleg√©t. Az √ľgyfelek sem √∂r√ľln√©nek, ha a sz√°mlaegyenleg√ľk nyilv√°noss√°gra ker√ľlne. Ebben az esetben a CEX nem tudja bizony√≠tani, hogy a felhaszn√°l√≥i egyenlegek √∂sszege helyes, an√©lk√ľl, hogy m√°s felhaszn√°l√≥i egyenlegek l√°that√≥v√° v√°ln√°nak.

Az egyik megold√°s, amelyet a tŇĎzsd√©k fontol√≥ra vehetnek, egy megb√≠zhat√≥ k√ľlsŇĎ auditor alkalmaz√°sa. Az auditor ellenŇĎrizheti az egyes sz√°ml√°kat √©s tartal√©kokat, mielŇĎtt v√©glegesen igazoln√° az adott Merkle-gy√∂k√©r √©rv√©nyess√©g√©t. A felhaszn√°l√≥k sz√°m√°ra azonban ez a m√≥dszer megk√∂veteli az auditorba √©s az audithoz haszn√°lt adatokba vetett bizalmat. Nem kell harmadik f√©lre t√°maszkodnia, ha megb√≠zhat az adatokban.

A zk-SNARK és a Merkle-fák kombinálása

A fenti probl√©ma t√∂k√©letes eset a zk-SNARK-ok haszn√°lat√°ra. Bizony√≠tani akarjuk, hogy a tartal√©kok teljes m√©rt√©kben fedezik a felhaszn√°l√≥i k√∂telezetts√©geket, √©s nem hamis√≠tottak. Adatv√©delmi √©s biztons√°gi okokb√≥l azonban nem szeretn√©nk megmutatni a hiteles√≠tŇĎnek a felhaszn√°l√≥i egyenlegek √©s tartal√©kok pontos √∂sszet√©tel√©t.¬†

A zk-SNARK haszn√°lat√°val egy kriptotŇĎzsde bizony√≠tani tudja, hogy a Merkle-fa √∂sszes lev√©lcsom√≥pontj√°nak egyenlegk√©szlete (azaz a felhaszn√°l√≥i sz√°ml√°k egyenlegei) szerepel a tŇĎzsde √°ll√≠t√≥lagos teljes felhaszn√°l√≥i eszk√∂zegyenleg√©ben. A felhaszn√°l√≥k k√∂nnyed√©n hozz√°f√©rhetnek a saj√°t lev√©lcsom√≥pontjaikhoz, mivel benne voltak a folyamatban. A zk-SNARK azt is biztos√≠tja, hogy a gener√°lt Merkle-fa ne tartalmazzon negat√≠v teljes nett√≥ eszk√∂zegyenleggel rendelkezŇĎ felhaszn√°l√≥kat (ami adathamis√≠t√°st jelentene, mivel minden hitel t√ļlfedezett). A Binance glob√°lis √°llapot√°nak kisz√°m√≠t√°sa is haszn√°latos, azaz az egyes Binance-√ľgyfelek minden eszk√∂z√©nek teljes nett√≥ egyenleg√©t tartalmaz√≥ lista.

N√©zz√ľk meg, hogyan k√∂zel√≠ti meg a Binance ezt a helyzetet. ElŇĎsz√∂r is, a Binance meghat√°rozza a bizony√≠tani k√≠v√°nt sz√°m√≠t√°si kik√∂t√©seket, √©s programozhat√≥ k√∂rk√©nt defini√°lja azokat. Az al√°bbiakban a Binance modellj√©ben haszn√°lt h√°rom kik√∂t√©st mutatjuk be.¬†

Minden felhaszn√°l√≥ egyenlegk√©szlet√©re (Merkle-fa lev√©lcsom√≥pontja) a k√∂r√ľnk biztos√≠tja, hogy:

  1. A felhaszn√°l√≥k eszk√∂zegyenlegei besz√°m√≠t√°sra ker√ľlnek a teljes nett√≥ felhaszn√°l√≥i egyenlegek √∂sszeg√©nek kisz√°m√≠t√°s√°ba a Binance-n√©l.

  2. A felhaszn√°l√≥ teljes nett√≥ egyenlege nagyobb vagy egyenlŇĎ null√°val.

  3. A Merkle-fa gyökerének módosítása érvényes (azaz nem használ hamisított információt), miután egy felhasználó adatait frissítette a levélcsomópont hashére.

A Binance ezut√°n a k√∂rnek megfelelŇĎen zk-SNARK bizony√≠t√©kot tud gener√°lni a Merkle-fa fel√©p√≠t√©s√©hez. Ez azzal j√°r, hogy a tŇĎzsde elv√©gzi a felhaszn√°l√≥k azonos√≠t√≥inak √©s egyenlegeinek hashel√©s√©vel j√°r√≥ neh√©z sz√°m√≠t√°sokat, mik√∂zben biztos√≠tja, hogy a bizony√≠t√©k megfeleljen a kik√∂t√©seknek.

A hiteles√≠tŇĎ megvizsg√°lja a bizony√≠t√©kot (√©s annak publikusan k√∂zz√©tett ny√≠lt forr√°sk√≥dj√°t), hogy meggyŇĎzŇĎdj√∂n arr√≥l, hogy a sz√°m√≠t√°s minden kik√∂t√©snek eleget t√©ve ker√ľl v√©grehajt√°sra. A hiteles√≠t√©si sz√°m√≠t√°s a bizony√≠t√°si idŇĎh√∂z k√©pest rendk√≠v√ľl r√∂vid idŇĎt vesz ig√©nybe.

A tŇĎzsde minden Proof of Reserves kiad√°skor k√∂zz√©teszi a k√∂vetkezŇĎket:

1. A Merkle-bizonyíték minden felhasználó számára.

2. A kör zk-SNARK bizonyítéka és publikus bemenete (az egyes eszközök és Merkle-gyökerek teljes nettó egyenleglistájának a hash-e) az összes felhasználó számára.

Az √©rintett felek ellenŇĎrizhetik a Merkle-bizony√≠t√©kot, biztos√≠tva, hogy egy√©ni egyenlegeik szerepelnek a Merkle-fa gy√∂ker√©ben. A zk-SNARK bizony√≠t√©kot is ellenŇĎrizhetik, hogy a Merkle-fa konstrukci√≥ja megfelel-e a k√∂rben meghat√°rozott kik√∂t√©seknek. A zk-SNARK megold√°sr√≥l √©s annak teljes√≠tm√©ny√©rŇĎl r√©szletesebb le√≠r√°st a Hogyan jav√≠tj√°k a zk-SNARK-ok a Binance Proof-of-Reserves rendszer√©t? blogon olvashat.

Záró gondolatok

A zk-SNARK-ok biztos√≠tj√°k az adatintegrit√°s √©s az adatv√©delem egyidejŇĪ biztos√≠t√°s√°hoz sz√ľks√©ges technol√≥gi√°t. Alkalmaz√°sa a tartal√©kok bizony√≠t√°s√°ra √©s a CEX √°tl√°that√≥s√°g√°nak n√∂vel√©s√©re seg√≠thet a blokkl√°nciparba vetett bizalom ki√©p√≠t√©s√©ben. Sokan r√©g√≥ta v√°rtak m√°r egy ilyen fejleszt√©sre, amely a CEX-ek sz√°m√°ra kulcsfontoss√°g√ļ idŇĎpontban √©rkezik.

Ez a zk-SNARK-unk elsŇĎ verzi√≥ja, √©s v√°rjuk a k√∂z√∂ss√©g visszajelz√©seit, hogy tov√°bb fejleszthess√ľk a rendszert.

További olvasnivaló