Co je Zero Knowledge Proof (ZKP)?

Zero Knowledge Proof (ZKP) je způsob, jak dokázat, že něco je pravda, aniž byste odhalili podkladové údaje. Představte si, že prokážete, že znáte heslo, aniž byste ho zadali, nebo potvrdíte, že je vám více než 21 let, aniž byste ukázali datum narození. Třeba kouzlo s matematickým základem.

Mýtus

ZKP neskrývá všechno, jako by šlo o nekalé chování. Není to tak. Zero Knowledge Proof (ZKP) ověřuje konkrétní tvrzení, které definujete, a ověřovatel ho může stále důkladně zkontrolovat, aniž by viděl vaše tajné údaje.

Jak Zero Knowledge Proof (ZKP) funguje

Krátké vysvětlení s přátelským příkladem. Chcete dokázat, že máte dost prostředků na obchod, aniž byste odhalili zůstatek.

Krok 1: Zvolíte tvrzení typu „můj zůstatek je alespoň X“ a ke svým skrytým údajům přidáte náhodné hodnoty jako závazek.
Krok 2: Z těchto skrytých dat a veřejných informací vytvoříte důkaz, který je sestaven tak, aby matematicky seděl.
Krok 3: Pošlete důkaz ověřovateli, ne tajné údaje.
Krok 4: Ověřovatel provede kontrolu, která buď akceptuje, nebo zamítne. Bez nahlédnutí do vašeho zůstatku.
Krok 5: Pokud je akceptováno, kdokoli může později tentýž důkaz znovu ověřit, aniž by s vámi znovu komunikoval.

V pozadí stojí seriózní kryptografie. Ano, matematika zajišťuje důkazy.

Proč je Zero Knowledge Proof (ZKP) důležitý

Proč by vás to mělo zajímat? Tři stručné úhly pohledu.

Přínos: Prokažte, co potřebujete, a zbytek si nechte pro sebe. Méně úniků, menší riziko.
Pohled: Aplikace s minimem sdílených dat působí moderně. Sdílejte jen to, co je potřeba.
Uplatnění: Zero Knowledge Proof (ZKP) uvidíte v rollupech, soukromých převodech a při ověřování identity na každém seriózním blockchain.

Tip

Když uslyšíte, že aplikace používá ZK, ptejte se na dvě věci. Co přesně se dokazuje a zda bylo potřeba důvěryhodné nastavení. Pokud vám záleží na kontrole dat, ZK se dobře doplňuje s pevnými postupy pro soukromí i mimo samotný důkaz.

Klíčové vlastnosti Zero Knowledge Proof (ZKP)

Co jej dělá výjimečným, jednoduše řečeno.

Soukromé: Ověřovatelé poznají, že tvrzení je pravdivé, aniž by se dozvěděli vaše tajné údaje.
Stručné: Důkazy mohou být krátké a rychlé k ověření, i přímo na řetězci.
Rychlé: Ověření je méně náročné než přepočítání celé operace.
Komponovatelné: Důkazy lze kombinovat nebo seskupit více kontrol do jedné.
Škálovatelné: To pomáhá škálovatelnosti tím, že přesune těžkou práci mimo ověřovatele a přitom zachová správnost.

Varianty

Různé verze se hodí na různé úkoly.

SNARKy: Krátké důkazy, rychlé ověření, obvykle vyžadují důvěryhodné nastavení.
STARKy: Žádné důvěryhodné nastavení, větší důkazy, vhodné pro postkvantový výzkum.
Bulletproofs: Vhodné pro kontrolu rozsahů, běžné u soukromých částek.
Sigma: Klasický interaktivní styl, vyučovaný na mnoha kurzech.

Připomínka

Zero Knowledge Proof (ZKP) samotný aplikaci nezabezpečí. Pokud je vaše tvrzení příliš slabé nebo je nastavení nedbale provedené, důkaz může být technicky správný, ale nepřínosný. Návrh tvrzení pečlivě promyslete.

Příklad

Město uspořádá hlasování, kde voliči dokážou, že jsou oprávněni a ještě nehlasovali, zatímco jejich identity zůstávají skryté před veřejným sčítáním.

Zajímavost

Klasický trik na vysvětlení ZK používá dvě identické barevné kuličky a zkoušku se zavázanýma očima, aby ukázal, že je lze rozlišit, aniž byste prozradili, která je která. Pro nadšence technologií to funguje.

Shrnutí

Jednou větou: Zero Knowledge Proof (ZKP) je důkaz bez nadměrného sdílení, takže můžete říci „dokážu to prokázat, aniž bych to ukázal“.

Zero Knowledge Proof (ZKP)