Toto je 1943. vydání Vernacular Blockchain Original Author | Sestavil Contributor | Produkoval Huohuo | Vernacular Blockchain (ID: hellobtc)

Po dlouhou dobu lze získat pouze dva ze tří nemožných trojúhelníků blockchainu (to znamená škálovatelnost, decentralizace a bezpečnost). Proto vznikla vrstva 2. V současném plánu rozšiřování vrstvy 2 je technologie ZK považována Vitalikem Buterinem (V God), spoluzakladatelem Etherea, za konečné řešení problému s rozšiřováním.

21. května na konferenci EDCON 2023, neziskové výroční globální konferenci Ethereum konané v Černé Hoře, Buterin řekl, že v příštích 10 letech bude zk-SNARK se ZK jako základní technologií stejně důležitý jako blockchain.

Jaké jsou tedy zk-SNARKY, které nedávno propagoval V God? Jaké neřešitelné problémy může blockchain vyřešit? Pojďme se podívat na dnešní úvod. Následuje text:

 

01 Co jsou to zk-SNARK?

1. Kdo vytvořil zk-SNARKY?

Termín „zk-SNARKs“ byl vytvořen skupinou kryptografů, včetně Nir Bitansky, Alessandro Chiesa a Eran Tromer, kteří původně publikovali základní principy zk-SNARKs v článku. Od té doby byly zk-SNARK postupně vyvíjeny a vylepšovány mnoha různými projekty a týmy.

2. Co znamená zk-SNARK?

- ZK: nulové znalosti nulové znalosti

Nulové znalosti znamenají, že osoba, která ověřuje tvrzení, nemůže z procesu ověřování získat žádné nové informace. Jinými slovy, v procesu dokazování s nulovými znalostmi ověřovatel ví pouze to, zda je tvrzení pravdivé nebo nepravdivé, a nic jiného.

- S: jednoduchost

Stručné nátisky zk-SNARKs jsou krátké a snadno ověřitelné nátisky. To je na rozdíl od běžných důkazů s nulovými znalostmi, které mohou být velmi dlouhé a složité. Typicky lze důkazy zk-SNARK ověřit v milisekundách.

- N: neinteraktivní neinteraktivní

Neinteraktivní nátisky zk-SNARKs nevyžadují žádnou interakci mezi ověřovatelem a ověřovatelem. To znamená, že z prokazatele je ověřovateli odeslána pouze jedna výsledná zpráva. To je na rozdíl od interaktivních důkazů, kde dokazovatel a ověřovatel musí vzájemně komunikovat tam a zpět, aby dokončili důkaz.

- AR: argument argument

Argument je důvod nebo soubor důvodů, které podporují názor. V kontextu zk-SNARKs je argument posloupnost matematických operací používaných k prokázání, že uvedený argument je správný.

- K: znalostní znalost

Znalost je myšlenka, že dokazovatel zná nějaké informace potřebné k dokončení důkazu. Může to být například soukromý klíč účtu.

Stručně řečeno, zk-SNARKs je systém ZK (systém prokazování nulových znalostí), který umožňuje uživatelům ("certifikátorům") něco prokázat jiné straně ("ověřovatel"), jako je jejich identita, vlastnictví fondů atd., bez zveřejnění jakýchkoli informací o těchto aktivech. Například:

- Uživatel by měl být schopen prokázat, že je na jeho účtu dostatečný zůstatek k nákupu produktu nebo služby, aniž by musel sdílet přesnou částku, kterou má - Uživatel by měl být schopen ověřit svou identitu před přístupem k aplikaci, aniž by musel sdílet; jeho osobní údaje.

Jako příklad toho, jak „vysvětlit zk-SNARKy 5letému dítěti“, je zde hra, která vysvětluje, co jsou zk-SNARKy:

"Představ si, že si hraješ se třemi kamarády." "Kde je učitel čínštiny?" “, cena je sázka 1 000 $ rozdělená rovným dílem mezi vítěze Vy a vaši přátelé sedíte kolem stolu a každý dostane obrázek čínského učitele.

Musíte najít učitelku čínštiny na obrázku Jakmile najdete učitelku čínštiny, musíte prokázat, že jste ji našli, ale nemůžete prozradit její polohu ani žádné další informace. Jinými slovy, chcete prokázat znalost faktů, aniž byste odhalili jakékoli informace, které přesahují platnost vašich tvrzení.

Pomocí zkSNARK můžete vzít papír stejné velikosti a označit bod na pozici učitele čínštiny na obrázku. Papír lze následně schovat do krabice a jakmile vaši přátelé hádanku vyřeší, mohou sami vidět polohu vámi označeného učitele čínštiny. "

Jinými slovy, zk-SNARK vám umožňují prokázat ověřovací informace, které potřebujete, aniž byste odhalili konkrétní hodnotu těchto informací. V současném cross-chain ekosystému může použití technologie zk-SNARKs zachovat soukromí blockchainů a DApps postavených na její platformě. Zde je klíčovou myšlenkou, že pro ověřovatele je nemožné získat jakékoli informace o důkazu (odtud název důkaz „nulové znalosti“).

02 Jak funguje zk-SNARKs

zk-SNARK jsou zvláště důležité v kryptoprostoru, kde je soukromí obzvláště důležité, protože mnoho blockchainů je veřejné povahy. Nejznámějším příkladem je Zcash, kryptoaktivum na ochranu soukromí. Když se Zcash obchoduje na veřejných řetězcích, jako jsou bitcoiny a ethereum, k ověření se používají podrobnosti, jako jsou adresy odesílatele a příjemce, a také vstupní a výstupní hodnoty (tj. kolik bylo utraceno a kolik nebylo utraceno). Ale pomocí zk-SNARK může Zcash prokázat, že transakce je platná, aniž by prozradil informace, jako je adresa a hodnota.

