La semaine dernière, l'airdrop HODLer de Binance a lancé le $LA. Après avoir reçu l'airdrop, j'ai fait un peu de recherche et j'ai décidé de noter & partager cela. En tant que projet ZK, le produit phare de Lagrange est de vérifier les calculs ou analyses de données hors chaîne, générant une preuve que « le résultat d'un calcul hors chaîne est fiable », fournissant un lien entre les données on-chain 🆚 off-chain. Bien que ce soit aussi une technologie ZK, cela est très différent de la solution d'extension L2 zkRollup. Le zkRollup regroupe les transactions L2 en masse pour les valider sur L1, c'est une interaction entre chaînes. Prenons un exemple 🌰 Lorsque nous participons à des projets Web3 en phase précoce, nous contribuons généralement une grande quantité de données telles que le volume des transactions, les points, etc. En général, lors du TGE du projet, c'est l'équipe du projet qui calcule hors chaîne la contribution de tous les utilisateurs, ce qui entraîne un coût de confiance élevé pour la communauté, et l'équipe du projet a également du mal à prouver qu'il n'y a pas de manipulation, des cas d'airdrop injustes se produisent souvent. Mais si nous devions mettre toutes ces données on-chain et distribuer des tokens en fonction des contributions, le coût de calcul on-chain serait très élevé. La solution de @LagrangeDev peut résoudre des problèmes similaires, elle permet d'effectuer l'analyse des données hors chaîne, par exemple en interrogeant d'abord tous les utilisateurs + le volume des transactions sur toute la période, puis en générant une preuve à connaissance nulle « chaque personne a échangé xxx USDC », puis en validant cette preuve sur la chaîne, tout le processus est transparent et chaque utilisateur peut vérifier. Lorsque la validation on-chain est réussie, cela déclenche un contrat intelligent pour attribuer l'airdrop correspondant à chaque utilisateur. Lagrange a trois produits phares : DeepProve, ZK Prover Network et ZK Coprocessor, chacun ayant des cas d'utilisation différents, par exemple le ZK Coprocessor a pour scénario principal la garantie d'équité des airdrops mentionnée ci-dessus, tandis que DeepProve est davantage axé sur la vérification de la fiabilité des résultats d'IA. Ils utilisent tous la technologie ZK pour résoudre des problèmes de validation on-chain et peuvent être combinés dans certains scénarios complexes. Dans l'ensemble, Lagrange ressemble à un « notaire » on-chain, la technologie ZK étant le notaire.