Proof of Knowledge

暗号資産におけるProof of Knowledgeとは？

Proof of Knowledgeとは、証明者が特定の秘密情報またはウィットネスを知っていることを、必ずしもその秘密情報を明かさずに検証者へ証明する暗号学的証明です。

暗号資産の分野では、Proof of Knowledgeは主にゼロ知識証明、zk-SNARK、zk-STARK、アイデンティティシステム、プライベートトランザクション、準備金証明の設計、検証可能な計算との関連で語られます。

Proof of Knowledgeは、ある主張が真実であることだけを示す通常の証明とは異なります。

主張を真実にする隠された情報について、証明者が知識を持っていることを明確に示します。

NISTのゼロ知識証明プロジェクトでは、公開インスタンスと整合する秘密情報（ウィットネスとも呼ばれる）を知っていることを示して主張を証明する場合、「知識に関するゼロ知識証明」と表現することが有用であると説明されています。

簡単に言えば、Proof of Knowledgeは「秘密を見せずに、その秘密を知っていると証明できますか？」という問いに答えるものです。

ブロックチェーンには検証が必要である一方、ユーザーやアプリケーションはプライバシーも必要とするため、これは暗号資産の分野で大きな意味を持ちます。

ウォレット、プロトコル、ユーザーは、秘密鍵、認証情報、パスワード、コミットメントの開封値、Merkleパス、トランザクションの秘密情報、計算のウィットネスに関する知識を証明する必要がある場合があります。

Proof of Knowledgeを使うと、機密データそのものを公開せずに証明できます。

この概念は、プライバシー保護やスケーラビリティを重視する最新の暗号資産システムを支える主要な要素の一つです。

Proof of Knowledgeの仕組み

Proof of Knowledgeのシステムには通常、証明者、検証者、主張、ウィットネスが関わります。

証明者は、秘密情報を知っていると主張する側です。

検証者は、証明を確認する側の当事者またはスマートコントラクトです。

主張は、証明対象となる公開された内容です。

ウィットネスは、主張を真実にする秘密情報です。

たとえば、公開される主張は、特定のハッシュに有効な原像が存在することです。

そのハッシュを生成する秘密の値がウィットネスになります。

証明者は、ウィットネスと公開された主張を使って証明を生成します。

検証者は証明を確認し、有効であれば受け入れます。

証明システムが適切に設計されていれば、検証者はウィットネスそのものを知ることなく、証明者がウィットネスを知っていると確信できます。

Proof of Knowledgeとゼロ知識証明の違い

Proof of Knowledgeとゼロ知識証明は密接に関連していますが、同じ用語ではありません。

ゼロ知識証明は、プライバシーに重点を置きます。

証明者は、主張が真実であることを検証者に納得させながら、その真実性以外の情報を明かさずに済みます。

Ethereumのゼロ知識証明ドキュメントでは、ゼロ知識証明によって、主張の内容や真実を突き止めた方法を明らかにせずに、主張が真実であることを証明できると説明されています。

Proof of Knowledgeは、ウィットネスを保有していることに重点を置きます。

証明者が、公開された主張を満たす秘密情報を知っていることを証明します。

不要な情報が漏れる場合、証明が知識の証明であっても、完全なゼロ知識証明とは限りません。

一方で、ウィットネスに関する知識を証明しながら、ゼロ知識性を備える証明もあります。

両方の特性を備えるものは、一般に「知識に関するゼロ知識証明」と呼ばれます。

これは、暗号資産で利用される多くのzk-SNARKシステムの基本的な考え方です。

Proof of KnowledgeとProof of Workの違い

Proof of KnowledgeをProof of Workと混同してはいけません。

Proof of Workは、マイナーが計算資源を使ってブロックチェーンを保護するコンセンサスメカニズムです。

Proof of Knowledgeは、証明者がウィットネスを知っていることを示す暗号学的証明の概念です。

Proof of Workが問うのは、「この有効なブロックを作成するために、十分な計算を行いましたか？」です。

Proof of Knowledgeが問うのは、「この主張を真実にする秘密情報を知っていますか？」です。

どちらも暗号技術を使う場合がありますが、解決する問題は異なります。

Proof of Workは主にコンセンサスとSybil耐性に関するものです。

Proof of Knowledgeは主に、検証可能な知識、プライバシー、認証、正確性に関するものです。

ブロックチェーンはコンセンサスにProof of Workを使いながら、その上に構築されたアプリケーションでProof of Knowledgeを利用できます。

たとえば、PoWチェーンでもプライバシーツールや証明システムでゼロ知識証明を利用できます。

Proof of KnowledgeとProof of Stakeの違い

Proof of KnowledgeはProof of Stakeとも異なります。

Proof of Stakeは、バリデーターがトークンを担保としてロックし、ブロックチェーンの保護を支援するコンセンサスメカニズムです。

