「ゼロ知識証明」って何？5段階のレベルで説明 | 5 Levels | WIRED.jp 

レベル5の最初の会話が「お久しぶりです」からスタートして笑った

最後のおっさん二人の論戦が具体的な論文や数式を出さずに専門家であることを視聴者に納得させるゼロ知識証明になってて草

専門家同士になるとどんどん技術的な話から逸れて哲学的な問答になっていくね

「すでに答えを予測できるならその対話から新たな知識を得るはずがない」というフレーズがとても印象に残りました。 ツノメドリがいるよと言われて、ここだよと穴を開けて示されて、覗いたその穴の向こうにツノメドリがいたら、それは確かに新しく得た知識ではないですね。

後半二人とも空中戦し始めて逆に面白かった

ゼロ知識過ぎて何もわからんかった

会話をしながら相手の知識と論理のレベルを探っていくのが上手

学者になるほどに楽しそうに会話してらっしゃるのを見れるだけで眼福

難しくされると分からないので子供用の説明だけで満足した笑

散々専門的な議論を重ねた後、突如として「きっと美しい数式が生まれますよ」とか言って二人でニヤニヤし始めるの最高に数学者って感じだ

最初に出てきた女の子うちの母上よりも落ち着き放ってて尊

子供の時点で検証者って言葉を理解してるのすごすぎる。

最終レベルのゼロ知識証明では結論の前に Q.E.D. ではなくて S.R.K. を付す。 S.R.K. は「知らんけど」の略。

これマジで知りたかったけど分からなかったことだからめちゃくちゃ助かる

翻訳上手いですね。このシリーズは好きです。それとオリジナル英語版へのリンクは常に詳細欄に用意していて欲しいと思いました。

2番目の子がすでに13歳とは思えない頭の良さ。　( ˊᵕˋ ;) 最後の二人にはもう、ついて行けなかったｗ

おもろ 証明したいけれど、情報をあまり教えたくないときに使えるのか 情報の信頼性が求められるこれからの社会で大活躍するだろうな

説明もわかりやすいけど質問も秀逸だと思う。

最後あたりはもう何言ってるか分からなかったけど、アミットさんの穏やかな声を聞いてるだけで気持ちよかったわ

黒板と整理された本棚と声と外見の全てが数学者って感じで最高でした。とても為になります

サハイ教授、知識はもちろんお人柄も素晴らしいですね。どの方と話すときも、相手の考えや人格を尊重して会話しています。 特に、テン教授から強めに質問・指摘を受けた際に、それを受け入れ称賛した上で、ご自身の考えや理論の説明をする場面には感銘を受けました。 そして、テン教授の指摘も大変素晴らしかったです。 理論で終わらせず活用するというのであれば、安全性について慎重であれと考えますよね。 時にデータはナレッジになり得る、データとナレッジの線引きは?数学的に定義できるか?と、テン教授が率直な疑問を投げかけるのは、学者として責任感があるように感じました。 一方、サハイ教授は、自分は数学者なので理論を実用する上での成熟は開発者らに任せるというように答えていますね。 同じ教授という立場にある二人のコントラストが面白かったです。無論、テン教授もご自身の専門分野でどう出るかはわかりませんが…… 恥ずかしながら“ゼロ知識証明”をこちらの動画で初めて知りましたが、大変わかりやすく興味がわきました。 個人的な感覚では、ある事物においてコンポーネントではなく、そのアビリティーに基づく臨機応変なアクションの結果こそが、ゼロ知識となり得るのかなと感じました。構成要素はコピペして悪用されかねませんが、汎用性のない行動の結果はコピーしても無意味ですものね。 ただ、会話の最後に話題にあがった量子コンピューターの情報処理能力は、人のそれを圧倒的に超越しており今後も高まるので、私達人間の考える予測不能なアクションというのも膨大なデータから計算し予測できてしまいそうで…… 有能なお二人が「これからが楽しみ」「きっと美しい数式が生まれる」と目を輝かせる一方、凡人の私はシンギュラリティの先にある未来に恐怖を感じています。

