Validium

Validium est une solution de mise à l'échelle qui renforce l'intégrité des transactions à l'aide de preuves de validité telles que des ZK-rollups, mais ne stocke pas les données de transaction sur le réseau principal Ethereum. Alors que la disponibilité des données hors chaîne introduit des compromis, elle peut conduire à des améliorations massives de l'évolutivité (les validiums peuvent traiter ~9 000 transactions ou plus par seconde(opens in a new tab)).

Prérequis

Vous devez avoir lu et compris notre page sur la mise à l'échelle d'Ethereum et la couche 2.

Qu'est-ce qu'un validium ?

Les validiums sont des solutions de mise à l'échelle qui utilisent la disponibilité et le calcul des données hors chaîne conçus pour améliorer le débit en traitant les transactions à partir du réseau principal Ethereum. Comme les rollups à connaissance nulle (ZK-rollups), les validiums publient

Ces « preuves de validité » peuvent prendre la forme de ZK-SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) ou de ZK-STARKs (Zero-Knowledge Scalable Transparent ARgument of Knowledge). Plus d'informations sur les preuves de zero-knowledge(opens in a new tab).

Les fonds appartenant aux utilisateurs de Validium sont contrôlés par un contrat intelligent sur Ethereum. Les validiums offrent des retraits quasi-instantanés, un peu comme les ZK-rollups ; une fois que la preuve de validité d'une demande de retrait a été vérifiée sur le réseau principal, les utilisateurs peuvent retirer des fonds en fournissant des preuves de Merkle. La preuve de Merkle valide l'inclusion de la transaction de retrait de l'utilisateur dans un lot de transactions vérifiées, ce qui permet au contrat en chaîne de traiter le retrait.

Cependant, les utilisateurs de validium peuvent voir leurs fonds gelés et leurs retraits restreints. Cela peut se produire si les gestionnaires de la disponibilité des données sur la chaîne de validium retiennent les données d'état hors chaîne pour les utilisateurs. Sans accès aux données de transaction, les utilisateurs ne peuvent pas calculer la preuve de Merkle nécessaire pour prouver la propriété des fonds et exécuter les retraits.

C'est la principale différence entre les validiums et les ZK-rollups : leur position sur le spectre de la disponibilité des données. Les deux solutions abordent le stockage des données de manière différente, ce qui a des répercussions sur la sécurité et la fiabilité.

Comment les validiums interagissent-ils avec Ethereum ?

Les validiums sont des protocoles de mise à l'échelle construits au-dessus de la chaîne Ethereum existante. Bien qu'elle exécute des transactions hors chaîne, une chaîne validium est administrée par un ensemble de contrats intelligents déployés sur le réseau principal, notamment :

1. Contrat du vérificateur : Le contrat du vérificateur vérifie la validité des preuves soumises par l'opérateur du validium lors des mises à jour de l'état. Il s'agit de preuves de validité attestant de l'exactitude des transactions hors chaîne et de preuves de disponibilité des données vérifiant l'existence des données des transactions hors chaîne.

2. Contrat principal : Le contrat principal stocke les engagements d'état (racines de Merkle) soumis par les producteurs de blocs et met à jour l'état du validium une fois qu'une preuve de validité est vérifiée sur la chaîne. Ce contrat traite également les dépôts et les retraits de la chaîne validium.

Les validiums s'appuient également sur la chaîne principale d'Ethereum pour les éléments suivants :

Règlement

Les transactions exécutées sur un validium ne peuvent pas être entièrement confirmées tant que la chaîne mère ne vérifie pas leur validité. Toutes les affaires menées sur un validium doivent finalement être réglées sur le réseau principal. La blockchain Ethereum offre également des « garanties de règlement » aux utilisateurs de validium, ce qui signifie que les transactions hors chaîne ne peuvent pas être annulées ou modifiées une fois qu'elles sont engagées sur la chaîne.

Sécurité

Ethereum, agissant comme une couche de règlement, garantit également la validité des transitions d'état sur le validium. Les transactions hors chaîne exécutées sur la chaîne validium sont vérifiées via un contrat intelligent sur la couche Ethereum de base.

Si le contrat du vérificateur sur la chaîne juge la preuve invalide, les transactions sont rejetées. Cela signifie que les opérateurs doivent satisfaire aux conditions de validité imposées par le protocole Ethereum avant de mettre à jour l'état du validium.

