StarkWare がゼロ知識技術をビットコインに導入、Signet テストネットで zk-Proofs を検証

完成までに 3 か月かかったこのメカニズムは、ビットコインのテストネットである Signet に実装されましたが、より広範なエコシステムで使用できるようになるまでにはまだ長い道のりがあります。

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

2018 年からイーサリアム上でゼロ知識技術を開発している企業である StarkWare は、ビットコインのテストネットでゼロ知識証明 (ZK プルーフ) の検証に成功しました。

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.

完成までに 3 か月かかったこのメカニズムは、ビットコインのテストネット Signet に実装されました。ただし、より広範なエコシステムで使用できるようになるまでには、まだ長い道のりがあります。

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.

zk-proofs (OP_CAT) のようなものを有効にするスクリプトは、ビットコイン コミュニティで導入に向けた十分なコンセンサスをまだ得ていません。

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

このような挫折にもかかわらず、StarkWareの動きは、かつてデジタルペットロックとして知られていたネットワークにとっては幸先の良いものである。

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.

ビットコインの zk-proof を検証することは、ネットワークの計算能力が限られていたため、以前は利用できませんでした。 OP_CATと両社は、ビットコインのSignet上でそれをテストするために戦っているが、その現実を変え、他のブロックチェーン上に存在する幅広いアプリケーションを業界最古のエコシステムにもたらすことを目指している。

“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.”

「これは多大な努力であり、かなりの時間がかかりました」と、L2 Iterative の Weikeng Chen 氏は The Defiant と共有した声明の中で述べています。 「私たちは何もないところから始めました。ビットコインの ZK 証明に関する情報はありません。従うべき数学的演算に関する情報はありません。フルスタックを構築する必要があり、最終的に 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.

zk 証明は、一方の当事者が追加情報を明らかにすることなく、特定のステートメントが真実であることを他方の当事者に証明できる場合に発生します。 Zk-proof は、特にプライバシーを中心とした方法での拡張競争が続く中、イーサリアムの最も価値のある計算ツールの 1 つとなっています。

Ethereum’s Rollup Race Comes To Bitcoin

イーサリアムのロールアップ競争がビットコインにやってくる

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

イーサリアムには、オプティミスティックとゼロナレッジの 2 種類のロールアップがあります。

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.

楽観的なロールアップは、正直なネットワーク検証者によって異議が申し立てられ、間違いであることが証明されない限り、すべてのレイヤー 2 トランザクションが有効であると想定しますが、zk-rollup は、zk-proofs によって有効であることが証明されるまで、すべてのトランザクションが偽であると想定します。

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.

L2Beat によると、Arbitrum、Base、Optimism などの楽観的なロールアップが市場全体の 70% 近くのシェアを占めています。市場全体の 1.7% を遠くから追いかけているのは、Starkware 独自のレイヤ 2 である Starknet で、同カテゴリーでは Linea (2.9%)、ZKSync (2.8%)、Scroll (4.3%) に次いで 4 位に位置しています。ロックされた総額（TVL）は10億ドルを超えて急上昇。

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

ただし、ゼロテクノロジー スケーリング ソリューションはあまり広く使用されていませんが、プライバシーの向上やメインネットへのブリッジ時間の短縮などの重要な利点があります。

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.

StarkWare がプライバシーに力を入れているのは、創業者兼最高経営責任者 Eli Ben-Sasson がプライバシー ブロックチェーンの世界と関わっていることが少なからず影響しています。ベン・サッソン氏は、プライバシーを重視したトップクラスの暗号通貨の 1 つである 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はその分野での優位性を失い、時価総額は4億7,800万ドルと、2022年のピーク時の35億ドルから減少している。理由は不明だが、トークンは今日8％急騰して31ドルとなった。

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

ビットコインではプライバシーが欠如しており、拡張が難しいことがよく知られているため、ゼロ知識テクノロジーをテストすることは理にかなっています。

OP_CAT Continues To Get Tested

OP_CAT は引き続きテストされます

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

イーサリアムの最も価値のあるツールの一部をビットコインにもたらす可能性は、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.

「Operation Concatenate」の略である OP_CAT は、もともとビットコインの未知の作成者であるサトシ・ナカモトによって提案されたオペコードです。これにより、ビットコイン トランザクションの実行中に 2 つのデータを 1 つのデータに組み合わせることができます。

The opcode is nothing short of controversial.

オペコードは物議を醸すばかりです。

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.

ビットコインコミュニティの多くは、これがネットワークへの攻撃であり、MEVのような攻撃ベクトルを開く可能性があると非難している。実際、「mempool sniping」として知られる MEV スタイルの攻撃が蔓延していますが、これは主に Ordinals によるものであり、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 と StarkWare は最前線でテストを行っており、OP_CAT の再導入を推進しています。 6 月初旬、同社は物議を醸したスクリプトを通じてビットコインを拡張するという野心的な計画を明らかにしました。zk プルーフはその方向への一歩です。

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.”

OP-CATについてベン・サッソン氏は、「ビットコインのすべての価値を変更せずに維持しながら、ビットコインにSTARKスケーリングをもたらすのに十分な最低限のフレームワークを提供する」と述べた。