Level4の人と同じような研究してる大学院生けどこの動画めっちゃモチベ上がった

新しい難問を求めて、きっと美しい数式が出来るって会話、ある程度考えて分からないとすぐGoogle先生に聞く自分に効くな… 知を求める人達カッコ良い

先生の話し方がめっちゃ聞き取りやすい

専門家同士のた会話見てるとほんと楽しそうでうらやましい

ゼロ知識証明とは、特定の知識を持っていることを証明するための技術のことです。つまり、特定の知識を持っていることを、その知識を公開することなく証明することができる技術です。これにより、証明者のプライバシー等を守ることができます。

プログラミングにおける、「出来の良い関数」とされるものを思った。 中身はブラックボックス、つまり中で行われている処理について分からないし、分からないで良い。 「こう入力したら、こう出力する」という使い方だけ分かれば使える、というのが理想的だ、という話を思い出した。 つまり、その装置の「仕組み・内部処理は理解しなくても、使い方は理解できる」というのに、どこか親しいものを感じた。

7:51　この例えが大人にはちょうどいい感じ

子供に解説した時点でアミット・サハイニキの有能さが証明された

秘密によって人々を繋げるって素敵

ツノメドリがペンギンの仲間ということまでは問題なく理解できた

メンバーを信用しなくともグループの中で居られるというのはありがたい

サハイ教授「一羽だけツノメドリがいる。捜してみるかい？」 ぼく「ツノメドリってなんや？」

これまでデータと知識の違いを意識したことが無かったのですごくためになった。

途中何回か意識とんだけど何かすごいことなんだな～こういう人達が人類を進歩させてるんだな～と思いました

公開鍵方式みたいな話かと思ったらもっとレベルの高そうな話だった 面白い！

数学が世の中でいかに重要なファクターかを垣間見ることができる動画でした。世の中のベースを作っている数学はどんどん見えにくくなっているけれど、重要性は増しています。次世代の若者がその世界を垣間見れるよう、もっと色々な分野の数学を見たいです。とても素晴らしい動画でした。

今まで、このシリーズは小学生レベルから段階的に理解することで「あーね、まぁなんとなくわかった」となれていたんだけど、今回は最初からよくわかんなくてダメ

This child is smarter than I expected😂

12:25 ジュラシックパークのイアン博士を見た時こんなセクシーで俗っぽい見た目の研究者がいるかいと思ったけど、属性的にほぼ同じ人が出てきて嬉しくなった

このハゲのおじちゃん話してるとき目がすごく輝いてて、聞いてるこっちもワクワクしてくる

とっても面白かった。このシリーズ２本目だけど、level 5で教える/教わるを超えた次元に突入するのが、楽しそうで未来を感じられて、見ていて気持ちがいい。もちろんついていけないけど。

分からない事が分かりました

最初の子供からすでに言葉の端々から頭の良さがわかるだけでなく、物腰が落ち着いているんだが

数学者終始ウッキウキで最高にかっこよかった

「ゼロ知識証明」が、量子コンピュータに勝る可能性があるというのは、すごい研究だと思いました。

なんか生物も意識もアルゴリズムだなんだって言われているけど、それは完全に論理的なもんじゃなくて断片を何度も計算して、そして正しいと信じているっていうようなものが信念なのではって思った。ゼロ知識証明みたいな。

何回聞いても理解できなかった。 これがゼロ知能の証明。 俺がゼロ知能であることを教えずにゼロ知能であることを相手に伝えた。

相手に納得させることは、お互い信頼できることに繋がる。教育だけの話でなく仕事内容や方針、友達や友人、最終的にどっちが得か損かの公平性を話せるか、これにAIを使うと人間同士の不平不満など少しでも解消できるのではないか、ナゼそうなるのか理解できないまま生活している人が沢山いる。その理由として世の中が、周りがそうだから、それで不満となって増幅されていく。レベル段階で教育を進めれば、教育についていけない人は限りなく0に近づくき、教育の底上げが格差社会の根源を絶ちきる。

