Le co-fondateur d'Ethereum, Vitalik Buterin, a discuté des avantages de Binius, un nouveau système de preuve sans connaissance (ZKP).
L'objectif principal de la technologie est d'offrir une augmentation significative des performances par rapport aux modèles traditionnels comme le zk-SNARK.
Selon Buterin, Binius atteint une plus grande efficacité en effectuant des calculs directement sur des bits binaires individuels : les zéros et les uns. En comparaison, les systèmes SNARK et STARK fonctionnent avec des entiers de 64 bits et 256 bits.
L’idée du traitement binaire des données a été proposée par Benjamin Diamond et Jim Posehn en 2023. Le co-fondateur d’Ethereum a fait référence à leurs recherches.
Les informations sous-jacentes traitées sont souvent constituées de petites valeurs telles que des compteurs, des indices et des drapeaux booléens. Cependant, en travaillant directement avec les bits, Binius peut traiter ces données plus efficacement, a expliqué le développeur.
Buterin a expliqué que le nouveau système de vérification les traite comme un « hypercube » multidimensionnel de bits et utilise des « champs finis » binaires pour fournir des opérations arithmétiques efficaces.
Binius utilise également un processus de codage et de décodage qui convertit les données au niveau bit en une forme adaptée au traitement « polynomial » et aux preuves Merkle. Ainsi, le modèle garantit l'évolutivité lorsque l'on travaille avec des informations dans la blockchain, a ajouté le programmeur.
Il a précisé que le système de polynômes (polynômes) était également utilisé dans les modèles ZKP pour le codage et les calculs, sans divulguer d'informations de base sur le fonctionnement.
Buterin a démontré avec un exemple comment fonctionne le « simple Binius ». Pour ce faire, il a transformé « l’hypercube » en carré puis en arbre Merkle.
« Full Binius » est une fonction algébrique plus complexe qui vous permet de configurer le protocole pour qu'il fonctionne avec des champs binaires et corrige des bits individuels.
Le co-fondateur d’Ethereum a précisé que de nombreuses questions restaient encore ouvertes. Par exemple, Binius doit mettre en place des algorithmes et une arithmétique efficaces, et étudier son impact sur les mécanismes SNARK existants.
Plus tôt, Buterin a déclaré que l'algorithme de consensus de preuve de travail n'était qu'une étape temporaire sur le chemin du projet vers la preuve de participation.
Rappelons qu'en mars, il avait qualifié les cinq prochaines années de « cruciales » pour l'adoption massive d'Ethereum et son adoption par le « monde réel ».
En avril, le développeur a partagé les détails de la prochaine étape de la feuille de route du projet : The Purge. Il vise à simplifier la structure du réseau et à réduire la charge sur les nœuds.
Vous avez trouvé une erreur dans le texte ? Sélectionnez-le et appuyez sur CTRL+ENTRÉE
Newsletters ForkLog : restez à l’écoute de l’industrie Bitcoin !