StarkWare apporte une technologie sans connaissance à Bitcoin, vérifiant les preuves zk sur Signet Testnet

Le mécanisme, qui a duré trois mois, a été implémenté sur le réseau de test Bitcoin Signet, et il reste encore un long chemin à parcourir avant de pouvoir être utilisé dans l'écosystème plus large.

StarkWare, une entreprise développant une technologie à connaissance nulle sur Ethereum depuis 2018, a vérifié avec succès une preuve de connaissance nulle (ZK-proof) dans un réseau de test Bitcoin.

Le mécanisme, qui a pris trois mois, a été mis en œuvre sur le réseau de test Signet de Bitcoin. Cependant, il reste encore un long chemin à parcourir avant de pouvoir être utilisé dans un écosystème plus large.

Le script qui permet quelque chose comme zk-proofs (OP_CAT) n'a pas encore reçu suffisamment de consensus dans la communauté Bitcoin pour être introduit. .

Malgré ce revers, la décision de StarkWare est de bon augure pour le réseau autrefois connu comme un animal de compagnie numérique.

La vérification des preuves zk sur Bitcoin n'était auparavant pas disponible, en raison des capacités de calcul limitées du réseau. OP_CAT, et les entreprises se battent pour le tester sur Bitcoin's Signet, visent à changer cette réalité et à apporter l'étendue des applications présentes sur d'autres blockchains au plus ancien écosystème du secteur.

«Cela a été un effort énorme et a pris beaucoup de temps. ", a déclaré Weikeng Chen, de L2 Iterative dans une déclaration partagée avec The Defiant. « Nous avons commencé avec rien. Il n'y a aucune information sur les preuves ZK sur Bitcoin. Il n’y a aucune information concernant les opérations mathématiques à suivre. Nous avons dû construire la pile complète, ce qui a finalement conduit à la mise en œuvre du vérificateur STARK. »

Une preuve zk se produit lorsqu'une partie peut prouver à une autre qu'une déclaration donnée est vraie sans révéler aucune information supplémentaire. Les Zk-proofs sont devenus l'un des outils informatiques les plus précieux d'Ethereum, d'autant plus que la course à l'évolutivité centrée sur la confidentialité se poursuit.

La course au rollup d'Ethereum arrive au Bitcoin

Il existe deux types de rollups sur Ethereum : optimiste et zéro connaissance.

Les cumuls optimistes supposent que toutes les transactions de couche 2 sont valides à moins qu'elles ne soient contestées et prouvées fausses par un validateur de réseau honnête, tandis que les cumuls zk supposent que toutes les transactions sont fausses jusqu'à ce que leur validité soit prouvée par des preuves zk.

Selon L2Beat, optimiste les roll ups comme Arbitrum, Base et Optimism représentent près de 70 % de la part de marché totale. De loin, avec 1,7 % du marché total, on retrouve Starknet, le Layer 2 de StarkWare, qui arrive à la quatrième place de sa catégorie derrière Linea (2,9 %), ZKSync (2,8 %) et Scroll (4,3 %), qui a connu son la valeur totale verrouillée (TVL) dépasse le milliard de dollars. ses efforts, en grande partie grâce au lien de son fondateur et PDG Eli Ben-Sasson avec le monde de la blockchain de confidentialité. Ben-Sasson était le scientifique en chef derrière l'une des principales crypto-monnaies axées sur la confidentialité : Zcash.

Zcash a perdu sa domination dans son secteur et affiche une capitalisation boursière de 478 millions de dollars, en baisse par rapport à son pic de 3,5 milliards de dollars en 2022. Le jeton a grimpé de 8 % à 31 $ aujourd'hui, pour des raisons qui semblent floues.

Tester la technologie sans connaissance est logique sur Bitcoin en raison de son manque bien connu de confidentialité et de sa difficulté à évoluer. L'un des outils les plus précieux d'Ethereum pour Bitcoin est activé par un code de l'ère Satoshi baptisé OP_CAT.

OP_CAT, abréviation de « Operation Concatenate », est un opcode qui a été proposé à l'origine par le créateur inconnu de Bitcoin, Satoshi Nakamoto. Il permet la combinaison de deux éléments de données en un seul élément de données lors de l'exécution d'une transaction Bitcoin.

L'opcode est tout simplement controversé.

De nombreux membres de la communauté Bitcoin l'ont décrié comme une attaque contre le réseau. , ce qui pourrait ouvrir des vecteurs d’attaque comme MEV. En fait, les attaques de type MEV connues sous le nom de « mempool sniping » sont devenues répandues, bien que cela soit principalement dû aux ordinaux et non à OP_CAT.

Ben-Sasson et StarkWare sont en première ligne pour tester et faire pression pour que OP_CAT soit réintroduit. Début juin, la société a révélé un plan ambitieux visant à faire évoluer Bitcoin via le script controversé – et la preuve zk est un pas dans cette direction.

Se référant à OP-CAT, Ben-Sasson a déclaré « il conservera toutes les valeurs Bitcoin inchangées. , tout en fournissant un cadre simple qui est juste suffisant pour apporter la mise à l'échelle STARK à Bitcoin. "

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!