Le réseau de prouveurs ZK est un réseau décentralisé d'opérateurs responsables de la génération de preuves à connaissance nulle à la demande. Ces preuves peuvent être utilisées pour valider :

• Les transitions d'état de rollup ZK
• Les traces d'exécution de contrats intelligents
• L'inférence de modèles d'apprentissage automatique
• Les lectures d'état inter-chaînes

Le réseau comprend des incitations cryptoeconomiques et des mécanismes de pénalité, garantissant la vivacité et la correction. Il est construit pour s'intégrer aux protocoles de restaking, tels qu'EigenLayer, afin d'emprunter la sécurité des chaînes établies.

Le coprocesseur ZK permet aux applications d'effectuer des requêtes de style SQL sur l'état de la chaîne et d'obtenir des résultats vérifiés cryptographiquement. Il prend en charge des requêtes analytiques complexes, la vérification de l'appartenance à un ensemble et l'agrégation de preuves récursives. Les capacités techniques clés incluent :

• L'exécution de calculs sur des représentations d'état basées sur des arbres de Merkle
• La compression de preuves et la récursion pour maintenir l'efficacité de vérification
• La compatibilité multichaînes via le pontage d'état vérifiable

Ce système permet aux chaînes L2 et L1 d'accéder à des aperçus de données cohérents, composables et vérifiables provenant d'autres blockchains sans introduire d'hypothèses de confiance.

LA est le jeton utilitaire natif de l'écosystème Lagrange et prend en charge les fonctions suivantes :

• Paiements de frais : Les utilisateurs et les clients paient pour la génération de preuves et les résultats de requêtes en utilisant LA. Si des jetons alternatifs sont utilisés, une partie est allouée aux rachats de LA pour maintenir la demande.

• Staking et Délégation : Les prouveurs du réseau doivent miser des LA pour effectuer des opérations. Les délégateurs peuvent participer au staking, gagnant une part des récompenses et renforçant la sécurité du réseau.

• Distribution de subventions : Le protocole émet des LA fixes pour subventionner les coûts de génération de preuves. Ces émissions sont allouées proportionnellement en fonction du volume de preuves produites par chaque prouveur.

• Gouvernance : Les détenteurs de jetons LA sont censés participer à la gouvernance du protocole, y compris l'ajustement des structures tarifaires, la modification des règles de requête ou l'évolution du calendrier de subvention.

Lagrange a été fondé par Ismael Hishon-Rezaizadeh, un chercheur et bâtisseur dans les systèmes cryptographiques et le calcul vérifiable. Il dirige l'équipe de Lagrange Labs, qui se concentre sur l'infrastructure basée sur la connaissance nulle pour les applications décentralisées. En mai 2025, la Fondation Lagrange a été créée pour superviser le développement à long terme, la gouvernance et la durabilité du protocole.

Applications

Lagrange prend en charge plusieurs cas d'utilisation concrets, y compris :

• Analyses DeFi vérifiables (par exemple, TWAPs sans confiance, calcul des taux d'intérêt)
• Systèmes de preuve d'IA décentralisés via l'initiative DeepProve
• Communication inter-chaînes minimisée en matière de confiance pour les rollups et les couches d'exécution modulaires

Il offre des outils modulaires et interopérables compatibles avec Ethereum et d'autres chaînes EVM, les rendant accessibles à un large éventail d'applications décentralisées et de fournisseurs d'infrastructure.