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é mis en œuvre sur le testnet Signet de Bitcoin, et il reste encore un long chemin à parcourir avant de pouvoir être utilisé dans l'écosystème plus large.

StarkWare, a company developing zero-knowledge technology on Ethereum since 2018, has successfully verified a zero-knowledge proof (ZK-proof) in a Bitcoin testnet.

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

The mechanism, which took three months to complete, was implemented on Bitcoin’s testnet Signet. However, it still has a long way to go before it can be used in the broader ecosystem.

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

The script that enables something like zk-proofs (OP_CAT) still hasn’t received enough consensus in the Bitcoin community for it to be introduced.

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.

Despite this setback, StarkWare’s move is an auspicious one for the network formerly known as a digital pet rock.

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.

Verifying zk-proofs on Bitcoin was previously unavailable, due to the network’s limited computational capabilities. OP_CAT, and the companies battle testing it on Bitcoin’s Signet, aims to change that reality and bring the breadth of applications present on other blockchains to the oldest ecosystem in the industry.

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.

“This was a tremendous effort and took a significant amount of time,” said Weikeng Chen, of L2 Iterative in a statement shared with The Defiant. “We started with nothing. There’s no information about ZK proofs on Bitcoin. There’s no information regarding the mathematical operations to follow. We had to build the full stack, which eventually led to the implementation of the STARK verifier.”

"Cela a représenté 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.

A zk-proof occurs when one party can prove to another that a given statement is true without revealing any additional information. Zk-proofs have become one of Ethereum’s most valuable computational tools, especially as the race to scale in a privacy-centric manner continues.

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 preuves Zk sont devenues 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.

Ethereum’s Rollup Race Comes To Bitcoin

La course au rollup d'Ethereum arrive au Bitcoin

There are two types of rollups on Ethereum: optimistic and zero-knowledge.

Il existe deux types de cumuls sur Ethereum : optimistes et sans connaissance.

Optimistic rollups assume all Layer 2 transactions are valid unless challenged and proven wrong by an honest network validator, whereas zk-rollups assume all transactions are false until proven valid through zk-proofs.

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.

According to L2Beat, optimistic roll ups like Arbitrum, Base, and Optimism command nearly 70% of the entire market share. Trailing from afar with 1.7% of the total market is StarkWare’s own Layer 2, Starknet, which lands in fourth place in its category behind Linea (2.9%), ZKSync (2.8%), and Scroll (4.3%), which has had its total value locked (TVL) soar past $1 billion.

Selon L2Beat, les roll ups optimistes 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.

However, even though zero-technology scaling solutions are less widely used, they have important advantages including increased privacy and faster bridging times to mainnet.

Cependant, même si les solutions de mise à l’échelle sans technologie sont moins largement utilisées, elles présentent des avantages importants, notamment une confidentialité accrue et des temps de pont plus rapides vers le réseau principal.

Privacy is where StarkWare has been placing its efforts, in no small part due to its founder and Chief Executive Officer Eli Ben-Sasson’s connection to the privacy blockchain world. Ben-Sasson was the chief scientist behind one of the top privacy-focused cryptocurrencies: Zcash.

La confidentialité est le domaine dans lequel StarkWare a déployé ses efforts, en grande partie grâce à la connexion 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 has lost dominance in its sector and shows a $478 million market cap, down from its $3.5 billion peak in 2022. The token spiked 8% to $31 today, for reasons that seem unclear.

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

Testing out zero-knowledge technology makes sense on Bitcoin because of its well-known lack of privacy and difficulty to scale.

Tester une technologie sans connaissance est logique sur Bitcoin en raison de son manque bien connu de confidentialité et de sa difficulté à évoluer.

OP_CAT Continues To Get Tested

OP_CAT continue d'être testé

The potential to bring some of Ethereum’s most valued tools to Bitcoin is enabled by a Satoshi-era code dubbed OP_CAT.

Le potentiel d'apporter certains des outils les plus précieux d'Ethereum à Bitcoin est activé par un code de l'ère Satoshi baptisé OP_CAT.

OP_CAT, short of “Operation Concatenate,” is an opcode that was proposed originally by Bitcoin’s unknown creator, Satoshi Nakamoto. It allows for the combination of two pieces of data into a single piece of data during the execution of a Bitcoin transaction.

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

The opcode is nothing short of controversial.

L'opcode est tout simplement controversé.

Many in the Bitcoin community have decried it as an attack on the network, which could open up attack vectors like MEV. In fact, MEV-style attacks known as ‘mempool sniping’ have become prevalent, although it is mostly due to Ordinals and not OP_CAT.

De nombreux membres de la communauté Bitcoin l’ont dénoncé comme une attaque contre le réseau, qui pourrait ouvrir la voie à 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 and StarkWare are on the front line testing and pushing for OP_CAT to be reintroduced. In early June, the company revealed an ambitious plan to scale Bitcoin through the controversial script–and the zk-proof is a step in that direction.

Ben-Sasson et StarkWare sont en première ligne pour tester et faire pression pour la réintroduction d'OP_CAT. 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.

Referring to OP-CAT, Ben-Sasson said “it will retain all Bitcoin values unchanged, while providing a bare bones framework that is just enough to bring STARK scaling to Bitcoin.”

Faisant référence à OP-CAT, Ben-Sasson a déclaré "qu'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".