BitcoinOS (BOS), un protocole de rollups Bitcoin, a réussi à vérifier la première preuve zéro connaissance (ZK) sur le mainnet de la blockchain à 23h22 UTC le 24 juillet.
Cet accomplissement permet de débloquer de nouveaux niveaux de fonctionnalité et de scalabilité sur le mainnet de Bitcoin sans nécessiter de modifications supplémentaires au niveau de la couche de base de la blockchain.
Dans une séance de questions-réponses écrite avec Cointelegraph, Edan Yago, co-fondateur de BOS, a déclaré que ce développement « représente une époque où Bitcoin n’est plus simplement de l’or numérique. »
« Il s'agit également d'un système d'exploitation et d'une plateforme sur laquelle l'ensemble du monde des applications décentralisées peut être construit. [...] Cela marque un chapitre où Ethereum, Solana et tous les autres projets layer-1 ne sont plus à l’abri de la concurrence de Bitcoin. »
Implications de la vérification de la preuve ZK sur le mainnet
La technologie derrière la vérification sur le mainnet est la bibliothèque logicielle de vérification ZK Succinct Non-Interactive Argument of Knowledge (zk-SNARK) de BOS, BitSNARK.
Selon un communiqué de presse partagé avec Cointelegraph, BitSNARK permet aux développeurs de créer des « ponts presque sans confiance » pour déplacer le Bitcoin (BTC) entre le mainnet et les rollups layer-2.
Yago a expliqué les implications de l’établissement des preuves ZK sur le mainnet, affirmant qu’une transaction pourrait désormais représenter « des centaines et des milliers de transactions. »
« Une seule transaction Bitcoin peut maintenant être utilisée pour transiger de manière privée et pour des choses comme les contrats intelligents. »
Blockchain Bitcoin transformée en système d’exploitation
Yago explique que la percée de la preuve ZK sur le mainnet Bitcoin s’aligne étroitement avec l’objectif de l’entreprise, permettant ainsi de transformer essentiellement Bitcoin en « système d’exploitation. »
Yago a précisé qu’en transformant le mainnet Bitcoin en « plus qu’un simple système de transaction pour les paiements », il pourrait être utilisé « pour des services et activités décentralisés, comme les DAOs, la DeFi, tout ce que vous pouvez imaginer. »
En ce qui concerne l’évolutivité, Yago a déclaré que « la seule façon de mettre à niveau Bitcoin est par des forks doux et des modifications du consensus », mais ce n’est plus le cas.
« Il est désormais possible d’introduire tout type de fonctionnalités que vous souhaitez sur Bitcoin, de manière permissive, [...] pour transformer ce que beaucoup de gens considéraient comme un inconvénient, le fait qu’il était en ossification et difficile à modifier, en son principal avantage. »
StarkWare sécurise la première preuve ZK vérifiée sur le testnet
Le 17 juillet, StarkWare a annoncé l’étape historique de la vérification réussie de sa propre preuve ZK sur le testnet Bitcoin, Signet.
Ce développement a suivi trois mois d'exploration de « OP_CAT » par l'entreprise, ce qui lui a permis d’établir son nouveau vérificateur STARK sur le réseau.
Le vérificateur a jeté les bases du développement de solutions layer-2 basées sur ZK pour aider à améliorer la scalabilité de Bitcoin et à faire avancer les opportunités de paiement globales sur la blockchain.