「ゼロ知識証明」って何?5段階のレベルで説明 | 5 Levels | WIRED.jp
ฝัง
- เผยแพร่เมื่อ 25 ส.ค. 2024
- UCLAの教授でコンピューターサイエンスを教えている、アミット・サハイが、「ゼロ知識証明」の概念を5パターンの難易度で説明する。子供からティーンエイジャー、大学生・大学院生、専門家へと、説明する対象が変わるにつれて、内容が複雑化して難易度が上昇していく。あなたは一体どのレベル?
WIRED JAPAN チャンネル登録はこちら▶︎▶︎bit.ly/WIREDjpY...
WIRED JAPAN:wired.jp
WIRED.jp Twitter: / wired_jp
WIRED.jp Facebook: / wired.jp
WIRED.jp Instagram: / wired_jp
WIRED.jp TikTok: / wired_jp
WIRED SZメンバーシップ:
『WIRED』日本版のサブスクリプションサービス「WIRED SZメンバーシップ」に加入すると、記事が読み放題になるほか、会員限定のニュースレターや雑誌『WIRED』日本版のPDFダウンロード、各種イベントへの優待など多くの特典が受けられます。
wired.jp/membe...
WIRED NEWSLETTER:
WIRED NEWSLETTERをご購読いただくと、編集部おすすめの記事や最新のイベント情報、雑誌『WIRED』日本版の情報などを毎週お届けいたします。
wired.jp/about...
レベル5の最初の会話が「お久しぶりです」からスタートして笑った
わかる、13歳であれは大人すぎる
@@suraimu. 最後の男性は13歳だった………?
@@suraimu.
それだとまるで前世からの因縁みたいになっちゃう
最後のおっさん二人の論戦が具体的な論文や数式を出さずに専門家であることを視聴者に納得させるゼロ知識証明になってて草
なんでこんなアホみたいなコメントがいいね貰えてるのか謎
これレベル2.5でいいだろ
二人が実は超ハイレベルな俳優か何かで、すべての単語はでたらめな、適当な言葉の羅列に過ぎないという可能性も否定はできない!
専門家同士になるとどんどん技術的な話から逸れて哲学的な問答になっていくね
会話をしながら相手の知識と論理のレベルを探っていくのが上手
ゼロ知識過ぎて何もわからんかった
知識ゼロ証明
ゼロ知能で草
ゼロ細胞で草
コメントセンス良すぎ
内容を理解させずに証明の存在を教えることができましたね
「すでに答えを予測できるならその対話から新たな知識を得るはずがない」というフレーズがとても印象に残りました。
ツノメドリがいるよと言われて、ここだよと穴を開けて示されて、覗いたその穴の向こうにツノメドリがいたら、それは確かに新しく得た知識ではないですね。
『得るのではなく共有する』っていうのが肝かも知れないですね
@@gossam2008 gossam2008さんの『得るのではなく共有する』というコメントになるほどと思いました。
レベル4の方との会話にあった「他者への不信感を緩和したい」「人を信用する必要なく交流する技術」に通じている気がします。
居るよ、と言われただけで「知識」になりますか?「居る」が確かだと納得できていない時点では情報ではないでしょうか。
「知識」と言ってしまうことに疑問を感じてしまいました。
@@user-um8li9if3b そうですね。私はこの場合は、証明者が持つ「この写真のなかにツノメドリがいると知っていること」を知識と解釈しました。
そして検証者は穴を覗いた先にツノメドリがいたことで「証明者が持つ『この写真のなかにツノメドリがいると知っていること』が確かだった」と検証したのかなと。
私自身はこういった分野に詳しいわけでもないですから、こういうことかな?と私が軽率に考えコメントしたことに疑問を感じられるのはもっともだと思います。
ご指摘ありがとうございます。
@@epoch1127 お返事ありがとうございます。対話したくコメントをしたのですが、指摘と感じさせてしまう言い方を失礼しました。なるほど、証明者の持つ知識を検証者が確かめる、その過程で「検証者には」知識は求められないですね。すでに証明者は知っていることを、検証者に「確かにそうだ」と言わせているだけですね。ありがとうございます!epochさんの説明は動画の字幕より分かりやすかったです。
少し分かった気がしたのですが、新たな疑問が湧いてしまいました。
ゼロ知識証明は「人を信用することなく交流する」ための技術だとのことですが、検証者が証明者に対して完全な信用を持たなければ、そもそもこの証明は成り立たない気がしましたが、epochさんを始めとした動画を見た皆さんはどう思われましたか。
穴から覗いて見えたツノメドリが、本当に先に見せられた写真に存在したのかを、検証者に確かめる術はありませんよね。検証者は、知識を持っていないのですから。
あんまり長文で連投するのは良くないですね、コメントをやり取りできて楽しかったです。ありがとうございました。
後半二人とも空中戦し始めて逆に面白かった
難しくされると分からないので子供用の説明だけで満足した笑
学者になるほどに楽しそうに会話してらっしゃるのを見れるだけで眼福
最初に出てきた女の子うちの母上よりも落ち着き放ってて尊
子供の時点で検証者って言葉を理解してるのすごすぎる。
散々専門的な議論を重ねた後、突如として「きっと美しい数式が生まれますよ」とか言って二人でニヤニヤし始めるの最高に数学者って感じだ
新しい難問を求めて、きっと美しい数式が出来るって会話、ある程度考えて分からないとすぐGoogle先生に聞く自分に効くな…
知を求める人達カッコ良い
最終レベルのゼロ知識証明では結論の前に Q.E.D. ではなくて S.R.K. を付す。
S.R.K. は「知らんけど」の略。
SiRannoKai
滅茶苦茶センスあるコメやなw
これマジで知りたかったけど分からなかったことだからめちゃくちゃ助かる
おもろ
証明したいけれど、情報をあまり教えたくないときに使えるのか
情報の信頼性が求められるこれからの社会で大活躍するだろうな
2番目の子がすでに13歳とは思えない頭の良さ。 ( ˊᵕˋ ;)
最後の二人にはもう、ついて行けなかったw
Level4の人と同じような研究してる大学院生けどこの動画めっちゃモチベ上がった
ツノメドリがペンギンの仲間ということまでは問題なく理解できた
ツノメドリは遠目にペンギンにちょっと似てるだけで仲間ではないのです
もはや何にも理解できてないスネちゃん好き
翻訳上手いですね。このシリーズは好きです。それとオリジナル英語版へのリンクは常に詳細欄に用意していて欲しいと思いました。
最後あたりはもう何言ってるか分からなかったけど、アミットさんの穏やかな声を聞いてるだけで気持ちよかったわ
黒板と整理された本棚と声と外見の全てが数学者って感じで最高でした。とても為になります
子供に解説した時点でアミット・サハイニキの有能さが証明された
説明もわかりやすいけど質問も秀逸だと思う。
メンバーを信用しなくともグループの中で居られるというのはありがたい
ゼロ知識証明とは、特定の知識を持っていることを証明するための技術のことです。つまり、特定の知識を持っていることを、その知識を公開することなく証明することができる技術です。これにより、証明者のプライバシー等を守ることができます。
先生の話し方がめっちゃ聞き取りやすい
専門家同士のた会話見てるとほんと楽しそうでうらやましい
サハイ教授、知識はもちろんお人柄も素晴らしいですね。どの方と話すときも、相手の考えや人格を尊重して会話しています。
特に、テン教授から強めに質問・指摘を受けた際に、それを受け入れ称賛した上で、ご自身の考えや理論の説明をする場面には感銘を受けました。
そして、テン教授の指摘も大変素晴らしかったです。
理論で終わらせず活用するというのであれば、安全性について慎重であれと考えますよね。
時にデータはナレッジになり得る、データとナレッジの線引きは?数学的に定義できるか?と、テン教授が率直な疑問を投げかけるのは、学者として責任感があるように感じました。
一方、サハイ教授は、自分は数学者なので理論を実用する上での成熟は開発者らに任せるというように答えていますね。
同じ教授という立場にある二人のコントラストが面白かったです。無論、テン教授もご自身の専門分野でどう出るかはわかりませんが……
恥ずかしながら“ゼロ知識証明”をこちらの動画で初めて知りましたが、大変わかりやすく興味がわきました。
個人的な感覚では、ある事物においてコンポーネントではなく、そのアビリティーに基づく臨機応変なアクションの結果こそが、ゼロ知識となり得るのかなと感じました。構成要素はコピペして悪用されかねませんが、汎用性のない行動の結果はコピーしても無意味ですものね。
ただ、会話の最後に話題にあがった量子コンピューターの情報処理能力は、人のそれを圧倒的に超越しており今後も高まるので、私達人間の考える予測不能なアクションというのも膨大なデータから計算し予測できてしまいそうで……
有能なお二人が「これからが楽しみ」「きっと美しい数式が生まれる」と目を輝かせる一方、凡人の私はシンギュラリティの先にある未来に恐怖を感じています。
今まで、このシリーズは小学生レベルから段階的に理解することで「あーね、まぁなんとなくわかった」となれていたんだけど、今回は最初からよくわかんなくてダメ
逆にステップ3の大学生に教える例を見たほうがわかりやすかったかも
サハイ教授「一羽だけツノメドリがいる。捜してみるかい?」
ぼく「ツノメドリってなんや?」
草
ペンギンじゃないやつや。
@@usr747
これが「ゼロ知識証明」?
途中何回か意識とんだけど何かすごいことなんだな~こういう人達が人類を進歩させてるんだな~と思いました
7:51 この例えが大人にはちょうどいい感じ
公開鍵方式みたいな話かと思ったらもっとレベルの高そうな話だった
面白い!
2番目のは公開鍵方式の話であってますよ!
秘密によって人々を繋げるって素敵
プログラミングにおける、「出来の良い関数」とされるものを思った。
中身はブラックボックス、つまり中で行われている処理について分からないし、分からないで良い。
「こう入力したら、こう出力する」という使い方だけ分かれば使える、というのが理想的だ、という話を思い出した。
つまり、その装置の「仕組み・内部処理は理解しなくても、使い方は理解できる」というのに、どこか親しいものを感じた。
これまでデータと知識の違いを意識したことが無かったのですごくためになった。
数学者終始ウッキウキで最高にかっこよかった
This child is smarter than I expected😂
数学が世の中でいかに重要なファクターかを垣間見ることができる動画でした。世の中のベースを作っている数学はどんどん見えにくくなっているけれど、重要性は増しています。次世代の若者がその世界を垣間見れるよう、もっと色々な分野の数学を見たいです。とても素晴らしい動画でした。
12:25
ジュラシックパークのイアン博士を見た時こんなセクシーで俗っぽい見た目の研究者がいるかいと思ったけど、属性的にほぼ同じ人が出てきて嬉しくなった
分からない事が分かりました
level4の人と同じ研究してるけど俺より頭よさそう
どういう学部、学科に入ればこういう研究ができるんてすか?
@@0pppngen 情報系の学部です。学部というより暗号/圧縮の研究室に入れるところ選んだ方がいいと思います。
最初の子供からすでに言葉の端々から頭の良さがわかるだけでなく、物腰が落ち着いているんだが
何回聞いても理解できなかった。
これがゼロ知能の証明。
俺がゼロ知能であることを教えずにゼロ知能であることを相手に伝えた。
とっても面白かった。このシリーズ2本目だけど、level 5で教える/教わるを超えた次元に突入するのが、楽しそうで未来を感じられて、見ていて気持ちがいい。もちろんついていけないけど。
「ゼロ知識証明」が、量子コンピュータに勝る可能性があるというのは、すごい研究だと思いました。
このハゲのおじちゃん話してるとき目がすごく輝いてて、聞いてるこっちもワクワクしてくる
なんか生物も意識もアルゴリズムだなんだって言われているけど、それは完全に論理的なもんじゃなくて断片を何度も計算して、そして正しいと信じているっていうようなものが信念なのではって思った。ゼロ知識証明みたいな。
発音がめっちゃ聞き取りやすい
サンデル教授も同じく、聞き取りやすいです。
最初と最後が一番興味深い
ツノメドリが何だか知ってる時点で天才だな
相手に納得させることは、お互い信頼できることに繋がる。教育だけの話でなく仕事内容や方針、友達や友人、最終的にどっちが得か損かの公平性を話せるか、これにAIを使うと人間同士の不平不満など少しでも解消できるのではないか、ナゼそうなるのか理解できないまま生活している人が沢山いる。その理由として世の中が、周りがそうだから、それで不満となって増幅されていく。レベル段階で教育を進めれば、教育についていけない人は限りなく0に近づくき、教育の底上げが格差社会の根源を絶ちきる。
秘密鍵を直接教えなくても公開鍵を介することで間接的に秘密鍵の保持者であることを保証できるという意味で電子署名ぽいし関係深いんだろうなと思ってたら
もろRSA暗号の開発者(の教え子)でひっくり返った
That’s where we come in and make impossible possible
カッコいいわ
完全な正解を求めるのではなく、
非常に低い確率を切り捨てて、超高確率を求めようってこと?
やばい全然わからんしかし先生の落ち着いた声と雰囲気が好き。
3人目の大学生への説明(地図のやつ)がわかりやすかった
4人目以降はもう説明とかそういうのじゃないよね笑
要するに、ある主張や事柄が正しいと証明したいとき、その主張や事柄が正しいという前提でないと説明できない事柄を上げて証明することをゼロ知識証明ということなのかな
面白かった
いま暗号化理論の研究では「ゼロ知識証明」vs.「量子コンピュータ」の構図になってるのかな
RSAの時点でもすげえと思ったけどさらに面白くなっていくな
量子コンピューターはNP完全問題を効率的に解くことができないので大丈夫です
@@vonneumann6161 ショアの素因数分解アルゴリズムって,そのアルゴリズム使うより2から順番に割っていった方が早いってやつでしたっけ?
俺もいつかこの会話に参加できるようにしたい
@@sonicck777 ショアのアルゴリズムの計算量はO(n^3)(nは桁数)くらいです。普通のコンピューターで Θ(n^k)(kはnによらない定数)以下の計算量はで素因数分解できるアルゴリズムは見つかってません
この大学院生……できるな……
最初の小学生がすでに僕より賢いんだが……
地図のやつ分かりにくかったけど、やっぱりこれ「世界地図は3色だけで隣り合う国の色が異なるように塗り分けられる」が大元にあるよね?
「正しい配置⇒隣接する国はどの組み合わせでも色が異なる」として、正しいかどうかは「ある隣接する2つの国を何回か選んで、それらの全ての組で色が異なってる」で検証するって感じかな。
実は違います。四色問題で調べてもらえるとより詳しいですが、実は3色では塗りきれず4色必要な架空の地図が存在することが証明によりわかっており、だからこそ「この」地図は3色で塗れることを証明することが自明でない知識という設定になっています。
何故なら適当に架空の地図を描いたら、それがどんな地図であれ4色あれば塗れることはすでに数学的に証明されているのですが、3色で塗れるかどうか(適当にどの隣接国を選んでも毎回違う色になっているか)は、実際に3色で塗り切れることを手元でやってみた本人しか知らないからです
@@quasar9504これはありがとうございます。なるほど。深く知らなかったため3色で塗りきれるものと思ってましたが、3色で塗れるのは特殊な場合だったと証明されてたとは。勉強になりました。
そして特殊な場合だからこそ「3色で塗れること地図を見せずに証明する」という方向でゼロ知識証明が成立するわけですね。とっても腑に落ちました。
このシリーズの中でもなんも前提知識ないテーマは面白い
子供と同じように「はえ~」って顔で見れる
これを実際に使うには膨大なコンピューターパワーが必要ってことか
「未来を完全に予測できるのなら、それまでに新たな知識は得ていない」という考え方が面白すぎた。
面白い動画だな。こんなに面白いチャンネルの登録者数がなぜ23万なのか謎である。
例えば、結果を知りたい側(上司)に報告するときに、結果を報告する側(部下)が無駄なコミュニケーションを介さずに行動したと結果だけを見せる事ができる感じですかね?
要するに、「正しいっぽいこと」をめんどくさい証明を吹っ飛ばして「どうやら正しい」に持っていける考え方ってことか。
絶対に正しい!何故ならこうだからだ!という論理の塊みたいな数学において異端すぎる
観る前→「ゼロ知識証明」?なんのことが分からんけどカッコよさげやん!
観たあと→???
レベル0作ってくれ
“信用“が積み重なって真実になるってこと?
ちがうか。特定の回答をする確率が高くなれば、その人だと証明できるようになるってことか?
ああ、ブロックチェーンへの応用ってハッシュが正しいかみてるとこか?
素晴らしい。opensslを触ったりx.509を読み出すとこの話は俄然面白くなってくる部分。セキュリティの本質だと思ってる。
非常に簡単に言うと、知恵の輪が解けるという証明を、解き方を教えずに解いた状態を見せるってことか。
なるほどヒントはだすわけだ。ゼロ知識とは言ってるけど、ゼロ情報/データとは言ってない。
重要なのは、それが知識として体系化されないような断片状態に留められること。
相手に察知されても全く問題ない最小限度にする。
要するにゼロ知識証明について詳しいことは分からせるけど、ゼロ知識証明の話をしてもゼロ知識証明のことは分からない状況がゼロ知識証明ってこと
持ってる情報の全てを公開しても証明できるという前提のもとで示し方を工夫すれば一から十まで言わなくてもよくなるということ?模倣が難しくなるのかな。
「選挙の集計を正しくしたい」なんて言ったら、国から予算もらえないだろうな……
要するにゼロ知識証明について詳しいことは分からせるけど、ゼロ知識証明の話をしてもゼロ知識証明のことは分からない状況がゼロ知識証明ってこと
ゼロ知識証明が催眠作用があると仰っていましたが私はそれを理解しました
素人の下らない考えだがこの動画を視聴して少なくともゼロ知識証明とは自分の情報を他者に与えることなく自分というものをNP完全問題のように中身を確認せずに証明できるようにすることだと思った。
『「理由を言わずに」正しいことを証明する』っていう言葉で混乱してしまうけど、
『「決定的な証拠」を示さず、正しいことを証明する』ということかな?
1段階目は『場所』
2段階目は『番号』
3段階目は『3つの目封筒の色』?
何もわからないけど、わかる人がいるってのを見て、ゼロ知識証明があるということが証明された
いまいちピンと来なかったのでChatGPTに聞いて python コードも出してもらった。
その記事のURLを貼るとコメントに表示されないので、自分のチャンネルの概要にURLを貼っておいた。
あざっす
That would be useful for job interviews.
もっと簡単に三色に別れた国のとこで説明すると。
隣接する区画が違う色だとすると。
2箇所の色がわかれば、他の場所の色も分かるよね。
でも同じ色が隣り合う区画があるかもしれない。
それは全ての封筒を開けなければ分からない。
13歳、今20の私より確実に年上に見えるわ
大学の卒業論文がこれだった。なつかしい。
答えを言わずに、正しい答えを知っていることや、適切な方法で選挙や採点が行われていたことを証明するってことか!!
証明方法の1つという事は背理法とか対偶法とかの仲間ってこと?
勉強になってるのかどうかも分からないくらい勉強になります(笑)
大学院生レベルでリタイアしました笑
話を簡単に落とすと、「問題の解き方は教えてくれないけど、あいつはどんな数学の問題を出しても正解を出してくれる。なので頭がいいとか数学のどこどこまでをマスターしてる」っていう証明方法だな。そしてその解き方に独創性や新しい理論があったとしてもそれを他人に晒す必要がないと。
素人だから知らないけどこれって要求にもよるけど証明の確度を担保するためには行う工程をそれなりの量確保しないと証明にならなそう。擬似的な証明とかほぼ確かな証明って感じかな
証明書の作業を並列計算に分割するって事は違うテーブルで証明作業を分担するという事?それで負担は重くなるが、処理速度を上げようって話ですか?量子コンピュータの話もしてたし、実現可能性はありますよね
ランダム化に種類を持たせて別の数式が生まれる可能性があって期待が高まりますね!
チェルシーちゃんは子供ながらすでに女優で韓国系、最後の専門家(教授)は中国人
唐突なブロニー大学院生でお茶鼻から出るかと思った
3色問題の特定の問題とその答えを知っていることのゼロ知識証明はわかったし面白かった。
他の多くのデータや知識も3色問題の問題と答えに置き換えられるのだろうか……?
4段階目からもう説明じゃないんよ
アメリカ版 上野次郎大先生爆誕っ!
「どんと来い証明現象!!」
これが後のシビュラシステムに組み込まれるんだよね…