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

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

ZeroSync は、ビットコイン ブロックチェーン上で簡潔な ZK 証明を可能にするオープン ソース ソフトウェアを開発および保守するために設立されました。チームは、StarkWare 独自の Zero-Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) 妥当性証明を使用して、ビットコイン ネットワークの ZK 証明を生成しました。

このツールは、ビットコイン ブロックチェーンの検証プロセスに革命をもたらすと期待されていますが、ビットコイン ネットワークの正しい状態を同期するためにノード オペレーターは依然として大量のデータをダウンロードする必要があります。

ZeroSync は ZK プルーフを使用して、最終的に有効なプルーフを生成し、ブロックチェーンの最新の状態をほぼ即座に検証します。

ZK 証明は、Polygon、Arbitrum、Optimism、StarkNet などの複数のレイヤー 2 スケーリング プラットフォームを強化するさまざまな証明方法を備えたイーサリアム エコシステムの啓示でした。

ZeroSync Association からの発表は、大規模な計算を検証するための「ほぼ固定サイズ」のプルーフを提供することで、ブロックチェーンのスケーラビリティとプライバシーに対する ZK プルーフの取り組みを強調しています。

このプロジェクトの研究は、ビットコイン ネットワーク上での ZK プルーフの使用の先駆者であり、グループは、ビットコインの比較的単純さと未使用トランザクション出力 (UTXO) モデルを、再帰的プルーフを適用するための独自の価値提案として説明しています。

ZeroSync は、ZK-Proof ツールはビットコイン ネットワークとそのユーザーに対するコンセンサス変更や追加の信頼仮定を必要としないと指摘しました。この組織は、開発者が深い分野の専門知識を必要とせずに、特定のユースケース向けのカスタム有効性証明を生成できるソフトウェア開発キットを構築しています。

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

ZeroSync は、StarkWare が開発した Cairo プログラミング言語を使用して、STARK 証明可能な計算プログラムを作成します。

ZeroSync のツールは現在プロトタイプの状態ですが、有効と思われる単一のブロックの有効性を証明し、スクリプトを除くすべてのビットコイン ルールを検証することができます。チームは、ビットコイン ブロックの STARK 証明に利用できるブラウザ内デモ検証ツールも備えています。

ZeroSync Association は当初、Geometry と StarkWare によって資金提供されていますが、ビットコイン コミュニティ内の関係者による継続的な開発とメンテナンスをサポートする非営利団体として設立されています。

zk-STARKSを共同発明したスターウェア社の社長兼共同創設者イーライ・ベン・サッソン氏は、ビットコインエコシステムにZKプルーフを導入することの重要性を声明で次のように要約した。

「同期の遅さにイライラしていたユーザーは、より少ない計算量でより速くネットワークと同期できるようになります。これは、遅いダイヤルアップ インターネットから高速ブロードバンドへの移行と同様の技術的進歩です。」

ビットコインのレイヤー 2 ライトニング ネットワーク支払いシステムを支えるチームである Lightning Labs は、ZeroSync プロジェクトの貢献パートナーです。

同社は、ZeroSync を使用して、ビットコイン ブロックチェーン上のデジタル資産の発行を強化するように設計された Taproot Asset Representation Overlay (Taro) プロトコルに圧縮された取引履歴証明を提供する予定です。