Bitcoin (CTB) les utilisateurs pourront bientôt utiliser des preuves à connaissance nulle (épreuves ZK) pour accélérer le processus de vérification des blocs individuels et, éventuellement, de l’ensemble de la blockchain.
ZeroSync Association, une organisation à but non lucratif basée en Suisse, développe des outils qui permettent aux utilisateurs de valider 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é créé pour développer et maintenir un logiciel open source qui permet des épreuves ZK succinctes sur la blockchain Bitcoin. Le groupe utilise la technologie propriétaire de StarkWare Argument de connaissance transparent et évolutif sans connaissance (zk-STARK) preuves de validité pour générer des preuves ZK pour le réseau Bitcoin.
L’outil promet de refondre le processus de vérification de la blockchain Bitcoin, qui oblige toujours les opérateurs de nœuds à télécharger une grande quantité de données pour synchroniser l’état correct du réseau Bitcoin.
ZeroSync utilise des preuves ZK pour éventuellement générer une preuve valide 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 la ZeroSync Association met en évidence la promesse des preuves ZK pour l’évolutivité et la confidentialité de la blockchain en fournissant des preuves de «taille presque fixe» vérifiant des calculs volumineux.
Les travaux du projet sont les pionniers de l’application de preuves ZK pour le réseau Bitcoin, l’organisation décrivant la simplicité relative de Bitcoin et le modèle UTXO (Unspent Transaction Output) 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 consensuelles ni d’hypothèses de confiance supplémentaires pour le réseau Bitcoin et ses utilisateurs. L’organisation construit un kit de développement logiciel qui permettra aux développeurs de générer une preuve de validité personnalisée pour des cas d’utilisation spécifiques sans avoir besoin d’une expertise approfondie du domaine.
ZeroSync est en train de créer un client pour un téléchargement rapide du bloc initial (IBD) ainsi que de mettre en œuvre la première preuve complète du consensus Bitcoin. Le client permettra aux utilisateurs de synchroniser un nœud complet sans apporter de modifications de code à Bitcoin Core.
ZeroSync utilise le Caire langage de programmation, lancé par StarkWare pour créer des programmes prouvables par STARK pour les calculs.
L’outil de ZeroSync est actuellement à l’état de prototype mais a la capacité de prouver la validité de blocs individuels supposés valides, qui vérifient toutes les règles Bitcoin à l’exception des scripts. L’équipe a également une démo de travail dans le navigateur vérificateur pour les preuves STARK des blocs Bitcoin.
L’association ZeroSync a été initialement financée par Geometry et StarkWare, mais est en train de créer une entité à but non lucratif pour permettre le développement et la maintenance continus des parties prenantes au sein de la communauté Bitcoin.
Une déclaration du président et co-fondateur de StarkWare, Eli Ben-Sasson, qui a co-inventé zk-STARKS, a résumé l’ampleur des ZKP à venir dans l’écosystème Bitcoin :
“Après des années de frustration face à la lenteur de la synchronisation, les utilisateurs pourront se synchroniser avec le réseau beaucoup plus rapidement et avec moins de calculs. C’est un saut technologique qui s’apparente à la transition de l’Internet commuté lent vers le haut débit à large bande.
Lightning Labs, l’équipe derrière Bitcoin Layer-2 Réseau Lightning système de paiement, est un partenaire contributeur au projet de ZeroSync.
La société a l’intention d’utiliser ZeroSync pour alimenter les preuves d’historique des transactions compressées pour sa superposition de représentation des actifs Taproot (Taro) protocolequi vise à alimenter l’émission d’actifs numériques sur la blockchain Bitcoin.
