Clicked Gallery

「ゼロ知識証明(ZKP)」とは?

実際の技術ドキュメントでハイライトされた言葉を、Clickedが解説します。

例文

Engineering Notes · AI Systems

The new authentication layer utilizes zero-knowledge proofs to verify user identity without parsing raw credentials.

読者がドキュメント内の単語をハイライトすると、Clickedが技術用語「zero-knowledge proofs」をわかりやすく解説しました:

3段階での解説

事実はそのまま、ノリだけ変えて — スラングモード 😎

Clickedのやり方

●○○

Overview

ゼロ知識証明とは、ある主張が真であることを、それを真にしている情報を明かさずに証明する仕組みのこと。定番の例が、パスワードを一度も口にせずに「パスワードを知っている」と証明することだ。
●○○

Overview

ゼロ知識証明は、秘密を言わずに「秘密を知っている」と証明すること。入力する代わりに数学的に示すので、サーバーはそれを一度も預からずにきみを認証できる。そのサーバーがハックされても、盗めるものが存在しない。😎

まずはサッと概要 — それで十分なことも。

●●○

Detail

検証側はランダムな課題を次々に投げる。どの課題も、本物の秘密を持つ者だけが答え続けられるように設計されていて、どの回答も秘密そのものについては何も明かさない。偽者もまぐれで1問は通せる。コイントスを一度当てるのと同じだ。ところが20問連続となると話が変わり、まぐれの確率はおよそ100万分の1まで落ちるので、連続正解そのものが証明になる。検証側は「主張は真である」という以外に何も知らないまま終わる。応用もそこから出てくる。パスワードを通信に流さずログインする、金額を明かさず取引の正当性を証明する、生年月日を出さず18歳以上だと証明する。難点は計算負荷の重さと、実装が壊れやすい暗号だ。
●●○

Detail

数学の学位なしで仕組みを言うと:検証側は、本物の秘密を持つ者だけが答え続けられる課題を投げ、回数を重ねればごまかしは統計的に不可能になる。保証は三つ。本物の主張は通り、偽物は落ち、何も漏れない。最後のひとつが超能力で、パスワードを送らずにログインでき、金額を晒さずに支払いの正当性を示せ、誕生日を渡さずに18歳以上だと示せる。代償は重い計算量と、本当に実装をしくじりやすい暗号だ。だからこれは何十年も学術の世界に留まり、ようやく製品に載るようになった。😎

もっと知りたい? ワンクリックで深掘り。

●●●

Analogy

ウォーリーを見つけたことを、居場所を教えずに証明する方法だ。大きな厚紙にウォーリーの大きさの穴を開け、ページの上に重ねて彼だけが見えるようにする。友達には確かに見えるので主張は証明されるが、厚紙が周囲を全部隠しているので、ページのどこにいるのかは依然として分からない。
●●●

Analogy

本来こうあるべきだった年齢確認だ。証明するのは「21歳以上である」こと、それだけ。住所も身長も臓器提供の意思も正確な誕生日も渡さない。免許証を出すというのは、実際にはそれ全部を見せる行為なのだ。ゼロ知識証明は、必要な一点だけを見せて、カードの残りはポケットに入れたままにする。

なじみのない概念も、身近なたとえでストンと理解 — 新しいたとえは何度でも。

AIによる解説には誤りが含まれる場合があります · 専門的な助言ではありません

正式な定義 — 同じ用語の、よくある説明

ゼロ知識証明とは、証明者が検証者に対し、ある主張の妥当性以外の情報を一切伝えることなく、その主張が成立することを示す暗号プロトコルである。かかるプロトコルは完全性、健全性、ゼロ知識性を満たし、対話型および非対話型(例:zk-SNARKs)の形態で実装される。応用には秘密を開示しない資格情報の検証、プライバシーを保護した取引の検証、属性の選択的証明が含まれる。実運用は証明生成コストと実装の複雑さに制約される。

「zero-knowledge proofs」のような言葉を、ブラウザ上でそのままClickedに解説させませんか?PDFにも対応。

Chromeに追加 — 無料

無料で50回の解説 · クレジットカード不要