Autore originale: Zeke, ricercatore di capitale YBB

TLDR

  • Il coprocessore ZK (ZK Coprocessor) può essere considerato un plug-in di elaborazione fuori catena derivato dal concetto modulare. La sua funzione è simile alla GPU dei nostri computer tradizionali che condivide i compiti di elaborazione grafica per la CPU, ovvero condivide l'elaborazione in scenari specifici.

  • Può essere utilizzato per elaborare calcoli complessi e dati pesanti, ridurre le tariffe del gas ed espandere le funzioni del contratto intelligente;

  • La differenza rispetto a Rollup: il coprocessore ZK è senza stato, può essere utilizzato attraverso catene ed è adatto a scenari informatici complessi;

  • Il coprocessore ZK è difficile da sviluppare, ha un sovraccarico di prestazioni elevato e manca di standardizzazione. L'hardware richiede molti costi Nonostante la pista sia molto più matura rispetto a un anno fa, è ancora nelle fasi iniziali;

  • Dopo che l’infrastruttura è entrata nell’era modulare dell’espansione frattale, la blockchain è caduta in vari problemi come la mancanza di liquidità, gli utenti sparsi, la mancanza di innovazione e interoperabilità tra catene, e ha formato un paradosso con L1 dell’espansione verticale. Il coprocessore ZK potrebbe essere in grado di fornire un buon rinforzo per entrambi in futuro, consentendo loro di uscire dai guai, fornire supporto prestazionale per vecchie applicazioni e nuove e importanti applicazioni e portare narrazioni più fresche.

1. Un altro ramo dell'infrastruttura modulare, il coprocessore ZK

1.1 Panoramica del coprocessore ZK

Il coprocessore ZK (ZK Coprocessor) può essere considerato un plug-in di elaborazione fuori catena derivato dal concetto modulare. La sua funzione è simile alla GPU dei nostri computer tradizionali che condivide i compiti di elaborazione grafica per la CPU, ovvero condivide l'elaborazione in scenari specifici. Il processore dell'attività. In questo quadro di progettazione, le attività di "dati pesanti" e "logica di calcolo complessa" in cui la catena pubblica non è brava possono essere calcolate tramite il coprocessore ZK. La catena deve solo ricevere i risultati del calcolo restituiti e la sua correttezza è garantita da ZK vengono finalmente realizzati calcoli affidabili e comprovati off-chain per attività complesse.

Attualmente, applicazioni popolari come AI, SocialFi, DEX e GameFi hanno urgente bisogno di prestazioni elevate e controllo dei costi. Nelle soluzioni tradizionali, queste "applicazioni pesanti" che richiedono prestazioni elevate spesso scelgono la forma di asset on-chain + off-chain. applicazioni oppure progettare una catena di applicazioni separatamente per l'applicazione. Tuttavia, entrambi presentano alcuni problemi intrinseci. Ad esempio, il primo ha una scatola nera, mentre il secondo presenta problemi quali elevati costi di sviluppo, separazione dall’ecologia della catena originaria e frammentazione della liquidità. Inoltre, la macchina virtuale della catena principale presenta anche grandi restrizioni sullo sviluppo e sul funzionamento di tali applicazioni (come la mancanza di standard a livello di applicazione e di linguaggi di sviluppo complessi).

