Čo je Dôkaz s nulovým poznaním (ZKP)?
Dôkaz s nulovým poznaním ZKP je spôsob, ako dokázať, že niečo je pravda, bez odhalenia vecí, ktoré sú za tým. Pomyslite na to ako ukázať, že poznáte heslo, bez jeho zadaní, alebo potvrdenie, že ste starší ako 21 rokov, bez ukazovania vášho dátumu narodenia. Magické vibrácie, matematické korene.
ZKPs skrývajú všetko, takže sú pre shady správanie. Nie celkom. Dôkaz s nulovým poznaním dokazuje konkrétny výrok, ktorý definujete, a overovateľ ho môže kontrolovať prísne bez toho, aby videl vaše tajomstvá.
Ako Dôkaz s nulovým poznaním (ZKP) funguje
Rýchly prehľad s priateľným príkladom. Chcete dokázať, že máte dosť prostriedkov na obchod bez odhalenia svojho zostatku.
- Krok 1: Vyberiete výrok, napríklad že môj zostatok je aspoň X, a zaviažete sa k svojim skrytým údajom náhodou.
- Krok 2: Vytvoríte dôkaz z týchto skrytých údajov spolu s verejnými informáciami, tvarovaný tak, aby sa matematika overila.
- Krok 3: Pošlete dôkaz overovateľovi, nie tajomstvo.
- Krok 4: Overovateľ spustí kontrolu, ktorá buď potvrdí, alebo odmietne. Žiadne nakukovanie do vášho zostatku.
- Krok 5: Ak je prijatý, ktokoľvek si môže neskôr ten istý dôkaz ešte raz skontrolovať bez toho, aby s vami znovu komunikoval.
Pod kapotou to stojí na vážnej cryptography. Áno, matematika drží potvrdenky.
Prečo Dôkaz s nulovým poznaním (ZKP) má význam
Tak prečo by ste to mali zaujímať? Tri rýchle uhly pohľadu.
- Prínos: Dôkaz, čo potrebujete, a zvyšok nechajte pre seba. Menej únikov, menej rizika.
- Hľadisko: Aplikácie s čo najmenej dátami sú moderné, ako keď Rolex stretne vlákna Reddit vláken. Zdieľajte len to, čo je nevyhnutné.
- Relevancia: ZK uvidíte v rollupoch, súkromných prevodoch a overovaní identity na každej serióznej blockchaine.
Keď počujete, že táto aplikácia používa ZK, spýtajte sa na dve veci. Čo presne sa dokazuje a či bolo potrebné dôverné prostredie. Ak vám ide o kontrolu dát, ZK dobre ladí so silnými súkromnosťou mimo samotného dôkazu.
Kľúčové charakteristiky Dôkazu s nulovým poznaním (ZKP)
Čo ho robí výnimočným, jedným vety.
- Súkromný: Overovatelia sa dozvedia, že výrok je pravdivý, bez toho, aby sa dozvedeli vaše tajomstvo.
- Komprimovaný: Dôkazy môžu byť malé a rýchle na overenie, dokonca aj na reťazi.
- Rýchly: Overovanie je ľahšie ako prepočítať celú kalkuláciu.
- Komponovateľný: Môžete vrstviť dôkazy alebo zoskupovať veľa overení do jedného.
- Škálovateľný: Toto pomáha škálovateľnosti presunom ťažkej práce zverifikátorom a zároveň zachovaním korektnosti.
Variácie
Rôzne odtiene sadnú na rôzne úlohy.
- SNARKs: Krátke dôkazy, rýchle overenie, zvyčajne potrebujú dôverné nastavenie.
- STARKs: Žiadne dôverné nastavenie, väčšie dôkazy, vhodné pre post-quantum výskum.
- Bulletproofs: Výborné pre intervaly, bežné pri súkromných sumách.
- Sigma: Klasický interaktívny štýl, vyučovaný v mnohých kurzoch.
Dôkaz s nulovým poznaním nezabezpečuje vašu aplikáciu sám o sebe. Ak je váš výrok príliš slabý alebo nastavenie nedbalé, dôkaz môže byť správny, no nepomáhajúci. Navrhnite výrok opatrne.
Príklad
Mesto usporiada hlasovanie, v ktorom voliči preukážu, že sú oprávnení a ešte nehlasovali, pričom ich identity zostávajú skryté voči verejnej súťaži.
Zaujímavé fakt
Klasická trikovanie na vysvetlenie ZK používa dve identické farebné guličky a test s ovisením, aby ukázala, že ich rozoznáte bez odhalenia, ktorá je ktorá. Nerdy, ale zapadne to.
Záver
V jednej vete, Dôkaz s nulovým poznaním ZKP je dôkaz bez zbytočného zdieľania, takže môžete povedať, že to viem dokázať bez ukázania.