Proof of Knowledge自体は、トークンのステーキングを必要としません。

必要なのは、有効なウィットネスを知っていることを証明することです。

Proof of Stakeは、誰がブロックの提案や承認を支援できるかに関するものです。

Proof of Knowledgeは、証明者が秘密のデータを明かさずに何を証明できるかに関するものです。

Proof of Stakeブロックチェーンは、そのアプリケーション、ロールアップ、ブリッジ、アイデンティティシステムでProof of Knowledgeを利用できます。

たとえば、PoSスマートコントラクトチェーンは、ユーザーまたはロールアップが提出したzk-SNARK証明を検証する場合があります。

チェーンのバリデーターは基盤となる台帳を保護し、Proof of Knowledgeは特定の秘密の主張または計算を検証します。

これらのレイヤーは連携できますが、混同しないようにしてください。

ウィットネスの役割

ウィットネスとは、証明者が知っている秘密情報です。

Proof of Knowledgeでは、ウィットネスがシステム全体の鍵となります。

公開された主張は、適切なウィットネスを証明者が知っている場合にのみ、有効な証明を生成できるよう設計されます。

たとえば、ウィットネスには秘密鍵、パスワード、乱数、Merkle証明のパス、ノートの秘密情報、認証情報の値、非公開のトランザクション詳細などが含まれる場合があります。

検証者がウィットネスを直接確認する必要はありません。

検証者が確認する必要があるのは、証明者がルールを満たす有効なウィットネスを持っていることだけです。

機密情報を明かさずに権限や資格を証明する必要がある暗号資産システムでは、この点が重要です。

ユーザーは、自分が誰であるかを明かさずに、あるグループのメンバーであることを証明したい場合があります。

ウォレットは、秘密鍵を明かさずに秘密情報の管理権限を証明する必要がある場合があります。

プロトコルは、すべての非公開トランザクション詳細を公開せずに、プライベートトランザクションが有効であることを証明する必要がある場合があります。

証明者と検証者

Proof of Knowledgeのシステムは、証明者と検証者に依存します。

証明者が証明を生成します。

検証者が証明を確認します。

通常、証明者は検証者よりも多くの計算を行います。

一方がオフチェーンで大量の計算を行い、多数の当事者が結果を低コストで検証できるため、この非対称性は暗号資産の分野で役立ちます。

スマートコントラクトシステムでは、アクションを許可する前に証明を検証するオンチェーンコントラクトが検証者となる場合があります。

ロールアップでは、トランザクションのバッチが正しく処理されたことを示す証明を検証者が確認する場合があります。

アイデンティティシステムでは、認証情報の詳細をすべて知ることなく、ユーザーが認証情報を持つことを検証者が確認する場合があります。

検証者は、証明者本人を信頼する必要はありません。

必要なのは、証明システムの健全性と、検証ロジックの正確性を信頼することだけです。

Proof of Knowledgeにおける健全性

健全性とは、不正な証明者がウィットネスを実際に知らないまま有効な証明を作成できないことです。

証明システムが脆弱であれば、虚偽の主張が可能になるため、この特性は極めて重要です。

たとえば、秘密鍵を知らずにその秘密鍵を知っていると証明できるなら、システムは役に立ちません。

有効なトランザクションデータを知らずにロールアップの証明者が有効な状態遷移を証明できるなら、ロールアップは安全ではありません。

健全性は通常、数学的な前提、証明システムの設計、安全な実装、正しい回路構築に基づいています。

証明が数学的に有効なのは、回路またはプログラムに符号化された特定の主張についてだけです。

開発者が誤った回路を作成した場合、証明が誤った内容を証明してしまう可能性があります。

このため、ゼロ知識暗号資産システムでは回路の監査が非常に重要です。

健全性は偽の証明を防ぎますが、証明対象の主張が適切であることが前提です。

Proof of Knowledgeにおける完全性

完全性とは、ウィットネスを実際に知っている誠実な証明者が、検証者に受け入れられる証明を作成できることです。

証明システムが完全でなければ、有効なユーザーが真実の主張を証明できない場合があります。

これは、ユーザビリティとセキュリティの両面で深刻な問題になります。

たとえば、有効な認証情報を持つユーザーは、資格を証明できる必要があります。

有効なトランザクションデータを持つロールアップ運営者は、有効な証明を生成できる必要があります。

正しい秘密情報を持つウォレット所有者は、その秘密情報を知っていることを証明できる必要があります。

完全性は、ソフトウェアの正確さ、パラメーターの正確さ、十分な計算能力、適切に設計された証明システムに依存します。

実際の暗号資産アプリケーションでは、バグ、メモリー制限、不正な入力、互換性のない回路バージョンによって証明に失敗する場合があります。

つまり、Proof of Knowledgeは数学的な概念だけではありません。

エンジニアリング上の課題でもあります。

