Zero-Knowledge Proofs (ZKP) jsou fascinujícím a silným konceptem v kryptografii, který umožňuje někomu dokázat, že něco ví, aniž by prozradil to, co ví. To znamená, že si můžete ověřit, že má někdo správné informace, aniž by musel prozradit jakékoli podrobnosti o těchto informacích. Tato vlastnost má mnoho zajímavých aplikací, od zabezpečeného ověřování až po soukromé transakce na blockchainu.

V tomto příspěvku prozkoumáme svět důkazů s nulovými znalostmi, včetně různých typů ZKP, jako jsou ZK-Snarks, ZK-Starks, a nejnovější a nejzajímavější vývoj, systém PLONK ZKP. Poskytneme také snadno srozumitelné příklady ze skutečného života, které vám pomohou tyto pojmy pochopit, i když je vám pět let.

Co jsou důkazy nulových znalostí?

Zero-Knowledge Proofs (ZKP) jsou kryptografická technika, která umožňuje jedné straně, ověřovateli, přesvědčit druhou stranu, ověřovatele, že zná určitou informaci, aniž by ji prozradil. Jinými slovy, dokazovatel může prokázat, že vlastní určitou informaci, aniž by odhalil, o jakou informaci jde.

ZKP jsou výkonnými nástroji v kryptografii, protože umožňují bezpečnou autentizaci, identifikaci a sdílení dat bez odhalení jakýchkoli citlivých informací. Umožňují stranám ověřovat informace a transakce, aniž by se vzdaly jakéhokoli soukromí.

ZK-Snarks

ZK-Snarks je typ důkazu nulových znalostí, který je široce používán v blockchainové technologii, zejména v blockchainech zaměřených na soukromí, jako je Zcash. ZK-Snarks je zkratka pro Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.

Abychom porozuměli ZK-Snarkům, představme si scénář, kdy máte tajné číslo a chcete někomu dokázat, že číslo znáte, aniž byste prozradili, co to je. ZK-Snarks by vám to umožnilo vytvořením důkazu, který by přesvědčil druhou osobu, že znáte číslo, aniž by prozradil číslo samotné.

ZK-Starks

ZK-Starks je další typ důkazu nulových znalostí, který je podobný ZK-Snarks, ale má určité rozdíly. ZK-Starks znamená Zero-Knowledge Scalable Transparent Argument of Knowledge.

Abyste porozuměli ZK-Starks, představte si scénář, kdy máte tajnou frázi a chcete někomu dokázat, že frázi znáte, aniž byste ji prozradili. ZK-Starks by vám to umožnil vytvořením důkazu, který by přesvědčil druhou osobu, že frázi znáte, aniž by prozradil frázi samotnou.

PLONKS

PLONK je nejnovější a nejvíce vzrušující vývoj ve světě důkazů s nulovými znalostmi. PLONK je zkratka pro Polynomial-based, Linearly-complex, Non-interactive, and Knowledge-proof.

PLONK je typ důkazu nulových znalostí, který je ještě výkonnější a efektivnější než ZK-Snarks a ZK-Starks. Má mnoho aplikací v kryptografii, včetně soukromých transakcí, ověřování a sdílení dat.

Abychom PLONK porozuměli, představme si scénář, kdy máte tajnou zprávu a chcete někomu dokázat, že zprávu znáte, aniž byste zprávu samotnou odhalili. PLONK by vám to umožnil vytvořením důkazu, který by přesvědčil druhou osobu, že zprávu znáte, aniž byste ji odhalili.

Závěr

Důkazy s nulovými znalostmi jsou mocným nástrojem v kryptografii, který stranám umožňuje ověřovat informace a transakce bez odhalení jakýchkoli citlivých informací. ZK-Snarks, ZK-Starks a PLONK jsou různé typy důkazů s nulovými znalostmi, které mají různé aplikace v průmyslu blockchainu i mimo něj.