最初と最後が一番興味深い

発音がめっちゃ聞き取りやすい

That’s where we come in and make impossible possible カッコいいわ

level4の人と同じ研究してるけど俺より頭よさそう

秘密鍵を直接教えなくても公開鍵を介することで間接的に秘密鍵の保持者であることを保証できるという意味で電子署名ぽいし関係深いんだろうなと思ってたら もろRSA暗号の開発者（の教え子）でひっくり返った

やばい全然わからんしかし先生の落ち着いた声と雰囲気が好き。

完全な正解を求めるのではなく､ 非常に低い確率を切り捨てて､超高確率を求めようってこと?

3人目の大学生への説明（地図のやつ）がわかりやすかった 4人目以降はもう説明とかそういうのじゃないよね笑

ツノメドリが何だか知ってる時点で天才だな

要するに、ある主張や事柄が正しいと証明したいとき、その主張や事柄が正しいという前提でないと説明できない事柄を上げて証明することをゼロ知識証明ということなのかな

地図のやつ分かりにくかったけど、やっぱりこれ「世界地図は3色だけで隣り合う国の色が異なるように塗り分けられる」が大元にあるよね？ 「正しい配置⇒隣接する国はどの組み合わせでも色が異なる」として、正しいかどうかは「ある隣接する2つの国を何回か選んで、それらの全ての組で色が異なってる」で検証するって感じかな。

面白かった いま暗号化理論の研究では「ゼロ知識証明」vs.「量子コンピュータ」の構図になってるのかな RSAの時点でもすげえと思ったけどさらに面白くなっていくな

例えば、結果を知りたい側（上司）に報告するときに、結果を報告する側（部下）が無駄なコミュニケーションを介さずに行動したと結果だけを見せる事ができる感じですかね？

面白い動画だな。こんなに面白いチャンネルの登録者数がなぜ23万なのか謎である。

最初の小学生がすでに僕より賢いんだが……

なるほどヒントはだすわけだ。ゼロ知識とは言ってるけど、ゼロ情報/データとは言ってない。 重要なのは、それが知識として体系化されないような断片状態に留められること。 相手に察知されても全く問題ない最小限度にする。

このシリーズの中でもなんも前提知識ないテーマは面白い 子供と同じように「はえ～」って顔で見れる

これを実際に使うには膨大なコンピューターパワーが必要ってことか

“信用“が積み重なって真実になるってこと？ ちがうか。特定の回答をする確率が高くなれば、その人だと証明できるようになるってことか？

要するに、「正しいっぽいこと」をめんどくさい証明を吹っ飛ばして「どうやら正しい」に持っていける考え方ってことか。 絶対に正しい！何故ならこうだからだ！という論理の塊みたいな数学において異端すぎる

持ってる情報の全てを公開しても証明できるという前提のもとで示し方を工夫すれば一から十まで言わなくてもよくなるということ？模倣が難しくなるのかな。

この大学院生……できるな……

『「理由を言わずに」正しいことを証明する』っていう言葉で混乱してしまうけど、 『「決定的な証拠」を示さず、正しいことを証明する』ということかな？ 1段階目は『場所』 2段階目は『番号』 3段階目は『3つの目封筒の色』？

素晴らしい。opensslを触ったりx.509を読み出すとこの話は俄然面白くなってくる部分。セキュリティの本質だと思ってる。

観る前→「ゼロ知識証明」？なんのことが分からんけどカッコよさげやん！ 観たあと→？？？

いまいちピンと来なかったのでChatGPTに聞いて python コードも出してもらった。 その記事のURLを貼るとコメントに表示されないので、自分のチャンネルの概要にURLを貼っておいた。