ゼロ知識性

ゼロ知識性とは、ウィットネスに関する不要な情報を証明が明かさない性質です。

ウィットネスに機密データが含まれる場合、特に重要です。

ゼロ知識性がなくてもProof of Knowledgeは役立ちますが、多くの暗号資産アプリケーションには両方の特性が必要です。

たとえば、ユーザーは自身の完全な身元を明かさずに、有効な認証情報を所有していることを証明したい場合があります。

プライベートトランザクションシステムでは、送信者、受信者、金額を明かさずに、入力と出力の金額が一致することを証明する必要がある場合があります。

準備金証明システムでは、すべてのアドレスや残高を公開せずに、資産を管理していることを証明する必要がある場合があります。

Zcashのzk-SNARK解説では、ゼロ知識証明は、主張の有効性以外の情報を明かさずに、証明者が検証者へ主張を証明する方法として説明されています。

知識に関するゼロ知識証明では、検証者は証明者がウィットネスを知っていると分かりますが、ウィットネスそのものは分かりません。

証明とプライバシーのこの両立は、現代の暗号技術における最も重要な概念の一つです。

zk-SNARKにおけるProof of Knowledge

zk-SNARKは「Zero-Knowledge Succinct Non-Interactive Argument of Knowledge」の略です。

名称の最後にある「Argument of Knowledge」は、Proof of Knowledgeと直接関係しています。

zk-SNARKを使うと、証明者は小さく、すばやく検証できる証明を作成できます。

ウィットネスを明かさずに、証明者が主張に対する有効なウィットネスを知っていることを示せます。

Zcashに関する学術研究では、zk-SNARKは簡潔で検証にかかる計算量が少ない、非対話型の知識に関するゼロ知識証明として説明されています。

オンチェーンでの検証にはコストがかかるため、zk-SNARKはブロックチェーンで有用です。

短い証明を低コストで検証できれば、ガス代を削減し、プライバシー保護型またはスケーラブルなアプリケーションを実用化しやすくなります。

zk-SNARKは、プライバシーシステム、ロールアップ、ブリッジ、資産証明の設計、プライベートアイデンティティ、検証可能な計算で利用されています。

具体的なSNARKシステムによって、トレードオフには信頼できるセットアップの前提、回路の複雑さ、証明生成コスト、実装リスクなどが含まれます。

zk-SNARKが機密データを明かさずに有用な事実を証明できるのは、Proof of Knowledgeが中核的な役割を果たしているためです。

zk-STARKにおけるProof of Knowledge

zk-STARKシステムは、ゼロ知識証明および有効性証明のもう一つの主要な方式です。

STARKベースのシステムは、透明性の高いセットアップ特性と高いスケーラビリティを備える場合があります。

STARK方式の証明では、一定の制約に従って計算が正しく実行されたことを証明者が示せます。

ウィットネスには、実行トレース、非公開入力、中間値が含まれる場合があります。

検証者は、計算全体を再実行せずに証明を確認します。

STARKは、ロールアップ、検証可能な計算、ブロックチェーンのスケーリングとの関連で語られることがよくあります。

他の証明システムと同様に、その有用性は証明対象となる具体的な主張、回路、プログラムに依存します。

STARK証明が、主張を満たすウィットネスを証明者が知っていることを示す場合、Proof of Knowledgeとして機能します。

SNARKとSTARKの実用面での違いには、証明サイズ、検証コスト、証明生成コスト、前提条件、開発ツールなどがあります。

すべての詳細を理解する必要はありませんが、どちらの方式もProof of Knowledgeの考え方を利用できることは知っておきましょう。

対話型・非対話型のProof of Knowledge

Proof of Knowledgeには、対話型と非対話型があります。

対話型証明では、証明の過程で証明者と検証者がメッセージをやり取りします。

検証者が証明者にチャレンジを提示し、証明者が知識を示す形で応答する場合があります。

対話型証明は、暗号理論や一部の認証システムで重要です。

非対話型証明では、証明者が一つの証明を作成し、検証者はやり取りを行わずに確認できます。

スマートコントラクトがオフチェーンの証明者とリアルタイムにやり取りするのは難しいため、非対話型証明はブロックチェーンで特に有用です。

ユーザーやロールアップは証明を生成し、オンチェーンで提出できます。

検証コントラクトは、一度のトランザクションで証明を確認できます。

このため、非対話型の知識証明は暗号資産アプリケーションで重要です。

公開台帳、スマートコントラクト、非同期ネットワークで証明の検証が可能になります。

Proof of KnowledgeとFiat-Shamir

Fiat-Shamir変換は、特定の対話型証明プロトコルを非対話型に変える技術です。

検証者が選ぶランダムなチャレンジを、ハッシュ関数から導出されるチャレンジに置き換えます。

ブロックチェーンでは、一度生成され、その後多数の当事者が検証できる証明が必要になることが多いため、これは重要です。