Jak Zcash používá zkSNARKS k poskytování vrstvy soukromí pro uživatele kryptoměn Zdroj: Blockchainhub.net

Jak zk-SNARK fungují? Digitální podpisy tvoří způsob, jakým zk-SNARK fungují. Digitální podpisy využívají k ochraně citlivých informací šifrovací algoritmy, které je skrývají před druhou stranou a zároveň poskytují této straně potřebné důkazy. Jak se to tedy přesně dělá? Postup je následující: 1. Ověřovatel nejprve vygeneruje pár klíčů, jeden veřejný klíč a jeden soukromý klíč. Transakci podepíše pomocí svého soukromého klíče. 2. Dokazovač pak zakóduje tuto transakci do zk-SNARKs, což je matematický důkaz, že transakce je platná. 3. Důkaz je odeslán ověřovateli spolu s veřejným klíčem. Ověřovatel pak pomocí veřejného klíče zkontroluje, zda je vzorec správný, aniž by znal jakékoli další informace o transakci. Vzhledem k tomu, že je ověřeno pouze malé množství informací, lze tuto kontrolu provést velmi rychle a potvrdit tak, že transakce je platná.

03 Specifické případy použití zk-SNARKů

1. Které tokeny používají zk-SNARK?

Kryptografický token SNARK je kryptografické aktivum, které používá zk-SNARK ke zlepšení soukromí, známé také jako token soukromí. Příklady takových tokenů soukromí jsou: - Zcash (ZEC) - Verge (XVG) - Monero (XMR) - Dash (DASH) - Beam (BEAM) - Horizen (ZEN) - Bytecoin (BCN) Hlavní výzvou zk-SNARKů je Pokud dojde ke kompromitaci soukromého klíče, lze vytvořit falešné důkazy. To by mohlo umožnit tvůrcům falešných důkazů páchat podvody, například vytvářet a používat falešné soukromé mince.

2. Další aplikace zk-SNARKS

Filecoin je decentralizovaný poskytovatel úložiště, který funguje na více frontách.

Za prvé, poskytovatelé úložiště v síti Filecoin (poskytující úložný prostor výměnou za blokové odměny) a „certifikátoři“ musí prokázat, že správně ukládají data v řetězci. Na druhé straně máme „validátory“, tedy uzly, kteří musí ověřit, že poskytovatel úložiště ukládá a chrání data správně. Tito validátoři se musí spokojit s důkazem poskytnutým poskytovatelem úložiště. To vyžaduje, aby poskytovatelé úložiště a uzly komunikovali, když data změní majitele. Jak si dokážete představit, tento proces bude náročný na zdroje. Oficiální příspěvek na blogu Filecoin vysvětluje: „Množství dat, které musí dnes jediný poskytovatel úložiště prokázat, aby ověřil jejich úložiště, je obrovské a bude se časem jen zvětšovat Síť Filecoin má blokovací dobu 30 sekund Společnost Filecoin, která je časově neměnná a umožňuje škálovatelné metody, potřebovala řešení, které by umožňovalo rychlé, efektivní a robustní ověření."

Pomocí zk-SNARK může síť Filecoin zvýšit svou škálovatelnost a efektivitu zkrácením času potřebného pro každou stranu k ověření úložiště. Pro poskytovatele úložišť snižují zk-SNARK množství dat, která potřebují přenést, aby prokázali své úložiště, a tím snižují provozní náklady.

3. zk-SNARK lze také použít pro jiné věci, jako jsou:

- Autentizace: Ověřte přihlašovací údaje uživatele bez hesla, čímž se eliminuje potřeba dokumentace, jako jsou pasy a rodné listy, pro ochranu citlivých informací, jako je místo narození a datum narození.

- Hlasovací systém: Totožnost voliče lze ověřit bez identifikace a totožnost voliče nelze identifikovat ani v případě úniku hlasovacího lístku, čímž je chráněno soukromí voličů.

- Komprese dat: Toto je zajímavé využití zk-SNARKS a zaslouží si vlastní sekci.

04 Shrnutí

Celkově má ​​zk-SNARKS tři klíčové body: 1. zkSNARKS je systém důkazů s nulovými znalostmi, který umožňuje jedné straně dokázat druhé straně, že zná hodnotu x, aniž by sdělovala jakékoli další informace o x. 2. Klíčovou myšlenkou je, že ověřovatel nemůže nic o x odvodit jednoduše z toho, že dokazovatel může prokázat, že x zná. To chrání soukromí dat ověřovatele. 3. Systémy s nulovými znalostmi se používají v různých aplikacích, včetně zabezpečené komunikace, kryptografie a analýzy dat chránících soukromí. Přestože systémy důkazu nulových znalostí jsou v současné době relativně novou oblastí výzkumu, stále existuje mnoho otevřených otázek ohledně jejich proveditelnosti a praktičnosti. Byly však použity k vytvoření některých působivých produktů.

Co si myslíte o zk-SNARKs, prosím, zanechte zprávu v diskuzi.

Původní odkaz: https://phemex.com/academy/what-is-zksnark Původní název: What Is zkSNARK: A Beginner-Friendly Explainer Původní autor: Přispěvatel Kompilátor: Huohuo

KONEC