ZeroSync permet des preuves sans connaissance pour valider la chaîne Bitcoin

L’équipe ZeroSync a développé un système pour vérifier le dernier statut du fichier et du réseau Bitcoin, basé sur des preuves STARK, un type de preuve cryptographique sans connaissance. L’outil peut être utilisé depuis le navigateur ou installé sur un ordinateur, et présente l’avantage d’utiliser moins de ressources de calcul que les tests cryptographiques actuellement mis en œuvre.

Dans une première étape, Les nœuds Bitcoin et les clients légers peuvent vérifier les têtes de bloc, qui ont un hachage d’identification, des informations sur la validité des transactions contenues, la preuve de travail et le niveau de difficulté du réseau.

Selon l’équipe ZeroSync, après avoir réalisé la première étape du projet, des mises à jour successives offrira des statuts Bitcoin plus complets qui sont vérifiés avec une preuve de connaissance nulle, un protocole cryptographique qui permet à une partie (le prouveur) de démontrer à une autre partie (le vérificateur) qu’elle connaît un secret sans révéler d’informations supplémentaires sur cette connaissance (par exemple, prouver qu’une transaction a été effectuée sans révéler à partir de quelle adresse ). En d’autres termes, à ce stade du développement de l’outil, ni les transactions individuelles ni les signatures numériques ne peuvent être vérifiées.

Il est à noter que ce protocole ne nécessite aucune modification du code Bitcoin, car il fonctionne côté client (nœuds ou ordinateurs exécutant le logiciel Bitcoin).

Le protocole peut être utilisé depuis le navigateur (démo), depuis un iPhone (démo) et par les clients légers de portefeuilles ou de nœuds pour installer l’outil disponible en open source sur GitHub.

En termes pratiques, la vérification de l’état du Bitcoin sans connaissance pourrait offrir une plus grande évolutivité, confidentialité et sécurité dans les applications et les réseaux de deuxième couche, comme le soulignent les développeurs de ZeroSync.

Par exemple, le réseau Lightning peut atteindre des niveaux de confidentialité plus élevés grâce au routage de canaux privés ou à la compression de l’historique des transactions pour les protocoles de validation côté client tels que Taproot Asset et RGB. Il pourrait également être exploité par des sidechains comme Liquid ou Counterparty.

Le test STARK

ZeroSync utilise une preuve sans connaissance (ZKP) appelée essayez zkSTARK (zéro connaissance évolutive preuve de connaissance transparente). Ce type de test ne nécessite pas de ressources informatiques importantes ni le téléchargement de l’intégralité de l’état du Bitcoin, ce qui est similaire à ce que font les clients de portefeuilles légers.

De cette manière, ZeroSync permet à n’importe quel nœud de connaître l’état du lot des têtes de bloc (simultanées ou en séquence), en utilisant, entre autres fonctionnalités, la récursivité, qui est un processus utilisant une fonction qui s’appelle elle-même ou en appelle d’autres. L’en-tête de bloc fournit des informations vitales sur l’état du réseau, qui contribuent à maintenir l’intégrité des fichiers.

Comme Indien Olaoluwan Osuntokun, développeur et CTO de Lightning Labs, un test simple de têtes de blocquel que soit le nombre de blocs, ne nécessitait que 1,4 Ko de stockage.

De son côté, Robin Linus, l’un des développeurs de ZeroSync, a expliqué que si 14 ordinateurs (serveurs) effectuaient des tests, avec une fréquence d’horloge de 5Ghz, 500 Go de stockage et 1T d’informations échangées, pendant 8 jours, ce serait probablement le cas. coûte 4 000 dollars. Vérification (côté client), De son côté, il ne nécessite que 200 Ko et ne prendrait que 5 secondes sur un iPhone.

La langue du Caire

L’outil utilise une architecture CPU (ou langage) appelée Cairo, qui permet de vérifier instantanément la validité des tests exécutés sur la chaîne Bitcoin.

Les preuves classiques à connaissance nulle, techniques cryptographiques qui permettent à un participant de prouver à un autre qu’il connaît un secret sans le révéler, Ils sont exigeants en termes de calcul. « Cela rend le processus de représentation d’une affirmation que vous souhaitez prouver ou vérifier assez compliqué, car ce processus nécessite un nouvel ensemble d’équations pour chaque affirmation », peut-on lire dans le document technique du projet.

La langue du Caire, ainsi que le test STARK, réduit la demande de calcul car il vous permet d’écrire un programme qui décrit une instruction que vous souhaitez tester (par exemple, quel est le dernier état du réseau et du fichier Bitcoin) sans écrire d’ensembles d’équations complexes.

Pour utiliser Cairo, vous devez activer l’environnement Python dans lequel l’outil est installé. Cependant, il existe déjà un prototype qui peut être exécuté depuis le navigateur. Ce vérificateur principal Bitcoin fonctionne comme une démo et utilise miniSTARK, une implémentation basée sur GPU, via WebAssembly, un format de code binaire portable pour l’exécution entièrement dans le navigateur de scripts côté client.

« Ce prototype est un travail en cours », lit-on sur le site Web, ils préviennent donc qu’à ce stade du développement aucune transaction ne peut encore être vérifiée. « Il est trop tôt pour investir des ressources informatiques importantes dans la génération d’une preuve de l’ensemble de la chaîne. Cependant, à mesure que nous avançons, nous maintiendrons cette démo à jour avec des tests de chaîne plus longs et plus complets », indiquent-ils.

Depuis plusieurs années maintenant, les développeurs de Bitcoin discutent de la possibilité d’intégrer des preuves à connaissance nulle, compatibles avec Bitcoin. Cela semble être une étape importante dans cette direction, où les développeurs d’Ethereum ont déjà fait un voyage intéressant.