非対話型証明は、証明者と検証者がリアルタイムでやり取りする方法より、ブロックチェーン環境に適しています。

ただし、Fiat-Shamirを安全に使うには慎重な設計が必要です。

ハッシュ関数、トランスクリプトの構造、ドメイン分離、実装の詳細がすべて重要です。

変換の実装が不適切だと、セキュリティが弱まる可能性があります。

暗号資産の開発者は、独自の証明システムを考案するのではなく、実績のある証明ライブラリとレビュー済みのプロトコルを利用してください。

ユーザーが理解すべき要点は、非対話型証明によってProof of Knowledgeをオンチェーンで実用化できることです。

スマートコントラクトは証明者と何度もやり取りせずに、知識を検証できます。

Proof of Knowledgeとウォレットの所有権

暗号資産におけるProof of Knowledgeの簡単な例の一つは、秘密鍵を知っていることの証明です。

ユーザーは秘密鍵でメッセージに署名し、ウォレットアドレスを管理していることを証明できます。

これは常にゼロ知識証明と呼ばれるわけではありませんが、ユーザーが署名鍵を知っていることを実用的に証明する方法です。

ユーザーは秘密鍵そのものを明かしません。

検証者は公開鍵情報を使って署名を確認します。

ウォレットへのログイン、メッセージへの署名、基本的なアドレス所有権の確認は、一般にこの仕組みで行われます。

ただし、通常の署名では対象のアドレスが明らかになることが多く、幅広いプライバシーが得られるとは限りません。

ゼロ知識証明を使うと、この考え方を発展させ、より限定的な主張を証明できます。

たとえば、ユーザーは自身のウォレットがどれかを明かさずに、ウォレット群の一つを管理していることを証明できます。

この例は、基本的な鍵の所有証明と高度なProof of Knowledgeシステムがどのようにつながるかを示しています。

プライベートトランザクションにおけるProof of Knowledge

プライベートトランザクションシステムでは、機密情報を明かさずにトランザクションが有効であることを証明するため、Proof of Knowledgeを利用できます。

証明者は、コミットメントを開くための秘密情報を知っていると証明する必要がある場合があります。

コミットメントツリーに入力ノートが存在すると証明する必要がある場合もあります。

そのノートがまだ使用されていないことを証明する必要がある場合もあります。

金額が正しく一致することを証明する必要がある場合もあります。

検証者は、非公開のウィットネスを直接見ることなく、これらの主張を確認します。

これによって、選択されたトランザクション詳細を隠しながら、ブロックチェーンがルールを適用できる場合があります。

メタデータから情報が漏れることもあるため、プライバシーシステムは慎重に設計する必要があります。

アドレス、タイミング、ネットワークデータ、アプリケーションの動作から多くの情報が明らかになるなら、数学的にゼロ知識な証明であってもユーザーを保護できない場合があります。

Proof of Knowledgeはプライベートトランザクションの設計に欠かせない要素ですが、プライバシーを確保するには運用面の設計も重要です。

ZKロールアップにおけるProof of Knowledge

ZKロールアップは、有効性証明を使ってオフチェーンのトランザクションバッチが正しく処理されたことを示します。

EthereumのZKロールアップドキュメントでは、ZKロールアップが有効性証明を使ってEthereum上のトランザクションバッチを確定すると説明されています。

多くのロールアップ設計では、有効な状態遷移を証明するために必要なウィットネスを証明者が知っている必要があります。

ウィットネスには、トランザクションデータ、署名、アカウント状態、Merkleパス、実行トレース、中間計算値などが含まれる場合があります。

証明を使うと、基盤となるチェーンはすべてのトランザクションを再実行せずに結果を検証できます。

Proof of Knowledgeにより、証明者は状態遷移が有効だと主張するだけでは済まなくなります。

状態遷移を有効にするデータと計算に基づいて証明を生成する必要があります。

基盤となるチェーンがすべての計算を自ら行う代わりに、簡潔な証明を受け入れられるため、スケーリングにとって重要です。

ユーザーが証明を直接確認する機会は少ないかもしれませんが、ロールアップのセキュリティ、ファイナリティ、出金にかかる時間、コストに影響します。

ロールアップでは、Proof of Knowledgeが信頼を最小限に抑えた効率的な検証を支えます。

アイデンティティシステムにおけるProof of Knowledge

Proof of Knowledgeは、プライベートなアイデンティティや認証情報のシステムを支援できます。

ユーザーは、認証情報の全容を明かさずに、それが有効であることを証明したい場合があります。

たとえば、生年月日を正確に明かさずに、指定された年齢以上であることを証明できます。

どのメンバーであるかを明かさずに、承認済みのグループに属していることを証明できます。

個人書類をオンチェーンで公開せずに、本人確認の手続きに合格したことを証明できます。

