Bitcoin mainnet reçoit la première preuve ZK vérifiée de l'histoire

Signalé par Cointelegraph : BitcoinOS a réussi à vérifier avec succès la première preuve ZK sur le mainnet BTC, annonçant une nouvelle ère pour Bitcoin en tant que plateforme pour les applications décentralisées.

BitcoinOS (BOS), un protocole de rouleaux Bitcoin, a réussi à vérifier la première preuve de connaissance zéro (ZK) sur le mainnet de la blockchain à 23h22 UTC le 24 juillet.

Cet exploit rend possible le déblocage de nouveaux niveaux de fonctionnalités et de scalabilité sur le mainnet Bitcoin sans nécessiter de nouveaux changements à la couche de base de la blockchain.

Lors d'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 ère où Bitcoin n'est plus seulement de l'or numérique."

« C'est aussi un système d'exploitation et une plateforme sur laquelle tout l'univers des applications décentralisées peut être construit. [...] Cela marque un moment où Ethereum, Solana et tous les autres projets de couche-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 du mainnet est la bibliothèque logicielle de vérification ZK Succinct Non-Interactive Argument of Knowledge (zk-SNARK) de BOS, BitSNARK.

D'après un communiqué de presse partagé avec Cointelegraph, BitSNARK permet aux développeurs de créer des "ponts quasi-infaillibles" pour déplacer du Bitcoin. Yago a expliqué les implications de l'établissement de ZK-proofs 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 des transactions privées et pour des choses comme les contrats intelligents. »
Connexe : StarkWare vérifie la première preuve de connaissance zéro sur Bitcoin

La blockchain Bitcoin transformée en système d'exploitation

Yago explique que la percée de ZK dans la vérification sur le mainnet de Bitcoin s'aligne étroitement avec l'objectif de la firme, lui permettant d'être essentiellement transformée en "système d'exploitation."

Yago a expliqué qu'en transformant le mainnet Bitcoin en "plus qu'un système de transaction pour les paiements", il pourrait être utilisé "pour des services et des activités décentralisés, comme les DAO, la DeFi, tout ce que vous pouvez imaginer."

En ce qui concerne la possibilité de mise à niveau, Yago a déclaré que "la seule façon de mettre à niveau Bitcoin est à travers des forks souples et des changements de consensus", mais ce n'est plus le cas.

Il est désormais possible d'introduire n'importe quel type de fonctionnalités que vous voulez à Bitcoin, de manière sans permission, [...] pour transformer ce que beaucoup pensaient être un désavantage, le fait qu'il se figeait et qu'il était très difficile à changer, en son principal avantage.

StarkWare sécurise la première preuve ZK vérifiée sur le testnet

Le 17 juillet, StarkWare a annoncé le jalon historique de la vérification réussie de sa propre preuve ZK sur le testnet Bitcoin, Signet.

Le développement a suivi trois mois d'exploration "OP_CAT" par la firme, qui lui a permis d'établir son nouveau vérificateur STARK sur le réseau.

Le vérificateur a posé les bases pour le développement de solutions de couche-2 basées sur ZK.

Contribuez à améliorer la scalabilité de Bitcoin et à promouvoir les opportunités de paiement mondiales sur la blockchain.