> zk-SNARKとは何ですか？**原題:「****Is zkSNARK: A Beginner-Friendly Explainer****」****執筆者: 寄稿者****コンピレーション: firefire**長い間、ブロックチェーンの不可能な三角形 (つまり、スケーラビリティ、分散化、セキュリティ) は 3 つのうち 2 番目しかあり得ません)。そのため、イーサリアムがより高度なセキュリティとプライバシーを達成した後は、拡張が最優先事項になります。現在、レイヤー 2 拡張計画では、イーサリアムの共同創設者ヴィタリック ブテリン (V ゴッド) によって ZK テクノロジーが拡張問題の究極の解決策であると考えられています。5月21日、モンテネグロで開催された非営利の年次世界イーサリアムカンファレンスEDCON 2023でVゴッド氏は、今後10年でZKを基礎技術とするzk-SNARKがブロックチェーンと同じくらい重要になると述べた。それで、V God によって最近宣伝された zk-SNARK とは何ですか?ブロックチェーンのどのような問題を解決できるでしょうか?それでは今日の紹介を見ていきましょう。以下が本文です。##01 zk-SNARKsとは？### **1. zk-SNARK を作成したのは誰ですか? ****「zk-SNARK」という用語は、Nir Bitansky、Alessandro Chiesa、および Eran Tromer を含む暗号学者のグループ**によって造られました。彼らは最初に zk-SNARK の理論的根拠を論文で発表しました。その結果、zk-SNARK は多くの異なるプロジェクトやチームによって徐々に開発され、改良されてきました。### **2. zk-SNARK は何の略ですか? ****ZK: 知識ゼロ 知識ゼロ**知識がゼロとは、主張を検証する人が検証プロセスから新しい情報を得ることができないことを意味します。 **言い換えると、ゼロ知識証明プロセスでは、検証者はステートメントが真か偽かだけを知り、それ以外は何も知りません。 ****S: シンプル、簡潔**簡潔な zk-SNARKs 証明は、最短で簡単に検証できる証明です。 **これは、非常に長く複雑になる可能性がある通常のゼロ知識証明とは対照的です。通常、zk-SNARK 証明はミリ秒以内に検証できます。**N: 非インタラクティブ、非インタラクティブ**非インタラクティブな zk-SNARKs 証明では、証明者と検証者間の対話は必要ありません。 ** これは、証明者から検証者に結果メッセージが 1 つだけ送信されることを意味します。 **これは、証明を完了するために証明者と検証者が相互にやり取りする必要がある対話型証明とは対照的です。**AR: 引数 引数**議論とは、ある観点を支持する理由、または一連の理由です。 zk-SNARK のコンテキストでは、引数はステートメントが真であることを証明するために使用される一連の数学的演算です。**K: 知識 知識**知識とは、証明者が証明を完了するために必要な特定の情報を知っているという考えを指します。たとえば、これはアカウントの秘密キーである可能性があります。**要約すると、zk-SNARKs は、ユーザー (「証明者」) が自分の身元や資金の所有権など、何かを別の当事者 (「検証者」) に証明できるようにする ZK システム (ゼロ知識証明システム) です。 、など、それらの資産に関する情報を開示することはありません。 **例えば：* ユーザーは、正確な残高を共有することなく、製品またはサービスを購入するのに十分な残高をアカウントに持っていることを証明できなければなりません。* ユーザーは、個人データを共有することなく、アプリケーションにアクセスする前に自分の身元を確認できる必要があります。**「5 歳児に zk-SNARK を説明する」方法を例として、zk-SNARK が何であるかを説明するゲームを次に示します。**> 友人 3 人と「語学の先生はどこですか?」をプレイしていて、賞金は 1,000 ドルの賭けで勝者間で均等に分割されると想像してください。あなたと友達がテーブルの周りに座り、全員が中国語教師の写真を撮ります。>>> 写真の中の中国語の先生を見つけなければなりません。中国語の先生を見つけたら、彼を見つけたことを証明する必要がありますが、彼女の場所やその他の情報を明らかにすることはできません。言い換えれば、主張の正当性を超えて何も明らかにすることなく、事実に関する知識を実証したいと考えています。>>> zkSNARK を使用すると、同じサイズの紙を用意し、写真内の中国語教師の位置に点をマークできます。その後、その紙を箱の中に隠すことができ、友達がパズルを解くと、あなたがマークした中国語教師がどこにいるのかを自分の目で確認することができます。言い換えれば、zk-SNARK を使用すると、検証する必要がある情報を、その情報の正確な値を明らかにすることなく証明できます。 **現在のクロスチェーンエコシステムでは、zk-SNARKsテクノロジーを使用することで、そのプラットフォーム上に構築されたブロックチェーンとDAppのプライバシーを維持できます。 **その中で重要な考え方は、検証者が証明に関する情報を取得することは不可能であるということです (そのため、「ゼロ知識」証明と呼ばれています)。## 02zk-SNARKsの動作原理zk-SNARK は、多くのブロックチェーンが本質的に公開されているため、プライバシーがさらに重要になる暗号空間で特に重要です。最も有名な例は、プライバシー暗号資産である Zcash です。 Zcashがビットコインやイーサリアムなどのパブリックチェーンで取引される場合、送信者と受信者のアドレス、入出力値（つまり、いくら使われたのか、どれだけ使われなかったのか）などの詳細が検証に使用されます。しかし、Zcash は zk-SNARK を通じて、アドレスや金額などの情報を開示することなく、トランザクションが有効であることを証明できます。*Zcash が zkSNARKS を使用して暗号通貨ユーザーにプライバシー層を提供する方法**出典: Blockchainhub.net*zk-SNARKはどのように機能しますか? **デジタル署名**** は、zk-SNARK の仕組みを構成します**。デジタル署名は暗号アルゴリズムを使用して、要求された必要な証拠を相手に提供しながら機密情報を相手から保護します。**それでは、具体的にはどのように行われるのでしょうか?次の手順に進みます:**1. 証明者はまず、公開鍵と秘密鍵のペアの鍵を生成します。彼は秘密鍵を使用してトランザクションに署名します。2. 次に証明者は、このトランザクションを zk-SNARK にエンコードします。zk-SNARK は、トランザクションが有効であることの数学的証明です。3. 証明は公開鍵とともに検証者に送信されます。次に、検証者は、トランザクションについて何も知らなくても、公開キーを使用して式が正しいかどうかを確認します。検証される情報は少量であるため、このチェックは非常に迅速に実行され、トランザクションが有効であることを確認できます。## 03 zk-SNARKの具体的な使用例### **1. どのトークンが zk-SNARK を使用しますか? **SNARK 暗号化トークンは、zk-SNARK を使用してプライバシーを向上させる暗号化された資産であり、プライバシー トークンとも呼ばれます。このようなプライバシー トークンの例は次のとおりです。* ジーキャッシュ (ZEC)* バージス (XVG)* モネロ (XMR)・ダッシュ(DASH)・ビーム(BEAM)・ホリゼン（ZEN）※バイトコイン（BCN）zk-SNARKs の主な課題は、秘密鍵が侵害された場合に偽の証明が作成される可能性があることです。これにより、偽のプルーフの作成者が、偽のプライバシー コインを作成して使用するなどの詐欺行為を行う可能性があります。### **2. zk-SNARKS のその他のアプリケーション**Filecoin は分散型ストレージプロバイダーであり、その運用には多くの側面が含まれます。まず、Filecoin ネットワーク上のストレージプロバイダー (ブロック報酬と引き換えにストレージスペースを提供する) と「認証者」は、オンチェーンにデータを正しく保存していることを証明する必要があります。一方、ストレージプロバイダーがデータを適切に保存および保護していることを検証する必要がある「検証者」、つまりノードがいます。これらの検証者は、ストレージ プロバイダーによって提供された証明書に満足する必要があります。**これには、データの受け渡しに応じてストレージプロバイダーとノードが通信する必要があります。ご想像のとおり、このプロセスはリソースを大量に消費します。 **Filecoin の公式ブログ投稿では次のように説明されています:「ストレージを検証するために単一のストレージプロバイダーが現在証明しなければならないデータの量は膨大であり、時間の経過とともに増加する一方です。Filecoin ネットワークのブロック時間は 30 秒です。時間不変性を実現し、スケーラブルなアプローチを可能にするファイルコインには、高速、効率的、堅牢な検証を可能にするソリューションが必要です。」zk-SNARK を使用すると、関係者がストレージを検証するのにかかる時間を短縮することで、Filecoin ネットワークのスケーラビリティと効率を向上させることができます。ストレージプロバイダーにとって、zk-SNARK はストレージを証明するために転送する必要があるデータ量を削減し、運用コストを削減します。### **3. zk-SNARK は他の目的にも使用できます**例えば：* **認証: **パスワードなしでユーザー資格情報を認証します。場所や生年月日などの機密情報を保護するために、パスポートや出生証明書などの書類は必要ありません。* **投票システム: ** 有権者の身元を身元確認せずに確認でき、たとえ投票用紙が漏洩した場合でも、有権者の身元を特定することができないため、有権者のプライバシーが保護されます。* **データ圧縮:** これは zk-SNARKS の興味深い使用方法であり、別のセクションを設ける価値があります。##04 まとめ全体として、zk-SNARKS には 3 つの重要なポイントがあります。1. zkSNARKS は、x に関する他の情報を伝達することなく、一方の当事者が値 x を知っていることをもう一方の当事者に証明できるゼロ知識証明システムです。2. 重要な考え方は、証明者が x を知っていることを証明できるという事実だけから、検証者が x に関する情報を推測することは不可能であるということです。これにより証明者のデータプライバシーが保護されます。3. ゼロ知識証明システムは、安全な通信、暗号化、プライバシー保護のデータ分析など、さまざまなアプリケーションで使用されます。ゼロ知識証明システムは比較的新しい研究分野ですが、その実現可能性と実用性についてはまだ多くの未解決の疑問があります。ただし、それらはいくつかの印象的な製品を作成するために使用されています。
この記事では、Vitalik が今後 10 年間でブロックチェーンと同じくらい重要になると信じている zk-SNARK について説明します
原題:「Is zkSNARK: A Beginner-Friendly Explainer」
執筆者: 寄稿者
コンピレーション: firefire
長い間、ブロックチェーンの不可能な三角形 (つまり、スケーラビリティ、分散化、セキュリティ) は 3 つのうち 2 番目しかあり得ません)。そのため、イーサリアムがより高度なセキュリティとプライバシーを達成した後は、拡張が最優先事項になります。
現在、レイヤー 2 拡張計画では、イーサリアムの共同創設者ヴィタリック ブテリン (V ゴッド) によって ZK テクノロジーが拡張問題の究極の解決策であると考えられています。
5月21日、モンテネグロで開催された非営利の年次世界イーサリアムカンファレンスEDCON 2023でVゴッド氏は、今後10年でZKを基礎技術とするzk-SNARKがブロックチェーンと同じくらい重要になると述べた。
それで、V God によって最近宣伝された zk-SNARK とは何ですか?ブロックチェーンのどのような問題を解決できるでしょうか?それでは今日の紹介を見ていきましょう。
以下が本文です。
##01 zk-SNARKsとは？
**1. zk-SNARK を作成したのは誰ですか? **
「zk-SNARK」という用語は、Nir Bitansky、Alessandro Chiesa、および Eran Tromer を含む暗号学者のグループによって造られました。彼らは最初に zk-SNARK の理論的根拠を論文で発表しました。その結果、zk-SNARK は多くの異なるプロジェクトやチームによって徐々に開発され、改良されてきました。
**2. zk-SNARK は何の略ですか? **
ZK: 知識ゼロ 知識ゼロ
知識がゼロとは、主張を検証する人が検証プロセスから新しい情報を得ることができないことを意味します。 **言い換えると、ゼロ知識証明プロセスでは、検証者はステートメントが真か偽かだけを知り、それ以外は何も知りません。 **
S: シンプル、簡潔
簡潔な zk-SNARKs 証明は、最短で簡単に検証できる証明です。 **これは、非常に長く複雑になる可能性がある通常のゼロ知識証明とは対照的です。通常、zk-SNARK 証明はミリ秒以内に検証できます。
N: 非インタラクティブ、非インタラクティブ
非インタラクティブな zk-SNARKs 証明では、証明者と検証者間の対話は必要ありません。 ** これは、証明者から検証者に結果メッセージが 1 つだけ送信されることを意味します。 **これは、証明を完了するために証明者と検証者が相互にやり取りする必要がある対話型証明とは対照的です。
AR: 引数 引数
議論とは、ある観点を支持する理由、または一連の理由です。 zk-SNARK のコンテキストでは、引数はステートメントが真であることを証明するために使用される一連の数学的演算です。
K: 知識 知識
知識とは、証明者が証明を完了するために必要な特定の情報を知っているという考えを指します。たとえば、これはアカウントの秘密キーである可能性があります。
**要約すると、zk-SNARKs は、ユーザー (「証明者」) が自分の身元や資金の所有権など、何かを別の当事者 (「検証者」) に証明できるようにする ZK システム (ゼロ知識証明システム) です。 、など、それらの資産に関する情報を開示することはありません。 **例えば：
「5 歳児に zk-SNARK を説明する」方法を例として、zk-SNARK が何であるかを説明するゲームを次に示します。
言い換えれば、zk-SNARK を使用すると、検証する必要がある情報を、その情報の正確な値を明らかにすることなく証明できます。 **現在のクロスチェーンエコシステムでは、zk-SNARKsテクノロジーを使用することで、そのプラットフォーム上に構築されたブロックチェーンとDAppのプライバシーを維持できます。 **
その中で重要な考え方は、検証者が証明に関する情報を取得することは不可能であるということです (そのため、「ゼロ知識」証明と呼ばれています)。
02zk-SNARKsの動作原理
zk-SNARK は、多くのブロックチェーンが本質的に公開されているため、プライバシーがさらに重要になる暗号空間で特に重要です。
最も有名な例は、プライバシー暗号資産である Zcash です。 Zcashがビットコインやイーサリアムなどのパブリックチェーンで取引される場合、送信者と受信者のアドレス、入出力値（つまり、いくら使われたのか、どれだけ使われなかったのか）などの詳細が検証に使用されます。
しかし、Zcash は zk-SNARK を通じて、アドレスや金額などの情報を開示することなく、トランザクションが有効であることを証明できます。
Zcash が zkSNARKS を使用して暗号通貨ユーザーにプライバシー層を提供する方法
出典: Blockchainhub.net
zk-SNARKはどのように機能しますか? デジタル署名** は、zk-SNARK の仕組みを構成します**。デジタル署名は暗号アルゴリズムを使用して、要求された必要な証拠を相手に提供しながら機密情報を相手から保護します。
それでは、具体的にはどのように行われるのでしょうか?次の手順に進みます:
03 zk-SNARKの具体的な使用例
**1. どのトークンが zk-SNARK を使用しますか? **
SNARK 暗号化トークンは、zk-SNARK を使用してプライバシーを向上させる暗号化された資産であり、プライバシー トークンとも呼ばれます。このようなプライバシー トークンの例は次のとおりです。
zk-SNARKs の主な課題は、秘密鍵が侵害された場合に偽の証明が作成される可能性があることです。これにより、偽のプルーフの作成者が、偽のプライバシー コインを作成して使用するなどの詐欺行為を行う可能性があります。
2. zk-SNARKS のその他のアプリケーション
Filecoin は分散型ストレージプロバイダーであり、その運用には多くの側面が含まれます。
まず、Filecoin ネットワーク上のストレージプロバイダー (ブロック報酬と引き換えにストレージスペースを提供する) と「認証者」は、オンチェーンにデータを正しく保存していることを証明する必要があります。
一方、ストレージプロバイダーがデータを適切に保存および保護していることを検証する必要がある「検証者」、つまりノードがいます。これらの検証者は、ストレージ プロバイダーによって提供された証明書に満足する必要があります。
**これには、データの受け渡しに応じてストレージプロバイダーとノードが通信する必要があります。ご想像のとおり、このプロセスはリソースを大量に消費します。 **
Filecoin の公式ブログ投稿では次のように説明されています:「ストレージを検証するために単一のストレージプロバイダーが現在証明しなければならないデータの量は膨大であり、時間の経過とともに増加する一方です。Filecoin ネットワークのブロック時間は 30 秒です。時間不変性を実現し、スケーラブルなアプローチを可能にするファイルコインには、高速、効率的、堅牢な検証を可能にするソリューションが必要です。」
zk-SNARK を使用すると、関係者がストレージを検証するのにかかる時間を短縮することで、Filecoin ネットワークのスケーラビリティと効率を向上させることができます。
ストレージプロバイダーにとって、zk-SNARK はストレージを証明するために転送する必要があるデータ量を削減し、運用コストを削減します。
3. zk-SNARK は他の目的にも使用できます
例えば：
##04 まとめ
全体として、zk-SNARKS には 3 つの重要なポイントがあります。
ゼロ知識証明システムは比較的新しい研究分野ですが、その実現可能性と実用性についてはまだ多くの未解決の疑問があります。ただし、それらはいくつかの印象的な製品を作成するために使用されています。