通常、これらのシステムはコミットメント、認証情報、署名、ゼロ知識証明に依存します。

ウィットネスには、非公開の認証情報データが含まれる場合があります。

公開された主張には、資格要件、メンバーシップ、基準への適合といったルールを含める場合があります。

Proof of Knowledgeは、アプリケーションに公開される個人情報を減らすのに役立ちます。

ただし、プライバシー保護型のアイデンティティシステムにも、発行者のガバナンス、失効設計、ウォレットのセキュリティ、ユーザーの同意について慎重な検討が必要です。

準備金証明におけるProof of Knowledge

Proof of Knowledgeは、準備金証明や資産証明の設計で利用できます。

機関やプロトコルは、すべての秘密鍵、アドレス、運用上の詳細を明かさずに、資産を管理していることを証明したい場合があります。

特定の資金に対応する秘密鍵を知っていることを証明できます。

より高度なシステムでは、資産証明と負債、Merkleツリー、コミットメント、ゼロ知識技術を組み合わせる場合があります。

目的は、不要なプライバシー漏えいを抑えながら透明性を高めることです。

ただし、Proof of Knowledgeだけでは支払能力を証明できません。

準備金証明によって資産を管理していることを示せても、ユーザーは負債や債務についても情報を得る必要があります。

システムが一部のウォレットを管理していることを証明できても、保有額を超える債務がある可能性は残ります。

そのため、準備金証明の設計を慎重に評価する必要があります。

Proof of Knowledgeは監査の改善に役立つ場合がありますが、それだけで完全な財務監査になるわけではありません。

認証におけるProof of Knowledge

Proof of Knowledgeでは、秘密を明かさずに知っていることを証明できるため、認証に利用できます。

従来の認証ではパスワードがよく使われますが、送信方法や保管方法が不適切だと盗まれる可能性があります。

暗号学的な認証では、署名やチャレンジレスポンスプロトコルを通じて、秘密鍵を知っていることを証明できます。

暗号資産ウォレットでは、メッセージへの署名が一般的な鍵ベースの認証方法です。

ウェブサイトがウォレットにメッセージへの署名を求め、その署名でアドレスの管理権限を証明できます。

より高度なシステムでは、ユーザーが固定的な公開アイデンティティを明かさずに資格を証明できるよう、ゼロ知識性を加える場合があります。

これにより、追跡を減らし、プライバシーを高められる可能性があります。

ただし、ユーザーは署名要求に注意してください。

悪意あるウェブサイトが、危険な内容やプライバシーを侵害する内容に署名するようユーザーを誘導する場合があります。

ウォレットのインターフェースとアプリケーションのロジックが明確に設計されている場合に限り、Proof of Knowledgeはより安全な認証を支援します。

Proof of Knowledgeとコミットメント

Proof of Knowledgeのシステムでは、コミットメントがよく利用されます。

コミットメントを使うと、値を隠しながら、その値を後から変更できないようにできます。

後で、生成に使用した値と乱数を明かすことで、コミットメントを開示できます。

ゼロ知識システムでは、開示内容そのものを明かさずに、コミットメントを開くための情報を知っていると証明できる場合があります。

これは、非公開残高、封印入札、非公開投票、機密性の高いアイデンティティの主張、プライベートトランザクションのノートに有用です。

コミットメントは公開されますが、ウィットネスは非公開のままです。

証明によって、証明者がコミットメントおよびプロトコルのルールと整合する値を知っていることが示されます。

これにより、公開システムが非公開の主張を検証できます。

コミットメントとProof of Knowledgeは、隠された情報を検証可能にするため、しばしば組み合わせて使われます。

コミットメントがなければ、非公開のウィットネスを公開のブロックチェーン状態に安全に結び付けることが難しくなります。

Proof of KnowledgeとMerkleツリー

MerkleツリーもProof of Knowledgeとともによく使われるツールです。

Merkleツリーを使うと、多数のデータを一つのルートにまとめられます。

Merkle証明では、ツリー内のすべての項目を明かさずに、特定の項目が含まれていることを示せます。

ゼロ知識システムでは、正確なリーフやパスを公開せずに、有効なMerkleパスを知っていると証明できる場合があります。

これは、グループへの所属、非公開の許可リスト、シールドされたノート、認証情報の集合、準備金証明の構造に有用です。

公開入力にはMerkleルートを使用できます。

非公開のウィットネスには、リーフとパスを含められます。

証明によって、隠されたリーフがコミットされた集合に属していることを示します。

これにより、アイデンティティやデータをすべて明かさずに、アプリケーションが包含を検証できます。

Merkleツリーは、多数の非公開レコードに対するコンパクトな公開コミットメントを提供するため、大規模なデータセットでProof of Knowledgeをより有用にします。

Proof of Knowledgeのメリット

Proof of Knowledgeの第一のメリットは、プライバシーです。

