StarkWareがビットコインテストネットワークでゼロ知識証明を検証

ブロックチェーン開発者のStarkWareは、新しいSTARK検証器を使用してBitcoinのSignetテストネットワーク上で最初のゼロ知識証明を検証したと主張しています。

検証器のテストのための初期の概念実証では、数学的な問題、具体的にはフィボナッチ数列の32番目の数を検証することが含まれていました。次のステップは設計を一般化し、より広範な汎用計算を実行できるようにすることだと、同社はThe Blockに共有した声明で述べています。

「私たちはBitcoinをスケールさせ、ブロックチェーンの力を解き放ち、世界を変えると言いました」とStarkWareのCEOであるEli Ben-Sassonは述べています。「これはそのための最初の一歩です。ゼロ知識技術を使用してBitcoinが何をできるかを示すための最初のステップです。」

StarkWareは、最後の投資ラウンドで80億ドルの評価を受けており、Ethereum Layer 2のStarknetの主要な貢献者です。最新の開発は、6月に発表されたStarkWareの計画に続くもので、技術提案であるOP_CATがBitcoinにSTARKスケーリングをもたらすためのフレームワークを提供した後、Ethereumと並んでBitcoinにZKスケーリングをもたらすことを目指しています。

新しいチェーンは作成されておらず、StarkWareの計画は同じStarknetネットワークを同じガバナンスとトークノミクスで使用し、フォークを必要とせずにBitcoinのスケーリングをサポートするものだと、チームは当時明確にしました。すべてのdappは、どこに定住するかを選択できると、Ben-Sassonは先月The Blockに語りました。

StarkWareの新しいSTARK検証器は、ベンチャー企業L2 Iterativeとのパートナーシップで構築され、OP_CATを利用してBitcoinネットワーク上でZKベースのLayer 2の開発を可能にし、より迅速にスケールするように設計されていますと、同社は説明しました。

「これは大変な努力であり、かなりの時間を要しました」とL2 IterativeのWeikeng Chenは述べています。「私たちは何もないところから始めました。Bitcoin上のZK証明に関する情報はありません。従うべき数学的操作に関する情報もありませんでした。私たちはフルスタックを構築し、最終的にSTARK検証器の実装に至りました。」

OP_CATとは何ですか？

OP_CATは、Bitcoinネットワークにスマートコントラクト機能を導入するための高度なスクリプト機能を使用する技術的な契約提案です。これにより、リバーシブルトランザクションを可能にする安全な「ボールト」、自動化された定期的およびプライバシー重視の支払い、相続のようなシナリオのためのタイムロックトランスファー、エスクローや債券などの複雑な金融商品などのユースケースが可能になります。

OP_CATは元々、Bitcoinの最初のオペコードの1つとして含まれていました。しかし、匿名の創設者であるサトシ・ナカモトは、脆弱性を引き起こす可能性のあるスクリプトを作成する懸念から、2010年に他のいくつかのオペコードと共に無効にしました。

Bitcoinコミュニティは、メインネットでの提案の実装についてまだ議論しており、OP_CATのソフトフォークの可能性は、技術的、セキュリティ、およびコミュニティのコンセンサスの組み合わせに依存しています。しかし、現在はテストネットで利用可能です。

StarkWareは、「Bitcoinコミュニティおよびブロックチェーンエコシステム全体に対する明確な利益を解放するために」提案の承認を「公に支持している」と述べました。

BitcoinのSignetとは何ですか？

BitcoinのSignetネットワークは、他のBitcoinテストネットと同様に、新しい機能、アプリケーション、およびツールをBitcoinメインネットに展開する前にテストするための制御された環境を提供します。

しかし、Signetはその中央集権的な調整性とスパムや悪意のある活動に対する追加の安定性と保護のため、従来のBitcoinテストネットとは異なります。