キーポイント：
- ZeroSync は、ユーザーが完全なチェーンをダウンロードしたりサードパーティに依存したりすることなく、ビットコイン ブロックチェーンの現在の状態とトランザクション履歴を認証できるようにする機能的なプロトタイプをすでに作成しています。
- プロトタイプはビットコインのコンセンサスルールを検証できますが、トランザクションの署名は検証できません。
- ZeroSync は、単に正直なノードを信頼するのではなく、暗号証拠を使用してトランザクションを確認することで、サトシの提案をさらに一歩進めています。
ゼロ知識証明 (ZKP) は、暗号通貨コミュニティで 2010 年以上にわたって議論されてきました。サトシ・ナカモトでさえ、それらが悪用される可能性のある原始的なものであることを認識しており、それらをまだ機能していた XNUMX 年にはビットコインに組み込むというコンセプトが検討されました。
ビットコインがゼロ知識証明を実装したらどうなるでしょうか?ブロックデータをダウンロードしたり第三者に依存したりせずに、チェーンのステータスを迅速に確認できる場合、ビットコインネットワークはどのようにしてユーザーと通信するのでしょうか?
新たに発表された取り組みである ZeroSync は、ビットコインの概念実証システムの構築を主導しています。
スイスの非営利団体ZeroSync Associationとビットコインインフラ企業ブロックストリームは、ビットコインのゼロ知識証明（今年最もホットなブロックチェーン技術トレンドの1つとして浮上した暗号の一種）をブロックストリームの衛星からブロードキャストし、ビットコインの開発を支援する計画を発表した。プライバシー、相互運用性、スケーラビリティなどの特性を備えたビットコインの未来。
ゼロシンクとは何ですか?
3人のドイツ人コンピューター科学者がスイスにZeroSync Associationを設立し、競合チェーンのイーサリアムに代わって台頭した暗号化アプローチであるゼロ知識証明（zk-proofs）の使用を通じてビットコインの拡大を支援した。
暗号は、情報自体を公開することなく情報の有効性を示すゼロ知識証明で使用されます。 zk プルーフを利用してビットコイン ブロックチェーンを検証すると、チェーンの現在の 500 GB のデータをダウンロードするのに数時間 (場合によっては数日) かかることなく、ノードがすぐに同期できるようになります。
ZeroSync は今年 2 月に、完全なチェーンをダウンロードしたりサードパーティに依存したりすることなく、ユーザーがビットコイン ブロックチェーンのステータス (誰が今何を所有しているか) とトランザクション履歴を認証できる機能的なプロトタイプを構築しました。
このプロトタイプは、ビットコインのコンセンサス ルールを検証できますが、トランザクション署名は検証できません。また、少し扱いにくく、速度とセキュリティを調整する必要があるため、まだゴールデンタイムに向けた準備が整っていませんが、重要なのはそれが機能することです。
Geometry と StarkWare は、ゼロ知識プライバシー技術に深く取り組んでいる 2 つの企業であり、ZeroSync の開発に資金を提供しています。 Aztec Network の元 CEO である Tom Walton-Pocock は、ジオメトリの責任者です。 ZeroSync の初期開発は研究助成金によって資金提供されました。 StarkWare のオープンソースへの取り組みである OnlyDust も、開発資金を提供しています。
ビットコイン ブロックチェーンには、Simple Payment Verification (SPV) ノードとも呼ばれるライト クライアントが常に存在します。実際、サトシ・ナカモトは最初の白書でこの概念を説明しました。これらは、携帯電話など、完全なブロックチェーンをダウンロードできない小型デバイスにとって非常に重要です。
ZeroSync の実証システム
簡潔なゼロ知識証明は、ブロックチェーンのスケーラビリティとプライバシーの新時代の到来を約束します。このテクノロジーを展開するためにイーサリアム コミュニティでは多大な技術的努力が投資されていますが、ビットコイン ネットワークに対してはまだそのような投資は行われていません。その結果、これらの証明メカニズムを初めてビットコインに導入するために、ZeroSync が設立されました。
数百テラバイトのブロックチェーン履歴を証明するには計算コストがかかりますが、私たちの削減により非常にコンパクトな証明が得られます。プルーフが作成されると、ネットワーク内の任意の数のノードがそれを利用してネットワークと迅速に同期できます。チェーンの長さに関係なく、証明は簡潔になります。すべての証明者は、新しいブロックがマイニングされるときに、以前のチェーン証明を段階的に拡張する可能性があります。
ZeroSync は、ビットコイン ブロックチェーン上に簡潔な ZK 証明を実装し、StarkWare 独自のゼロ知識スケーラブルな透過的知識証明 (zk-STARK) 有効性証明を使用してビットコイン ネットワーク用の ZK 証明を生成し、ブロックチェーンの最新の状態を即座に検証できるようにすることに取り組んでいます。ブロックデータをダウンロードしたり、サードパーティに依存したりする必要はありません。 ZeroSync は、StarkWare の Cairo 言語を使用してビットコインプルーフを構築します。
証明システムはビットコインの不変性を効果的に補完します。これらにより、コンセンサスによる変更を必要とせずに、チェーンを圧縮し、UTXO セットコミットメントなどの新しいデータ構造で補足できるようになります。ユーザーはプルーフまたは従来のブートストラップを利用するかどうかを選択できます。ビットコインの厳格な基盤層の上に、ZKP システムは大幅な柔軟性を提供し、研究用のさまざまな独自のアプリケーションを提供します。
ZeroSync はビットコインにどのように実装されていますか?
ZeroSync は、ヘッダー チェーン プルーフ、理論的に有効なチェーン プルーフ、およびフル チェーン プルーフの 3 つの段階でチェーン プルーフを提供します。ZeroSync は、最初の 2 つの段階でプロトタイプを完成させています。
ZeroSync チームが取り組んでいる最初の証拠は、ブロック ヘッダーの有効性を扱うもので、もう公開されるはずです。チェーン内の各ブロックが現時点で難易度基準を適切に満たしていることを検証し、各難易度の調整を監視して各ブロックが正しい目標に一致することを保証します。これは、Simple Payment Verification (SPV) ウォレットのアーキテクチャにも大きな影響を与えます。
proof-of-headchain はブロック ヘッダー、proof-of-work、および難易度の変更のみをチェックし、すべてのブロック ヘッダーにマークル ツリーを追加して、すべてのブロックとトランザクションの簡潔な包含証明を提供します。軽量で計算コストが低いことが特徴です。
2 番目の証明は、ブロックの内容の実際の有効性に焦点を当てていますが、Bitcoin Core の Assume Valid 機能と同様に、証人データの有効性は検証されません。
取引サイズ制限、通貨インフレルール、その他の証人データを調査および検証しますが、署名、ハッシュロック、その他の証人データが正しいという保証は提供しません。逆に、この証明は Utreexo を使用して、各ブロックの高さで確立された UTXO をチェーンの ZKP プロシージャ全体に含めます。
最後に、最終証明では、ブロック ヘッダーの ZKP と Assume Valid の ZKP の両方を使用して、履歴チェーン内のすべての証人データの有効性を証明します。技術的には、最終的な ZeroSync プルーフ システムを採用するノードは、単一のプルーフとデフォルトでビットコイン コアよりも優れた検証モデルを備えた UTXO セットでブートストラップできるようになります。
署名情報を含むすべてのビットコインのコンセンサス ルールは、フル チェーン プルーフによって検証されます。その結果、証拠はかなり高価になります。
さらに、ZeroSync は、開発者がゼロ知識証明をビジネスやサービスに組み込むのを支援する開発者ツールキットを発行します。特定のアプリケーション シナリオには、特定の残高や取引履歴情報を開示せずに顧客に支払い能力を開示するビットコイン取引所が含まれますが、これに限定されません。プルーフはブロックチェーン データを変換またはフィルタリングし、効率的なクエリのためのインデックスを作成できます。プルーフは構成可能であるため、より簡単に拡張およびカスタマイズできます。信頼性がない、または低い クロスチェーンの相互運用性など。ゼロナレッジ条件付き支払いで証明データを販売します。
要約すると、ZeroSync はチェーンの状態の迅速な検証を可能にするだけでなく、理想的には、ビットコインのスケーラビリティ、相互運用性、プライバシーのパラダイム変化を導くことになります。もちろん、本番レベルのビットコインプルーフを開発するには、セキュリティの向上と証明パフォーマンスの面で障害が残っています。
まとめ
ZeroSync は、ZKP テクノロジーをビットコインのプライマリレイヤーに統合するプロセスを加速します。ビットコインでは、プルーフベリファイアは、有効性ロールアップ、トラストレス双方向ペッグ、完全なトランザクションプライバシーなど、多くの重要な新機能を提供します。 ZKP は、コンセンサス層に含まれていない場合や、ビットコインをロックして使用するために使用されていない場合でも、ビットコインにとって非常に強力なツールになる可能性があります。
免責事項： このウェブサイトの情報は一般的な市場解説として提供されており、投資アドバイスを構成するものではありません。 投資する前に、ご自身で調査を行うことをお勧めします。
ニュースを追跡するために私たちに参加してください： https://linktr.ee/coincu
ハロルド
コインク ニュース
著者
知識
ZeroSync は ZKP テクノロジーをビットコイン ネットワークに導入するのにどのように役立ちますか?
キーポイント：
- ZeroSync は、ユーザーが完全なチェーンをダウンロードしたりサードパーティに依存したりすることなく、ビットコイン ブロックチェーンの現在の状態とトランザクション履歴を認証できるようにする機能的なプロトタイプをすでに作成しています。
- プロトタイプはビットコインのコンセンサスルールを検証できますが、トランザクションの署名は検証できません。
- ZeroSync は、単に正直なノードを信頼するのではなく、暗号証拠を使用してトランザクションを確認することで、サトシの提案をさらに一歩進めています。
ゼロ知識証明 (ZKP) は、暗号通貨コミュニティで 2010 年以上にわたって議論されてきました。サトシ・ナカモトでさえ、それらが悪用される可能性のある原始的なものであることを認識しており、それらをまだ機能していた XNUMX 年にはビットコインに組み込むというコンセプトが検討されました。
ビットコインがゼロ知識証明を実装したらどうなるでしょうか?ブロックデータをダウンロードしたり第三者に依存したりせずに、チェーンのステータスを迅速に確認できる場合、ビットコインネットワークはどのようにしてユーザーと通信するのでしょうか?
新たに発表された取り組みである ZeroSync は、ビットコインの概念実証システムの構築を主導しています。
スイスの非営利団体ZeroSync Associationとビットコインインフラ企業ブロックストリームは、ビットコインのゼロ知識証明（今年最もホットなブロックチェーン技術トレンドの1つとして浮上した暗号の一種）をブロックストリームの衛星からブロードキャストし、ビットコインの開発を支援する計画を発表した。プライバシー、相互運用性、スケーラビリティなどの特性を備えたビットコインの未来。
ゼロシンクとは何ですか?
3人のドイツ人コンピューター科学者がスイスにZeroSync Associationを設立し、競合チェーンのイーサリアムに代わって台頭した暗号化アプローチであるゼロ知識証明（zk-proofs）の使用を通じてビットコインの拡大を支援した。
暗号は、情報自体を公開することなく情報の有効性を示すゼロ知識証明で使用されます。 zk プルーフを利用してビットコイン ブロックチェーンを検証すると、チェーンの現在の 500 GB のデータをダウンロードするのに数時間 (場合によっては数日) かかることなく、ノードがすぐに同期できるようになります。
ZeroSync は今年 2 月に、完全なチェーンをダウンロードしたりサードパーティに依存したりすることなく、ユーザーがビットコイン ブロックチェーンのステータス (誰が今何を所有しているか) とトランザクション履歴を認証できる機能的なプロトタイプを構築しました。
このプロトタイプは、ビットコインのコンセンサス ルールを検証できますが、トランザクション署名は検証できません。また、少し扱いにくく、速度とセキュリティを調整する必要があるため、まだゴールデンタイムに向けた準備が整っていませんが、重要なのはそれが機能することです。
Geometry と StarkWare は、ゼロ知識プライバシー技術に深く取り組んでいる 2 つの企業であり、ZeroSync の開発に資金を提供しています。 Aztec Network の元 CEO である Tom Walton-Pocock は、ジオメトリの責任者です。 ZeroSync の初期開発は研究助成金によって資金提供されました。 StarkWare のオープンソースへの取り組みである OnlyDust も、開発資金を提供しています。
ビットコイン ブロックチェーンには、Simple Payment Verification (SPV) ノードとも呼ばれるライト クライアントが常に存在します。実際、サトシ・ナカモトは最初の白書でこの概念を説明しました。これらは、携帯電話など、完全なブロックチェーンをダウンロードできない小型デバイスにとって非常に重要です。
ZeroSync の実証システム
簡潔なゼロ知識証明は、ブロックチェーンのスケーラビリティとプライバシーの新時代の到来を約束します。このテクノロジーを展開するためにイーサリアム コミュニティでは多大な技術的努力が投資されていますが、ビットコイン ネットワークに対してはまだそのような投資は行われていません。その結果、これらの証明メカニズムを初めてビットコインに導入するために、ZeroSync が設立されました。
数百テラバイトのブロックチェーン履歴を証明するには計算コストがかかりますが、私たちの削減により非常にコンパクトな証明が得られます。プルーフが作成されると、ネットワーク内の任意の数のノードがそれを利用してネットワークと迅速に同期できます。チェーンの長さに関係なく、証明は簡潔になります。すべての証明者は、新しいブロックがマイニングされるときに、以前のチェーン証明を段階的に拡張する可能性があります。
ZeroSync は、ビットコイン ブロックチェーン上に簡潔な ZK 証明を実装し、StarkWare 独自のゼロ知識スケーラブルな透過的知識証明 (zk-STARK) 有効性証明を使用してビットコイン ネットワーク用の ZK 証明を生成し、ブロックチェーンの最新の状態を即座に検証できるようにすることに取り組んでいます。ブロックデータをダウンロードしたり、サードパーティに依存したりする必要はありません。 ZeroSync は、StarkWare の Cairo 言語を使用してビットコインプルーフを構築します。
証明システムはビットコインの不変性を効果的に補完します。これらにより、コンセンサスによる変更を必要とせずに、チェーンを圧縮し、UTXO セットコミットメントなどの新しいデータ構造で補足できるようになります。ユーザーはプルーフまたは従来のブートストラップを利用するかどうかを選択できます。ビットコインの厳格な基盤層の上に、ZKP システムは大幅な柔軟性を提供し、研究用のさまざまな独自のアプリケーションを提供します。
ZeroSync はビットコインにどのように実装されていますか?
ZeroSync は、ヘッダー チェーン プルーフ、理論的に有効なチェーン プルーフ、およびフル チェーン プルーフの 3 つの段階でチェーン プルーフを提供します。ZeroSync は、最初の 2 つの段階でプロトタイプを完成させています。
ZeroSync チームが取り組んでいる最初の証拠は、ブロック ヘッダーの有効性を扱うもので、もう公開されるはずです。チェーン内の各ブロックが現時点で難易度基準を適切に満たしていることを検証し、各難易度の調整を監視して各ブロックが正しい目標に一致することを保証します。これは、Simple Payment Verification (SPV) ウォレットのアーキテクチャにも大きな影響を与えます。
proof-of-headchain はブロック ヘッダー、proof-of-work、および難易度の変更のみをチェックし、すべてのブロック ヘッダーにマークル ツリーを追加して、すべてのブロックとトランザクションの簡潔な包含証明を提供します。軽量で計算コストが低いことが特徴です。
2 番目の証明は、ブロックの内容の実際の有効性に焦点を当てていますが、Bitcoin Core の Assume Valid 機能と同様に、証人データの有効性は検証されません。
取引サイズ制限、通貨インフレルール、その他の証人データを調査および検証しますが、署名、ハッシュロック、その他の証人データが正しいという保証は提供しません。逆に、この証明は Utreexo を使用して、各ブロックの高さで確立された UTXO をチェーンの ZKP プロシージャ全体に含めます。
最後に、最終証明では、ブロック ヘッダーの ZKP と Assume Valid の ZKP の両方を使用して、履歴チェーン内のすべての証人データの有効性を証明します。技術的には、最終的な ZeroSync プルーフ システムを採用するノードは、単一のプルーフとデフォルトでビットコイン コアよりも優れた検証モデルを備えた UTXO セットでブートストラップできるようになります。
署名情報を含むすべてのビットコインのコンセンサス ルールは、フル チェーン プルーフによって検証されます。その結果、証拠はかなり高価になります。
さらに、ZeroSync は、開発者がゼロ知識証明をビジネスやサービスに組み込むのを支援する開発者ツールキットを発行します。特定のアプリケーション シナリオには、特定の残高や取引履歴情報を開示せずに顧客に支払い能力を開示するビットコイン取引所が含まれますが、これに限定されません。プルーフはブロックチェーン データを変換またはフィルタリングし、効率的なクエリのためのインデックスを作成できます。プルーフは構成可能であるため、より簡単に拡張およびカスタマイズできます。信頼性がない、または低い クロスチェーンの相互運用性など。ゼロナレッジ条件付き支払いで証明データを販売します。
要約すると、ZeroSync はチェーンの状態の迅速な検証を可能にするだけでなく、理想的には、ビットコインのスケーラビリティ、相互運用性、プライバシーのパラダイム変化を導くことになります。もちろん、本番レベルのビットコインプルーフを開発するには、セキュリティの向上と証明パフォーマンスの面で障害が残っています。
まとめ
ZeroSync は、ZKP テクノロジーをビットコインのプライマリレイヤーに統合するプロセスを加速します。ビットコインでは、プルーフベリファイアは、有効性ロールアップ、トラストレス双方向ペッグ、完全なトランザクションプライバシーなど、多くの重要な新機能を提供します。 ZKP は、コンセンサス層に含まれていない場合や、ビットコインをロックして使用するために使用されていない場合でも、ビットコインにとって非常に強力なツールになる可能性があります。
免責事項： このウェブサイトの情報は一般的な市場解説として提供されており、投資アドバイスを構成するものではありません。 投資する前に、ご自身で調査を行うことをお勧めします。
ニュースを追跡するために私たちに参加してください： https://linktr.ee/coincu
ハロルド
コインク ニュース
その他の投稿
関連記事