証明者は、秘密そのものを明かさずに、それを知っていることを証明できます。

第二のメリットは、認証です。

ユーザーは、秘密情報そのものを明かさずに、鍵や認証情報を管理していることを証明できます。

第三のメリットは、スケーラビリティです。

ロールアップや検証可能な計算システムでは、大規模な計算をコンパクトな証明で示せます。

第四のメリットは、選択的な情報開示です。

個人情報や財務情報の全容を明かす代わりに、必要な主張だけを開示できます。

第五のメリットは、信頼の最小化です。

検証者は証明者の言葉を信頼する代わりに、数学的に証明を確認できます。

第六のメリットは、コンポーザビリティです。

スマートコントラクトは証明を検証し、それをDeFi、アイデンティティ、ゲーム、ガバナンス、ブリッジのシステムで利用できます。

第七のメリットは、監査可能性です。

機関やプロトコルは、機密記録のすべてを公開せずに特定の事実を証明できます。

Proof of Knowledgeの課題

第一の課題は複雑さです。

Proof of Knowledgeのシステムは、設計、監査、説明が難しい場合があります。

第二の課題は、証明の生成コストです。

証明の生成には、大量の計算、メモリー、専用インフラが必要になる場合があります。

第三の課題は、回路に関するリスクです。

証明が示すのは回路に符号化された主張だけなので、回路に問題があると誤った安心感を生む可能性があります。

第四の課題は、セットアップの前提条件です。

証明システムによっては、信頼できるセットアップの式典や特別な公開パラメーターが必要です。

第五の課題は、メタデータの漏えいです。

ゼロ知識証明がウィットネスを隠しても、その周辺の活動からユーザーの行動が明らかになる場合があります。

第六の課題は、検証者のバグです。

スマートコントラクトの検証者に実装上のバグがあると、不正な証明を受け入れたり、有効な証明を拒否したりする可能性があります。

第七の課題は、ユーザーの誤解です。

多くのユーザーは「証明」という言葉を見て、限られた一つの主張しか証明されていなくても、システム全体が安全だと考えてしまいます。

Proof of Knowledgeシステムのセキュリティリスク

大きなリスクの一つは、誤った主張を証明してしまうことです。

回路に重要なルールが含まれていない場合、証明自体は有効でもシステムが安全でない可能性があります。

もう一つのリスクは、乱数の弱さです。

証明システムによっては乱数値に依存するものがあり、乱数の品質が低いと秘密が漏れたり、健全性が損なわれたりする可能性があります。

さらに、ウィットネスが露出するリスクもあります。

証明生成サービスが非公開の入力を受け取る場合、そのサービスから情報が漏えいしたり、不正利用されたりする可能性があります。

悪意あるフロントエンドもリスクの一つです。

インターフェースの説明が誤解を招くために、ユーザーが理解していない主張を証明する場合があります。

古い証明生成ソフトウェアもリスクです。

証明システムは急速に進化するため、古いライブラリにはバグや弱い前提条件が含まれる場合があります。

証明を使った偽のマーケティングにも注意が必要です。

実際に何を証明しているのか説明しないまま、ゼロ知識技術やProof of Knowledgeを利用していると主張するプロジェクトもあります。

ユーザーと開発者は、主張の内容、ウィットネス、証明の生成者、検証者を必ず確認してください。

こうした質問は、用語のラベルだけを見るより多くのことを明らかにします。

Proof of Knowledgeとスマートコントラクト

スマートコントラクトは、検証コントラクトを通じてProof of Knowledgeの結果を確認できます。

検証コントラクトは、提出された証明が指定された公開入力に対して有効かどうかを確認します。

証明が有効であれば、スマートコントラクトはミント、出金、投票、請求、ブリッジ送金、状態更新などのアクションを許可する場合があります。

この設計により、オンチェーンアプリケーションで非公開のオフチェーン知識を利用できます。

ただし、検証コントラクトは正しく、効率的でなければなりません。

検証コストが高すぎると、ユーザーのガス代が高くなる場合があります。

検証が正しくなければ、アプリケーションが安全でなくなる可能性があります。

開発者は検証コントラクトを慎重にテストし、公開入力と証明の意味について明確なドキュメントを公開してください。

証明を検証するコントラクトがすべて安全だと考えてはいけません。

コントラクトは、適切なルールのもと、適切な主張に対する正しい証明を検証する必要があります。

Proof of KnowledgeとDAO

DAOでは、プライベート投票、資格確認、アンチSybil対策、トレジャリー管理にProof of Knowledgeを利用できます。

投票者は、資格のあるメンバーのうち誰であるかを明かさずに、投票資格を証明できる場合があります。

貢献者は、完全な身元を明かさずに認証情報を保有していることを証明できる場合があります。

助成金の申請者は、個人情報をすべて公開せずにメンバーシップや評判を証明できる場合があります。