L'esistenza del coprocessore ZK serve a risolvere questi problemi. Per fare un esempio più dettagliato, possiamo considerare la blockchain come un terminale che non può essere connesso a Internet (telefono cellulare, computer, ecc.). alcune applicazioni più semplici, come Uniswap e altre applicazioni DeFi, possono essere eseguite completamente in catena. Ma quando appariranno applicazioni più complesse, come l’esecuzione di un’applicazione come ChatGPT, le prestazioni e l’archiviazione della catena pubblica saranno del tutto insufficienti e Gas esploderà. Nel caso di Web2, lo stesso vale quando eseguiamo ChatGPT. I terminali comuni non sono in grado di gestire modelli linguistici di grandi dimensioni come GPT-4. Dobbiamo comunicare il problema al server OpenAI tramite Internet dopo che il server ha calcolato l'inferenza risultati, riceverai direttamente la risposta. Il coprocessore ZK è simile al server remoto della blockchain. Tuttavia, per diversi tipi di progetti, la progettazione dei diversi progetti del coprocessore può presentare lievi deviazioni, ma la logica sottostante non sarà molto diversa. Sono tutti verificati tramite off-chain calcolo + prova ZK o prove di stoccaggio. Prendendo come esempio l'implementazione di Bonsai di Rise Zero, possiamo vedere che la logica di questa architettura è molto semplice. Il progetto è perfettamente integrato in zkVM di Rise Zero. Per utilizzare Bonsai come co-processore, gli sviluppatori necessitano solo di due semplici passaggi: passo :

  • Scrivere un'applicazione zkVM per gestire la logica dell'applicazione;

  • Scrivi un contratto Solidity che chieda a Bonsai di eseguire la tua applicazione zkVM ed elaborare i risultati.

Qual è la differenza tra 1.2 e Rollup?

Nella definizione di cui sopra, troveremo che Rollup sembra avere un alto grado di sovrapposizione con il coprocessore ZK indipendentemente dalla logica o dagli obiettivi di implementazione. Ma in realtà Rollup è più simile alla versione multi-core della catena principale. Le differenze specifiche tra i due sono le seguenti:

1. Scopo principale:

  • Rollup: migliora il throughput delle transazioni blockchain e riduci le commissioni di transazione.

  • Coprocessore ZK: espande la potenza di calcolo dei contratti intelligenti per consentirgli di elaborare logica più complessa e quantità maggiori di dati.

2. Principio di funzionamento:

  • Rollup: riepiloga le transazioni sulla catena e trasferiscile alla catena principale tramite prova di frode o prova ZK.

  • Coprocessore ZK: simile a ZK Rollup, tranne per il fatto che gli scenari applicativi dei due sono diversi. ZK Rollup è limitato dalla forma e dalle regole della catena e non è adatto al lavoro del coprocessore ZK.

3. Gestione dello stato:

  • Rollup: necessità di mantenere il proprio stato e sincronizzarsi regolarmente con la catena principale.

  • Coprocessore ZK: non mantiene lo stato persistente e ogni calcolo è senza stato.

4. Scenari applicativi:

  • Rollup: principalmente per il lato C, adatto per il trading ad alta frequenza.

  • Coprocessore ZK: principalmente per il lato B, adatto a scenari che richiedono calcoli complessi, come modelli finanziari avanzati, analisi di big data, ecc.

5. Rapporto con la catena principale:

  • Rollup: può essere visto come un'estensione della catena principale, solitamente focalizzata su una specifica rete blockchain.

  • Coprocessore ZK: può fornire servizi per più blockchain e non è limitato a una catena principale specifica, quindi può fornire servizi anche per Rollup.

Pertanto i due non si escludono a vicenda e sono addirittura complementari. Anche se esiste un Rollup sotto forma di catena di applicazioni, il coprocessore ZK può comunque fornire servizi.

1.3 Casi d'uso

In teoria, il coprocessore ZK ha un campo di applicazione molto ampio e può sostanzialmente coprire progetti in diversi percorsi blockchain. L'esistenza del coprocessore ZK può avvicinare la funzione di Dapp alla funzione dell'app centralizzata Web2. Di seguito sono riportati alcuni casi d'uso dimostrativi raccolti da Internet:

Sviluppo DApp basato sui dati

Il coprocessore ZK consente agli sviluppatori di creare DApp basate sui dati che sfruttano i dati storici dell'intera catena ed eseguono calcoli complessi senza ulteriori presupposti di fiducia. Ciò offre possibilità senza precedenti allo sviluppo di DApp, come ad esempio:

  • Analisi avanzata dei dati: funzioni di analisi dei dati on-chain simili a Dune Analytics.

  • Logica aziendale complessa: implementa algoritmi complessi e logica aziendale nelle tradizionali applicazioni centralizzate.

  • Applicazioni cross-chain: crea DApp cross-chain basate su dati multi-chain.

