ビットコイン (BTC) ユーザーは、ゼロ知識証明 (ZK プルーフ) を使用して、個々のブロック、最終的にはブロックチェーン全体を検証するプロセスを合理化できるようになります。

スイスを拠点とする非営利団体である ZeroSync 協会は、ユーザーがブロックチェーン全体をダウンロードしたり、第三者による検証に頼ったりすることなく、ビットコイン ネットワークの状態を検証できるツールを開発しています。

ZeroSync は、ビットコイン ブロックチェーンでゼロ知識の簡潔な証明を可能にするオープン ソース ソフトウェアを開発および維持するために作成されました。 このグループは、StarkWare 独自のゼロ知識でスケーラブルで透過的な引数の妥当性証明を使用して、Bitcoin ネットワーク用の ZK 証明を生成します。

このツールは、ビットコイン ブロックチェーンの検証プロセスをオーバーホールすることを約束しますが、ノード オペレーターはビットコイン ネットワークの正しい状態を同期するために大量のデータをアップロードする必要があります。

ZeroSync は、ゼロ知識証明を使用して最終的に有効な証明を生成し、ブロックチェーンの最新の状態をほぼ瞬時に検証します。

イーサリアムのエコシステムでは、知識の証明は使用されていません。 Polygon、Arbitrum、Optimism、StarkNet など、レイヤー 2 のスケーラビリティ ソリューションを提供するいくつかのプラットフォームは、ZK プルーフに基づくシステムを開発しています。

ZeroSync アソシエーションの発表では、大規模な計算を検証できる「ほぼ固定サイズ」の証明を提供することで、ゼロ知識証明がブロックチェーン ネットワークのスケーラビリティとプライバシーを向上させる可能性を強調しています。

このプロジェクトは、ゼロ知識証明をビットコイン ネットワークに適用するパイオニアです。 担当組織は、ビットコイン ネットワークと Unspent Transaction Output (UTXO) モデルの相対的な単純さを、再帰的証明を適用するための独自の価値命題として説明しています。

ZeroSync は、ゼロ知識証明ツールは、ネットワーク コンセンサス メカニズムの変更や、Bitcoin ネットワークとそのユーザーに対する追加の信頼レイヤーを必要としないことに注意しています。 この組織は、開発者が主題に関する深い知識を必要とせずに、特定のユース ケースの有効性のカスタム証明を生成できるようにするソフトウェア開発キットを構築しています。

ZeroSync は、最初の完全なビットコイン コンセンサス証明を実装するだけでなく、高速な初期ブロック ダウンロード クライアントを構築しています。 クライアントは、Bitcoin Core にコードを変更することなく、ユーザーが完全なノードを同期できるようにします。

ZeroSync はプログラミング言語を使用します カイロStarkWare によって起動され、計算用の STARK プログラムを作成します。

ZeroSync のツールは現在プロトタイプ段階ですが、スクリプトを除くすべてのビットコイン ルールをチェックする、有効と思われる個々のブロックの有効性を証明する機能を備えています。 チームには、ビットコイン ブロックの STARK プルーフ用のブラウザー内デモ チェッカーもあります。

ZeroSync Association は当初、Geometry と StarkWare から資金提供を受けていましたが、Bitcoin コミュニティの利害関係者による継続的な開発と保守を可能にする非営利団体を設立中です。

zk-STARKS を共同発明した StarkWare の社長兼共同創設者 Eli Ben-Sasson の声明は、Bitcoin エコシステムにおけるゼロ知識の証拠の到着の大きさを要約しています。

「低速の同期に何年も不満を感じていたユーザーは、より高速に、より少ない計算能力でネットワークに同期できるようになります。高速ブロードバンド。

ビットコインのレイヤー 2 決済システムであるライトニング ネットワークの背後にあるチームであるライトニング ラボは、プロジェクトにおける ZeroSync のパートナーおよび協力者の 1 つです。

同社は、ZeroSync を使用して、ビットコイン ブロックチェーンでのデジタル資産の発行をサポートすることを目的とした Taproot Asset Representation Overlay (Taro) プロトコルに、圧縮されたトランザクション履歴の証拠を提供する予定です。

もっと詳しく知る