Lagrange Protocol : l'interopérabilité entre chaînes sans confiance grâce aux ZK
TechFlow SélectionTechFlow Sélection
Lagrange Protocol : l'interopérabilité entre chaînes sans confiance grâce aux ZK
Les protocoles traditionnels de messagerie reposent sur des nœuds pour transmettre les informations, mais Lagrange adopte une approche différente. Il permet à quiconque de soumettre des messages vérifiés cryptographiquement, de manière similaire à la façon dont IBC s'appuie sur des clients légers pour la validation inter-chaînes.
Dédié à des analyses Web3 approfondiesRédaction : Maven 11
Traduction : TechFlow
L'interopérabilité et la sécurité inter-chaînes sont devenues un défi majeur dans le domaine actuel des technologies blockchain. La startup spécialisée en preuves à connaissance nulle (ZK), Lagrange Labs, propose sa propre solution. Maven11, investisseur participant, rédige cet article pour expliquer l'importance de Lagrange, présentant en détail les concepts fondamentaux du protocole Lagrange, son processus de vérification, ainsi que la manière dont il utilise la technologie des preuves à connaissance nulle afin de permettre des opérations inter-chaînes sans besoin de confiance.
Les preuves d'état inter-chaînes sont essentielles aux applications dans un monde multi-chaînes. Elles permettent aux applications d'utiliser des déclarations vérifiables sur l'état d'une chaîne, soumises par des utilisateurs non fiables. Parmi leurs cas d'utilisation figurent la tarification des DEX multi-chaînes, les agrégateurs de rendement, l'évaluation des prêts, etc.
En termes simples, une preuve d'état (ou de stockage) est une preuve (à connaissance nulle) qu'un certain état spécifique existe sur une chaîne quelconque. Grâce à la magie des preuves à connaissance nulle (ZKP), nous pouvons y parvenir efficacement et sans confiance, sans avoir besoin de s'appuyer sur un réseau d'oracle.
Les protocoles traditionnels de transmission de messages reposent sur des nœuds pour transférer les informations, mais Lagrange adopte une approche différente. Il permet à toute personne de soumettre des informations cryptographiquement vérifiables, de façon similaire au fonctionnement de l'IBC qui repose sur des clients légers pour la validation inter-chaînes.
Dans Lagrange, tout couche de transport inter-chaînes ou utilisateur non fiable peut soumettre des preuves non interactives vérifiables sur la chaîne. Ces preuves ne dépendent ni d'un ensemble de validateurs ni de signatures, garantissant une récupération directe des données sur la chaîne et une agrégation efficace entre chaînes.
La vérification des preuves d'état Lagrange implique plusieurs étapes :
-
Vérification de la racine d'état : Vérifier la preuve succincte à connaissance nulle générée par le comité d'état Lagrange, attestant de l'authenticité d'une racine d'état donnée (en-tête de bloc).
-
Preuve de stockage groupée : Vérifier qu’un ensemble donné d’états déclarés existe bien dans la racine d’état d’une chaîne spécifique.
-
Calcul distribué à connaissance nulle : Vérifier un calcul distribué arbitraire exécuté sur l’état de la chaîne.
Étant donné que les preuves d’état Lagrange sont modulaires, un protocole peut choisir d’utiliser partiellement les preuves d’état, de stockage ou de calcul, afin de personnaliser son système de preuve selon ses besoins applicatifs. Les applications inter-chaînes existantes peuvent facilement renforcer la sécurité ou l’expressivité de leurs outils inter-chaînes.
Le cadre ZK Big Data de Lagrange exploite une structure de données dynamique similaire aux arbres Verkle, permettant aux applications de combiner efficacement des preuves d'inclusion de stockage avec des calculs distribués arbitraires (tels que MapReduce ou SQL distribué).
Grâce au SDK LagrangeJS, les développeurs peuvent facilement demander des preuves d’état pour n’importe quelle chaîne, et spécifier des calculs arbitraires à exécuter sur un sous-ensemble d’états stockés. Cela permet aux développeurs d’utiliser des preuves sécurisées d’état et de stockage inter-chaînes via une interface conviviale.
Le SDK Lagrange simplifie également le processus de génération simultanée de preuves d’état sur plusieurs chaînes. Ces preuves permettent aux dApps intégrées au protocole Lagrange d’incorporer plusieurs validations d’état dans une seule transaction sur chaîne.
Le protocole Lagrange favorise la validation inter-chaînes des états en intégrant les principales blockchains. Initialement, il est compatible avec tous les L1, L2 et rollups EVM. À l’avenir, le support sera étendu aux chaînes non-EVM telles que Solana, Sui, Aptos et les chaînes basées sur Cosmos SDK.
En outre, Lagrange travaille à renforcer la sécurité des ponts et protocoles de messagerie inter-chaînes existants en exploitant des engagements économiques, créant ainsi une forte garantie économique de finalité par slot pour les Optimistic Rollups. Cela pourrait considérablement améliorer l’interopérabilité entre les rollups isolés sur Ethereum.
Son fonctionnement consiste essentiellement à générer des preuves ZK de type « client léger » pour les Optimistic Rollups, plutôt que d’utiliser la mise en œuvre actuelle de « client léger » sur Ethereum, à savoir le comité de synchronisation d’Ethereum.
Actuellement, le comité de synchronisation d’Ethereum comprend seulement 512 validateurs sélectionnés aléatoirement, qui reçoivent des récompenses accrues chaque jour pour fournir des services de client léger.
La sécurité du comité d’état inter-chaînes Lagrange repose sur un ensemble croissant et dynamique de nœuds dotés d’un engagement économique, soit par re-staking via EigenLayer, soit par staking liquide via des produits dérivés tels que Rocket Pool.
Les nœuds doivent signer chaque nouveau bloc atteignant la finalité sur la chaîne qu’ils attestent. Contrairement au comité de synchronisation d’Ethereum limité à 512 nœuds, le comité d’état inter-chaînes prend en charge un nombre illimité de nœuds. Ainsi, la collatéralisation derrière chaque preuve peut s’étendre dynamiquement selon les besoins, créant des preuves sécurisées pour chaque chaîne ou rollup donné.
Les preuves d’état ont des cas d’usage importants dans des protocoles comme les ordonnanceurs partagés, contribuant à améliorer la communication entre rollups, ou encore à résoudre le problème des oracles dans des systèmes comme SUAVE.
Bienvenue dans la communauté officielle TechFlow
Groupe Telegram :https://t.me/TechFlowDaily
Compte Twitter officiel :https://x.com/TechFlowPost
Compte Twitter anglais :https://x.com/BlockFlow_News
Maven 11
