作者: YBB Capital Researcher Zeke
TLDR
Coprocesorul ZK poate fi privit ca un plug-in de calcul off-chain derivat din conceptul modular Funcția sa este similară cu GPU-ul din computerele noastre tradiționale, care partajează sarcini de calcul grafic pentru CPU, adică pentru a partaja calculul în scenarii specifice. procesor de sarcini;
Poate fi folosit pentru a procesa calcule complexe și date grele, pentru a reduce taxele de gaz și pentru a extinde funcțiile de contracte inteligente;
Diferența față de Rollup: coprocesorul ZK este apatrid, poate fi utilizat peste lanțuri și este potrivit pentru scenarii de calcul complexe;
Coprocesorul ZK este dificil de dezvoltat, are o suprasarcină de înaltă performanță și nu are standardizare. Hardware-ul necesită multe costuri Deși piesa este mult mai matură decât acum un an, este încă în fazele sale incipiente;
După ce infrastructura a intrat în era modulară a expansiunii fractale, blockchain-ul a căzut în diverse probleme, cum ar fi lipsa lichidității, utilizatorii împrăștiați, lipsa inovației și interoperabilitatea cross-chain și a format un paradox cu L1 de expansiune verticală. În viitor, coprocesorul ZK poate fi capabil să ofere o consolidare bună pentru cei doi, permițându-le să scape de probleme, să ofere suport de performanță pentru aplicații vechi și aplicații noi și importante și să aducă mai multe narațiuni proaspete.
1. O altă ramură a infrastructurii modulare, coprocesorul ZK
1.1 Prezentare generală a coprocesorului ZK
Coprocesorul ZK poate fi privit ca un plug-in de calcul off-chain derivat din conceptul modular Funcția sa este similară cu GPU-ul din computerele noastre tradiționale, care partajează sarcini de calcul grafic pentru CPU, adică pentru a partaja calculul în scenarii specifice. Procesorul sarcinii. În acest cadru de proiectare, sarcinile „date grele” și „logică de calcul complexă” la care lanțurile publice nu sunt bune pot fi calculate prin coprocesorul ZK. Lanțul trebuie să primească doar rezultatele de calcul returnate, iar corectitudinea acestuia este garantată de dovada ZK , calculele de încredere în afara lanțului pentru sarcini complexe sunt în sfârșit realizate.
În prezent, aplicațiile populare precum AI, SocialFi, DEX și GameFi au nevoi urgente de înaltă performanță și control al costurilor În soluțiile tradiționale, aceste „aplicații grele” care necesită performanțe ridicate aleg adesea forma de active on-chain + off-chain. aplicații sau, Proiectați un lanț de aplicații separat pentru aplicație. Cu toate acestea, ambele au unele probleme inerente. De exemplu, prima are o cutie neagră, iar cea de-a doua are probleme precum costuri mari de dezvoltare, separarea de lanțul inițial și fragmentarea lichidității. În plus, mașina virtuală a lanțului principal are, de asemenea, restricții mari privind dezvoltarea și funcționarea unor astfel de aplicații (cum ar fi lipsa standardelor de nivel de aplicație și limbaje complexe de dezvoltare).
Existența coprocesorului ZK este de a rezolva astfel de probleme Pentru a da un exemplu mai detaliat, putem privi blockchain-ul ca un terminal care nu poate fi conectat la Internet (telefon mobil, computer etc.). unele aplicații mai simple, cum ar fi aplicațiile DeFi, cum ar fi Uniswap, pot rula complet în lanț. Dar când apar aplicații mai complexe, cum ar fi rularea unei aplicații precum ChatGPT, performanța și stocarea lanțului public vor fi complet insuficiente, iar Gazul va exploda. În cazul Web2, același lucru este valabil și când rulăm ChatGPT în sine nu pot gestiona modele de limbaj mari, cum ar fi GPT-4o. Trebuie să comunicăm problema serverului OpenAI după ce serverul calculează rezultatele , vom Primi răspunsuri direct. Coprocesorul ZK este similar cu serverul de la distanță al blockchain-ului calcul + dovada ZK sau dovezi de stocare. Luând ca exemplu implementarea Bonsai de la Rise Zero, putem vedea că logica acestei arhitecturi este foarte simplă. Proiectul este integrat în propriul zkVM al lui Rise Zero.
Scrieți o aplicație zkVM pentru a gestiona logica aplicației;
Scrieți un contract Solidity care îi cere lui Bonsai să ruleze aplicația dvs. zkVM și să proceseze rezultatele.
1.2 Care este diferența dintre Rollup și Rollup?
În definiția de mai sus, vom descoperi că Rollup pare să aibă un grad ridicat de suprapunere cu coprocesorul ZK, indiferent de logica sau obiectivele sale de implementare. Dar, de fapt, Rollup seamănă mai mult cu versiunea multi-core a lanțului principal. Diferențele specifice dintre cele două sunt următoarele:
1. Scopul principal:
Acumulare: Îmbunătățiți debitul tranzacțiilor blockchain și reduceți taxele de tranzacție.
Coprocesor ZK: extinde puterea de calcul a contractelor inteligente, astfel încât acestea să poată gestiona o logică mai complexă și cantități mai mari de date.
2. Principiul de funcționare:
Acumulare: Rezumați tranzacțiile din lanț și aduceți-le în lanțul principal, prin dovada fraudei sau dovada ZK.
Coprocesor ZK: similar cu ZK Rollup, cu excepția faptului că scenariile de aplicare ale celor două sunt diferite. ZK Rollup este limitat de forma și regulile lanțului și nu este potrivit pentru funcționarea coprocesorului ZK.
3. Gestionarea stării:
Acumulare: trebuie să-și mențină propria stare și să se sincronizeze cu lanțul principal în mod regulat.
Coprocesor ZK: nu menține starea persistentă, fiecare calcul este apatrid.
4. Scenarii de aplicare:
Rollup: în principal pentru C-side, potrivit pentru tranzacționarea de înaltă frecvență.
Coprocesor ZK: în principal pentru partea B, potrivit pentru scenarii care necesită calcule complexe, cum ar fi modele financiare avansate, analiză de date mari etc.
5. Relația cu lanțul principal:
Rollup: poate fi văzut ca o extensie a lanțului principal, concentrându-se de obicei pe o anumită rețea blockchain.
Coprocesor ZK: poate oferi servicii pentru mai multe blockchain-uri și nu se limitează la un anumit lanț principal, deci poate oferi și servicii pentru Rollup.
Prin urmare, cele două nu se exclud reciproc și sunt chiar complementare Chiar dacă un Rollup există sub forma unui lanț de aplicații, coprocesorul ZK poate oferi în continuare servicii.
1.3 Cazuri de utilizare
Teoretic vorbind, coprocesorul ZK are o gamă foarte largă de aplicații și poate acoperi, practic, proiecte din diverse piste blockchain. Existența coprocesorului ZK poate face funcțiile Dapp mai aproape de funcțiile aplicației centralizate Web2. Următoarele sunt câteva cazuri de utilizare demonstrative colectate de pe Internet:
Dezvoltare DApp bazată pe date
Coprocesorul ZK le permite dezvoltatorilor să creeze DApp-uri bazate pe date care valorifică datele istorice din întregul lanț și efectuează calcule complexe fără presupuneri suplimentare de încredere. Acest lucru aduce posibilități fără precedent dezvoltării DApp, cum ar fi:
Analiza avansată a datelor: analiza datelor în lanț funcționează similar cu Dune Analytics.
Logica de afaceri complexă: implementați algoritmi complexi și logica de afaceri în aplicațiile centralizate tradiționale.
Aplicații în lanțuri încrucișate: construiți aplicații DApp în lanțuri încrucișate pe baza datelor cu lanțuri multiple.
Programul VIP Trader al DEX
Un scenariu tipic de aplicație este implementarea unui program de reducere a taxelor bazat pe volumul de tranzacționare într-o bursă descentralizată (DEX), adică „Programul de fidelizare a comercianților VIP”. Acest tip de schemă este comun în schimburile centralizate (CEX), dar rar în DEX.
Folosind coprocesorul ZK, DEX poate:
Urmăriți volumul istoric al tranzacțiilor utilizatorilor
Calculați nivelul VIP al utilizatorului
Ajustați dinamic taxele de tranzacție în funcție de nivel
Această funcție poate ajuta DEX să îmbunătățească reținerea utilizatorilor, să crească lichiditatea și, în cele din urmă, să crească veniturile.
Îmbunătățirea datelor pentru contractele inteligente
Coprocesorul ZK poate servi ca un middleware puternic pentru a furniza servicii de captare, calcul și verificare a datelor pentru contractele inteligente, reducând astfel costurile și îmbunătățind eficiența. Acest lucru permite contractelor inteligente să:
Accesați și procesați cantități mari de date istorice
Efectuați calcule complexe în afara lanțului
Implementați o logică de afaceri mai avansată
Tehnologia punților cu lanțuri încrucișate
Unele tehnologii de punți încrucișate bazate pe lanțuri ZK, cum ar fi Herodotus și Lagrange, pot fi, de asemenea, privite ca o aplicație a coprocesoarelor ZK. Aceste tehnologii se concentrează în principal pe extragerea și verificarea datelor, oferind o bază de date de încredere pentru comunicarea încrucișată.
Coprocesorul 1.4 ZK nu este perfect
Deși am enumerat multe avantaje, stadiul actual al coprocesorului ZK nu este perfect și trebuie încă să se confrunte cu multe probleme. Eu personal am rezumat următoarele puncte:
1. Dezvoltare: Conceptul de ZK este dificil de înțeles pentru mulți dezvoltatori.
2. Costurile cu hardware-ul sunt mari: hardware-ul ZK utilizat pentru calculul off-chain trebuie suportat în totalitate de proiectul în sine. Dacă acest lucru poate forma o buclă închisă în logica de afaceri este, de asemenea, o întrebare care merită luată în considerare;
3. Pista este aglomerată: de fapt, nu va exista o mare diferență în implementarea tehnică, este probabil să fie similară cu modelul actual de strat 2. Există mai multe proiecte remarcabile, dar majoritatea sunt ignorate.
4.Circuit ZK: Executarea calculelor în afara lanțului în coprocesorul ZK necesită convertirea programelor de calculator tradiționale în circuite ZK. Scrierea de circuite personalizate pentru fiecare aplicație este foarte complicată .
2. Piese cheie ale puzzle-ului care duc la aplicarea pe scară largă
(Acest capitol este foarte subiectiv și reprezintă doar opiniile personale ale autorului)
Acest ciclu este dominat de infrastructura modulară Dacă calea de modularizare este corectă, atunci acest ciclu poate fi ultimul pas către aplicarea pe scară largă. Cu toate acestea, în stadiul actual, toți avem un sentiment comun De ce putem vedea doar câteva vinuri vechi cu aplicații noi De ce există mai multe lanțuri decât aplicații rundă?
Motivul pentru care există o astfel de lipsă de narațiuni proaspete este că infrastructura modulară actuală nu este suficientă pentru a susține super aplicații, în special lipsa unor premise (interoperabilitate full-chain, praguri de utilizator etc.), ceea ce a contribuit la cea mai mare măsură. dezvoltare în istoria blockchain-ului deghizat al separării. Rollup, ca nucleu al erei modulare, este rapid, dar aduce și multe probleme, adică fragmentarea lichidității, dispersarea utilizatorilor, lanțul sau mașina virtuală pe care le-am subliniat în mod repetat mai sus încă limitează inovația. Pe de altă parte, Celestia, un alt „om cheie” al modularității, a fost pionier în ideea că DA nu trebuie să fie pe Ethereum. Această idee intensifică și mai mult fragmentarea. Fie că pleacă de la ideologie sau de la costul DA, rezultatul este că BTC este forțat să facă DA, iar alte lanțuri publice trebuie să facă DA mai rentabil. Situația actuală este că sunt cât de puțini zeci de proiecte Layer 2 pe fiecare lanț public. În cele din urmă, toate părțile de infrastructură și proiecte ecologice au studiat în profunzime gameplay-ul dragonului care ucide punctele (OpenSea) inițiat de Blur (Tieshun), solicitând utilizatorilor să-și ajute jetoanele în proiect ) pentru balene Sau creșterea modelului BTC și Token gratuit), comprimând și mai mult lichiditatea pe lanț.
În trecutul piață bull, fondurile ar circula doar în câteva până la o duzină de lanțuri publice și chiar s-ar putea spune că este concentrată doar în Ethereum. Dar fondurile de astăzi sunt împrăștiate în sute de lanțuri publice și sunt promise în mii de proiecte care sunt aproape la fel. Prosperitatea pe lanț nu mai există și nici măcar Ethereum nu are activități în lanț. Deci, jucătorii estici nu au de ales decât să folosească PVP în ecosistemul BTC, iar jucătorii occidentali nu au de ales decât să folosească PVP în Solana. Prin urmare, ceea ce mă preocupă cel mai mult în acest moment este cum să promovez agregarea lichidității de-a lungul lanțului și cum să susțin nașterea noilor gameplay-uri și super-aplicații. În cadrul interoperabilității întregului lanț, mai multe proiecte tradiționale de conducere au funcționat de fapt slab. Ele sunt încă mai mult ca podurile tradiționale. Noua soluție de interoperabilitate a fost discutată și în raportul nostru de cercetare anterior, în principal prin agregarea mai multor lanțuri într-un singur lanț. În prezent, lucrăm la AggLayer, Superchain, Elastic Chain, JAM etc., care nu vor fi discutate aici.
Una peste alta, agregarea întregului lanț este un obstacol care trebuie depășit sub structura modulară, dar acest obstacol va dura încă mult timp. Coprocesorul ZK este o piesă de puzzle mai critică în stadiul actual. Pe lângă întărirea stratului 2, poate și întări stratul 1. Este posibil să scăpați temporar de cele două probleme ale lanțului complet și ale paradoxului triunghiului? poate fi parțial. Ar trebui mai întâi să implementăm unele aplicații curente pe Stratul 1 sau Stratul 2 care au lichiditate largă? La urma urmei, narațiunea actuală a aplicației blockchain lipsește cu adevărat. Pe de altă parte, pentru a realiza diversificarea gameplay-ului, controlul gazelor, apariția aplicațiilor pe scară largă și chiar încrucișat, scăderea pragului utilizatorului, integrarea unei soluții de co-procesor va fi o soluție mai ideală decât baza pe centralizare.
3. Lista proiectelor
Piesa coprocesorului ZK a apărut practic în jurul anului 2023 și este relativ matură în stadiul actual. Conform clasificării lui Messari, proiectele existente pe pistă pot fi împărțite în trei mari zone verticale (calculatură generală, interoperabilitate și cross-chain, AI și antrenament de mașini), cu 18 proiecte. Cele mai multe dintre aceste proiecte sunt susținute de VC-uri de top. Selectăm câteva proiecte în diferite câmpuri verticale pentru descrierea mai jos.
3.1 Om
Giza este un protocol zkML (învățare automată cu cunoștințe zero) implementat pe Starknet și susținut oficial de StarkWare, care se concentrează pe permiterea utilizării verificabile a modelelor de inteligență artificială în contractele inteligente blockchain. Dezvoltatorii pot implementa modele AI în rețeaua Giza, care apoi verifică corectitudinea raționamentului modelului prin dovezi fără cunoștințe și oferă rezultatele pentru utilizarea de către contractele inteligente într-o manieră fără încredere. Acest lucru le permite dezvoltatorilor să construiască aplicații în lanț care încorporează capabilități AI, menținând în același timp descentralizarea și verificabilitatea blockchain-ului.
Giza completează fluxul de lucru efectuând următorii trei pași:
Conversie de model: Giza convertește modelele AI în format ONNX utilizate în mod obișnuit într-un format care poate fi rulat în sisteme de dovezi fără cunoștințe. Acest lucru le permite dezvoltatorilor să antreneze modele folosind instrumente familiare și apoi să le implementeze în rețeaua Giza.
Inferență în afara lanțului: Când un contract inteligent solicită inferența modelului AI, Giza efectuează calculele reale în afara lanțului. Acest lucru evită costul ridicat al rulării modelelor complexe de IA direct pe blockchain.
Verificare zero cunoștințe: Giza generează dovezi ZK pentru fiecare inferență de model pentru a demonstra că calculul a fost efectuat corect. Aceste dovezi sunt verificate în lanț, asigurând corectitudinea rezultatelor inferenței fără a fi nevoie să repetați întregul proces de calcul în lanț.
Abordarea lui Giza permite modelelor AI să servească drept surse de intrare de încredere pentru contractele inteligente, fără a se baza pe oracole centralizate sau medii de execuție de încredere. Acest lucru deschide noi posibilități pentru aplicațiile blockchain, cum ar fi gestionarea activelor bazată pe inteligență artificială, detectarea fraudelor și stabilirea prețurilor dinamice. Este unul dintre puținele proiecte logice în buclă închisă din actualul Web3 x AI și este, de asemenea, o utilizare minunată a co-procesării în domeniul AI.
3.2 Încălzire zero
Risc Zero este un proiect de co-procesor susținut de mai multe VC-uri de top și este lider în domeniu. Proiectul se concentrează pe a permite ca calculele arbitrare să fie executate în mod verificabil în cadrul contractelor inteligente blockchain. Dezvoltatorii pot scrie programe în Rust și le pot implementa în rețeaua RISC Zero, apoi verifică corectitudinea execuției programului prin dovezi fără cunoștințe și oferă rezultatele contractelor inteligente într-o manieră fără încredere. Acest lucru le permite dezvoltatorilor să construiască aplicații complexe în lanț, menținând în același timp descentralizarea și verificabilitatea blockchain-ului.
Am vorbit pe scurt despre procesul de implementare și lucru mai sus și aici vom vorbi despre cele două componente cheie în detaliu:
Bonsai: Bonsai of RISC Zero este componenta co-procesorului din proiect. Este integrat perfect în zkVM al arhitecturii setului de instrucțiuni RISC-V, permițând dezvoltatorilor să integreze rapid dovezi de înaltă performanță cu cunoștințe zero în Ethereum și L1. Câteva zile Blockchain, lanțul de aplicații Cosmos, pachetele L2 și dApps oferă apeluri directe către contracte inteligente, calcule verificabile în afara lanțului, interoperabilitate încrucișată și funcții de acumulare universală, adoptând în același timp un design de arhitectură distribuită, descentralizat, combinat cu caracteristicile recursive. dovezi, compilatoare de circuite personalizate, continuarea stării și algoritmi de demonstrare cu îmbunătățire continuă, permițând oricui să genereze dovezi de înaltă performanță fără cunoștințe pentru o varietate de aplicații.
zKVM: zkVM este un computer verificabil care funcționează ca un microprocesor RISC-V încorporat real. Această mașină virtuală se bazează pe arhitectura setului de instrucțiuni RISC-V, permițând dezvoltatorilor să folosească mai multe limbaje de programare, cum ar fi Rust, C++, Solidity, Go și alte limbaje de programare de nivel înalt pentru a scrie programe care pot genera cunoștințe zero. dovezi. Acceptă mai mult de 70% din lăzile populare Rust. Realizează combinația perfectă de calcul general și dovezi cu cunoștințe zero și poate genera dovezi eficiente cu cunoștințe zero pentru calcule de orice complexitate, păstrând în același timp confidențialitatea procesului de calcul. verificabilitatea rezultatelor zkVM utilizează STARK și SNARK, inclusiv tehnologia ZK realizează generarea și verificarea eficientă prin componente precum Recursion Prover și STARK-to-SNARK Prover, care acceptă modurile de execuție în afara lanțului și de verificare în lanț.
Risc Zero s-a integrat cu mai multe serii ETH Layer 2 și a demonstrat mai multe cazuri de utilizare Bonsai, dintre care cel mai interesant este Bonsai Pay. Demo-ul folosește zkVM și Bonsai proof-of-service de la RISC Zero pentru a permite utilizatorilor să trimită sau să retragă ETH și jetoane pe Ethereum folosind un cont Google. Acesta demonstrează modul în care RISC Zero poate integra fără probleme aplicațiile în lanț cu OAuth2.0 (standardul utilizat de furnizorii importanți de identitate, cum ar fi Google), un caz de utilizare de integrare care reduce bariera de intrare pentru utilizatorii Web3 față de aplicațiile tradiționale Web2, în plus față de Există exemple bazate pe aplicații precum DAO.
3,3 = zero;
=nil; Este investit de proiecte și instituții cunoscute precum Mina, Polychain, Starkware și Blockchain Capital. Merită remarcat faptul că printre acestea se numără și părțile de proiect cu tehnologii de ultimă oră, cum ar fi Mina și Starkware. recunoașterea tehnică a proiectului este încă mare. =nil; Este, de asemenea, un proiect menționat în raportul nostru de cercetare „Computing Power Market”. La acel moment, era concentrat în principal pe Piața Proof a lui =nil; (piața de generare a probelor descentralizată). Proiectul avea de fapt și un subprodus, zkLLVM.
zkLLVM este un compilator de circuite inovator dezvoltat de =nil Foundation. Poate converti automat codurile de aplicații scrise în limbaje de dezvoltare principale, cum ar fi C++ și Rust, în circuite eficiente pe Ethereum, fără a utiliza un limbaj special de cunoștințe zero. DSL), simplificând astfel foarte mult procesul de dezvoltare și scăzând pragul de dezvoltare. În același timp, îmbunătățește performanța prin faptul că nu implică zkVM (mașină virtuală cu zero cunoștințe). , punți încrucișate, diverse scenarii de aplicații ZK, cum ar fi oracole, învățare automată și jocuri, și sunt strâns integrate cu =nil Foundation’s Proof Market pentru a oferi dezvoltatorilor asistență de la crearea circuitelor până la generarea de probe;
3.4 Brevis
Acest proiect este un sub-proiect al Celer Network. La fel ca și alți co-procesoare, Brevis are, de asemenea, o gamă largă de cazuri de utilizare, cum ar fi DeFi bazat pe date, zkBridges, achiziția de utilizatori în lanț, zkDID și abstracția contului social.
Arhitectura lui Brevis constă în principal din trei părți:
zkFabric: zkFabric este un repetor pentru arhitectura Brevis. Sarcina sa principală este să colecteze și să sincronizeze informații despre antetul blocurilor de la toate blockchain-urile conectate și, în cele din urmă, să genereze dovezi de consens pentru fiecare antet de bloc colectat prin circuitul client light ZK.
zkQueryNet: zkQueryNet este o piață deschisă a motoarelor de interogare ZK care poate accepta direct interogări de date din contractele inteligente din lanț și poate genera, de asemenea, rezultate de interogare și certificate de interogare ZK corespunzătoare prin circuitul motorului de interogare ZK. Aceste motoare variază de la foarte specializate (cum ar fi calcularea volumului tranzacțiilor pe un DEX pe o anumită perioadă de timp) până la abstracții de indici de date extrem de generale și limbaje de interogare de nivel înalt care se adresează unei varietăți de nevoi ale aplicațiilor.
zkAggregatorRollup: Acționează ca strat de agregare și stocare pentru zkFabric și zkQueryNet. Acesta verifică dovezile ambelor componente, stochează datele atestate și își angajează rădăcina de stare ZK-proof tuturor blockchain-urilor conectate, permițând dApps-ului să acceseze direct documentul atestat în logica de afaceri a rezultatelor căutării de contracte inteligente în lanț.
Prin această arhitectură modulară, Brevis poate oferi metode de acces fără încredere, eficiente și flexibile pentru contractele inteligente pe toate lanțurile publice acceptate. Acest proiect este adoptat și în versiunea V4 a UNI și integrat cu Hooks în protocol (un sistem care integrează logica personalizată pentru diverși utilizatori) pentru a facilita citirea datelor istorice blockchain, a reduce taxele de gaz și a asigura descentralizarea proprietăților. Acesta este un exemplu de coprocesor zk care conduce DEX.
3.5 Lagrange
Lagrange este un protocol de co-procesor zk interoperabil condus de 1kx și Founders Fund. Scopul principal al protocolului este de a oferi interoperabilitate fără încredere în lanțuri și de a sprijini inovarea aplicațiilor care necesită calcule complexe de date mari. Spre deosebire de podurile tradiționale de noduri, interoperabilitatea încrucișată a lanțului Lagrange este realizată în principal prin mecanismele sale inovatoare ZK Big Data și Comitetului de stat.
ZK Big Data: Acest produs este nucleul Langrange și este în principal responsabil pentru procesarea și verificarea datelor încrucișate și generarea certificatelor ZK relevante. Această componentă conține coprocesorul ZK extrem de paralel pentru efectuarea de calcule complexe în afara lanțului și generarea de dovezi cu cunoștințe zero. O bază de date verificabilă special concepută acceptă sloturi de stocare nelimitate și interogări SQL directe pentru contractele inteligente. Mecanismul de actualizare dinamică actualizează doar punctele de date modificate Timp de dovedit și funcționalitate integrată care permite dezvoltatorilor să acceseze date istorice folosind interogări SQL direct din contractele inteligente, fără a scrie circuite complexe, formează împreună un sistem de procesare și verificare a datelor blockchain la scară largă.
Comitetul de stat: Această componentă este o rețea de verificare descentralizată compusă din mai multe noduri independente, fiecare nod angajează ETH ca garanție. Aceste noduri servesc ca clienți light ZK și sunt dedicate verificării stării unor pachete optimizate specifice. Comitetul de Stat se integrează cu AVS EigenLayer, folosește un mecanism de gaj pentru a spori securitatea, sprijină participarea unui număr nelimitat de noduri și realizează o creștere super-liniară a securității. De asemenea, oferă un „mod rapid” care permite utilizatorilor să efectueze operațiuni încrucișate fără a aștepta fereastra de provocare, îmbunătățind considerabil experiența utilizatorului. Combinația acestor două tehnologii îi permite lui Lagrange să proceseze în mod eficient date la scară largă, să efectueze calcule complexe și să transmită și să verifice în siguranță rezultatele între diferite blockchain-uri, oferind suport pentru dezvoltarea de aplicații complexe cross-chain.
Lagrange a fost în prezent integrat cu EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer etc. și va fi, de asemenea, conectat în ecosistemul Ethereum ca primul ZK AVS.
Referinte:
1.ABCDE: O scufundare profundă în coprocesorul ZK și viitorul său: https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946
2. „ZK” este tot ce ai nevoie: https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c52
3. Risc zero: https://www.risczero.com/bonsai
4.Lagrange：https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis
5.AxiomBlog: https://blog.axiom.xyz/
6. Azotul accelerează! Cum coprocesorul ZK depășește barierele de date ale contractelor inteligente: https://foresightnews.pro/article/detail/48239
