Infrastructura ZK specializată devine din ce în ce mai cu scop general, iar ZKVM cu scop general devine din ce în ce mai specializat.

Scris de:mo

Compilat de: Luffy, Foresight News

Specializare sau generalizare, care este viitorul ZK? Să încerc să răspund la această întrebare cu o poză:

După cum se arată în figură, este posibil ca noi să convergem către un punct optim magic al sistemului de coordonate de compromis în viitor?

Nu, viitorul calculului verificabil în afara lanțului este o curbă continuă care estompează liniile dintre ZK specializat și de uz general. Permiteți-mi să explic evoluția istorică a acestor termeni și modul în care se vor fuziona în viitor.

În urmă cu doi ani, infrastructura ZK „proprietă” însemna cadre de circuite de nivel scăzut precum circom, Halo2 și arkworks. Aplicațiile ZK construite folosind aceste cadre sunt în esență circuite ZK scrise de mână. Sunt rapide și ieftine pentru sarcini specifice, dar adesea dificil de dezvoltat și întreținut. Acestea sunt similare cu diferitele cipuri de circuite integrate specifice aplicației (plachete fizice de siliciu) găsite în industria IC (circuit integrat) de astăzi, cum ar fi cipurile NAND și cipurile de control.

Cu toate acestea, în ultimii doi ani, infrastructura specializată ZK a devenit treptat mai "scop general".

Acum avem ZKML, coprocesorul ZK și cadrul ZKSQL, care oferă SDK-uri ușor de utilizat și foarte programabile pentru construirea diferitelor clase de aplicații ZK fără a scrie o singură linie de cod de circuit ZK. De exemplu, coprocesorul ZK permite contractelor inteligente să acceseze starea istorică a blockchain-ului, evenimentele și tranzacțiile într-o manieră fără încredere și să execute calcule arbitrare pe aceste date. ZKML permite contractelor inteligente să folosească rezultatele inferenței AI pentru a procesa o gamă largă de modele de învățare automată într-o manieră fără încredere.

Aceste cadre evoluate măresc semnificativ programabilitatea în domeniile lor țintă, menținând în același timp performanțe ridicate și costuri reduse datorită stratului de abstractizare subțire (SDK/API) și circuitelor aproape de metale goale.

Sunt similare cu GPU-urile, TPU-urile și FPGA-urile de pe piața IC: sunt experți în domeniul programabil.

ZKVM a parcurs, de asemenea, un drum lung în ultimii doi ani. Merită remarcat faptul că toate ZKVM de uz general sunt construite pe baza cadrului ZK specializat de nivel scăzut. Ideea este că puteți scrie aplicații ZK într-un limbaj de nivel înalt (chiar mai ușor de utilizat decât SDK/API) care se compilează într-o combinație de circuite specializate și seturi de instrucțiuni (RISC-V sau ceva de genul WASM). Sunt ca cipurile CPU în industria IC.

ZKVM este un strat de abstractizare deasupra cadrului ZK de nivel scăzut, cum ar fi coprocesorul ZK etc.

După cum a spus odată un om înțelept, un strat de abstractizare rezolvă toate problemele informaticii, dar creează și altul. Compensații, asta este cheia. În principiu, cu ZKVM avem un compromis între performanță și versatilitate.

În urmă cu doi ani, performanța „bare metal” a ZKVM a fost foarte proastă. Cu toate acestea, în doar doi ani, performanța ZKVM s-a îmbunătățit semnificativ.

De ce?

Pentru că aceste ZKVM „generale” au devenit mai „specializate”. Un motiv cheie pentru îmbunătățirea performanței este „precompilarea”. Aceste precompilatoare sunt circuite ZK specializate care pot calcula programe de nivel înalt utilizate în mod obișnuit, cum ar fi SHA2 și diverse verificări ale semnăturilor mult mai rapid decât procesul normal de descompunere în fragmente de circuit de instrucțiuni.

Prin urmare, tendința este acum foarte evidentă.

Infrastructura ZK dedicată devine din ce în ce mai universală, iar ZKVM de uz general devine din ce în ce mai specializat.

Optimizările ambelor soluții în ultimii ani au dus la compromisuri mai bune decât înainte: progrese într-un punct fără a sacrifica altul. Acesta este motivul pentru care ambele părți consideră că „noi suntem cu siguranță viitorul”.

Cu toate acestea, înțelepciunea informaticii ne spune că, la un moment dat, vom întâlni „peretul optim Pareto” (linia verde întreruptă), adică nu putem îmbunătăți o performanță fără a sacrifica performanța celeilalte.

Așa că se ridică întrebarea de un milion de dolari: o va înlocui o tehnologie complet pe cealaltă în timp util?

Să ne uităm la industria IC pentru a înțelege: piața CPU este de 126 de miliarde de dolari, în timp ce întreaga industrie de circuite integrate (plus toate circuitele integrate „de specialitate”) este de 515 miliarde de dolari. Sunt convins că dintr-o perspectivă micro, istoria se va repeta aici și nu se vor înlocui.

Acestea fiind spuse, nimeni astăzi nu va spune: „Hei, folosesc un computer alimentat în întregime de un procesor de uz general” sau „Hei, acesta este un robot de lux alimentat de un IC specializat”.

Da, într-adevăr ar trebui să privim această problemă dintr-o perspectivă macro Va exista o curbă de compromis în viitor pentru a permite dezvoltatorilor să aleagă în mod flexibil în funcție de propriile nevoi.

În viitor, infrastructura ZK dedicată și ZKVM de uz general pot funcționa împreună. Acest lucru poate fi realizat în multe forme. Cea mai simplă metodă este acum posibilă. De exemplu, puteți utiliza coprocesorul ZK pentru a genera unele rezultate de calcul în istoricul tranzacțiilor blockchain, dar logica de afaceri de calcul pe deasupra acestor date este foarte complexă și nu o puteți exprima pur și simplu în SDK/API.

Ceea ce puteți face este să luați dovezi ZK de date și rezultate intermediare de calcul, de înaltă performanță și cu costuri reduse, apoi să le agregați într-o mașină virtuală de uz general prin recursiunea probei.

Deși cred că aceste tipuri de dezbateri sunt interesante, știu că toți construim acest viitor de calcul asincron pentru blockchain, condus de calcule verificabile în afara lanțului. Pe măsură ce cazurile de utilizare pentru adoptarea în masă de utilizatori vor apărea în următorii ani, cred că această dezbatere se va desfășura în cele din urmă.