Megérteni ZK-t annyi, mint hívővé válni

Ha a blokklánc technológia folyamatosan változó tájára figyelt, akkor észrevehette, hogy a közelmúltban egy új divatszó terjedt el: „Zero-Knowledge” vagy „ZK”.

Ha a blokklánc technológia folyamatosan változó tájára figyelt, akkor észrevehette, hogy a közelmúltban egy új divatszó terjedt el: „Zero-Knowledge” vagy „ZK”. Ha az elmúlt 30 évben odafigyelt a kriptográfiára, akkor hihetetlenül izgalmas, hogy ez a koncepció végre most először kerül valami közel a mainstream figyelmébe. Van egyfajta kultusz a ZK-hoz, mert ha egyszer megérted, hogy mi az, és mire képes, akkor megfertőzheti az elmédet minden olyan mágikusnak tűnő móddal, amellyel megváltoztathatja a világot (jobbra). A ZK-kultusz tagjai, akik rendelkeznek a mezőny tényleges előrehaladásához szükséges technikai karajokkal, hajlamosak CSAK ZK-n dolgozni, és ez szinte biztosan azért van, mert nehezen gondolnak másra, mint ZK-ra. Ez a benne foglalt ígéret miatt van.

Mi az a ZK?

A ZK a lehető legegyszerűbb megfogalmazásban arról szól, hogy kriptográfiai bizonyítékot készítsen arra vonatkozóan, hogy bizonyos adatokra vonatkozó állítás igaz, anélkül, hogy ténylegesen fel kellene fednie az adatokat. A törvény szerint az erre választott példa a klasszikus:

"Tudok egy érvényes megoldást erre a megoldatlan sudoku rejtvényre"

A ZK használatával egy bizonyító Péter akkor és csak akkor tud létrehozni egy bizonyos sudoku-rejtvényre vonatkozó állítás nulla tudás-bizonyítását (ZKP) akkor és csak akkor, ha ténylegesen tud rá egy érvényes megoldást, és egy ellenőrző Viviane teljesen meggyőződne az állításról anélkül, hogy ezt meg kellene tennie. ténylegesen látni a visszatartott megoldások bármelyikét. Ha egy kicsit többet szeretne megtudni arról a matematikáról, amely ezt a munkát ténylegesen elvégzi, nézze meg ezt a magyarázó videót. 

A sudoku rejtvényeken túl milyen hasznos dolgokat lehet csinálni ezzel a primitívvel? A blokkláncokhoz két nagyszerű alkalmazás létezik:

1. Adatvédelem Bizonyítékok megőrzése a titkos információkról
2. Önkényesen hosszú számítások tömör ellenőrzése 

Mindkettő izgalmas, az utóbbi nagyobb hatékonyságot eredményez, míg az előbbi lehetővé teszi a tömeges digitális megfigyelés és adatgyűjtés megszüntetését. 

ZK Power #1: Adatvédelem

Mindannyian szeretjük a jó keresőket. Mindannyian szeretjük a jó, személyre szabott ajánlómotorokat zenéhez, videókhoz, hírekhez vagy akár potenciális romantikus partnerekhez. Jobb, ha olyan hirdetéseket jelenítenek meg, amelyek nagyobb valószínűséggel olyanok, amelyek megvásárlására valóban kíváncsiak lennének, mint nem. Mindannyian szeretjük, ha bizonyítani tudunk magunkról, hogy kizárólagosságot szerezzünk. Mindezek a dolgok kulcsfontosságúak a modern internet számára, és teljesen lehetetlenek az őket használó egyén személyre szabott „hangolása” nélkül. Sajnos ez azt jelenti, hogy a nagyvállalatok digitális életünk minden ébrenléti pillanatát felpörgetik, és örökre megmentik őket, hogy megkönnyítsék ezeket a személyre szabott motorokat. A ZK mindent megváltoztat. 

A ZK-val az ajánlómotoroknak nem kell felmérniük valakinek a teljes történetét, hogy tudják, mit akarnak. Az egyetlen információ, amellyel dolgozniuk kell, az egyszerű ZKP-k, amelyek minimális részleteket tartalmaznak érdeklődési körükről. A hirdetéseket szolgáltató cégnek nem kell ismernie valaki teljes keresési előzményét ahhoz, hogy tudja, hogy érdeklődik egy autó vásárlása iránt. Csak egy ZKP-ra van szükségük az adott személy keresési előzményeiben, ami azt sugallja, hogy érdeklődik egy autó vásárlása iránt, és hogy a hirdetésére kattintottak. Ha már itt tartunk, a hirdetőnek tetszhet az a ZKP is, amelyre az átkattintó személy valódi személy volt, és nem csak egy bot. Amikor a blokkláncokról van szó, ez a fajta adatvédelem is kulcsfontosságú lesz. Senki, nem Ön, sem a bankok, sem a Wall Street, sem a kormányok nem akarják, hogy a világ pénzügyi rendszere teljesen nyilvános legyen egy nyílt főkönyvben, hogy mindenki lássa. Senki sem akar olyan rendszert, ahol a banki cím ismeretében megjelenik a banki egyenleg és az összes tranzakciós előzmény. A blokkláncnak technikailag erről sem kell tudnia, a blokkláncnak csak azt kell tudnia, hogy az intelligens szerződések megfelelően teljesítettek, minden mást pedig szívesen megőriz privátban, ami továbbvezet minket:

