BitcoinOS (BOS) a ouvert le code source de BitSNARK, un protocole de vérification à preuve de connaissance nulle (ZKP) permettant aux zk-SNARK de fonctionner sur la blockchain sans altérer son protocole de base. Ce développement introduit l’un des premiers systèmes ZKP fonctionnels sur le réseau principal de Bitcoin, transformant potentiellement ses capacités de confidentialité, d’évolutivité et de fonctionnalité de contrat intelligent.
BitSNARK permet la vérification directe des preuves zk-SNARK sur le réseau principal Bitcoin. En juillet, BOS a vérifié la toute première preuve ZK sur Bitcoin au bloc 853626. L’open source de BitSNARK v0.1 fournit aux développeurs des outils pour mettre en œuvre des preuves cryptographiques avancées sur Bitcoin, ouvrant la voie à des applications décentralisées et à des fonctionnalités de confidentialité améliorées.
Edan Yago, PDG et cofondateur de BOS, a déclaré que cela transformait Bitcoin en une plate-forme complète de contrats intelligents. « Bitcoin est entré dans le chat », a déclaré Yago, soulignant l’importance d’apporter une cryptographie avancée et des fonctionnalités inter-chaînes au réseau Bitcoin.
BitSNARK ouvre Bitcoin aux échanges atomiques décentralisés, aux transferts inter-chaînes et au rattachement bidirectionnel, permettant l’interopérabilité avec d’autres blockchains et l’exécution de contrats intelligents préservant la confidentialité. Le protocole utilise des incitations économiques pour garantir l’honnêteté entre les participants, empêchant les acteurs malveillants de compromettre le processus de vérification.
Preuves ZK sur Bitcoin jusqu’à présent
Alors que d’autres projets ont fait des progrès en apportant des preuves à connaissance nulle à Bitcoin, l’implémentation du réseau principal de BitSNARK le distingue. StarkWare, par exemple, a vérifié une preuve ZK sur le réseau de test Signet de Bitcoin en juin 2024, dans le but d’améliorer l’évolutivité de Bitcoin à l’aide de la technologie STARK et d’un soft fork OP_CAT appelé. Le projet ZeroSync développe un client léger à connaissance nulle pour Bitcoin en utilisant un code OP OP_ZKP potentiel, mais n’a pas encore implémenté la vérification du réseau principal.
Charles Guillemet, directeur technique de Ledger, a plaidé en faveur d’avancées telles que OP_CAT ou d’autres approches innovantes pour valider les preuves ZK sur la chaîne pour Bitcoin, suggérant que de telles avancées pourraient améliorer les solutions de couche 2 et réduire la confiance dans le traitement hors chaîne. L’approche de BitSNARK s’aligne potentiellement sur ces perspectives en offrant une vérification ZK sans altérer le protocole de base.
Ainsi, les autres méthodes permettant d’intégrer les ZKP dans la couche principale de Bitcoin nécessitent pour la plupart des développements supplémentaires, ce qui prendra du temps, compte tenu de la résistance du réseau au changement par conception. BitSNARK répond à ces défis en permettant la vérification des ZK sans nécessiter de modifications du protocole de base de Bitcoin. Cette approche permet d’améliorer les fonctionnalités tout en préservant les principes de décentralisation et de sécurité de Bitcoin.
Comparaison de BitSNARK avec les autres solutions ZKP sur Bitcoin
BitSNARK se distingue des autres approches en ce qu’il permet la vérification sur le réseau principal Bitcoin sans nécessiter de soft fork. Cela positionne BitSNARK comme une étape potentiellement importante dans l’évolution technologique de Bitcoin, offrant une voie viable vers une confidentialité et une évolutivité améliorées.
BitSNARK utilise le pont Grail et le maillage Merkle. Le pont Grail est un pont inter-chaînes décentralisé qui exploite les zk-SNARK et le protocole de vérification BitSNARK pour des transferts d’actifs sécurisés et sans confiance entre Bitcoin et d’autres blockchains. Merkle Mesh est conçu pour gérer de nombreuses vérifications zk-SNARK décentralisées à grande échelle, améliorant ainsi les performances du réseau.
En rendant BitSNARK open source, BOS souhaite favoriser une meilleure compréhension et une expérimentation plus poussée au sein de l’écosystème Bitcoin. Cette initiative permet aux développeurs de créer des applications qui exploitent la sécurité de Bitcoin tout en introduisant des fonctionnalités traditionnellement associées à d’autres plateformes blockchain.
BitcoinOS est issu de la communauté financière décentralisée Sovryn et a reçu le soutien d’investisseurs tels que Galaxy Digital et General Catalyst. Ce contexte fournit une expérience et des connaissances précieuses, représentant une évolution vers la consolidation de diverses fonctionnalités de blockchain sur le réseau Bitcoin.
En activant des fonctionnalités avancées telles que les transactions préservant la confidentialité et les contrats intelligents directement sur Bitcoin via des rollups, BitcoinOS vise à libérer le potentiel de Bitcoin pour des transactions sécurisées à haut débit tout en préservant la décentralisation et la résilience du réseau.
Mentionné dans cet article