Comment fonctionne le validium ?

Transactions

Les utilisateurs soumettent des transactions à l'opérateur, un nœud responsable de l'exécution des transactions sur la chaîne du validium. Certains validiums peuvent utiliser un seul opérateur pour exécuter la chaîne ou s'appuyer sur un mécanisme de preuve d'enjeu (PoS) pour la rotation des opérateurs.

L'opérateur regroupe les transactions en un lot et l'envoie à un circuit de validation pour validation. Le circuit de preuve accepte le lot de transactions (et d'autres données pertinentes) comme entrées et produit une preuve de validité vérifiant que les opérations ont été effectuées correctement.

Engagements d'état

L'état du validium est haché sous la forme d'un arbre de Merkle dont la racine est stockée dans le contrat principal sur Ethereum. La racine Merkle, également connue sous le nom de racine d'état, agit comme un engagement cryptographique de l'état actuel des comptes et des soldes sur le validium.

Pour effectuer une mise à jour d'état, l'opérateur doit calculer une nouvelle racine d'état (après avoir exécuté des transactions) et la soumettre au contrat en chaîne. Si la preuve de validité est vérifiée, l'état proposé est accepté et le validium passe à la racine du nouvel état.

Dépôts et retraits

Les utilisateurs transfèrent des fonds d'Ethereum vers un validium en déposant de l'ETH (ou tout jeton compatible avec l'ERC) dans le contrat en chaîne. Le contrat transmet l'événement de dépôt au validium hors chaîne, où l'adresse de l'utilisateur est créditée d'un montant égal à son dépôt. L'opérateur inclut également cette opération de dépôt dans un nouveau lot.

Pour transférer des fonds sur le Mainnet, un utilisateur de validium initie une transaction de retrait et la soumet à l'opérateur qui valide la demande de retrait et l'inclut dans un lot. Les actifs de l'utilisateur sur la chaîne du validium sont également détruits avant qu'il ne puisse sortir du système. Une fois que la preuve de validité associée au lot est vérifiée, l'utilisateur peut appeler le contrat principal pour retirer le reste de son dépôt initial.

Comme mécanisme anti-censure, le protocole validium permet aux utilisateurs de se retirer directement du contrat validium sans passer par l'opérateur. Dans ce cas, les utilisateurs doivent fournir au contrat du vérificateur une preuve de Merkle montrant l'inclusion d'un compte dans la racine de l'état. Si la preuve est acceptée, l'utilisateur peut appeler la fonction de retrait du contrat principal pour sortir ses fonds du validium.

Soumission par lot

Après avoir exécuté un lot de transactions, l'opérateur soumet la preuve de validité associée au contrat du vérificateur et propose une nouvelle racine d'état au contrat principal. Si la preuve est valide, le contrat principal met à jour l'état du validium et finalise les résultats des transactions du lot.

Contrairement à un rollup ZK les producteurs de blocs sur un validium ne sont pas tenus de publier les données de transaction pour les lots de transactions (seulement les en-têtes de blocs). Cela fait de Validium un protocole de mise à l'échelle purement hors chaîne, par opposition aux protocoles de mise à l'échelle « hybrides » (c'est-à-dire de layer 2) qui publient des données d'état sur la chaîne principale d'Ethereum en tant que calldata.

Disponibilité des données

Comme nous l'avons mentionné, les validiums utilisent un modèle de disponibilité des données hors chaîne, dans lequel les opérateurs stockent toutes les données de transaction hors du réseau principal Ethereum. La faible empreinte des données sur la chaîne de Validium améliore l'évolutivité (le débit n'est pas limité par la capacité de traitement des données d'Ethereum) et réduit les frais d'utilisation (le coût de publication des calldata est plus faible).

La disponibilité des données hors chaîne pose toutefois un problème : les données nécessaires à la création ou à la vérification des preuves de Merkle peuvent être indisponibles. Cela signifie que les utilisateurs peuvent être incapables de retirer des fonds du contrat sur la chaîne si les opérateurs agissent de manière malveillante.

Diverses solutions de validium tentent de résoudre ce problème en décentralisant le stockage des données d'état. Il s'agit d'obliger les producteurs de blocs à envoyer les données sous-jacentes à des « gestionnaires de disponibilité des données » chargés de stocker les données hors chaîne et de les mettre à la disposition des utilisateurs sur demande.

Les gestionnaires de la disponibilité des données de Validium attestent de la disponibilité des données pour les transactions hors chaîne en signant chaque lot de Validium. Ces signatures constituent une forme de « preuve de disponibilité » que le contrat du vérificateur de la chaîne vérifie avant d'approuver les mises à jour d'état.

Les validiums diffèrent dans leur approche de la gestion de la disponibilité des données. Certains s'appuient sur des parties de confiance pour stocker les données d'état, tandis que d'autres utilisent des validateurs désignés de manière aléatoire pour cette tâche.

Comité de disponibilité des données (DAC)

Pour garantir la disponibilité des données hors chaîne, certaines solutions de validium désignent un groupe d'entités de confiance, appelé collectivement comité de disponibilité des données (DAC), pour stocker des copies de l'état et fournir une preuve de la disponibilité des données. Les DAC sont plus faciles à mettre en œuvre et nécessitent moins de coordination car le nombre de membres est faible.

Cependant, les utilisateurs doivent faire confiance au DAC pour rendre les données disponibles en cas de besoin (par exemple, pour générer des preuves de Merkle). Il y a la possibilité que les membres des comités de disponibilité des données soient compromis par un acteur malveillant(opens in a new tab) qui peut alors retenir les données hors chaîne.

Plus d'informations sur les comités de disponibilité des données dans les validiums(opens in a new tab).

Disponibilité des données liées

D'autres validiums exigent que les participants chargés de stocker des données hors ligne mettent en jeu (c'est-à-dire verrouillent) des jetons dans un contrat intelligent avant d'assumer leur rôle. Cet enjeu sert de « lien » pour garantir un comportement honnête entre les gestionnaires de la disponibilité des données et réduit les hypothèses de confiance. Si ces participants ne parviennent pas à prouver la disponibilité des données, la caution est réduite.

Dans un système de mise à disposition des données sous caution, n'importe qui peut être désigné pour détenir des données hors chaîne dès lors qu'il fournit la mise requise. Cela élargit le groupe de gestionnaires de la disponibilité des données éligibles, réduisant ainsi la centralisation qui affecte les comités de disponibilité des données (DAC). Plus important encore, cette approche s'appuie sur des incitations cryptoéconomiques pour prévenir les activités malveillantes, ce qui est considérablement plus sûr que de désigner des parties de confiance pour sécuriser les données hors ligne dans le validium.

Plus d'informations sur la disponibilité des données cautionnées dans les validiums(opens in a new tab).

Volitions et validium

Les validiums offrent de nombreux avantages mais s'accompagnent de contreparties (notamment la disponibilité des données). Mais, comme pour de nombreuses solutions de mise à l'échelle, les validiums sont adaptés à des cas d'utilisation spécifiques - c'est pourquoi les volitions ont été créées.

Les volitions combinent un rollup ZK et une chaîne validium et permettent aux utilisateurs de basculer entre les deux solutions d'échelonnement. Avec volitions, les utilisateurs peuvent profiter de la disponibilité des données hors chaîne de Validium pour certaines transactions, tout en gardant la liberté de passer à une solution de disponibilité des données en chaîne (rollup ZK) si nécessaire. Cela donne essentiellement aux utilisateurs la liberté de choisir des compromis en fonction de leur situation particulière.

Une bourse décentralisée (DEX) peut préférer utiliser l'infrastructure évolutive et privée d'un validium pour les transactions de grande valeur. Elle peut également utiliser un rollup ZK pour les utilisateurs qui souhaitent bénéficier des garanties de sécurité plus élevées et de la fiabilité d'un rollup ZK.

Validiums et compatibilité EVM

Comme les rollups ZK, les validiums sont surtout adaptés à des applications simples, comme les échanges de jetons et les paiements. La prise en charge du calcul général et de l'exécution de contrats intelligents parmi les validiums est difficile à mettre en œuvre, compte tenu de la surcharge considérable que représente la preuve des instructions EVM dans un circuit de preuve à connaissance nulle (ZK).

Certains projets de validium tentent de contourner ce problème en compilant des langages compatibles avec l'EVM (par exemple, Solidity, Vyper) pour créer un bytecode personnalisé optimisé pour une preuve efficace. L'inconvénient de cette approche est que les nouvelles VM respectueuses de la preuve de connaissance zéro peuvent ne pas prendre en charge des codes d'opérations EVM importants, et les développeurs doivent écrire directement dans le langage de haut niveau pour une expérience optimale. Cela crée encore plus de problèmes : cela oblige les développeurs à construire des dApps avec une pile de développement entièrement nouvelle et rompt la compatibilité avec l'infrastructure Ethereum actuelle.

Certaines équipes tentent toutefois d'optimiser les codes d'opérations EVM existants pour les circuits de preuve de connaissance zéro. Cela aboutira au développement d'une machine virtuelle Ethereum à connaissance zéro (zkEVM), une VM compatible avec l'EVM qui produit des preuves pour vérifier l'exactitude de l'exécution des programmes. Avec une zkEVM, les chaînes validium peuvent exécuter des contrats intelligents hors chaîne et soumettre des preuves de validité pour vérifier un calcul hors chaîne (sans avoir à l'exécuter à nouveau) sur Ethereum.

Plus d'informations sur les zkEVM(opens in a new tab).

Comment les validiums font-ils évoluer Ethereum ?

1. Stockage de données hors chaîne

Les projets de mise à l'échelle de la couche 2, tels que les rollups optimistes et les rollups ZK, échangent l'extensibilité infinie des protocoles de mise à l'échelle hors chaîne purs (par exemple, Plasma) contre la sécurité en publiant certaines données de transaction sur L1. Mais cela signifie que les propriétés d'évolutivité des rollups sont limitées par la bande passante des données sur le réseau principal d'Ethereum (la fragementation des données propose d'améliorer la capacité de stockage des données d'Ethereum pour cette raison).

Les validiums atteignent l'évolutivité en conservant toutes les données de transaction hors chaîne et en ne publiant que les engagements d'état (et les preuves de validité) lorsqu'ils relaient les mises à jour d'état à la chaîne Ethereum principale. L'existence de preuves de validité donne toutefois aux validiums des garanties de sécurité plus élevées que d'autres solutions de mise à l'échelle hors chaîne pures, notamment Plasma et les chaînes latérales. En réduisant la quantité de données qu'Ethereum doit traiter avant de valider les transactions hors chaîne, les conceptions de validium augmentent considérablement le débit sur le réseau principal.

2. Preuves récursives

Une preuve récursive est une preuve de validité qui vérifie la validité d'autres preuves. Ces « preuves de preuves » sont générées par l'agrégation récursive de plusieurs preuves jusqu'à ce qu'une preuve finale vérifiant toutes les preuves précédentes soit créée. Les preuves récursives augmentent la vitesse de traitement de la blockchain en augmentant le nombre de transactions qui peuvent être vérifiées par preuve de validité.

En général, chaque preuve de validité que l'opérateur de validium soumet à Ethereum pour vérification valide l'intégrité d'un seul bloc. Alors qu'une seule preuve récursive peut être utilisée pour confirmer la validité de plusieurs blocs de validium en même temps - ceci est possible puisque le circuit de preuve peut agréger récursivement plusieurs preuves de blocs en une preuve finale. Si le contrat du vérificateur sur la chaîne accepte la preuve récursive, tous les blocs sous-jacents sont finalisés immédiatement.

Les avantages et inconvénients du validium

Utiliser Validium/Volitions

De multiples projets fournissent des implémentations de Validium et de volitions que vous pouvez intégrer dans vos dApps :

StarkWare StarkEx - StarkEx est une solution d'évolutivité de la couche 2 (L2) d'Ethereum qui repose sur des preuves de validité. Il peut fonctionner en mode de disponibilité des données Rollup ZK ou Validium.

• Documentation(opens in a new tab)
• Site Web(opens in a new tab)

Matter Labs zkPorter- zkPorter est un protocole de mise à l'échelle de couche 2 s'attaquant à la disponibilité des données avec une approche hybride qui combine les idées de rollup ZK et de fragmentation. Il peut prendre en charge un nombre arbitraire de fragments, chacun ayant sa propre politique de disponibilité des données.

• Documentation(opens in a new tab)
• Site Web(opens in a new tab)

Complément d'information

• Validium et The Layer 2 Two-By-Two - Numéro 99(opens in a new tab)
• Rollups ZK vs Validium(opens in a new tab)
• Volition et le spectre émergent de la disponibilité des données(opens in a new tab)
• Rollups, Validiums, et Volitions : Découvrez les solutions de mise à l'échelle d'Ethereum les plus récentes(opens in a new tab)