Čo je zk-SNARK?

Čo je zk-SNARK?

Zk-SNARK je skratka, ktorá znamená „Zero-Knowledge Succinct Non-Interactive Argument of Knowledge“. Zk-SNARK je kryptografický dôkaz, ktorý umožňuje jednej strane dokázať, že vlastní určité informácie, bez toho, aby to odhalila informácie. Tento dôkaz je možný pomocou tajného kľúča vytvoreného pred transakciou. Používa sa ako súčasť protokolu pre kryptomenu, Zcash.

Pochopenie zk-SNARK

Pre mnohých pôvodných členov komunity kryptomien - predovšetkým komunity bitcoinov - bolo súkromie predpokladaným cieľom a črtou

kryptomena. Ochrana súkromia však bola vždy záujmom druhého rádu, vzhľadom na potrebu kryptomeny vytvoriť „dôveryhodný“ systém zaručujúci integritu elektronickej meny a digitálnych transakcií.

Začiatkom roku 2010 Bitcoin používatelia niekedy predpokladali, že ich transakcie sú anonymné, pretože ich offline identity neboli priradené k verejným kľúčom používateľov. Do konca desaťročia však koordinované úsilie vedcov údajov, hackerov a orgánov činných v trestnom konaní ukázalo, že je to nielen možné, ale aj relatívne ľahko znovu identifikovať ľudí ktorí poskytli pseudonymné údaje viacerým zdrojom.

Vzhľadom na vnímaný nedostatok súkromia niektorých pôvodných kryptomien, ako sú bitcoiny, vývojári začali pracovať na minciach zameraných na súkromie. The najvýraznejšie z týchto bolo Zcash, podporované technológiou známou ako zk-SNARKs.

Dôkaz nulovej znalosti

A zk-SNARK („Interaktívny argument znalostí s nulovým poznaním“) používa koncept známy ako „dôkaz s nulovými znalosťami“. Myšlienka týchto dôkazy bol prvýkrát vyvinutý v osemdesiatych rokoch minulého storočia. Zjednodušene povedané, dôkaz s nulovými znalosťami je situácia, v ktorej je každá z dvoch strán transakcie schopná overiť navzájom, že majú konkrétny súbor informácií, pričom zároveň neprezradia, aké tieto informácie sú je.

Pri väčšine ostatných typov dôkazov musí mať aspoň jedna z týchto dvoch strán prístup ku všetkým informáciám. Tradičný dôkaz je možné porovnať s heslom používaným na prístup do online siete. Užívateľ odošle heslo a samotná sieť skontroluje obsah hesla, aby overil, či je správne. Na to musí mať sieť prístup aj k obsahu hesla.

Verzia tejto situácie overená nulovými znalosťami by vyžadovala, aby používateľ demonštroval do siete (prostredníctvom matematického dôkazu), že majú správne heslo bez toho, aby ho v skutočnosti odhalili sám. Výhody ochrany osobných údajov a zabezpečenia v tejto situácii sú zrejmé: Ak sieť nemá heslo uložené niekde na účely overenia, heslo nemôže byť ukradnuté.

Matematický základ zk-SNARKS je komplexný. Dôkazy tohto druhu však umožňujú jednej strane preukázať nielen to, že určitý súbor informácií existuje, ale aj to, že daná strana o týchto informáciách vie. V prípade Zcash je možné zk-SNARK overiť takmer okamžite a protokol nevyžaduje žiadnu interakciu medzi dokazovateľom a overovateľom.

Kritika zk-SNARKS

So zk-SNARKs existujú, samozrejme, obavy. Ak by napríklad niekto mal prístup k súkromnému kľúču, bol použité na vytvorenie parametrov kontrolného protokolu, mohli vytvoriť falošné dôkazy, ktoré napriek tomu vyzerali platne overovatelia. To by tejto osobe umožnilo vytvárať nové tokeny Zcash prostredníctvom procesu falšovania. Aby sa tomu zabránilo, bol Zcash navrhnutý tak, aby boli protokoly o dokazovaní vypracované a rozložené na viac strán.

Zatiaľ čo konštrukcia procesu dokazovania Zcash bola dokončená tak, aby sa minimalizovala možnosť falšovania tokenov prostredníctvom falošných dôkazov, existuje najmenej jedna ďalšia obava, ktorá sa týka tiež kryptomeny. Zcash bol vytvorený s 20% „daňou“ vyberanou zo všetkých blokov vytvorených počas prvých niekoľkých rokov tokenu. Táto daň je známa ako „daň zakladateľa“ a slúži na kompenzáciu vývojárom kryptomeny.

Kritici navrhli, aby zakladatelia potenciálne využili tento aspekt systému na vytvorenie nekonečného počtu tokenov Zcash bez toho, aby si niekto iný bol vedomý ich existencie. Z tohto dôvodu nie je v tomto mieste úplne možné poznať presný počet existujúcich tokenov Zcash.

Od roku 2019 niektorí vývojári pracujú na zlepšení zk-SNARKs odstránením dôveryhodného nastavenia. Tím s názvom Suterusu má vyvinul systém zavolal zK-ConSNARK ktorý tvrdí, že je funkčný bez dôveryhodného nastavenia, môže poskytovať ochranu súkromia pre hlavné blockchainy, ako je bitcoin, a má najnižšiu infláciu pre akúkoľvek existujúcu kryptomenu.