La scorsa settimana, il programma di airdrop HODLer di Binance ha lanciato $LA. Dopo aver ricevuto l'airdrop, ho fatto un po' di ricerca e ho deciso di registrare e condividere alcune informazioni. Come progetto ZK, il prodotto principale di Lagrange è la verifica dei calcoli o delle analisi dei dati off-chain, generando una prova che dimostra che "un certo risultato di calcolo off-chain è affidabile", fornendo un collegamento tra dati on-chain e off-chain 🆚. Anche se utilizza la tecnologia ZK, è molto diversa dalla soluzione di scalabilità L2 zkRollup. zkRollup imballa in batch le transazioni L2 su L1 per la verifica, rappresentando l'interazione tra catene. Facciamo un esempio 🌰 Quando partecipiamo a progetti Web3 nelle fasi iniziali, contribuiamo con una grande quantità di dati come volume di transazioni, punti, ecc. In generale, durante il TGE del progetto, è il team del progetto a calcolare off-chain il contributo di tutti gli utenti, il che porta a un alto costo di fiducia per la comunità e rende difficile per il team dimostrare di non avere pratiche scorrette, con casi di airdrop ingiusti che si verificano frequentemente. Ma se volessimo portare tutti questi dati on-chain e distribuire token in base ai contributi, il costo del calcolo on-chain sarebbe molto elevato. La soluzione di @LagrangeDev può risolvere problemi simili, consentendo l'analisi dei dati off-chain. Ad esempio, prima si consulta il volume di transazioni di tutti gli utenti in un certo periodo, quindi si genera una prova a conoscenza zero "ognuno ha scambiato xxx USDC", e poi si verifica questa prova on-chain, rendendo l'intero processo trasparente e verificabile da ogni utente. Quando la verifica on-chain è completata, si attiva un contratto intelligente per assegnare l'airdrop corrispondente a ciascun utente. Lagrange ha tre prodotti principali: DeepProve, ZK Prover Network e ZK Coprocessor, ognuno con casi d'uso diversi. Ad esempio, il caso principale di ZK Coprocessor è garantire l'equità degli airdrop, mentre DeepProve si concentra maggiormente sulla verifica dell'affidabilità dei risultati dell'IA. Utilizzano tutti la tecnologia ZK per affrontare problemi di verifica on-chain e possono essere combinati in scenari complessi. Nel complesso, Lagrange funziona come un "notariato" on-chain, con la tecnologia ZK che funge da notaio.