Il programma VIP Trader di DEX

Uno scenario applicativo tipico è quello di implementare un programma di sconti sulle commissioni basato sul volume delle transazioni in uno scambio decentralizzato (DEX), ovvero il "Programma fedeltà Trader VIP". Questo tipo di schema è comune negli scambi centralizzati (CEX) ma raro in DEX.

Utilizzando il coprocessore ZK, DEX può:

  • Tieni traccia del volume storico delle transazioni degli utenti

  • Calcola il livello VIP dell'utente

  • Adatta dinamicamente le commissioni di transazione in base al livello

Questa funzionalità può aiutare DEX a migliorare la fidelizzazione degli utenti, aumentare la liquidità e, in definitiva, aumentare le entrate.

Miglioramento dei dati per contratti intelligenti

Il coprocessore ZK può fungere da potente middleware per fornire servizi di acquisizione, calcolo e verifica dei dati per contratti intelligenti, riducendo così i costi e migliorando l'efficienza. Ciò consente ai contratti intelligenti di:

  • Accedi ed elabora grandi quantità di dati storici

  • Esegui calcoli complessi fuori catena

  • Implementare una logica aziendale più avanzata

Tecnologia del ponte a catena incrociata

Anche alcune tecnologie di ponti a catena incrociata basate su ZK, come Erodoto e Lagrange, possono essere considerate un'applicazione del coprocessore ZK. Queste tecnologie si concentrano principalmente sull’estrazione e sulla verifica dei dati, fornendo una base dati affidabile per la comunicazione cross-chain.

Il coprocessore 1.4 ZK non è perfetto

Sebbene abbiamo elencato molti vantaggi, lo stadio attuale del coprocessore ZK non è perfetto e deve ancora affrontare molti problemi. Personalmente ho riassunto i seguenti punti:

1. Sviluppo: il concetto di ZK è difficile da comprendere per molti sviluppatori. Lo sviluppo richiede anche una conoscenza approfondita della crittografia e la padronanza di linguaggi e strumenti di sviluppo specifici;

2. I costi dell'hardware sono elevati: l'hardware ZK utilizzato per l'elaborazione fuori catena deve essere completamente sostenuto dal progetto stesso. L'hardware ZK è costoso ed è ancora in fase di rapido sviluppo e iterazione ed è probabile che l'hardware venga eliminato in qualsiasi momento. Anche se questo possa formare un circuito chiuso nella logica aziendale è una questione che vale la pena considerare;

3. Il percorso è affollato: in effetti, non ci sarà una grande differenza nell'implementazione tecnica. Alla fine, sarà probabilmente simile all'attuale modello Layer 2. Ci sono diversi progetti in sospeso, ma la maggior parte di essi viene ignorata.

Circuito 4.zk: l'esecuzione di calcoli fuori catena nel coprocessore zk richiede la conversione di programmi per computer tradizionali in circuiti zk. La scrittura di circuiti personalizzati per ciascuna applicazione è molto complicata e l'utilizzo di zkvm per scrivere circuiti in macchine virtuali causa diversi modelli di calcolo .

2. Pezzi chiave del puzzle che portano ad un'applicazione su larga scala

(Questo capitolo è altamente soggettivo e rappresenta solo il punto di vista personale dell’autore)

Questo ciclo è dominato dall’infrastruttura modulare. Se il percorso della modularizzazione è corretto, allora questo ciclo potrebbe essere l’ultimo passo verso l’applicazione su larga scala. Tuttavia, allo stato attuale, abbiamo tutti un sentimento comune: perché possiamo vedere solo alcuni vecchi vini con nuove applicazioni? Perché ci sono molte più catene che applicazioni? Perché i nuovi standard di token come le iscrizioni possono essere definiti la più grande innovazione in questo senso? girare?