DAOのプライベート投票は、投票者のプライバシーを保護しつつ二重投票を防ぐ必要があるため、実現が困難です。

Proof of Knowledgeでは、認証情報そのものを明かさずに、有効な認証情報またはヌリファイアを知っていることを証明できるため、この問題の解決に役立つ場合があります。

ヌリファイアとは、プライバシーをある程度保ちながら、二重利用を防止する値です。

DAOシステムには、ガバナンスルール、紛争解決手続き、認証情報の発行、失効方法も必要です。

Proof of Knowledgeはプライバシーを高められますが、ガバナンスに関するすべての問題を解決するものではありません。

優れたDAOの設計には、暗号技術と社会的・手続き的な保護策の組み合わせが必要です。

Proof of Knowledgeとブリッジ

ブリッジは、チェーン間で事実を検証するために証明システムを利用できます。

証明者は、ソースチェーンでイベントが発生したことを示すデータを知っていると証明する場合があります。

別のチェーン上の検証者は、資産やメッセージを解放する前にその証明を確認できます。

証明ベースのブリッジは、中央集権型の署名者への依存を減らせますが、依然として複雑なシステムです。

ブリッジの証明では、ブロックヘッダー、ファイナリティ、状態ルート、Merkle包含証明、実行の正当性などを証明する必要がある場合があります。

ウィットネスには、主張を裏付けるために必要なチェーンデータやパスを含める場合があります。

検証者は、証明が何を立証するのか正確に理解する必要があります。

Proof of Knowledgeはクロスチェーン検証に役立つ場合がありますが、それだけでブリッジの安全性が高まるわけではありません。

ブリッジのセキュリティは、ファイナリティの前提、データの可用性、アップグレード管理、流動性、緊急時の対応にも依存します。

高度な暗号技術を使用していても、ブリッジは高リスクのシステムとして扱ってください。

Proof of Knowledgeとコンプライアンス

Proof of Knowledgeは、不要な情報を明かさずに特定の事実を証明することで、コンプライアンスに配慮した設計を支援できます。

たとえば、ユーザーは完全な身分証明書をオンチェーンに保存せずに、資格要件を満たすことを証明できます。

プロトコルは、基礎となる記録をすべて公開せずに、計算が方針に従って行われたことを証明できる場合があります。

ユーザーは、すべてのアプリケーションに完全な身元を明かさずに、制限対象リストに載っていないことを証明できる場合があります。

これらの設計は、データ収集を減らし、プライバシーを高められる可能性があるため、有望です。

ただし、Proof of Knowledgeだけで法的義務がなくなるわけではありません。

規制上の要件は、法域、資産の種類、アプリケーション、ユーザー区分によって異なります。

Proof of Knowledgeは不要なデータ露出を減らすのに役立ちますが、法律やコンプライアンスに関する設計には専門家によるレビューが必要です。

ゼロ知識技術を使えば、あらゆる活動が自動的にコンプライアンスに適合すると主張するのは避けてください。

暗号技術は事実を証明できますが、どの事実が重要かは法律によって決まります。

ユーザー向けのベストプラクティス

証明を信頼する前に、実際にどの主張を証明しているのか理解してください。

証明によってプロトコル全体が安全になると考えてはいけません。

プロジェクトが公開入力、非公開ウィットネス、検証コントラクト、監査、セキュリティ上の前提を説明しているか確認してください。

秘密鍵、シードフレーズ、生の秘密情報を証明生成サービスと共有しないでください。

リモートの証明生成サービスを利用する場合、システムが安全に設計されていないと非公開のウィットネスデータが露出する可能性があるため注意してください。

プライバシー上の限界を正直に説明するアプリケーションを選びましょう。

証明がゼロ知識であっても、メタデータから情報が漏れる可能性があることを忘れないでください。

不明なウェブサイトでウォレットメッセージに署名したり、証明を生成したりしないでください。

証明ベースのアプリケーションを利用する前に、公式リンクを確認してください。

Proof of Knowledgeは強力なツールですが、魔法のような保証ではありません。

開発者向けのベストプラクティス

証明対象となる主張を正確に定義してください。

どの入力が公開情報で、どの入力が非公開のウィットネスなのかを特定しましょう。

十分なレビューを受けた証明システムと監査済みライブラリを使用してください。

専門家のレビューがない限り、独自の暗号技術を作るのは避けましょう。

必要なルールをすべて適用する回路を作成してください。

境界事例、無効なウィットネス、悪意ある入力を使って回路をテストしましょう。

証明の生成中はウィットネスデータを保護してください。

検証コントラクトを効率的かつ安全にしてください。

証明で何が証明されないかも文書化してください。

ユーザーが署名や証明の生成を行う前に、その要求内容を明確に説明するインターフェースを構築してください。

Proof of Knowledgeに関するよくある誤解

