Lagrange est un projet d'infrastructure crypto qui propose trois produits clés : un Réseau Prover à connaissance nulle (ZK), un Coprocesseur ZK, et la bibliothèque DeepProve zkML.
Réseau Prover ZK
Le Réseau Prover de Lagrange est un réseau décentralisé d'opérateurs capable de générer des ZKP à la demande. Si une application décentralisée (DApp) doit prouver qu'un résultat a été calculé correctement, elle envoie simplement une demande à Lagrange.
Le Réseau Prover effectue les calculs complexes hors chaîne et renvoie une preuve compacte que les contrats intelligents peuvent vérifier. Il n'est pas nécessaire que l'application décentralisée (DApp) relance le calcul sur chaîne ou s'appuie sur un tiers pour la validation.
Contrairement aux configurations traditionnelles qui reposent sur un seul coordinateur (qui peut devenir un goulot d'étranglement), Lagrange divise son réseau en sous-réseaux indépendants. Cela signifie que plusieurs blockchains, rollups ou applications peuvent l'utiliser en même temps et que le réseau peut évoluer avec la demande.
Le coprocesseur ZK
Le coprocesseur ZK de Lagrange est conçu pour fonctionner comme un moteur de requête sans confiance pour les données de blockchain. Les développeurs peuvent écrire des requêtes SQL pour extraire des données du stockage des contrats intelligents à travers des milliers de blocs, exécuter des calculs comme des moyennes ou des sommes, et obtenir un ZKP. Cette preuve peut ensuite être directement intégrée dans un contrat intelligent et vérifiée.
Cette fonctionnalité fonctionne à travers les réseaux blockchain, vous pouvez donc interroger des données provenant de Layer 2 comme Base et vérifier le résultat sur Ethereum sans avoir besoin d'un pont. Les développeurs ont désormais une autre option pour interroger des données de blockchain, en plus de construire leurs propres indexeurs de blockchain, d'écrire une logique complexe personnalisée, ou de s'appuyer sur des API centralisées.
zkML DeepProve
DeepProve est le système zkML de Lagrange qui permet aux développeurs de prouver que leurs modèles d'intelligence artificielle (IA) fonctionnent correctement sans révéler le modèle ni ses entrées. Il fonctionne en générant des ZKP pour les inférences d'apprentissage machine, de sorte que quiconque puisse vérifier qu'une prédiction provient du bon modèle et n'a pas été altérée. Cela vous donne plus de confiance et de confiance dans la réponse de l'IA car elle est soutenue par des preuves cryptographiques.
Comment fonctionne Lagrange ?
Réseau de preuve
Le réseau de preuve de Lagrange fonctionne sur EigenLayer et est soutenu par plus de 85 opérateurs de services vérifiables autonomes de qualité institutionnelle (AVS). Ces opérateurs exécutent un programme léger appelé binaire de travail qui écoute les tâches entrantes. Lorsqu'un développeur a besoin d'une preuve, le réseau prend le travail et les opérateurs assignés exécutent le calcul hors chaîne avant de retourner un ZKP.
Il existe une forte incitation pour les opérateurs de preuve à rester fiables. S'ils ne complètent pas leurs tâches assignées correctement ou à temps, ils risquent d'être pénalisés, ce qui signifie qu'ils perdent une partie de leurs fonds misés. Le réseau de preuve est conçu pour être flexible, avec un soutien pour des systèmes de preuve comme Plonky2, Plonky3, et potentiellement d'autres systèmes à l'avenir, en fonction de leurs besoins.
DARA (Allocation des ressources par enchères doubles)
DARA est le système d'allocation des ressources de Lagrange qui alimente le réseau de preuve en coulisses. Le système associe les développeurs ayant besoin de calcul avec les opérateurs qui le fournissent. Voici comment cela fonctionne en pratique :
Si vous êtes un développeur, vous définissez combien de calcul vous avez besoin et combien vous êtes prêt à payer.
Si vous êtes un opérateur, vous partagez combien de capacité vous pouvez offrir et votre coût.
DARA correspond automatiquement aux deux parties, garantissant que les développeurs ne paient pas trop et que les opérateurs sont récompensés équitablement.
Le système est conçu pour être efficace et équitable : vous ne payez que si votre tâche entière peut être complétée. Si le réseau ne peut pas traiter complètement votre demande, elle ne sera pas effectuée. En encourageant une enchère honnête et en éliminant les résultats partiels ou manipulés, DARA aide à garantir que le marché fonctionne sans accroc.
Cas d'utilisation potentiels
Gouvernance inter-chaînes : Utilisez les services de Lagrange pour générer des preuves d'événements à travers plusieurs blockchains. Si un vote de DAO a lieu sur Scroll, vous pouvez générer une preuve et vérifier ce résultat directement sur Ethereum sans avoir besoin d'un pont.
Infrastructure de rollup : Les rollups peuvent se connecter à Lagrange pour externaliser la génération de preuves ZK ou de fraude au lieu de construire leur propre infrastructure de preuve.
Santé : Les modèles d'IA peuvent être formés sur des données sensibles de patients et peuvent faire des prédictions et prouver leur exactitude sans révéler d'informations personnelles sur la santé. Cela permet des diagnostics préservant la vie privée et des outils médicaux.
Finance et conformité : Les institutions financières peuvent vérifier que les modèles d'IA respectent les exigences réglementaires tout en gardant les algorithmes et les données propriétaires confidentiels.
Fondation et Labs Lagrange
La Fondation Lagrange est une nouvelle organisation indépendante axée sur la croissance de l'écosystème Lagrange. Elle gère les opérations quotidiennes du réseau de preuve et soutient les bâtisseurs avec des ressources telles que des conseils techniques, marketing, et partenariats écosystémiques. D'autre part, Lagrange Labs se concentrera sur la recherche et le développement dans des domaines comme la génération de preuves ZK et l'IA vérifiable. Les technologies développées par les Labs seront intégrées au fil du temps dans le réseau de preuve, aidant à soutenir des cas d'utilisation réels et la croissance à long terme de l'écosystème.
Token LA
Le token LA est le token utilitaire natif de l'écosystème de Lagrange. Le token est utilisé à diverses fins, notamment :
Génération de preuve : Vous pouvez utiliser le token pour soumettre des demandes de preuves ZK sur le réseau Lagrange. Le coût dépend de la quantité de calcul requise pour votre tâche.
Système de récompense pour les prouveurs : Les opérateurs qui génèrent ou agrègent des preuves ZK sont payés en token, peu importe la devise dans laquelle la demande a été faite. Cela aide à aligner les prouveurs avec le succès à long terme du réseau.
Staking et délégation : Les détenteurs de token peuvent miser ou déléguer le token à des prouveurs spécifiques. Cela aide à réduire les coûts de preuve pour certains opérateurs et donne à la communauté un mot à dire sur la distribution des récompenses.
Sécurisation du réseau : Les prouveurs doivent respecter des normes de performance ou risquer de perdre une partie de leurs tokens misés. Les délégateurs gagnent des récompenses en fonction de la performance de leurs prouveurs choisis. Tout le monde a un intérêt commun à maintenir le réseau digne de confiance et à fonctionner sans accroc.
Lagrange (LA) sur les airdrops HODLer de Binance
Le 9 juillet 2025, Binance a annoncé LA comme le 26ème projet sur les airdrops HODLer de Binance. Les utilisateurs qui ont souscrit leur BNB aux produits Simple Earn et/ou On-Chain Yields du 22 au 25 juin étaient éligibles pour recevoir des airdrops LA. Un total de 15 millions de tokens LA ont été alloués au programme, représentant 1,5 % de l'offre totale de tokens.
