Trois informaticiens allemands ont créé une organisation suisse à but non lucratif appelée ZeroSync Association pour aider à faire évoluer Bitcoin en utilisant des preuves sans connaissance (zk-proofs), une technique cryptographique qui a explosé en popularité sur la chaîne rivale Ethereum.

Les preuves sans connaissance utilisent la cryptographie pour prouver la validité des informations sans révéler les informations elles-mêmes. L’utilisation d’une preuve zk pour valider la blockchain Bitcoin signifie que les nœuds peuvent se synchroniser presque instantanément au lieu de prendre des heures (et parfois des jours) pour télécharger les 500 Go de données actuels de la chaîne.

ZeroSync a déjà produit un prototype fonctionnel qui permet aux utilisateurs de valider l'état (qui possède quoi actuellement) et l'historique des transactions de la blockchain Bitcoin sans télécharger la chaîne entière ni faire confiance à un tiers.

Le prototype peut vérifier les règles de consensus Bitcoin mais pas les signatures de transaction. Il est également un peu encombrant et doit encore être optimisé en termes de vitesse et de sécurité. Il n’est donc pas encore prêt pour les heures de grande écoute, mais l’important est que cela fonctionne.

"C'est encore au stade du prototype", a déclaré à CoinDesk le co-fondateur de ZeroSync, Robin Linus. "Mais la grande vision est que vous téléchargiez ce mégaoctet de preuve et c'est aussi bon que si vous aviez téléchargé les 500 gigaoctets."

Les clients légers ou les simples nœuds de vérification des paiements (SPV) ont toujours existé sur la blockchain Bitcoin. En fait, Satoshi Nakamoto a mentionné le concept dans son livre blanc original. Ils sont essentiels pour les petits appareils comme les téléphones mobiles qui ne peuvent pas télécharger l’intégralité de la blockchain.

"Il est possible de vérifier les paiements sans exécuter un nœud de réseau complet", a écrit Satoshi. "La vérification est fiable tant que des nœuds honnêtes contrôlent le réseau, mais elle est plus vulnérable si le réseau est maîtrisé par un attaquant."

ZeroSync va encore plus loin en vérifiant les transactions via une preuve cryptographique plutôt que de simplement faire confiance à des nœuds honnêtes comme le suggère Satoshi.

"Vous n'êtes pas obligé de faire confiance, c'est tout le problème", a déclaré Linus. "La preuve vous le prouve, c'est ça la grande invention."

Un mécanisme entièrement fonctionnel à l'épreuve de zk peut être utilisé pour activer un large éventail d'applications en dehors du cas d'utilisation phare de la synchronisation des nœuds. ZeroSync a créé un kit d'outils de développement pour activer des applications telles que la preuve de réserve sur les échanges et la compression de l'historique des transactions sur les protocoles de deuxième couche comme Taro de Lightning Labs.

Linus et son co-fondateur Lukas George ont uni leurs forces en juillet dernier pour travailler à la mise en œuvre d'une preuve en chaîne complète de la blockchain Bitcoin après que la thèse de premier cycle de George sur la mise en œuvre d'une preuve des en-têtes de Bitcoin ait attiré l'attention de Geometry Research.

L'équipe a ensuite ajouté Tino Steffens au mélange ; les trois co-fondateurs ont une formation en informatique.

Linus vivait à Santa Teresa, une ville balnéaire isolée de la péninsule de Nicoya au Costa Rica, dotée d'un guichet automatique et d'un couvre-feu à 22 heures. Cela a rendu Linus fou et l’a forcé à rechercher des méthodes de paiement alternatives. Il est tombé sur Bitcoin, s'est lié d'amitié avec le très respecté « sorcier Bitcoin » Ruben Somsen (qui a inventé le terme « ZeroSync »), et le reste, comme on dit, appartient à l'histoire.

"À partir de là, j'ai commencé à en apprendre de plus en plus sur la cryptographie", a déclaré Linus. « J'ai développé certaines compétences au fil du temps, puis Ruben m'a recommandé à Geometry Research. Ils m'ont offert l'opportunité de créer des preuves STARK pour Bitcoin et c'est aussi ainsi que j'ai contacté Lucas.