Il motivo per cui c’è una tale mancanza di nuove narrazioni è che l’attuale infrastruttura modulare non è sufficiente a supportare le super applicazioni, in particolare la mancanza di alcuni prerequisiti (interoperabilità dell’intera catena, soglie utente, ecc.), che ha contribuito alla più grande sviluppo nella storia della blockchain sotto mentite spoglie di separazione. Il rollup, in quanto nucleo dell’era modulare, è veloce, ma comporta anche molti problemi: la frammentazione della liquidità, la dispersione degli utenti, la catena o la stessa macchina virtuale che abbiamo ripetutamente sottolineato sopra limitano ancora l’innovazione delle applicazioni. D'altra parte, Celestia, un altro "uomo chiave" della modularità, ha aperto la strada all'idea che DA non abbia bisogno di essere su Ethereum. Questa idea intensifica ulteriormente la frammentazione. Che si parta dall’ideologia o dal costo di DA, il risultato è che BTC è costretto a fare DA e altre catene pubbliche devono fare DA più convenienti. La situazione attuale è che ce ne sono solo una e decine Progetti di livello 2 su ciascuna catena pubblica. Infine, tutte le parti coinvolte nel progetto infrastrutturale ed ecologico hanno studiato a fondo il gameplay del drago che uccide i punti (OpenSea) introdotto da Blur (Tieshun), richiedendo agli utenti di impegnare gettoni nel progetto. Questo tipo di prendere tre piccioni con una fava (interesse, ETH). per le balene O l’ascesa di BTC e del modello free-token Token), comprimendo ulteriormente la liquidità sulla catena.

Nel passato del mercato rialzista, i fondi fluivano solo in poche o una dozzina di catene pubbliche e si potrebbe addirittura dire che fossero concentrati solo su Ethereum. Ma oggi i fondi sono sparsi in centinaia di catene pubbliche e impegnati in migliaia di progetti tutti uguali. La prosperità sulla catena non c'è più, e anche Ethereum non ha attività sulla catena. Quindi i giocatori orientali stanno facendo PVP nell’ecosistema BTC, mentre i giocatori occidentali non hanno altra scelta che fare PVP a Solana. Pertanto, ciò che personalmente mi preoccupa di più in questo momento è come promuovere l’aggregazione di liquidità lungo tutta la catena e come supportare la nascita di nuovi gameplay e super applicazioni. Nel percorso dell’interoperabilità a catena intera, diversi progetti leader tradizionali hanno effettivamente ottenuto scarsi risultati e sono ancora più simili ai tradizionali ponti a catena incrociata. La nuova soluzione di interoperabilità è stata discussa anche nel nostro precedente rapporto di ricerca, principalmente aggregando più catene in un'unica catena. Attualmente stiamo lavorando su AggLayer, Superchain, Elastic Chain, JAM, ecc., che non verranno discussi qui.

Nel complesso, l'aggregazione dell'intera catena è un ostacolo che deve essere superato nell'ambito della struttura modulare, ma questo ostacolo richiederà ancora molto tempo. Il coprocessore ZK è un pezzo del puzzle più critico nella fase attuale Oltre a rafforzare il livello 2, può anche rafforzare il livello 1. È possibile uscire temporaneamente dai due problemi del paradosso della catena completa e del triangolo? Prima implementare alcune applicazioni attuali su alcuni Layer 1 o Layer 2 che dispongono di ampia liquidità? Dopotutto, l’attuale narrativa sull’applicazione della blockchain è davvero carente. D'altra parte, per ottenere la diversificazione del gameplay, il controllo del gas, l'emergere di applicazioni su larga scala e persino la catena incrociata, abbassando la soglia dell'utente, l'integrazione di una soluzione coprocessore sarà una soluzione più ideale che fare affidamento sulla centralizzazione.

3. Elenco progetti

Il percorso del coprocessore ZK è emerso sostanzialmente intorno al 2023 ed è relativamente maturo nella fase attuale. Secondo la classificazione di Messari, i progetti esistenti sul binario possono essere suddivisi in tre grandi aree verticali (informatica generale, interoperabilità e cross-chain, AI e machine training), con 18 progetti. La maggior parte di questi progetti sono supportati dai VC principali. Selezioniamo alcuni progetti in diversi campi verticali per la descrizione di seguito.

3.1 Umano

