Les utilisateurs du réseau Bitcoin (BTC) pourront bientôt utiliser des zero-knowledge proofs (ZK-proofs) pour accélérer le processus de vérification des blocs individuels et, à terme, de l'ensemble de la blockchain.

ZeroSync Association, une organisation à but non lucratif basée en Suisse, développe un outil qui permet aux utilisateurs de valider l'état du réseau Bitcoin sans avoir à télécharger la blockchain ou à faire confiance à une tierce partie pour la vérification.

ZeroSync a été créée pour développer et maintenir un logiciel libre qui permet d'obtenir des ZK-proofs succincts sur la blockchain Bitcoin. Le groupe utilise les Zero-Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) de StarkWare pour générer des ZK-proofs pour le réseau Bitcoin.

Cet outil promet de remanier le processus de vérification de la chaîne de blocs Bitcoin, qui exige toujours que les opérateurs de nœuds téléchargent une grande quantité de données pour synchroniser l'état correct du réseau Bitcoin.

ZeroSync utilise les ZK-proofs pour générer des preuves valides et vérifier le dernier état de la blockchain presque instantanément.

Les ZK-proofs ont été une révélation pour l'écosystème Ethereum, avec diverses méthodes de preuve alimentant plusieurs plateformes de mise à l'échelle de couche 2, dont Polygon, Arbitrum, Optimism et StarkNet.

À lire également : La version bêta de zkEVM de Polygon, qui permet de mettre à l'échelle Ethereum, est disponible sur le réseau principal

Une annonce de ZeroSync Association souligne la promesse des ZK-proofs pour l'évolutivité et la confidentialité de la blockchain en fournissant des preuves de « taille presque fixe » vérifiant les calculs de grande envergure.

Le travail du projet est pionnier dans l'application des ZK-proofs pour le réseau Bitcoin, l'organisation décrivant la relative simplicité du réseau Bitcoin et le modèle de sortie de transaction non dépensée (UTXO) comme une proposition de valeur unique pour l'application de preuves récursives.

ZeroSync note que les outils ZK-Proof ne nécessitent pas de modifications du consensus ni d'hypothèses de confiance supplémentaires pour le réseau Bitcoin et ses utilisateurs. L'organisation est en train de mettre au point un kit de développement logiciel, qui permettra aux développeurs de générer des preuves de validité personnalisées pour des cas d'utilisation spécifiques sans avoir besoin d'une expertise approfondie du domaine.

ZeroSync est en train de développer un logiciel client pour le téléchargement rapide des blocs initiaux, ainsi que pour la mise en œuvre de la première preuve complète du consensus Bitcoin. Le logiciel client permettra aux utilisateurs de synchroniser un nœud complet sans modifier le code du Bitcoin.

ZeroSync utilise le langage de programmation Cairo, développé par StarkWare, pour créer des programmes de calcul vérifiables par STARK.

L'outil de ZeroSync est actuellement à l'état de prototype, mais il est capable de prouver la validité de blocs individuels supposés valides, qui vérifient toutes les règles du Bitcoin à l'exception des scripts. L'équipe dispose également d'un vérificateur de démonstration fonctionnant dans le navigateur pour les preuves STARK des blocs Bitcoin.

ZeroSync Association a été initialement financée par Geometry et StarkWare, mais elle est en train de créer une entité à but non lucratif pour permettre un développement et une maintenance continus par les parties prenantes de la communauté Bitcoin.

Une déclaration du président et cofondateur de StarkWare, Eli Ben-Sasson, qui a co-inventé zk-STARKS, résume l'ampleur de l'arrivée des ZK-proofs dans l'écosystème Bitcoin :

« Après des années de frustration liée à la lenteur de la synchronisation, les utilisateurs pourront se synchroniser avec le réseau beaucoup plus rapidement, et avec moins de calculs. Il s'agit d'un saut technologique comparable au passage d'une connexion Internet lente à une connexion à haut débit. »

Lightning Labs, l'équipe à l'origine du système de paiement Lightning Network de la couche 2 du réseau Bitcoin, est un partenaire contribuant au projet de ZeroSync.

L'entreprise a l'intention d'utiliser ZeroSync pour alimenter les preuves de l'historique des transactions compressées pour son protocole Taproot Asset Representation Overlay (Taro), qui vise à alimenter l'émission d'actifs numériques sur la blockchain Bitcoin.