La conferința EDCON din Muntenegru, @VitalikButerin a explicat provocările tehnice ale rețelei Ethereum în ceea ce privește extinderea, confidențialitatea, securitatea etc. și, în final, a concluzionat că zk-SNARK va fi la fel de important ca și blockchain-ul în următorii 10 ani. Ce este zk-SNARK pe care V Dumnezeu nu pregătește niciun efort să-l promoveze? Ce probleme actuale de blockchain poate rezolva tehnologia zk-SNARK? Apoi, Thread, lasă-mă să arunc câteva idei în discuție. 1/n

SNARK înseamnă (succint non-interactive argument of knowledge), care este un argument concis de cunoaștere non-interactiv. Miezul său este de a construi un sistem de demonstrare prin algoritmi matematici, permițând verificatorului să verifice corectitudinea datelor în sine, fără a cunoaște originalul. date. Procesul de implementare implică tehnologii complexe precum circuite verificabile, principii de criptare cu curbă eliptică, funcții hash, algoritmi de criptare etc., așa că nu voi intra în prea multe detalii aici. 2/n

Deoarece SNARK poate comprima datele originale într-o dovadă foarte mică pentru a verifica corectitudinea datelor de intrare, împreună cu baza tehnică zk fără cunoștințe, zk-SNARK poate face pași mari în scalabilitate, confidențialitate, securitate și alte aspecte. Mai ales după ce Ethereum a lansat algoritmul aleatoriu Makarov (MAST) în 2018, zk-SNARK poate fi integrat direct în sistemul Ethereum pentru a rezolva problema actuală a blocajului rețelei Ethereum. 3/n

Acesta este motivul pentru care, deși tehnologia zk-STARK nativă @Statrknet poate gestiona probleme de calcul mai complexe (evitând atacurile de calcul cuantic etc.), zk-SNARK are așteptări mai mari. În special, unele dintre paradoxurile blockchain despre care toată lumea este confuză pot fi rezolvate eficient după înlocuirea stratului inferior al zk-SNARK, cum ar fi: protecția vieții private și problemele potențiale de spălare a banilor hackerilor, problemele de recuperare socială care nu pot scăpa de interferența instituțiilor centralizate. , etc. 4/n

Să vorbim mai întâi despre scalabilitate. zk-rollup este cu mult înaintea op-rollup-ului și este o soluție finală pentru al doilea strat de Ethereum. OP este mai întâi optimist pentru toate tranzacțiile, apoi trece printr-o perioadă de contestare de 7 zile, după ce a trimis-o în lanț, ZK se poate asigura rapid și în siguranță că fiecare tranzacție din lanț este legală, bazată pe algoritmi matematici. 5/n

https://twitter.com/tmel0211/status/1649274901596094464?s=20 Aici zk-SNARK rezolvă o problemă paradoxală a scalabilității Ethereum, contradicția dintre scalabilitate și centralizare, deși soluția op-rollup este de fapt implementată în scenariu. mai matur, dar are încă riscul potențial de centralizare în procesul de verificare a provocărilor de secvențiere și optimist. Desigur că putem fi „optimiști”, dar pentru a obține un rollup absolut descentralizat, trebuie să avem SNARK. 6/n

Să ne uităm la intimitate. Pe baza contextului actual al tehnologiei blockchain, dezvoltarea noastră a tehnologiei de confidențialitate va cădea într-un paradox logic. Cu toate acestea, dacă se bazează pe zk-SNARK, poate fi dezvoltată o soluție Proof of Innocence (POI) pentru a proteja utilizatorii de depunerea și retragerea de bani prin confidențialitate, evitând în același timp infractorii să le folosească pentru a face rău. Mai exact, tehnologia POI poate fi aplicată la protocoale similare cu Tornado 7/n

Tehnologia POI oferă fiecărui utilizator o amprentă digitală generată pe baza istoricului de stat blockchain și a cheilor private Când un hacker încearcă să spăleze bani prin grupul de tranzacții de amestecare a monedelor Tornado, dacă adresa de solicitare de retragere și adresa de depozit furnizate de acesta sunt inconsecvente (în cazul în care contul privat. cheia este diferită), va fi interceptată și returnată la adresa de mixare inițială. Activele neidentificate egale cu hackerii nu pot evita urmărirea prin sistemul de amestecare a monedelor 8/n

Desigur, puteți construi direct o listă de excludere Arborele Merkel, așa cum a subliniat Buterin în discursul său, ceea ce este echivalent cu adăugarea unui mecanism de listă neagră la protocolul tornadei. Utilizatorii normali pot genera dovezi nevinovate dacă depozitele lor nu sunt în listă atunci va fi normal cu Tornado, exact invers. Deși lista neagră este eficientă, prezintă riscul centralizării. Este mai eficient să blocați tranzacțiile cu chei private de depunere și retragere inconsistente.

9/n În sfârșit, să vorbim despre problema paradoxului (securității) anti-cenzură a terților. Nu există nicio îndoială că funcția de Recuperare Socială este calea inevitabilă pentru aplicarea pe scară largă a blockchain. Cu toate acestea, nu este greu de observat din protestele comunității pe care Leager a suferit la deschiderea acestei funcții în urmă cu două zile, pe care Recuperarea Socială nu poate fi construită. premisa că terţul este centralizat. Iar tehnologia zk-SNARK poate rezolva această problemă. 10/n

Mai simplu spus, atunci când un utilizator generează mai multe fragmente de cheie privată, acesta poate cripta fragmentele și poate utiliza sistemul de certificare zk-SNARK pentru a genera un certificat, apoi poate distribui certificatul unei instituții sau unui prieten de încredere, dacă cheia privată a utilizatorului este pierdută. poate fi solicitat Terțul furnizează certificate de date fragmentate, iar apoi utilizează zk-SNARK pentru a verifica acuratețea acestor certificate, realizând astfel funcția de recuperare socială fără a dezvălui fragmentarea cheii private. 11/n

După ce conținutul de mai sus este pe deplin înțeles, nu este dificil să vedem importanța tehnologiei zk-SNARK pentru sistemul blockchain. Poate rezolva diverse probleme din rețeaua Ethereum actuală, cum ar fi scalabilitatea și centralizarea, confidențialitatea și răul, securitatea și anti-. cenzură Problema paradoxului dezvoltării. Prin urmare, Buterin a spus că zk-SNARK va fi la fel de important ca și blockchain-ul în 10 ani. Poate că stratul de jos al Ethereum va fi, de asemenea, zk-SNARK. 12/12