Giza è un protocollo zkML (apprendimento automatico a conoscenza zero) distribuito su Starknet e ufficialmente supportato da StarkWare, incentrato sull'abilitazione di modelli di intelligenza artificiale da utilizzare in modo verificabile nei contratti intelligenti blockchain. Gli sviluppatori possono implementare modelli di intelligenza artificiale sulla rete Giza, che poi verifica la correttezza del ragionamento del modello attraverso prove a conoscenza zero e fornisce i risultati per l’utilizzo da parte dei contratti intelligenti in modo affidabile. Ciò consente agli sviluppatori di creare applicazioni on-chain che incorporano funzionalità di intelligenza artificiale mantenendo la decentralizzazione e la verificabilità della blockchain.

Giza completa il flusso di lavoro eseguendo i tre passaggi seguenti:

  • Conversione del modello: Giza converte i modelli AI in formato ONNX comunemente utilizzati in un formato che può essere eseguito in sistemi a prova di conoscenza zero. Ciò consente agli sviluppatori di addestrare modelli utilizzando strumenti familiari e quindi di distribuirli sulla rete Giza.

  • Inferenza fuori catena: quando un contratto intelligente richiede l'inferenza del modello AI, Giza esegue i calcoli effettivi fuori catena. Ciò evita i costi elevati legati all’esecuzione di modelli di intelligenza artificiale complessi direttamente sulla blockchain.

  • Verifica a conoscenza zero: Giza genera una prova ZK per ogni inferenza del modello per dimostrare che il calcolo è stato eseguito correttamente. Queste prove vengono verificate on-chain, garantendo la correttezza dei risultati dell'inferenza senza dover ripetere l'intero processo di calcolo on-chain.

L’approccio di Giza consente ai modelli di intelligenza artificiale di fungere da fonti di input affidabili per contratti intelligenti senza fare affidamento su oracoli centralizzati o ambienti di esecuzione affidabili. Ciò apre nuove possibilità per le applicazioni blockchain come la gestione patrimoniale basata sull’intelligenza artificiale, il rilevamento delle frodi e la determinazione dei prezzi dinamica. È uno dei pochi progetti logici a circuito chiuso nell'attuale Web3 x AI ed è anche un meraviglioso uso del coprocessing nel campo dell'intelligenza artificiale.

3.2 Risc Zero

Risc Zero è un progetto di co-processore supportato da numerosi VC leader ed è leader nel settore. Il progetto si concentra sulla possibilità di eseguire calcoli arbitrari in modo verificabile all’interno dei contratti intelligenti blockchain. Gli sviluppatori possono scrivere programmi in Rust e distribuirli sulla rete RISC Zero quindi verifica la correttezza dell'esecuzione del programma attraverso prove a conoscenza zero e fornisce i risultati ai contratti intelligenti in modo affidabile. Ciò consente agli sviluppatori di creare complesse applicazioni on-chain mantenendo la decentralizzazione e la verificabilità della blockchain.

Abbiamo parlato brevemente della distribuzione e del processo di lavoro sopra, e qui parleremo in dettaglio dei due componenti chiave:

Bonsai: Bonsai di RISC Zero è il componente coprocessore del progetto È perfettamente integrato nella zkVM dell'architettura del set di istruzioni RISC-V, consentendo agli sviluppatori di integrare rapidamente prove a conoscenza zero ad alte prestazioni in Ethereum e L1 all'interno di un. pochi giorni Blockchain, catena di applicazioni Cosmos, rollup L2 e dApp forniscono chiamate dirette a contratti intelligenti, calcoli fuori catena verificabili, interoperabilità cross-chain e funzioni di rollup universali, adottando al contempo un design di architettura distribuita decentralizzata, combinato con funzionalità ricorsive. prove, compilatori di circuiti personalizzati, continuazione dello stato e algoritmi di prova in continuo miglioramento, consentendo a chiunque di generare prove a conoscenza zero ad alte prestazioni per una varietà di applicazioni.

