La société Matter Labs, développeur de la deuxième couche d’Ethereum zkSync Era, a présenté une nouvelle méthode de vérification des transactions qui complète la connaissance zéro déjà connue (zero knowledge ou zk). Ça s’appelle Boojum.
Selon la propre annonce de zkSync, Boojum est une « bibliothèque de contraintes et d’arithmétisation » basée sur le langage de programmation Rust.. Sa fonction principale est de « mettre en œuvre la version améliorée des circuits ZK pour zkSync Era et ZK Stack ».
Pour le moment, il est dans une phase de test appelée « mode fantôme », dans laquelle il fonctionne le long du réseau principal, mais sans accès public et sans vérification de ses transactions sur Ethereum. C’est l’étape préalable à sa mise en place dans le réseau principal, qui viendra après les futurs audits de sécurité. « La base de code est toujours en développement et vous verrez de nombreux correctifs et mises à jour », déclarent les développeurs.
Le réseau zkSync Era, ainsi que le cumul zkSync Lite, utilisent des preuves de vérification de type zk pour valider les transactions qui sont ensuite introduites dans le réseau Ethereum. Boojum améliore ce système de vérification, disent ses créateurs.
« Dans le contexte des protocoles à connaissance zéro, l’arithmétisation est le processus qui transforme un calcul général en forme mathématique », commence l’explication de Matter Labs. Comme avec le système de preuve actuel (zk), le système mis à jour (Boojum) continue d’utiliser l’arithmétisation de style PLONK. « Avec cette approche, les circuits ZK sont plus simples à écrire par rapport à certains formalismes alternatifs, ce qui facilite le développement, l’audit, la maintenance et la mise à niveau du système », détaille-t-il.
Ce nouveau système de test est nécessaire car SNARK, la technologie qu’utilise aujourd’hui zkSync, « est efficace mais ne s’adaptera pas aux transactions à fort volume », indiquent-ils. Pour cette raison, il est nécessaire de mettre en place des systèmes qui permettent des vérifications plus rapides et moins chères, expliquent-ils.
Vérification des transactions dans zkSync avec Boojum
En ce qui concerne les spécifications techniques de Boojum, ses aspects remarquables ont à voir avec la possibilité d’étendre les 100 transactions par seconde (TPS) que zkSync Era prend déjà en chargeun réseau annoncé en mars, tel que rapporté par CriptoNoticias.
Outre, Boojum ne nécessite que 16 Go de RAM pour fonctionner, alors que les systèmes actuels exigent des grappes de cartes graphiques (GPU) de 80 Go chacune. C’est positif car cela favorise la décentralisation à l’avenir, détaillent-ils dans leur présentation. Précisément, cette réduction en termes d’exigences matérielles était l’un des objectifs de l’équipe zkSync lorsqu’elle a commencé à travailler sur Boojum.