神奇的零知识证明！既能保守秘密，又让别人信你！
Vložit
- čas přidán 27. 07. 2024
- 【加入会员链接】 / @tchliyongle
【订阅频道链接】 / 李永乐老师
------------------------------------------------
视频内容：
如果你证明了哥德巴赫猜想，既不想告诉别人细节，又想让别人相信你，有什么方法吗？如果你办了一个企业，被对手指责财务造假，你既不想透露自己的财务数据，又想澄清谣言，有什么方法吗？零知识证明可以帮助你，通过证明者和验证者的交互，证明者可以让验证者相信自己的确具有某种信息或者技能，但是对于信息或者技能本身却不会有丝毫泄密。这是怎么做到的？点开视频看看吧！
内容章节：
00:00 前言
00:41 零知识证明
03:31 阿里巴巴与四十大盗
04:29 第一关 分球
07:05 第二关 阿里巴巴的山洞
09:31 第三关 数独
12:25 第四关 染色问题
15:20 NP完全问题
16:54 思考题
------------------------------------------------
火热视频推荐：
千万不要用微波炉烧水！
• 千万不要用微波炉烧水！李永乐老师讲过热/过冷液体
如何才能摆脱贫穷？穷人和富人有什么差别？
• 如何才能摆脱贫穷？穷人和富人有什么差别？【2...
李永乐和马斯克财富差距有多大？
• 李永乐和马斯克财富差距有多大？不过是6只猴子而已
【经济泡沫1/4】一朵花换一栋楼？
• 【经济泡沫1/4】一朵花换一栋楼？疯狂的荷兰...
如何才能长生不老？
• 如何才能长生不老？生命的时钟在哪里？
神奇的鲁伯特之泪：子弹打不碎，一捏就爆炸
• 神奇的鲁伯特之泪：子弹打不碎，一捏就爆炸
牛奶：必需品还是阴谋？
• 牛奶：必需品还是阴谋？告诉你关于牛奶的一切
------------------------------------------------
大家有什么想看的内容，可以在下方留言！ - Věda a technologie
我最尊敬李老师的地方，是他火了之后，没有想去吃烂钱，而是依然踏踏实实给我们上我们听不懂的课，是一个担得起老师这称呼的人
就是這樣，比起其他老師我更喜歡聽他講東西^_^
@@plastic397 比起他讲的东西，更喜欢他讲课方式。。感觉他讲什么都很有意思。
听不懂的课是亮点
还没收学费，比中学数学老师实在多了
你应该年龄不大
李永乐老师口里的“小朋友”越来越恐怖了，连歌德巴克猜想都解出来了
李永乐老师的小朋友就是外星人
幸好李老师的小朋友和罗老师的法外狂徒张三不是同一个人 :p
@@AquoibonLee 一个精通柯学，一个精通科学
只有小朋友才会蠢到声称证明了歌德巴赫猜想吧
@@wentaowang4244 举个例子而已吧
我們：小朋友=小孩子
李永樂老師：小朋友=人類
我只是眨個眼然後我就懵了
小朋友=人類 ×
小朋友≠人類 ✓
且小朋友≠0
@@peperonya9404
小朋友=人類√
李永樂≠人類√
你要想想李永樂老師教書的地點，那裡的小朋友在數理化的知識儲備量搞不好已經超過百分之五十以上（甚至更多）的成年人了。
李老师的严肃中充满了幽默，虽然不大懂，但李老师的讲解也是把零知识给我们演示了一遍，谢谢🙏
看完後我證明了我是零知識的😂😂
+1
你不須知道知識，你只要知道李老師知道這知識就好。
證明一下吧 （*＾-＾*）
这是一种很谦虚不着痕迹的吹牛逼的方式 😂 🤣
我现在严重怀疑学校老师都是做零知识传授！😨
阿里巴巴從一個快樂的青年變成一個色覺正常的青年
你暴露了年龄
你暴露了年龄
我们都是“小朋友”，想起了再过20年我们来相会，转眼都过40年了
把問題和答案的關聯轉變成機率問題。
透過趨近無窮次的試驗，使猜對的機率趨近0
總結的很好
非常好的總結！
現實執行上就是
你每次來問我，我都能回答
如此反覆無限次
結果證了你什麼問題我都能用一張嘴解
古代講「大智若愚」 「無為法，無所不為」
從統計驗證的角度來說，一般只要把猜對的機率壓到低於0.05%就會認定這不是矇的(顯著水準)，如果想要嚴謹一點會把標準提高到機率低於0.01%
賭場那集有認真看
这个相当有用，能让老师真的相信，你只是忘记了带作业，而不是故意落在家里。
老师重出一份作业，"你做过的话肯定可以很快就再做过"
四十大盗的脾气真好...
你没看懂啊，杀了阿里巴巴就肯定没有人知道密码了。留着的话，也许有一天阿里巴巴会说出来，大盗不想放弃这个机会
@@feifeishuishui 打到说出来为止嘛
@@user-yi6im7ot6o 就数你最聪明！阿里巴巴说出来是死，不说还能活。“打到说出来为止”别人怎么都想不到呢？警校学生刑侦，审讯都不用学了，直接跟你这个天才学
@@shiranuic9547 你这类比不对，警察刑侦确实不会这么搞。但这是强盗，是不会给你讲什么规矩的，这种情形要和战争时期的间谍战俘等类比。不要高估肉体的承受力，如果毫无顾忌的折磨很久他还是不说，基本上就是他真的不知道，或者他就是死硬的要独吞财宝。这种情况直接处决才是最优解。战争时期间谍战俘被直接搞死的还少吗。
直接殺了是雙輸,假如對於阿里巴巴而言保守秘密是唯一目標,那選項只有誓死不講事實並且去死
但阿里巴巴死掉/不露口風->大盜並不能讓自己獨吞寶藏,知道嗎?
除非你是"德意志醫學世界第一",不過這是另一個問題了
李老师就是李老师，用知识和学问解释社会现状👍
我的理解是，在這些例子中，零知識證明基本上是一個把「真不知道」的概率壓到微乎其微來去證明「知道」的方法。
感谢李老师，一直不理解零知识证明，网上的文章也看不懂，老师的讲解真是形象！透彻！
6:28 李老師厲害，連國王的新衣都有解。
问题在于这个衣服是皇帝的 别人不能穿啊LOL
國王的新衣是有解。但所有的解都有一个前提，就是有人承认自己看不见。如果每人承认自己看不见，也就没办法说明自己的解法。
谁给我打的钱多 谁就更有钱🤣
這很公平
很深刻
当然，嫖资付的爽的更有钱
这是个好办法！
最後問題的解答:兩人分別把自己的財產依價值分割成不同公差的等差數列，再各自隨機取一段來比較多寡，如此重複數次，隨進行次數的增加，每次比較結果為"較多"機率較高的人擁有更多財富的可能性會逐漸收斂至1。
兩人分別把自己的財產依價值分割成不同公差的等差數列，你這句話
白話你要怎麼翻譯？
你这个方法验算无数次到无限接近1的概率后 把无数次验算按照数学公式可以算出有多少钱了吧
不會收斂到1
李老师的优秀就在于，能把复杂的知识用最简单生动的方式讲出来，非常感谢！
Charles rackoff 是我的导师 很开心看到李永乐老师 能说我的领域的话题 而且说的很好
请教一下，巴菲特想给投资者证明自己有能力在股票市场上赚到钱，但是不愿意披露自己的具体方法。这种情况下（这个问题很有实际意义，基金经理要给投资者证明自己的能力），有可能零知识证明吗？
我业余的想法是，
1似乎色盲小球的解法有些问题，投资者随机调换两个股票的位置，巴菲特总能做出一致的排序，但是这并不能说明巴菲特能赚钱，只能说明巴菲特可以评判两只股票
2巴菲特对一篮子股票评价涨或跌，然后把股票代码加密发给潜在客户，等一个时期后股票涨跌实现，由顾客拿几个具体股票请求巴菲特解密，对照后如果发现确实如判断则证明巴菲特对。
可能在这个情景中，有两个难点，第一是，投资业绩实现需要时间，现实的考虑是想把这个时间尽可能缩短。第二是这种证明方式如果本身就不是全对而是大概率对呢，就是说投资是大概率赚钱而非每投必赚怎么给投资者证明呢。
看到你专业领域是这方面，所以请教一下你的专业看法，如果有相关读物烦请推荐。谢谢。
@@Xx-kc1yd 其實只要夠有錢就可以了
@@Xx-kc1yd 基金经理很可能都不知道自己明年能不能赚钱，很多投资方法随时都会失效
李老师出这期视频的时候阿里巴巴股价应声暴跌6%
课后题：结尾作业姚氏百万富翁问题我已经知道答案了，但是我不想把技术细节透露给网友，我该怎么让大家知道我确实给出了答案呢？
转换成三染色问题
其实就是用足够多的特殊解，从统计学的方向说明自己会解这个函数，然后老师给了一分
你这样说我就懂了
李永樂老師：我要如何在不公開小朋友的狀況下證明小朋友的存在呢？
小朋友就在DM，comment的人群中存在，但是你就是不知道他是谁哈哈
@@lemonforever 有发言 你认识 不是你？
薛定谔
李老师的小朋友有千千万，公开不过来。你我也是其中之一。😄
@@vittorialin1261
李老师的小朋友:死了一個我，還有千千萬萬個我!
对于李老师这种人，最快乐的时光就是在课堂上，真真无愧老师这个称号
我從來沒有看過李永樂老師的小朋友
但老師的認真解答讓我相信小朋友的存在
這就是零知識證明嗎？
🤣
我現在看了才知道
老師在影片裡面加了MG動畫
現在變得更容易理解了~
李永乐老师的好多视频讲述的知识可应用到实际生活中
所以李老师才火
看完李老師的解說後,阿里巴巴若這樣做,肯定會被四十大盜打得半死
不這麼做直接死了
我對思考題的解法是這樣的：
兄弟倆先共同選擇一個正實數（大於0的）
然後各自選擇把自己財富的總數，除以 或是 乘以 該數字
但雙方都不把自己的選擇透露出去
最後把計算結果放入信封，並找個隨機路人說出誰的數字更大（但不說出實數）
然後再進行一輪，重新共同挑選一個新數字
各自再選擇乘除
然後再找同一個路人去說出誰數字更大
解釋：
一、為甚麼這樣能得知誰更有錢
假設兄比弟有錢，那這方法每次會得出四種可能結果
1）兄弟都選擇了乘→兄的數字更大
2）兄弟都選擇了除→兄的數字更大
3）兄選了乘，弟選了除→兄的數字更大
4）弟選了乘，兄選了除→弟的數字有可能更大
上述四種可能中，只有一種是弟的數字有可能更大
換言之在無數次實驗後，這 (1/4)ⁿ的概率就無限地接近0
由此所有結果最終必然能導向「兄更有錢」的正解
二、為甚麼這符合題目
數字雖由兄弟共同協定，但大家都不知對方的選擇，以及對方運算後的實數（放了進信封），因此符合題目要求「不暴露自己財富量」
三、為甚麼符合0知識
路人不知道整個命題的一切規則，包括兄弟共同協定的數字、兄弟各自的選擇、最重要是他不知道數字代表的是兄弟的財富量，因此即使看到了運算後的實數也沒意義
而在上句的前提下，找同一個路人就能讓運算結果只傳給同一人身上。即使路人將所有結果數字說出，在兄弟倆外無人知曉遊戲規則下也不可能將兄弟財富量以及誰更有錢的訊息外傳
（以上是小弟自己想的，如有錯請多多指教！）
唯一想不通的是如何解決撒謊的問題。因為在不暴露實際財富量下小弟實在想不出「若有人謊報財富量，怎樣才能讓其被揭穿」
還望指教！🙇🏻♂️
如果能找第三者,為什麼還要那麼麻煩呢?直接寫財富值讓第三者告訴誰大誰小就可以了
@@jjonsale 你有在看影片嗎?
問這問題說明你連影片都沒看就在回應留言啊
@@jjonsale 這類數學應用也會被擴展到電腦科學，這就是一個很實用的技術可以擴展到其他安全領域上。區塊鏈就是其中一個，零知識證明在密碼學的應用領域很常見
学海无涯，感谢老师的讲解，很生动，很形象！
李老师其实还可以说说零知识证明在现代电脑科学中的应用。
我们平常所做的一种multi-factor Authentication其实就是一个经典案例。
严格意义来讲multi-factor authentication不是zero knowledge, 因为server实际上还是得到了你的otp，要是狡猾起来可以迅速用你的otp来authenticate另一个app窃取你的信息。
李永樂老師回答什麼問題最後都會變成數學就像是王剛老師不管是什麼菜最後都有寬油一樣😫
好久不看，李老师的视频制作质量提升了！
17:25
先隨機列出 N 個不重覆數字
A跟B分別拿紅筆與藍筆
每個數字A跟B要同時做答自己的財產是大於、小於或等於這個數字並用自己的筆寫在紙上蓋下，再把兩張紙放入一個代表這個題目的袋子。而這個袋子只有答案沒有題目。
全部作答完後要對袋子洗牌，以致A跟B都不會知道每個袋子對應的題目。
接下來把每個袋子分別打開，找到兩個答案不同的袋子，就能分辨財富大小。
這個方法要做到N個數字中至少有其中一個答案不同為止。
数学命题 -> NP完全问题 -> 三染色 这个地方的解释真的是绝了。厉害！
小盆友越来越恐怖了
认真听老师的课，最后的思考题就很简单。要有第三者参与，他可以即不知阿氏兄弟的真实财富，也能判断谁的财富多。
謝謝永樂大帝!!!
这就好像我们互联网开发产品，如果一个问题可以稳定的复现，其实就证明了它确实存在。
一开始觉得只要双方选定一个标准，用代码表示，就可以互相大小，但后来看了答案发现不能有第三方确认。后面看不经意传输的加密规则就有点看不懂了，希望李老师能做一期节目！谢谢李老师不忘初心
簡單來說，就是對一個問題，將驗證一組答案的方法從決定性的轉為機率性的
排除不可能的几率剩下的就是真相
四十大盗：把阿里巴巴埋了，把李永乐老师抓来
九品芝麻官:
說書人: 包龍星被四十江洋大盗輪姦。
哈哈哈哈
结果李老师凭实力让四十大盗打哈欠睡觉
想请问老师所提到的威格森关于数学命题和NP完全问题的关系有引用文献吗？听上去似乎过强, 数学证明的复杂性可以远大于NP，证明哥德巴赫猜想和黎曼猜想确实可以等价为NP完成问题吗？这个可是已经有证明的结果？
關於最後的問題我想到的是兩兄弟約定好把自己的財富共同進行某一種運算（例如：四則運算/開根號/取倒數之類的），然後再把結果裝在一個信封當中，並標注這是誰的信封。最後再請一個不知道運算公式的人打開信封確認誰的數字大（或小），將這個結果告訴哥哥跟弟弟，（因為看數字的人不知道會進行什麼運算，所以他們並不清楚兄弟倆的確切財富，並且看到信封的數字大不代表那個人的財富就多，只有哥哥跟弟弟自己知道當次的比較結果是跟財富成正相關還是負相關）。重複數次就可以確定了
那麼兩兄弟都知道如何作計算，便可以各自回推對方的財富，不知道是不是符合原本不透露的規則？
@@思詠_Sihyong 我觉得可行吧，就是你弄出一个共式，然后答案越大（越大）财富越多，然后叫见证人说谁的数字大（小）最后把纸烧了。
导数
可如果有一方 謊報數字呢
可行，但是不能混合严格单调递增和递减的function。比如在一切严格单调递增的function space里面由两人共同约定一个，然后把运算过的结果交给证人。证人可以比较谁的结果大来推断谁的财富多，但由于不知道所选取的function所以不知道确切财富值。 有点内味儿了。兄弟们把楼主的解法顶上去啊，没准又是一个伟大的计算机大师。
我念心理學的 李老師用數學和統計把心理學具體化 👍👍
我首次看到心理与数学交集了。此讲我基本没看懂，二种可能，1李老师举例不当不能降维解说。2零知识论只能解决特定的问题。对财富比较，请公证人先设套把他的信用搞垮再请来做这专案。当然对财富要做规范的定义。谢谢。
我想到的是用不同的度量衡去比，他們各自拿財產的1%換成黃金放在箱子，再用天秤比較兩邊的重量，比較重的就比較有錢了
1%可以撒谎的，不行。
受益良多！如果李永乐老师可以再出一期关于NP完全问题的介绍，那就太完美了！
这么难的概念。如果有一个人可以讲的深入浅出，通俗易懂，那一定是李永乐老师。
NP complete 好像是計算機工程的問題
因為每秒運算受硬體限制,有些解矩陣算法不佳時須用更多步驟才能算出答案,如果步驟算成在計算機時限內,就是NP 完全問題
如果不然,就是NP incomplete 問體
有一個多位整數求質數問題用在銀行金融即是如此
@@pochuanhsing2466 我觉得NP本身应该是数学界的问题，只是在计算机界（尤其在密码学）有很多应用。 The Millennium Prize Problems are a set of seven unsolved mathematical problems laid out by the Clay Mathematical Institute, each with a $1 million prize for those who solve them. One of these problems asks whether P = NP。
@@pochuanhsing2466 np 的概念蠻大的
要先理解np問題的定義
簡單來說Np problem is a true or false question that has an efficient verifier. Efficient 定義就是polynomial runtime就好。 而efficient verifier 就是說一個yes instance 我可以polynomial runtime來驗證他的正確性。
而這些np問題裡面有一部分我們是有polynomial solution存在的 我們稱為P problem
P是包含在np裡面的（p is a subset of np)。 而p = np問題就是要證明其實所有np問題都有polynomial solution也就是p =np。我的教授是說大家都認為p ！=np 也就是p is a strict subset of np。我省略了很多細節不過這個問題的概念大概是這樣
费马就是这么做的，他写到：“对于这个命题，我有一个十分美妙的证明，但这里空白太小，我写不下”
費馬要被洗白了XD
这和零知识证明没有任何关系。
@@binac 有零知識，但沒證明(因為空白太小)。
@@binac 当笑话听就好了哈哈
@@binac 这个叫“刷脸证明”
李老师对开启民智的作用太大了。也许我很多问题听不懂但是我知道可以通过计算来解决很多问题
真的好有趣，喜欢李老师的课
我：*随便问个问题
李永乐老师：其实这种问题在数学上是有解答的
0:37
例如我問： 為什麼我這麼傻？ 🤣
@@peterwong246 其实这个问题在数学上是有解答的。
請問等下要吃什麼？然後李永樂老師把食物的概率全部給你算一次，大概到你問晚餐吃什麼
我：李永樂老師，我現在尿很急，可以去小便嗎？
老師：其實這個問題在數學上是有解答的
（十五分鐘後）
老師：經過證明，同學你可以去尿了
我：
@@peterwong246 答：因为你不知道这种问题在数学上是有解答的
15:46 终于讲到NP and NP-complete了🙌🙌🙌最喜欢theory of computation: 里面的Reduction
从肚子的圆滚程度看得出，李永乐老师已经变成李永乐校长了
我刚想说李永乐老师胖了！
@@user-vs4fb6tx5m 我猜是最近饭局多了
@@user-vs4fb6tx5m 人怕出名猪怕壮，人要出名容易胖
因为要长久地坐在那里研究和吃透每期要科普给大家的知识，想要不胖真的很难😬，李老师辛苦了！
哎，不懂中年男人的痛。上肉分分钟，掉肉？不可能的。
观摩了李老师的视频，我不经深深的陷入沉思，“小朋友”到底是个什么样的怪物？！
李永乐老师视频，我先赞后看
阿里巴巴跟他哥哥可以將所有財產各自分別裝入10個麻布袋(可不必非常平均，避免對方能算出x10的總財產），雙方可以互相選擇對方的1個麻布袋統計數量，相較完為一次比較，每次重新洗牌，多次後以達到0知識證明。
看了很多留言，暫時只有你的方法是不依賴第三方且未破邏輯的，但不知道是否正解，以及10是否最優數
這方法有資訊,可得到總財產不少於袋中數的資訊
這個方法可以統計出對方大概財產多少🤔
我觉得可以这样，阿里巴巴和他哥哥分别计算自己的财富，将各自财富按照比例换成其他质量的东西代替，比如500万换成50斤大米，然后放到杠杆上（而且阿里巴巴和他哥哥选择代替财富的东西密度不同，为了防止比较体积猜个大概）
不願意變現的博主~~充滿內涵 令人敬仰
You are the best teacher I have ever met. so much to learn from you. Meanings between lines. Thank you.
11:13 爸爸 你是瞎蒙的！
缘分呐
百萬富翁問題。
兩個人約好把財產數額乘上一個特定數字，再把得出的數字交給第三方比較。因為第三方不知道是乘上了啥數，所以不會知道總財產有多少。
如果擔心第三方向對方洩漏資訊，可以在第三方說完答案後馬上把他拖去砍了…
或是把數值轉成水量再放上天平。
第三方心里苦，动不动就砍我
第一個採用零知識證明技術的虛擬貨幣是 zec，它也是歷史上第一個幣價超過比特幣的虛擬貨幣，我心目中的隱私幣之王，也是我最愛的虛擬貨幣 ～
我覺得有一天大家會更注重隱私，稜鏡門的Edward Snowden 說過 zec 是技術最好的隱私幣，隱私幣在未來必定會受到大家的關注，雖然政府不樂見此板塊的發展，但是特定族群的人一定需要他。
你想幹嘛
问题是是否有通用的方法可以把任意问题转化成地图问题呢？如果没有，将哥德巴赫猜想转化为地图问题的难度会不会比证明它还难。。。
李老师说的是一个逻辑结论，不是实际操作。逻辑上来说，只要可以转化，就能够证明。
可以的，只是NPC問題並非你想的那樣。我們不要講三色圖，改成另一個NPC問題。（NPC問題都等價）
對某一集合，包含多個整數，此集合中是否存在一組整數，其和為0.
例如集合A={-5, 2, 3, 7}, 其中 -5, 2, 3 和為 0, 因此答案為真。我們要驗證答案為真正不正確，只要檢驗 -5, 2, 3 是不是和為 0 就好。
同理，要把哥德巴赫猜想轉化為 NPC 問題也很簡單。
我們令集合 S 為「所有可能的哥德巴赫猜想的證明」，那是不是（至少）存在一個證明，可以證明哥德巴赫猜想？
如果有人能提出哥德巴赫猜想的證明，我們只要去檢驗這個證明是不是對的就好，不需要所有證明都去檢驗。
所以NPC問題並非你認為的那樣，要注意NPC問題的精神是「找出問題要算（證明）的次數很多，但要驗證卻只要少數的步驟」。
所以在很多很多可能的證明之中，我們要一個一個去試，是否有一個證明是對的，過程非常困難，但一旦我們找出這個證明，只要驗證這個證明就好。
所以實際上你如果真的找出哥德巴赫猜想的證明，也是不可能使用零知識證明去讓別人相信的，因為你還得把所有其他可能的證明都列出來，才能使用零知識證明。
@@Smtadify 你讲了这么多，是否可以理解为你认为李永乐老师讲错了，哥德巴赫猜想如果被人证明出来了，也是没有可能用零知识证明来证明此人已经证明了哥德巴赫猜想的？
最后一个问题我的想法是，通过归一化的方法；比方甲乙两个富翁，甲先心中随机想一个数a，用自己的财产除以a，再将结果告诉乙；乙也心中随机想一个数b,用自己的财产除以b，并将结果告诉甲；甲将乙报的数再除以心中想的a，乙将甲报的数除以心中想的数b，比较两个结果，即可知谁的财产大；因为两个人的财产都除以了a*b，而两个人都不全知道a,b的值。
比較兩個數字的工作要交由第三者來做，否則甲乙雙方就可以推導出對方的所除的數了。因此更簡單的方式是甲乙雙方隨機約定一個正數x，將自己的除以x後交給一個不知道x是多少的第三者比較即可。
@@spacegateway 唔你说的对，我没想到这点。
@@spacegateway 两人事后串通就知道他们财产具体数字了
摸了這麼久zkp李老師終於要來幫科普了☺️👍
链圈大佬?
看到李永樂老師在影片中講解零知識證明，真的是讓我大開眼界的說！他的講解非常清晰易懂，讓我這個數學白痴也能理解呢的說！感謝李永樂老師的分享，讓我學到了很多有用的知識的說！
謝謝李永樂老師
最后的题：可以把两个人的财产都分成n份，然后按比放在每份里，例如果n是4，总财产是100金，那么就可以分成40金，30金，20金，10金，加起来是100金。
两个人比的时候各个从自己的n里面随机抽取一份拿出来比较，反复重复，更富有的那个有更大纪律获胜。
因为每次n都是不一样的，而且是随机抽选，不知道到底抽到的是哪个比例的财产包，而且只观察输赢，无法判断出对方的总财富。
我沒理解錯的話，n=4 比較富有的那一方獲勝概率至少是10/16，不管n是多少每次都會大於1/2，所以測試次數多了之後看誰贏的較多這樣嗎？
外界是无法判断，但对于对方依然不是零知识，对方可以记录每次的N，以及每次的抽取结果，那么还是能够测算
n 必须是随机的，每次2人不知道n是多少，只知道n相等。并且每个固定的n，分配财产的方法也必须是随机的，两人不能用任何策略来分自己的财产。
不然假如2人有100和99块的话，n = 4 , 100块的人分 97，1，1，1肯定比不过99块分40，30，20，9。
准备一个天枰，两边是密闭的箱子，阿里巴巴兄弟先约定好，一个硬币代表比如说一百万，然后各自往箱子放等同自己财产多少的硬币，放硬币过程是私下不让对方看到的，然后把两个箱子各自放天枰左右，谁重说明谁放的硬币多，并且你只知道对方硬币比你多但是不知道多多少
这个办法怎么样
@@user-xf3nk8oi6j 阿里巴巴说 箱子太小了 没法玩 哥哥惊呆了😎
四十大盗：你现在把这些牌都给我翻过来，要不然马上弄死你
巴巴：你這是作弊！！
突破盲腸
万一他真的知道怎么解，弄死了不没人开门了
@@alexanderking3343 秒变博弈论问题
也可以一直爆揍巴巴，直到巴巴把牌翻過來為止
謝謝老師。我們這裡，直的是行、橫的是列。
這我相信，每次李老師發新影片，我不用點都知道18min後我可以學會這個東西
李老师，请注意身材多运动，我们还想一直听课下去呢。😂
李老师会把粥和红烧肉一起吃了嘻嘻
最常见的解法很多评论都提过了，用箱子+球。
提个更有创意的：做一个特制的天平，两个托盘各出现在一个房间，两个房间互不可见。假设身价的范围是1-1000，则每个房间有单位重量1-1000的砝码。A和B要共同把天平调试好，确保是公平秤
天平开始时是固定在平衡位置的，无论放上多少重量都是平衡。待两个人都在托盘放好代表自己身价的砝码，出屋，锁好门。让天平取消固定，开始自由摆动。过30秒，双方开门（设计一个机制让二人不可以碰托盘）。看天平的位置就知道结果了。这相当于设计了一个机器作为裁判，且双方都能验证机器是公正的。
但还有个更简单抽象的方法，设计一个电路：假设二人的财富范围是0-15（可以扩展），那么我们做一个电路，输入两个4比特的数字（0000 - 1111的二进制代表0-15），输出一个2比特的数字（00=A大，01=平手，11=B大），用AND，OR等门电路就可以组合出“比大小”的逻辑。然后把两个输入端交给A和B。二人各自输入，无法看到对方的输入。之后即可看到电路输出的结果。
如果电路不是A和B一起设计的，或者A/B看不懂电路，那么有个最简单的方法验证电路：从真值表中抽取足够多的测试用例，看看电路是否都给出了正确结果。
如果A和B面对面坐，无法隐藏输入，那么可以给二人各一个“混淆电路”接在输入线上，如将每位取反（表面输入0011，实际给电路输入了1100），每人的混淆规则只有自己清楚，无法知道对方实际输入的什么数字。这个在密码学上叫“同态”
嚴格來說 這樣的方法一方可以利用紀錄天秤傾斜程度回推對方比自己多多少錢 天秤給出的重量差算是洩漏了知識
@@user-th8hf5pk6d 天平不只有正义女神手里拿的那种手提式的。实验室里用的天平，只要些许不平衡，更重的一端就会碰到底座，平衡在一个固定的角度。不会泄漏两边重量的差距
我说的天平其实仅仅是一个例子。我想表达的是：我们难以找到一个“可信第三方”来处理百万富翁问题，但可以制造一台公平的机器来作为可信第三方。这台机器需要满足：双方皆可验证其执行逻辑（verifiability），不会撒谎（integrity），不会泄密（confidentiality）。针对百万富翁问题，天平和电路都是一种实现方式（电路更加通用一些）。我是研究隐私计算的，现实中的解决方案也是基于这种思路。
李老师最厉害的地方就是复杂的东西，能够把复杂的问题，简单的给你讲明白了。 偶尔会有一些瑕疵，但又是为了让听众能够先掌握该掌握的内容。
错误太多看不下去
感觉很理论，只能运用于trivial problems。复杂问题如造车，其零知识证明题目设计会比造车本身还要复杂。
额。。。谁不知道这是两个范畴的东西？？你拿电脑芯片堆起造高架桥造不好，那是因为你脑子有病，不是芯片或桥的问题。
居然有配合的动画了！👍
李永乐老师证明了我是零知识的，王刚老师证明了我是真的没手，大翔哥证明了我的普通家庭可能是假的。我看个油管看着我心碎了💔
@@muazuual3434 你要比什么？
Mua zua 都是努力出视频的人，凭什么不行呢？
@@muazuual3434 你一天不做数学题一辈子不做数学题可以活得很幸福，一天不做菜你吃屎吗？
@@user-su9en5ql8u hhh您真的太会说话了，笑死。
@@muazuual3434 没有人否认科学的重要性，我们看不惯你把王刚说的一无是处罢了，李永乐老师用心教会了我们科学知识，在你没看见的地方，王刚老师又教会了多少穷留学生做自己喜欢的菜照顾自己呢
老師 請問這個知識要如何運用在生活中?
老師謝謝。
1.知識能拆解為若干可驗證細節
2.各細節必須正確的串連，知識才成立
3.驗證者知道有哪幾個細節，並知道甚麼結果符合資格
這樣能進行「零知識證明」
以上這樣理解，對嗎？
李老师开头造车的比方，这个有点意思 :)
这个np完全问题太具有数学的魅力了，感谢李永乐老师
奖金好像是一百万美元
比较两兄弟财富，可以把每人财富的十分之一，百分之一，千分之一等等放到麻袋里，然后从中随机抽取一对等比例的袋子，放到一个不显示重量的天平称上看谁的重。
牛啊
我竟然有一天能在YT上複習ZKP跟NP complete ......
因為區塊鏈
后面的百万富翁问题，应该就是 Secure multi-party computation对吧。
正確
李永樂老師你好：請問一個交網友常見的問題，不想讓對方先看到我的照片和財力家世，要怎麼讓對方相信我是個高富帥（或白富美）呢？感覺這也是個零知識證明呢！
犀利犀利
我想到多項選擇題
我多次能選中，你就相信我真的懂了
研究生学计算理论的时候搞得还挺明白的。。上班一年就忘干净了。。。
要是没有音像技术，每上一课就要重复一遍
还用比吗？肯定是阿里巴巴的钱💰多，他哥哥的钱被嫂子管着。
。了光花早钱哥他亿几赚一天巴巴里阿。最多钱巴巴里阿
阿里巴巴的主人的钱比较多，因为是马云
@@hahahyy1501 笑死
婚前财产
工作中刚刚要用这个概念 还有一个是multi party computation。 老师讲得真好
关于最后这个问题我的想法是，双方将各自财富分成相同份数（不等分），然后互相挑选对方某份财富进行比较，经过大量测试后，胜率高的一方财富更多。
感谢李老师，治好了我多年的失眠问题，摆脱了对药物的依赖
爸爸我是瞎蒙的。当时的我愣了一下。
思维又开拓了。谢谢老师
财富换成统一货币，用无刻度的天秤去对比两方财富兑换货币的重量。或者把货币换成等比例石头来秤
这个视频不要让恒大汽车的人看到，大家注意保守秘密。
为什么？恒大汽车怎么了？？？
@@zzz-bc4vp 恒大汽车还没造出一辆车，但已经让资本市场相信他们能造车，并且市值飙升
哈哈哈哈哈 恒大连忙关注了李老师
哈哈😂
PPT造车。
另一个大师是下周回国老贾。
感觉在面试的时候也有用
实际工作中也是如此，不能把本事都用出来，职能露三分。看到很多年轻人都满腔热血996，老司机们都懂：卸磨杀驴。
随着时间的推移李老师的“小朋友”会越来越牛
等巴巴把數獨排好之後
大盜：來人阿，把他給我綁起來！
哥哥，我想做你男朋友
聽起來有點像是寫程式的單元測試
只要準備好正確input跟output就能測試程式是否正確
我已經知道，最後的思考題的答案，卻不想說如何做到的，該怎麼辦呢～～？
染色😂
我已經知道你該怎麼辦，但是我也不想告訴你怎麼辦？
现学现用
@Jaeyo Koh 把财富按每份一样的标准装在袋子里，但有的袋子可以是空的，两个人的袋子总数相同。把袋子放在地图上。然后随机选两个人的袋子，看谁的空袋子概率高，谁就穷
@@eatenineli7319 雖雖知道這方法🉑️行，但有點理想化
李老師要不要講講Dream之前被判作弊的那次speedrun？
李老师越来越富态了，要注意健康啊