zKVM: zkVM è un computer verificabile che funziona come un vero microprocessore RISC-V incorporato. Questa macchina virtuale si basa sull'architettura del set di istruzioni RISC-V, consentendo agli sviluppatori di utilizzare una varietà di linguaggi di programmazione come Rust, C++, Solidity, Go e altri linguaggi di programmazione di alto livello per scrivere programmi in grado di generare zero -prove a conoscenza. Supporta oltre il 70% dei più diffusi crate di Rust. Raggiunge la perfetta combinazione di calcolo generale e prove a conoscenza zero e può generare efficienti prove a conoscenza zero per calcoli di qualsiasi complessità, pur mantenendo la privacy del calcolo. processo e la verificabilità dei risultati. zkVM adotta STARK e SNARK, inclusa la tecnologia ZK che realizza un'efficiente generazione e verifica di prove attraverso componenti come Recursion Prover e STARK-to-SNARK Prover, supportando l'esecuzione off-chain e le modalità di verifica on-chain.

Risc Zero si è integrato con più sistemi ETH Layer 2 e ha dimostrato molteplici casi d'uso di Bonsai, il più interessante dei quali è Bonsai Pay. La demo utilizza zkVM e Bonsai proof-of-service di RISC Zero per consentire agli utenti di inviare o prelevare ETH e token su Ethereum utilizzando un account Google. Dimostra come RISC Zero può integrare perfettamente le applicazioni on-chain con OAuth 2.0 (lo standard utilizzato dai principali provider di identità come Google), un caso d'uso di integrazione che riduce la barriera all'ingresso per gli utenti Web3 attraverso le tradizionali applicazioni Web2, oltre agli esempi basato su applicazioni come DAO.

3,3 =zero;

=zero; È investito da noti progetti e istituzioni come Mina, Polychain, Starkware e Blockchain Capital. Vale la pena notare che tra questi figurano anche soggetti di progetto con tecnologie zk all'avanguardia come Mina e Starkware. il riconoscimento tecnico del progetto è ancora elevato. =nil; È anche un progetto menzionato nel nostro rapporto di ricerca "Mercato dell'energia informatica". A quel tempo, si concentrava principalmente sul Proof Market di =nil; (mercato decentralizzato per la generazione di prove). In realtà il progetto aveva anche un sottoprodotto, zkLLVM.

zkLLVM è un compilatore di circuiti innovativo sviluppato da =nil; Foundation. Può convertire automaticamente codici applicativi scritti nei principali linguaggi di sviluppo come C++ e Rust in efficienti circuiti dimostrabili su Ethereum senza utilizzare campi specifici specializzati a conoscenza zero (. DSL), semplificando così notevolmente il processo di sviluppo e abbassando la soglia di sviluppo. Allo stesso tempo, migliora le prestazioni non coinvolgendo zkVM (macchina virtuale a conoscenza zero). Supporta l'accelerazione hardware per accelerare la generazione di prove. È adatto per i rollup , ponti incrociati, vari scenari applicativi ZK come oracoli, apprendimento automatico e giochi, e sono strettamente integrati con Proof Market di =nil Foundation, fornendo agli sviluppatori supporto end-to-end dalla creazione di circuiti alla generazione di prove.

3.4 Brevis

Questo progetto è un sottoprogetto di Celer Network. Bervis è un coprocessore intelligente a conoscenza zero (ZK) per blockchain che consente alle dApp di accedere, elaborare e utilizzare su più blockchain in modo completamente arbitrario. Come altri co-processori, Brevis ha anche una vasta gamma di casi d'uso, come DeFi basata sui dati, zkBridges, acquisizione utenti on-chain, zkDID e astrazione di account social.

