Buterin revient en 2017 comme les épreuves ZK rendent la vérification complète pratique

• Vitalik Buterin a revené sur sa vision de 2017 sur la vérification complète des utilisateurs.
• Les ZK-SNARK permettent désormais des vérifications complètes de la chaîne sans rejouer toutes les transactions.
• Buterin a déclaré que des échecs comme la censure, les pannes et la concentration des validateurs avaient changé son opinion.

Le cofondateur d’Ethereum, Vitalik Buterin, a déclaré qu’il n’était plus d’accord avec un post du 9 juin 2017 dans lequel il rejetait l’idée que les utilisateurs réguliers vérifient l’histoire complète de la blockchain.

Ce commentaire est intervenu lors d’un débat sur la question de savoir si les blockchains devaient stocker uniquement l’ordre des transactions ou aussi compromettre l’état complet du système, comme les soldes et les données de contrats intelligents.

À l’époque, Buterin s’opposait aux conceptions où les utilisateurs ne pouvaient reconstruire l’État qu’en rejouant chaque transaction ou en faisant confiance à des tiers.

Ethereum a choisi de commettre les racines d’état directement dans les en-têtes de blocs, ce qui permet à tout utilisateur de prouver une valeur de solde ou de contrat via une preuve Merkle. Cette conception repose sur une majorité honnête de validateurs, pas sur un seul fournisseur de services.

Buterin a déclaré que le modèle était toujours meilleur que de faire confiance à un seul point d’accès RPC, mais qu’il n’offrait toujours pas aux utilisateurs un véritable plan B lorsque les systèmes tombent en panne.

Les épreuves ZK modifient l’équation du coût

Le principal changement est venu des preuves à connaissance nulle. Selon Buterin, les ZK-SNARK permettent désormais aux utilisateurs de vérifier la justesse de la chaîne sans relancer chaque transaction depuis la génèse. Cela supprime l’ancien compromis entre la confiance et le coût de calcul.

En termes simples, les utilisateurs peuvent désormais vérifier que l’état complet de la chaîne est correct en utilisant des preuves compactes au lieu d’une exécution brute. Cela rend à nouveau la vérification complète pratique sans forcer des tailles de blocs si petites que le réseau devient inutilisable.

Buterin a décrit cela comme une réponse directe aux débats issus des guerres de taille de bloc, les limites restantes étant principalement liées à la bande passante des données et à la centralisation de la production de blocs.

Avec cet outil disponible, a-t-il dit, les compromis de conception faits les années précédentes ne tiennent plus.

Les modes de défaillance comptent plus que la théorie

Buterin a également déclaré que sa façon de penser avait changé en raison d’échecs réels, tels que des échecs P2P, des pics de latence, des arrêts des fournisseurs de services et la concentration des ensembles de validateurs. Il a ajouté que la censure existe, comme on l’a vu lors des restrictions sur Tornado Cash.

Dans ces cas, demander aux utilisateurs de compter sur les développeurs devient une forme de contrôle centralisé. Lorsque la seule solution nécessite un travail technique approfondi, de nombreux utilisateurs perdent l’accès aux fonds ou quittent complètement le système.

Buterin a déclaré que les blockchains destinées à durer des décennies doivent offrir une option de dernier recours permettant aux utilisateurs d’opérer de manière autonome si tout le reste échoue. Il a décrit la vérification complète comme une cabine de sécurité, et non comme un mode de vie quotidien. Sa valeur vient du fait qu’elle est toujours disponible.

Le fait que les utilisateurs puissent y recourir oblige également les intermédiaires à mieux se comporter, un peu comme BitTorrent exerce la pression sur les plateformes médiatiques.

À lire aussi : Vitalik Buterin défend le passage à des outils axés sur la vie privée suite à des critiques de la communauté