Les développeurs de Bitcoin cherchent à étendre les capacités de financement décentralisées de la blockchain (DEFI) sont susceptibles de considérer les preuves de connaissances zéro (ZK), des fonctionnalités qui ne sont pas actuellement disponibles et qui nécessitent une fourche soi-disant douce ou une nouvelle version du logiciel, pour les présenter.
C’est un problème, selon Edan Yago, un vétéran de Bitcoin de plus d’une décennie et contributeur de base au système d’exploitation Smart Contrac Bitcoinos (BOS).
« Faire une blockchain, en particulier un avec 2 billions de dollars de valeur à ce sujet, est comme une chirurgie à cœur ouvert », a déclaré Yago à Coindesk dans une interview « Hard Forks est évidemment beaucoup plus problématique, mais je pense que l’introduction de toute sorte de fourche est lourde. »
Une fourche est un changement dans le code d’une blockchain qui nécessite une divergence à un certain point sur un chemin séparé. Les fourchettes peuvent être «douces», ce qui signifie que les versions plus anciennes peuvent toujours interagir avec la nouvelle, ou «dur», qui rendent les versions plus anciennes incompatibles et nécessitent que tous les utilisateurs mettent à niveau leur logiciel.
Les preuves ZK sont une méthode cryptographique pour prouver la validité des déclarations tout en maintenant la confidentialité en ne révélant aucune information à ce sujet. La fonctionnalité n’est pas disponible dans le logiciel de Bitcoin, mais pourrait être réalisée par le biais d’implémentations proposées comme OP_CAT et OP_CTV. Yago a déclaré que les développeurs devraient être en mesure de trouver des moyens de leur permettre sur Bitcoin sans aucune sorte de fourche.
« Le fardeau de la preuve incombe aux développeurs de démontrer qu’il n’y a pas d’autre moyen de l’accomplir par l’ingénierie intelligente », a-t-il déclaré.
C’est ce que BOS espère réaliser à travers le Bitsnark, un protocole de rollup Bitcoin qui fait partie de la famille des paradigmes informatiques en cours de développement pour évoluer la blockchain d’origine. Ceux-ci ont émergé à la suite de l’introduction de Bitvm par Robin Linus en octobre 2023, qui a établi un cadre pour la façon dont les contrats intelligents de type Ethereum pourraient être activés sur Bitcoin.
Bitcoinos a désormais open source ce que Yago décrit comme un protocole de bitsnark « entièrement prêt à la production », ce qui signifie que les développeurs ont désormais accès à la vérification ZK sur Bitcoin et peuvent le connecter à d’autres blockchains comme Ethereum, Solana et Cardano.
Bitsnark permet aux développeurs de prendre de grands programmes complexes et de prouver les résultats des calculs en seulement 300 octets qui peuvent être vérifiés dans les transactions Bitcoin standard. Cela pourrait ouvrir la voie à BTCFI, un terme utilisé pour Defi sur Bitcoin, en permettant des ponts transversales, des échanges décentralisés et des stablecoins à dossiers bitcoin (BTC).
Bien qu’il existe de nombreux projets qui cherchent à introduire des finances décentralisées sur Bitcoin, elles comptent sur l’utilisation des codes OP_CAT ou OP_CTV, qui nécessitent une fourche dans le logiciel de la blockchain. Yago veut atteindre la même destination via un itinéraire différent.