ZK Power #2:  Skálázhatóság

Emlékszel a Stoppos kalauz a galaxishoz azon részére, ahol a Deep Thought szuperszámítógép csalódást keltően bejelenti, hogy az Élet, az Univerzum és minden kérdésre „42” a válasz egy 7.5 millió éves számítás után? Valójában a rendszergazdák első gondolata az lenne, hogy valamikor a számítógép hibát követett el. De hogyan ellenőriznék, hogy a számítás helyesen fut-e? Naiv módon újra lefuttathatták a teljes számítást, és megnézhetik, hogy ugyanarra a következtetésre jutott-e, mint az eredeti számítás. Ez jó néhány másodperces számításhoz, nem annyira, ha 7.5 millió évig tart. A ZK második szuperképessége, hogy lehetővé teszi bizonyos számítások bizonyítását, amelyek mérete kicsi (mondjuk 1 kb), amelyek ellenőrzése ezredmásodpercekbe telik, és meg tudja győzni az ellenőrző személyt, hogy egy BÁRMELY hosszúságú (akár 7.5 millió éves) számítás helyesen futott le. Ennek a varázslatnak azonban ára van, mert előreláthatólag számítási szempontból SOKKAL drágább elkészíteni ezt a bizonyítást, mintha egyszerűen futtatnák a programot a bizonyíték nélkül. Ezért a ZK nem feltétlenül az igazolható számítások összessége, csak akkor éri meg a kompromisszumot, ha az ellenőrzőnek nem lenne lehetséges a teljes programot maga kiszámítani, vagy ha ugyanazt a programot kellően ellenőrizni kell ahhoz, hogy a bizonyítási idő növekedése kisebb legyen, mint a kumulatív ellenőrző idő csökkenése. Van egy meglehetősen nyilvánvaló használati eset, amely MINDKÉT kategóriába tartozik: a blokklánc.

Ó, igaz, ez Aleóról szól

Emlékszel, milyen őrülten hangzott az a gondolat, hogy valami hatalmas számítást csak nyers erővel kell ellenőrizni? Nos, ma szinte minden intelligens szerződéses blokklánc pontosan így működik! Egy teljes csomópont futtatásához és a dolgok saját kezű ellenőrzéséhez minden egyes intelligens szerződés-végrehajtást végre kell hajtania a keletkezéstől a jelenlegi időpontig, ami természetesen őrültség, és az oka annak, hogy valójában senki sem futtat teljes csomópontokat az ilyen típusú blokkláncokon, és miért ennek következtében borzalmasan központosított. 

Az Aleo a kivétel. Valójában az intelligens szerződéseket nem is kötik le a láncon. Az intelligens szerződés működése az Aleo-n az, hogy az a személy, aki engedélyezni akar egy intelligens szerződést, hogy tegyen valamit a pénzével, lefuttatja az intelligens szerződés számítását a láncon kívül, miközben létrehozza a számítás bizonyítékát, majd közzéteszi a JUST THE PROOF a blokklánc. Ez az apró bizonyíték csak arra van szükség, hogy meggyőzze az érvényesítőket és a teljes csomópont-ellenőrzőket arról, hogy az intelligens szerződés megfelelően hajtott végre, és csak ezredmásodpercekbe telik az ellenőrzés, még akkor is, ha a bizonyíték létrehozása 7.5 millió évbe telt. Ez egy radikálisan ésszerűbb módja a blokkláncok intelligens logikájának érvényesítésének, és valójában lehetővé teszi a felhasználók decentralizált ellenőrzését, ahelyett, hogy kizárólag az érvényesítőktől függne. 

Egy intelligens szerződési lánc, amely csak ezekkel a minimális bizonyítékokkal törődik protokoll szinten, azt is lehetővé teszi az Aleo számára, hogy megőrizze a magánéletet. Lényegében ez a bizonyíték azt mondja, hogy „az X intelligens szerződés valamit helyesen csinált”, a feladó, a fogadó és az érintett pénznemek mind teljesen rejtettek, ezért privátak. Valójában az Aleo az EGYETLEN blokkláncok egyike, ahol a tranzakciók ténylegesen titkosítva vannak a vevőjük felé. Jelenleg számos izgalmas hangzású blokklánc-projekt létezik, amelyek a ZK-t csak a skálázhatóságra használják (ami jó), de nem az adatvédelemre (ami menőbb). Másrészt számos olyan projekt is megjelent, amelyek azt állították, hogy a ZK-t a magánélet védelmére használnák, de végül nem. Ennek egyszerű oka: a magánélet védelmét megőrző intelligens szerződések létrehozása nagyon nehéz, és alapvetően az egész architektúra alulról felfelé történő újratervezését igényli, amit az Aleo is megtett. 

