Il vise à obtenir des améliorations substantielles des performances par rapport aux systèmes de preuve conventionnels.
Binius peut gérer les données sous-jacentes plus efficacement en travaillant directement sur les bits selon Buterin.
Vitalik Buterin, co-fondateur d'Ethereum, a discuté d'une nouvelle méthode de preuve cryptographique qui rendrait les preuves sans connaissance plus efficaces.
Une méthode pour des preuves cryptographiques rapides sur des champs binaires, « Binius », a été détaillée dans un article de blog de Buterin le 29 avril. Le système aspire à obtenir des améliorations substantielles des performances par rapport aux systèmes de preuve conventionnels comme les zk-SNARK.
Augmentation substantielle de l'efficacité
En réduisant les calculs à des opérations sur des bits binaires uniques (l'ensemble de toutes les valeurs possibles pour un nombre) plutôt que sur des nombres plus grands, Binius espère gagner en efficacité. Les méthodes de preuve cryptographiques classiques, telles que les SNARK et les STARK, qui traitent des entiers plus grands (64 bits ou 256 bits), ont inspiré cette approche.
Binius peut gérer les données sous-jacentes plus efficacement en travaillant directement sur les bits, selon Buterin. Ces données comprennent généralement de petites valeurs telles que des indicateurs booléens, des index et des compteurs. Buterin affirme que le nouveau système de preuve présente de nombreux avantages, tels que la capacité d'effectuer efficacement des opérations arithmétiques sur les bits et les séquences de bits et la capacité de représenter les données sous la forme d'un « hypercube » multidimensionnel de bits.
Tout en préservant les avantages en termes de performances du travail en binaire, il utilise une technique sophistiquée de codage et de décodage pour transformer les données au niveau bit dans un format adapté au traitement « polynomial » et aux preuves de Merke.
Une augmentation de l'efficacité et de l'évolutivité des applications cryptographiques complexes est rendue possible par le système binaire, qui ouvre la voie à des améliorations substantielles des mathématiques fondamentales des systèmes de preuve cryptographique. Pour illustrer comment le protocole Binius encapsule les données, crée des preuves et permet aux vérificateurs d'examiner efficacement ces preuves, Buterin a démontré des mathématiques complexes.
Actualités cryptographiques en évidence aujourd'hui :
La réunion du FOMC stimule la volatilité de la cryptographie et les ours prennent les devants