Šta je Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)?
Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) je sistem za dokazivanje koji omogućava nekome da dokaže da je računanje obavljeno ispravno, a da pritom ne otkrije ulazne podatke niti ceo postupak računanja. Skalabilan je i transparentan jer ne zahteva ceremonije pouzdanog podešavanja i oslanja se na jednostavnu matematiku heširanja, što se dobro uklapa i u postkvantne pristupe. Zamislite ga kao mali, proverljiv račun koji potvrđuje da je domaći urađen, a da pritom ne prikazuje sam domaći zadatak.
„zk-STARK je isto što i SNARK.” Ne baš. To je vrsta dokaza sa nultim znanjem (ZKP), ali ne zahteva pouzdano podešavanje, teži otpornosti na kvantne računare i u zamenu za nešto veće dokaze nudi brzu javnu verifikaciju.
Kako funkcioniše Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)
Zamislite rollup koji dokazuje da je hiljade trgovina obrađeno ispravno. Uz Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK), blokčejn ne mora ponovo da izvrši sve. Dovoljno je da proveri sažet dokaz i nastavi dalje.
- Korak 1: Dokazivač bira tvrdnju koju želi da dokaže, na primer: „ovaj paket transakcija je obrađen u skladu sa pravilima”.
- Korak 2: Računanje se pretvara u strukturisani trag. Dokazivač se obavezuje na taj trag pomoću heševa, tako da se kasnije ništa ne može izmeniti.
- Korak 3: Vreme je za naprednu matematiku, skrivenu iza pristupačnog koda. Dokazivač pravi mali dokaz koji bi bilo veoma teško falsifikovati.
- Korak 4: Dokaz se šalje verifikatoru, često pametnom ugovoru. Verifikator obavlja jednostavne provere.
- Korak 5: Ako prođe proveru, rezultat se prihvata na blokčejnu i stanje se ažurira. Rezultat: bolji protok i performanse uz manje podataka.
To je ceo postupak, bez prašine od krede.
Zašto je Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) važan
Važno je zato što menja način na koji blokčejnovi postaju brzi i privatni, a da se pritom ne odričemo poverenja.
- Prednost: Velika računanja svode se na male provere, čime se štede naknade i vreme.
- Perspektiva: Možete dokazati ispravnost, a pritom sačuvati privatnost ulaznih podataka. Podelite dokaz, a ne tajne.
- Značaj: Koristi se u rollup-ovima, gejmingu, NFT-ovima i plaćanjima, gde su važni brzina i pouzdanost.
Kada vidite projekat koji koristi zk-STARK, proverite dve stvari: da li izbegava pouzdano podešavanje i da li uz pomoć rekurzije ili pametnog rešavanja dostupnosti podataka drži calldata malim. Ti izbori utiču na naknade i korisničko iskustvo.
Ključne karakteristike Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)
Evo po čemu se izdvaja:
- Transparentnost: Nema ceremonije pouzdanog podešavanja, pa ne morate da verujete nekoj posebnoj grupi.
- Skalabilnost: Osmišljen je za ozbiljnu skalabilnost i sažima ogromna radna opterećenja u male dokaze.
- Otpornost na kvantne računare: Zasniva se na heš funkcijama, za koje se smatra da su otpornije na buduće kvantne metode.
Varijacije
Evo srodnih varijanti za koje ćete čuti:
- SNARK-ovi: Manji dokazi i brza verifikacija, ali često zahtevaju pouzdano podešavanje. Njihove prednosti i mane razlikuju se od zk-STARK-a.
- Dokazi validnosti: Širi pojam koji obuhvata SNARK-ove i STARK-ove. Oni dokazuju da je ažuriranje stanja ispravno.
- Dokazi prevare: Koriste ih optimistički rollup-ovi. Pretpostavlja se da je sve ispravno dok neko ne dokaže grešku i uloži prigovor.
Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) dokazuje ispravnost, a ne zakonitost ili pravičnost. Može da sakrije ulazne podatke, ali podrazumevano ne skriva sve metapodatke, osim ako je aplikacija tako osmišljena.
Primer
DeFi exchange na Starknet-u grupiše trgovine i objavljuje jedan zk-STARK dokaz na Ethereum-u, pa blokčejn verifikuje ceo paket uz minimalnu potrošnju gasa.
Zanimljivost
Akronim su skovali istraživači, među kojima je bio Eli Ben Sasson, a STARK na nemačkom zaista znači „snažan”. To dobro pristaje ovom dizajnu, jer se oslanja na robusne heš funkcije, a ne na složene ceremonije javnog ključa.
Zaključak
Ukratko: zk-STARK vam pruža male dokaze da je obavljen veliki posao, pa možete da verujete rezultatima, a da ne zavirujete u podatke.