📝 Ahoj, já jsem 𝟏𝟎, toto je populárně vědecký seriál o#BlockchainDevelopmentHistoryObsah tohoto čísla je: důkaz s nulovými znalostmi.

Zero-knowledge proof (ZKP) je kryptografický průlom ZKP je nyní jedním z hlavních cílů, které blockchain sleduje. V budoucnu může přinést naše soukromí a bezpečnost na vysokou úroveň.

👇👇👇

1. Co je důkaz s nulovými znalostmi?

Zero-knowledge proof (ZKP) je kryptografická technologie, která umožňuje ověřovateli prokázat ověřovateli, že zná určitou skutečnost, aniž by prozradil nějaké konkrétní informace. To bylo navrženo v roce 1985 Shafi Goldwasser, Silvio Micali a Charles Rackoff. Jádrem důkazu s nulovými znalostmi je, že ověřovatel může potvrdit pravost důkazu, ale nemůže z něj získat další informace.

Příklad: Pokud chci dokázat, že znám telefonní číslo někoho, nemusím zveřejňovat číslo, stačí, když zavolám. Ověřovatel ví, že mohu kontaktovat dotyčného, ale neví, jaké číslo to konkrétně je.

Druhá, Vlastnosti zero-knowledge proof

Zero-knowledge proof je ověřovací technika, při které ověřovatel nemusí znát konkrétní detaily, aby potvrdil pravdivost prohlášení, a má tři vlastnosti: integrita, rozumnost a nulové znalosti.

Integrita znamená, že pokud je prohlášení pravdivé, ověřovatel musí být přesvědčen, což znamená "skutečně se nemůže mýlit"; rozumnost znamená, že pokud je prohlášení nepravdivé, ověřovatel bude téměř nemožné oklamat, což znamená "falešné nemůže být správné"; nulové znalosti znamená, že ověřovatel kromě potvrzení, že prohlášení je pravdivé, nezíská žádné další informace.

Zero-knowledge proof závisí na pravděpodobnostním ověřování, ačkoli existuje velmi malá šance na chybu, může být snížena na téměř nulu prostřednictvím opakovaného ověřování. Jednoduše řečeno, prokázatel musí znát skutečné informace, aby prošel ověřením, a náhodné hádání může snadno být odhaleno. Tento způsob chrání jak soukromí, tak zajišťuje přesnost výsledků ověření.

Třetí, Hlavní dva typy zero-knowledge proof

1, Interaktivní zero-knowledge proof: V tomto způsobu musí prokázatel a ověřovatel provést sérii interakcí, prokázatel prokazuje, že ovládá určité informace tím, že splní sérii úkolů nebo operací. Tyto úkoly obvykle zahrnují určité výpočty pravděpodobnosti, ověřovatel potvrzuje pravdivost informací prostřednictvím těchto operací.

2, Neinteraktivní zero-knowledge proof: Na rozdíl od interaktivního způsobu, tento způsob nevyžaduje, aby prokázatel a ověřovatel komunikovali v reálném čase. Prokázatel generuje důkaz prostřednictvím předchozího výpočtu a ověřovatel ho může následně ověřit. Tento proces nevyžaduje interakci, ověřovatel pouze zkontroluje poskytnutý důkaz, aby potvrdil platnost informací.

Čtvrtá, Případy použití zero-knowledge proof ve Web3

1, Off-chain počítání a škálovatelnost: ZKP může pomoci blockchainu se škálovat, jako ZK-Rollups, které přesunou výpočetní práci na zpracování mimo řetězec, což zrychluje zpracování blockchainů jako Ethereum a výrazně zvyšuje efektivitu.

2, Mosty mezi řetězci: Díky technologii ZKP mohou být mezikrytové transakce bezpečnější, jako Wormhole a ZKBridge, které tuto technologii používají k řešení problému vzájemné komunikace mezi různými blockchainy.

3, Hry na řetězci: Blockchainové hry mají velký problém - jak si na veřejném a transparentním řetězci uchovat tajemství svých strategií? ZKP je řešení! Může "skrýt" některé informace ve hře, například ve hře (Temný les), kde si hráči mohou udržet své strategie v tajnosti před ostatními, což zajišťuje spravedlnost hry a soukromí hráčů.

4, Bezpečnost aktiv: ZKP zvyšuje bezpečnost Web3, zajišťuje bezpečnost uživatelských aktiv a přesnost dat prostřednictvím dokladu o platnosti.

5, Ověření uživatelů: ZKP umožňuje uživatelům prokázat svou identitu bez odhalení soukromých informací, například při přihlášení stačí pouze ZK důkaz, systém neví, jaké je vaše skutečné heslo.

6, Sdílení dokumentů a ochrana úložiště: Při sdílení souborů na internetu se často obáváme úniku dat, ZKP může šifrovat vaše data a zajistit, že je mohou vidět pouze oprávněné osoby.

Pátá, Projekty využívající zk-STARK

StarkEx

StarkEx je řešení pro škálování Layer 2 na Ethereum, které používá STARK důkazy k ověřování transakcí, což zvyšuje rychlost zpracování transakcí a snižuje náklady. Hlavně se používá k podpoře transakčních a platebních aplikací, projekty jako DeversiFi, Sorare a dYdX jsou postaveny na StarkEx. Nicméně, omezení StarkEx spočívá v tom, že nepodporuje chytré smlouvy, což znamená, že nemůže realizovat plně funkční decentralizované aplikace (dApp) jako jiné platformy.

StarkNet

StarkNet je univerzální platforma, která umožňuje vývojářům nasazovat chytré smlouvy na zk-rollupu Ethereum. Populární aplikace Ethereum, jako Aave a Maker, také plánují spustit na StarkNet, aby zvýšily škálovatelnost. ZK-rollup StarkEx také může fungovat na StarkNet, což dále optimalizuje výkon aplikace.

Šestá, Ocas

Pokud vám obsah pomohl, prosím, dejte like, komentujte a sledujte, podpořte nás, děkujeme!!!🌅