「Proof」という言葉が共通しているため、Proof of KnowledgeとProof of Workは似ているという誤解があります。

Proof of Workは計算によってコンセンサスを保護し、Proof of Knowledgeはウィットネスを保有していることを証明するため、両者は異なります。

もう一つの誤解は、あらゆるProof of Knowledgeが自動的にゼロ知識であるというものです。

Proof of Knowledgeはウィットネスの保有を証明できますが、不要な情報の漏えいを防ぐにはゼロ知識性が必要です。

さらに、有効な証明があればプロジェクト全体を信頼できるという誤解もあります。

有効な証明が確認するのは、検証者がチェックした特定の主張だけです。

ゼロ知識証明であれば、あらゆる活動が隠されるという誤解もあります。

証明がウィットネスを隠しても、トランザクションのタイミング、ウォレット間の関連、メタデータからパターンが明らかになる場合があります。

ウィットネスについてユーザーが知る必要はないという誤解もあります。

ウィットネスは証明者が実際に何を知っているかを定義するため、証明を理解するうえで中心的な要素です。

FAQ

Proof of Knowledgeとはどういう意味ですか？

Proof of Knowledgeとは、証明者が公開された主張を真実にする秘密のウィットネスを知っていると、検証者を納得させることです。

Proof of Knowledgeはゼロ知識証明と同じですか？

いいえ。Proof of Knowledgeはウィットネスを保有していることの証明に重点を置き、ゼロ知識証明は証明の過程で不要な情報を隠すことに重点を置きます。

知識に関するゼロ知識証明とは何ですか？

知識に関するゼロ知識証明は、ウィットネスに関する不要な情報を明かさずに、証明者が有効なウィットネスを知っていることを証明します。

Proof of Knowledgeにおけるウィットネスとは何ですか？

ウィットネスとは、証明者が公開された主張を証明するために使う非公開の情報です。

証明者とは何ですか？

証明者とは、証明を生成する当事者、プログラム、ノード、またはサービスです。

検証者とは何ですか？

検証者とは、証明が有効かどうかを確認する当事者、スマートコントラクト、またはシステムです。

zk-SNARKはProof of Knowledgeのシステムですか？

はい。zk-SNARKは「Zero-Knowledge Succinct Non-Interactive Argument of Knowledge」の略で、有効なウィットネスを知っていることを簡潔に証明するためによく使われます。

Proof of Knowledgeでウォレットの所有権を証明できますか？

はい。メッセージへの署名によって秘密鍵を知っていることを証明できますが、通常の署名が常にゼロ知識であるとは限りません。

Proof of Knowledgeがプライバシーに役立つのはなぜですか？

有効な非公開情報を知っていることを、その情報自体を直接明かさずに証明できるためです。

Proof of Knowledgeがロールアップに役立つのはなぜですか？

正しい実行を証明するために必要な有効なトランザクションデータや状態データをロールアップの証明者が知っていることを示すのに役立ちます。

Proof of Knowledgeによってプロトコルの安全性は保証されますか？

いいえ。特定の主張を証明するだけであり、プロトコルの安全性は回路、検証コントラクト、実装、ガバナンス、ユーザーの行動にも依存します。

Proof of Knowledgeはコンプライアンスに利用できますか？

はい。データの露出を抑えながら特定の資格や方針に関する事実を証明するのに役立ちますが、法的なコンプライアンス分析に代わるものではありません。

まとめ

Proof of Knowledgeは、証明者が秘密のウィットネスを必ずしも明かさずに、その知識を示すための基礎的な暗号学的概念です。

暗号資産の分野では、ゼロ知識証明、zk-SNARK、zk-STARK、プライベートトランザクション、ロールアップ、アイデンティティシステム、準備金証明の設計、ブリッジ、DAO、検証可能な計算に用いられています。

基本的な考え方は、証明者の主張を信頼する代わりに、検証者が数学的な証明を確認できることです。

この特性により、検証とプライバシーの両方を必要とするシステムでProof of Knowledgeが役立ちます。

機密データの露出を抑えながら、ウォレットの管理権限、認証情報の所有、トランザクションの有効性、メンバーシップ、準備金の管理、正しい計算を証明できます。

ただし、Proof of Knowledgeはあらゆる安全性を保証するものではありません。

証明が示すのは、回路、プログラム、検証者に符号化された特定の主張だけです。

主張が不完全である、回路に誤りがある、ウィットネスが漏えいする、検証コントラクトにバグがあるといった場合、ユーザーは依然としてリスクに直面する可能性があります。

Proof of Knowledgeは、隠された情報の保有を検証可能な形で証明するものと理解するとよいでしょう。

ゼロ知識性と組み合わせることで、プライベートかつスケーラブルで、信頼を最小限に抑えた暗号資産アプリケーションを構築するための強力なツールとなります。