#VitalikButerin Examine Binius : une approche plus rapide des preuves sans connaissance
#Ethereum co-fondateur #Vitalik Buterin explore « Binius », une nouvelle méthode visant à accélérer considérablement les preuves de connaissance nulle. Binius se concentre sur l'efficacité en effectuant des calculs directement sur les bits binaires (0 et 1) au lieu des nombres plus grands utilisés dans les systèmes traditionnels comme les zk-SNARK. Cette approche s'adresse aux types de données fréquemment utilisés tels que les compteurs et les indicateurs booléens, conduisant potentiellement à des preuves plus rapides.
Binius exploite les « champs binaires finis » pour des opérations arithmétiques efficaces sur les bits et utilise une représentation de données multidimensionnelle « hypercube ». De plus, il utilise un processus de codage/décodage unique pour maintenir l'efficacité tout en permettant le traitement via des polynômes et des preuves #Merkle .
Ces progrès dans l’arithmétique du système de preuve cryptographique de base promettent une évolutivité et une efficacité accrues pour les applications cryptographiques complexes. Les preuves #zero-knowledge utilisent souvent des polynômes pour masquer les données et les calculs lors de la vérification, garantissant ainsi que seule la validité de la preuve est confirmée, et non les informations sous-jacentes.
Bien que les détails techniques du chiffrement Binius et de la génération de preuves dépassent ce cadre, Buterin souligne son potentiel d'amélioration significative de la vitesse, en particulier pour les calculs impliquant de petites valeurs et les opérations au niveau des bits. Cette technologie est basée sur un livre blanc de 2023 rédigé par Posen et Diamond.
Dans l’ensemble, Binius cherche à surpasser considérablement les systèmes de preuve existants en termes de vitesse, ouvrant la voie à des preuves plus rapides sans connaissance à l’avenir. Buterin prévoit de nouveaux progrès dans les « techniques de preuve basées sur les champs binaires » dans les mois à venir.
