Parce que les engagements polynomiaux pourraient être un «tournant» pour Ethereum 2.0

Pourquoi les engagements polynomiaux pourraient être un "tournant" pour Ethereum 2.0 - Prix Eth 1024x576Selon un article du 17 mars du chercheur Danny Ryan, l'équipe de recherche Eth 2.0 travaille sur un nouveau concept appelé "engagements polynomiaux" pour réduire les données utilisées pour le calcul sur le réseau.

Qu'est-ce que la mathématique magique?

Surnommé «mathématiques magiques» par Buterin, les engagements polynomiaux sont considérés comme un moyen de vérifier l'état du réseau à faible coût de calcul, un objectif clé pour l'avenir. Buterin est convaincu d'appliquer les mathématiques magiques jusqu'à au moins la troisième phase d'Eth 2.0. "Les engagements polynomiaux pourraient être le tournant que nous recherchions", a déclaré Ryan.

Engagements polynomiaux en bref

Les engagements polynomiaux sont similaires aux polynômes que nous avons tous appris à l'école: une expression mathématique avec des variables et des coefficients. Mais, étant donné que c'est de la magie magique, ce n'est pas si simple.

Buterin décrit les engagements polynomiaux comme «une sorte de hachage de certains polynômes P (x), avec la propriété d'effectuer des vérifications arithmétiques sur les hachages». Le document original sur les engagements polynomiaux résume le schéma mathématique en six algorithmes qui montrent la preuve d'un événement qui se produit avec le moins de données de calcul possible.

"Nous suggérons de remplacer les arbres Merkle par les soi-disant engagements polynomiaux des mathématiques magiques, pour l'archivage de l'état de la blockchain", a déclaré Buterin dans un article de blog de la Fondation Ethereum.

L'état de la blockchain

Les chaînes de blocs enregistrent les transactions d'entrée et de sortie. Dans l'ensemble, les systèmes de comptabilité blockchain sont de deux types: le modèle de sortie de transaction non dépensée (UTXO) et le modèle basé sur les comptes. Bitcoin utilise le premier tandis que Ethereum utilise le dernier.

Quand un utilisateur le souhaite investir Bitcoin dans le modèle UTXO, sa transaction entraîne avec lui tout l'historique de ces pièces, qui est ensuite contrôlé par chaque pair du réseau.

Le modèle de compte, d'autre part, enregistre uniquement la transaction entre les deux pairs tout en adressant des questions sur la validité de la transaction à la machine virtuelle Ethereum (EVM) avec une preuve de la transaction.

EVM effectue des changements de statut - vérification des comptes et des soldes de la blockchain - au nom des utilisateurs. Chaque bloc sur Ethereum - qui lie les transactions dans cette plate-forme - contient également une preuve, un arbre Merkle, qui se connecte au début de l'histoire du réseau.

Cette preuve contient la réception du statut indiqué ci-dessus et est nécessaire à EVM pour effectuer une transaction. Les arbres Merkle sont efficaces en termes de données, mais pas suffisamment pour les ambitions d'Eth 2.0. C'est le point où la magie se produit.

La configuration actuelle de l'arborescence Merkle nécessite environ 0,5 Mo par transaction. Ryan estime que les régimes d'engagements polynomiaux réduiraient le poids des tests d'État entre 0,001 et 0,01 Mo.

Pour un réseau qui fait en moyenne environ 700.000 XNUMX transactions par jour, les économies de calcul sont importantes. Plusieurs projets en dehors d'Ethereum reposent également sur des engagements polynomiaux, à leur manière. Buterin a déclaré que sa mise en œuvre des engagements polynomiaux reste l'un des nombreux. Et aussi, il est encore en phase de recherche.