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

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

StarkWare、ゼロ知識テクノロジーを開発する会社2018 年からイーサリアム上で、ビットコインのテストネットでゼロ知識証明 (ZK 証明) の検証に成功しました。

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

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

この挫折にもかかわらず、StarkWareの動きは、以前はデジタルペットロックとして知られていたネットワークにとっては縁起の良いものです。

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

「これは多大な努力であり、かなりの時間がかかりました」 」とL2 IterativeのWeikeng Chen氏はThe Defiantと共有した声明で述べた。 「私たちは何もないところから始めました。ビットコインの ZK 証明に関する情報はありません。従うべき数学的演算に関する情報はありません。私たちは完全なスタックを構築する必要があり、最終的に STARK 検証器の実装につながりました。」

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

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

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

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

StarkWare が重視しているのはプライバシーです。その取り組みは、創設者兼最高経営責任者イーライ・ベン・サッソン氏のプライバシー・ブロックチェーン世界とのつながりによる部分が少なからずあります。ベン・サッソン氏は、プライバシーを重視したトップクラスの暗号通貨の 1 つである Zcash の主任科学者でした。

Zcash はその分野での優位性を失い、時価総額は 4 億 7,800 万ドルと、2022 年のピーク時の 35 億ドルから減少しています。トークンは 8% 急騰しました。理由は不明瞭のようです。

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

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

イーサリアムの最も価値のあるツールのビットコインへの変換は、OP_CAT と呼ばれるサトシ時代のコードによって可能になります。

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

オペコードは物議を醸す以外の何ものでもありません。

ビットコイン コミュニティの多くの人が、これをネットワークへの攻撃だと非難しています。 、MEV のような攻撃ベクトルを開く可能性があります。実際、「mempool sniping」として知られる MEV スタイルの攻撃が蔓延していますが、これは主に Ordinals によるものであり、OP_CAT によるものではありません。

Ben-Sasson と StarkWare は最前線でテストを行っており、OP_CAT の再導入を推進しています。 6月初旬、同社は物議を醸したスクリプトを通じてビットコインを拡張するという野心的な計画を明らかにした。そして、zk-proofはその方向への一歩である

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

以上がStarkWare がゼロ知識技術をビットコインに導入、Signet テストネットで zk-Proofs を検証の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。