L'architettura di Brevis si compone principalmente di tre parti:

  • zkFabric: zkFabric è un ripetitore per l'architettura Brevis. Il suo compito principale è raccogliere e sincronizzare le informazioni sull'intestazione del blocco da tutte le blockchain connesse e infine generare prove di consenso per ciascuna intestazione del blocco raccolta attraverso il circuito ZK light client.

  • zkQueryNet: zkQueryNet è un mercato aperto di motori di query ZK che può accettare direttamente query di dati da contratti intelligenti sulla catena e può anche generare risultati di query e corrispondenti certificati di query ZK attraverso il circuito del motore di query ZK. Questi motori spaziano da motori altamente specializzati (come il calcolo del volume delle transazioni su un DEX in un periodo di tempo specifico) ad astrazioni di indici di dati altamente generali e linguaggi di query di alto livello che soddisfano una varietà di esigenze applicative.

  • zkAggregatorRollup: funge da livello di aggregazione e archiviazione per zkFabric e zkQueryNet. Verifica le prove di entrambi i componenti, memorizza i dati attestati e impegna la radice dello stato a prova di ZK su tutte le blockchain connesse, consentendo alle dApp di accedere direttamente all'attestato nella logica di business dei risultati della ricerca dei contratti intelligenti sulla catena.

Attraverso questa architettura modulare, Brevis può fornire un accesso affidabile, efficiente e flessibile ai contratti intelligenti su tutte le catene pubbliche supportate. Questo progetto è adottato anche nella versione V4 di UNI e integrato con Hooks nel protocollo (un sistema che integra logica personalizzata per vari utenti) per facilitare la lettura dei dati storici della blockchain, ridurre le tariffe del gas e garantire la decentralizzazione delle proprietà. Questo è un esempio del coprocessore zk che guida DEX.

3.5 Lagrangiano

Lagrange è un protocollo co-processore interoperabile zk guidato da 1kx e Founders Fund. Lo scopo principale del protocollo è fornire interoperabilità cross-chain affidabile e supportare l'innovazione di applicazioni che richiedono calcoli complessi di big data. A differenza dei tradizionali bridge di nodi, l'interoperabilità cross-chain di Lagrange è ottenuta principalmente attraverso i suoi innovativi meccanismi ZK Big Data e State Committee.

ZK Big Data: questo prodotto è il cuore di Langrange ed è principalmente responsabile dell'elaborazione e della verifica dei dati cross-chain e della generazione dei relativi certificati ZK. Questo componente include un coprocessore ZK altamente parallelo per eseguire calcoli complessi fuori catena e generare prove a conoscenza zero. Un database verificabile appositamente progettato supporta slot di archiviazione illimitati e query SQL dirette per contratti intelligenti. Un meccanismo di aggiornamento dinamico aggiorna solo i punti dati modificati da ridurre Funzionalità integrate e time-to-prove che consentono agli sviluppatori di accedere ai dati storici utilizzando query SQL direttamente da contratti intelligenti senza scrivere circuiti complessi, insieme formano un sistema di elaborazione e verifica dei dati blockchain su larga scala.

Comitato di Stato: questo componente è una rete di verifica decentralizzata composta da più nodi indipendenti, ciascun nodo impegna ETH come garanzia. Questi nodi fungono da client ZK light e sono dedicati alla verifica dello stato di specifici rollup di ottimizzazione. Il Comitato di Stato si integra con AVS di EigenLayer, utilizza un pesante meccanismo di impegno per migliorare la sicurezza, supporta la partecipazione di un numero illimitato di nodi e raggiunge una crescita della sicurezza super lineare. Fornisce inoltre una "modalità rapida" che consente agli utenti di eseguire operazioni cross-chain senza attendere la finestra di sfida, migliorando notevolmente l'esperienza dell'utente. La combinazione di queste due tecnologie consente a Lagrange di elaborare in modo efficiente dati su larga scala, eseguire calcoli complessi e trasmettere e verificare in modo sicuro i risultati tra diverse blockchain, fornendo supporto per lo sviluppo di complesse applicazioni cross-chain.

Lagrange è attualmente integrato con EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer, ecc. e sarà anche collegato all'ecosistema Ethereum come primo ZK AVS.

Riferimenti

1.ABCDE: un tuffo nel coprocessore ZK e nel suo futuro: https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946

2. "ZK" è tutto ciò di cui hai bisogno: https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c 52 

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. L'azoto accelera! In che modo il coprocessore ZK infrange le barriere dei dati dei contratti intelligenti: https://foresightnews.pro/article/detail/48239