L'expansion de Bitcoin DeFi face à un dilemme de fork alors que les développeurs explorent les preuves ZK

Les développeurs de Bitcoin cherchent à étendre la blockchain Finance décentraliséeLes capacités (DeFi) sont susceptibles d'envisager des preuves à connaissance nulle (ZK), des fonctionnalités qui ne sont pas actuellement disponibles et qui nécessitent un soft fork, ou une nouvelle version du logiciel, pour les introduire.

C'est un problème, selonEdan Yago, un vétéran du Bitcoin depuis plus d'une décennie et contributeur CORE au système d'exploitation de contrats intelligents BitcoinOS (BOS).

« Furcer une blockchain, surtout une ONE dont la valeur s'élève à 2 000 milliards de dollars, c'est comme une opération à cœur ouvert », a déclaré Yago à CoinDesk lors d'une interview. « Les hard forks sont évidemment beaucoup plus problématiques, mais je pense qu'introduire tout type de fork est risqué. »

Une fourchette est unmodification du code d'une blockchain Cela nécessite une divergence à un certain point vers un chemin distinct. Les forks peuvent être « soft », ce qui signifie que les anciennes versions peuvent toujours interagir avec la ONE, ou « hard », ce qui rend les anciennes versions incompatibles et oblige tous les utilisateurs à mettre à jour leur logiciel.

Les preuves ZK sont une méthode cryptographique permettant de prouver la validité d'affirmations tout en préservant la Politique de confidentialité en ne divulguant aucune information les concernant. Cette fonctionnalité n'est pas disponible dans le logiciel Bitcoin, mais pourrait l'être grâce à implémentations proposées comme OP_CAT et OP_CTV. Yago a déclaré que les développeurs devraient pouvoir trouver des moyens de les activer sur Bitcoin sans aucun type de fork.

« La charge de la preuve incombe aux développeurs, qui doivent démontrer qu’il n’existe pas d’autre moyen d’y parvenir par une ingénierie intelligente », a-t-il déclaré.

C'est ce que BOS espère réaliser grâce au BitSNARK, un Bitcoin protocole de cumulqui fait partie de la famille de paradigmes informatiques développés pour faire évoluer la blockchain d'origine. Ces paradigmes ont émergé suite àl'introduction de BitVM par Robin Linus en octobre 2023, qui a défini un cadre sur la manière dont les contrats intelligents de type Ethereum pourraient être activés sur Bitcoin.

BitcoinOS a maintenantopen source ce que Yago décrit comme un protocole BitSNARK « entièrement prêt pour 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 des programmes volumineux et complexes et de prouver les résultats de leurs calculs en seulement 300 octets, vérifiables lors de transactions Bitcoin standard. Cela pourrait ouvrir la voie à BTCFi, terme utilisé pour la DeFi sur Bitcoin, en permettant des ponts inter-chaînes, des échanges décentralisés et des stablecoins adossés au Bitcoin (BTC).

Bien qu'il y aitde nombreux projets Cherchant à introduire la Finance décentralisée sur Bitcoin, ils s'appuient sur les codes OP_CAT ou OP_CTV, qui nécessitent un fork du logiciel de la blockchain. Yago souhaite atteindre la même destination par un chemin différent.