Punti chiave
Lagrange è una piattaforma di infrastruttura decentralizzata composta da tre parti principali: rete ZK Prover, ZK co-processore e DeepProve, libreria zkML.
Il progetto consente agli sviluppatori di eseguire calcoli complessi al di fuori della blockchain e dimostrare la validità dei risultati tramite prove a zero conoscenza (ZKP).
Con Lagrange è possibile verificare dati storici, eseguire calcoli al di fuori della blockchain e trasferire in modo sicuro informazioni tra le reti.
Introduzione
Immagina di voler calcolare il prezzo medio dell'ETH su diverse blockchain. Questo è un compito complesso, specialmente se non vuoi utilizzare oracoli o pagare commissioni elevate per accedere ai dati storici.
Lagrange semplifica il processo spostando calcoli complessi al di fuori della blockchain, generando prove a zero conoscenza (ZKP) e verificando i risultati sulla blockchain. In questo modo, è possibile eseguire calcoli, spostare e confermare dati su varie blockchain in modo più sicuro ed efficiente.
Cos'è Lagrange
Lagrange è un progetto di infrastruttura per criptovalute composto da tre prodotti principali: la rete ZK Prover, il co-processore ZK e DeepProve, una libreria zkML.
Rete ZK Prover
Prover di Lagrange è una rete decentralizzata di operatori in grado di generare ZKP su richiesta. Se un'applicazione decentralizzata (DApp) ha bisogno di dimostrare la correttezza dei calcoli, invia semplicemente una richiesta a Lagrange.
La rete Prover esegue complessi calcoli matematici al di fuori della blockchain e restituisce una prova compatta che può essere verificata dagli smart contract. La DApp non ha bisogno di rieseguire il calcolo sulla blockchain o di coinvolgere una terza parte per la verifica.
A differenza degli schemi tradizionali in cui viene utilizzato un solo coordinatore (che può diventare un punto vulnerabile), Lagrange suddivide la propria rete in sottoreti indipendenti. Questo significa che più blockchain, rollup o applicazioni possono utilizzare simultaneamente la piattaforma e la rete stessa si scalda in base all'aumento del carico.
Co-processore ZK
Il co-processore ZK consente di richiedere dati dalla blockchain senza necessità di fiducia. Gli sviluppatori possono scrivere query SQL per estrarre dati dal deposito di smart contract in migliaia di blocchi, eseguire calcoli (ad esempio, media o somma) e ottenere una prova ZK. Questa prova può quindi essere direttamente incorporata nello smart contract e verificata.
Questa funzione funziona in diverse reti blockchain, consentendo di richiedere dati da una rete di secondo livello, come Base, e verificare il risultato su Ethereum, senza utilizzare un ponte. Ora gli sviluppatori hanno un'altra opzione per richiedere dati blockchain, oltre a creare i propri indicizzatori, scrivere logiche complesse o utilizzare API centralizzate.
zkML DeepProve
DeepProve è un sistema zkML di Lagrange che consente agli sviluppatori di dimostrare che i loro modelli di intelligenza artificiale (IA) funzionano correttamente, senza rivelare il modello stesso e i suoi dati di input. Crea ZKP per le conclusioni fatte dall'IA, permettendo a chiunque di verificare che la previsione sia stata ottenuta con il modello corretto e non sia stata alterata. Questo rende l'IA più trasparente e affidabile.
Come funziona Lagrange
Rete Prover
La rete Prover opera su base EigenLayer e è supportata da oltre 85 operatori AVS di livello istituzionale. Questi operatori eseguono un programma semplificato (worker binary) che tiene traccia dei compiti in arrivo. Quando uno sviluppatore ha bisogno di una prova, la rete invia un incarico e gli operatori designati eseguono i calcoli al di fuori della blockchain, prima di restituire ZKP.
È importante che gli operatori siano affidabili: se non eseguono i compiti correttamente e in tempo, rischiano di perdere parte dei loro fondi nello staking. La rete Prover supporta diversi sistemi di verifica, come Plonky2 e Plonky3, e in futuro altri, a seconda delle necessità.
DARA (Assegnazione Risorse Asta Doppia)
DARA è un sistema di distribuzione delle risorse Lagrange che consente il funzionamento della rete Prover. Il sistema abbina gli sviluppatori che necessitano di calcoli con gli operatori pronti a eseguirli. Ecco come funziona:
Lo sviluppatore determina quanta potenza di calcolo è necessaria e quanto è disposto a pagare per essa.
L'operatore comunica quanta potenza può offrire e i suoi costi.
DARA abbina automaticamente entrambe le parti, garantendo che gli sviluppatori non paghino troppo e che gli operatori ricevano una giusta ricompensa.
Il sistema è progettato per garantire efficienza e giustizia: il pagamento è richiesto solo se c'è la possibilità di eseguire l'intero volume di lavoro. Se la rete non può elaborare completamente la richiesta, questa non verrà eseguita. Incentivando offerte oneste ed escludendo risultati parziali o falsificati, DARA aiuta a stabilire il funzionamento del mercato.