もっと簡単に三色に別れた国のとこで説明すると。 隣接する区画が違う色だとすると。 2箇所の色がわかれば、他の場所の色も分かるよね。 でも同じ色が隣り合う区画があるかもしれない。 それは全ての封筒を開けなければ分からない。

証明書の作業を並列計算に分割するって事は違うテーブルで証明作業を分担するという事？それで負担は重くなるが、処理速度を上げようって話ですか？量子コンピュータの話もしてたし、実現可能性はありますよね ランダム化に種類を持たせて別の数式が生まれる可能性があって期待が高まりますね！

素人の下らない考えだがこの動画を視聴して少なくともゼロ知識証明とは自分の情報を他者に与えることなく自分というものをNP完全問題のように中身を確認せずに証明できるようにすることだと思った。

That would be useful for job interviews.

3色問題の特定の問題とその答えを知っていることのゼロ知識証明はわかったし面白かった。 他の多くのデータや知識も3色問題の問題と答えに置き換えられるのだろうか……？

レベル0作ってくれ

｢未来を完全に予測できるのなら､それまでに新たな知識は得ていない｣という考え方が面白すぎた｡

ああ、ブロックチェーンへの応用ってハッシュが正しいかみてるとこか？

答えを言わずに、正しい答えを知っていることや、適切な方法で選挙や採点が行われていたことを証明するってことか！！

さっぱりわからない。俺の知識ゼロが証明された気分になりました。

勉強になってるのかどうかも分からないくらい勉強になります（笑）

非常に簡単に言うと、知恵の輪が解けるという証明を、解き方を教えずに解いた状態を見せるってことか。

ゼロ知識証明が催眠作用があると仰っていましたが私はそれを理解しました

話を簡単に落とすと、「問題の解き方は教えてくれないけど、あいつはどんな数学の問題を出しても正解を出してくれる。なので頭がいいとか数学のどこどこまでをマスターしてる」っていう証明方法だな。そしてその解き方に独創性や新しい理論があったとしてもそれを他人に晒す必要がないと。 　素人だから知らないけどこれって要求にもよるけど証明の確度を担保するためには行う工程をそれなりの量確保しないと証明にならなそう。擬似的な証明とかほぼ確かな証明って感じかな

要するにゼロ知識証明について詳しいことは分からせるけど、ゼロ知識証明の話をしてもゼロ知識証明のことは分からない状況がゼロ知識証明ってこと

大学院生レベルでリタイアしました笑

証明方法の1つという事は背理法とか対偶法とかの仲間ってこと？

13歳、今20の私より確実に年上に見えるわ

「選挙の集計を正しくしたい」なんて言ったら、国から予算もらえないだろうな……

チェルシーちゃんは子供ながらすでに女優で韓国系、最後の専門家（教授）は中国人

これまで A「ログインパスワードは、９５３８と・・・」 ハッカー「なるほど、Aのパスワードは９５３８か・・・」 ゼロ知識証明 A「ログインパスワード知ってるよ！３の前は５でしょ！知ってること証明できた！」 ハッカー「Aのパスワードわからん・・・」 こういうこと？

何もわからないけど、わかる人がいるってのを見て、ゼロ知識証明があるということが証明された

概念は分かった気がします。 話に着いて行けなかった部分はありますが、実際にどのように使おうとしているのかが分からなかったです。 これを人間同士で行う場合、正しいと思い込ませれば良いということでもあり、例えば最初のペンギンの例の場合、気づかれないように絵を差し替えれば(例えばマジックの技法を用いて)、嘘の証明を信じ込ませることが出来てしまいます。 この動画で僕が理解出来た部分だけでの意見ですが、この技術を逆手に取り、如何に騙すかを研究する者も現れそうな気がしました。

子供向けの説明ですでに意味が分からなかったｗ。ネットで使用例を検索してやっと意味が分かった。

唐突なﾌﾞﾛﾆｰ大学院生でお茶鼻から出るかと思った