Les utilisateurs de Bitcoin pourront bientôt utiliser des preuves à connaissance nulle (preuves ZK) pour accélérer le processus de validation de blocs individuels et éventuellement de la blockchain entière.
L'association à but non lucratif ZeroSync, basée en Suisse, développe un outil qui permettrait aux utilisateurs de vérifier l'état du réseau Bitcoin sans avoir à télécharger la blockchain ou à faire confiance à un tiers pour la vérification.
ZeroSync a été fondée pour développer et maintenir un logiciel open source permettant de fournir des preuves ZK concises sur la blockchain Bitcoin. L’équipe a utilisé la preuve de validité exclusive Zero-Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) de StarkWare pour générer des preuves ZK pour le réseau Bitcoin.
L'outil promet de révolutionner le processus de validation de la blockchain Bitcoin, qui nécessite toujours que les opérateurs de nœuds téléchargent de grandes quantités de données pour synchroniser l'état correct du réseau Bitcoin.
ZeroSync utilise des preuves ZK pour finalement générer des preuves valides et vérifier le dernier état de la blockchain presque instantanément.
Les preuves ZK ont été une révélation pour l'écosystème Ethereum, avec diverses méthodes de preuve alimentant plusieurs plates-formes de mise à l'échelle de couche 2, notamment Polygon, Arbitrum, Optimism et StarkNet.
Une annonce de l’association ZeroSync souligne l’engagement des preuves ZK envers l’évolutivité et la confidentialité de la blockchain en fournissant des preuves de « taille presque fixe » pour vérifier les calculs volumineux.
Les travaux du projet ont été pionniers dans l'utilisation des preuves ZK sur le réseau Bitcoin, et le groupe décrit la relative simplicité et le modèle UTXO (non dépensé) de Bitcoin comme des propositions de valeur uniques pour l'application de preuves récursives.
ZeroSync a noté que l'outil ZK-Proof ne nécessite pas de changements de consensus ni d'hypothèses de confiance supplémentaires sur le réseau Bitcoin et ses utilisateurs. L'organisation construit un kit de développement logiciel qui permet aux développeurs de générer des preuves de validité personnalisées pour des cas d'utilisation spécifiques sans nécessiter une expertise approfondie du domaine.
ZeroSync construit un client pour des téléchargements initiaux rapides de blocs, ainsi que la mise en œuvre de la première preuve complète du consensus Bitcoin. Le client permettra aux utilisateurs de synchroniser des nœuds complets sans apporter de modifications au code Bitcoin Core.
ZeroSync utilise le langage de programmation Cairo mis au point par StarkWare pour créer des programmes informatiques prouvables STARK.
L'outil de ZeroSync est actuellement à l'état de prototype, mais est capable de prouver la validité d'un seul bloc supposé valide, validant toutes les règles Bitcoin à l'exception des scripts. L’équipe dispose également d’un validateur de démonstration intégré au navigateur disponible pour les preuves STARK des blocs Bitcoin.
L'association ZeroSync est initialement financée par Geometry et StarkWare, mais est en cours de création en tant qu'entité à but non lucratif pour soutenir le développement et la maintenance continus par les parties prenantes de la communauté Bitcoin.
Le président et co-fondateur de StarkWare, Eli Ben-Sasson, qui a co-inventé zk-STARKS, a résumé l'importance des preuves ZK entrant dans l'écosystème Bitcoin dans une déclaration :
"Après avoir été frustrés par la lenteur des synchronisations, les utilisateurs pourront se synchroniser avec le réseau plus rapidement et avec moins de calculs. Il s'agit d'un saut technologique similaire au passage d'une connexion Internet lente à un haut débit à haut débit."
Lightning Labs, l'équipe derrière le système de paiement Layer 2 Lightning Network de Bitcoin, est un partenaire contributeur au projet ZeroSync.
La société a l'intention d'utiliser ZeroSync pour fournir une preuve compressée de l'historique des transactions pour son protocole Taproot Asset Representation Overlay (Taro), conçu pour alimenter l'émission d'actifs numériques sur la blockchain Bitcoin.