A láncon kívüli végrehajtásnak az az érdekes hatása is van, hogy NINCS SZÜKSÉG GÁZRA az Aleo-n. Továbbra is kell tranzakciós díjakat fizetnie a blokkterületért, de az intelligens szerződések végrehajtásához nincsenek protokollszintű műveletenkénti díjak, ami azt jelenti, hogy az Aleo alkalmazásainak elvileg korlátlan futási ideje van. Az egyetlen korlát az, hogy mire vagy képes megszerkeszteni a bizonyítékot, vagy hogy mennyit lennél hajlandó fizetni azért, hogy valaki más elkészítse a bizonyítékot. 

Mivel a számítások ZK proof felépítése sokkal drágább, mint a futtatás, hogy a számítások általában sok olyan alkalmazást fognak tartalmazni, amelyekhez vagy nem tud, vagy nem AKAR proofokat készíteni otthon a laptopján, ez egyszerűen túl sok. hosszú. Lesz piaca a Provers számára delegált proof-konstrukciónak, akik kifejezetten ennek az igénynek a kielégítésére üzemeltetnek nagyon hatékony szerverfarmot. Egy alapvető tervezési döntés, amely teljesen egyedi az Aleo számára, az a képesség, hogy a proofkészítést ADATVÉDELEM MEGŐRZŐ MÓDON ruházzák át külső szakértőkre. Arra számítunk, hogy a Provers egészséges piaca kulcsfontosságú lesz ahhoz, hogy a lehető legtöbb internetet a ZK-n belül lehessen elérni, ami egy okos bootstrapping-szerelő motivációja volt, hogy elindítsa a piacot, még mielőtt a nagy felhasználói kereslet fennállna: az érmebázis puzzle. 

Az érmealap-rejtvény lehetővé teszi, hogy az Aleo blokklánc új jelzőket verjen, hogy bizonyítékokat vásároljon a bizonyítóktól, még akkor is, ha senki más nem teszi. Ha egy Prover bármennyi ideig nem dolgozik aktívan egy fizetett bizonyítási munkán egy felhasználó számára, átválthatja gépeit az érmebázis kirakós játékra, ahol hatalmas mennyiségű „bizonyítékot senkinek” forgat ki, amit aztán elküld. érvényesítőknek. Az érvényesítő összesíti az összes bizonyítékot, amelyet a Prover hozott létre, majd hasonlóan a bányászati ​​​​készlet működéséhez, a bizonyítások száma, amelyeket egy bizonyító egy adott időszakban végzett, meghatározza, hogy az érmealap-rejtvény jutalom mekkora hányadát szerezte meg az adott időszakban. Arra számítunk, hogy ez a játék megváltoztatja a Proverek nagy piacának támogatását, és remélhetőleg még a speciális „ZK ASIC”-ek fejlesztését is ösztönzi, hogy maximalizáljuk az Aleo-hoz és általában a ZK-hoz való hozzáférést. 

Mindezen ZK varázslatok szolgálatában az Aleo létrehozott egy alacsony szintű virtuális gépet, AVM-et, amely a számítógépes kódot ZK matematikává fordítja, és egy magas szintű nyelvet, a Leo-t, amely az AVM-be fordít. Az Aleo emellett rendelkezik majd egy láncon belüli programnyilvántartással is, amely lehetővé teszi az intelligens szerződéskód (opcionálisan) közvetlenül a láncon való tárolását a hozzáférhetőség érdekében, és minimalizálja annak a kockázatát, hogy a köztes támadások rávegyék a felhasználókat, hogy bejelentkezzenek a hamis verziókra. okos szerződések. Ha tovább szeretne ásni ebben, és meg szeretné írni saját privát alkalmazásait, lásd.

Összefoglalva, az Aleo egy teljes újratervezés arra vonatkozóan, hogyan kell működnie egy intelligens szerződéses blokkláncnak, ha maximalizálni szeretné a magánélet védelmét és a decentralizációt. Megdöbbentő mennyiségű, teljesen újszerű és úttörő kutatás és munka ment azért, hogy Aleo megvalósítsa ezt a célt. Noha már most is jelentős számú projekt kölcsönöz az Aleo összeszereléséhez szükséges munkából és kutatásból, annak érdekében, hogy valóban versenyezzenek ezeken a szinteken, egyetlen választásuk az lenne, hogy lényegében lebontják a teljes architektúráját, és újjáépítik magukat a Aleo. 

Ha többet szeretne megtudni az Aleo-ról, valamint részt szeretne venni a végső Testnetben, látogasson el ide Aleo.org.