@@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。我省略了很多細節不過這個問題的概念大概是這樣
我最尊敬李老师的地方，是他火了之后，没有想去吃烂钱，而是依然踏踏实实给我们上我们听不懂的课，是一个担得起老师这称呼的人
就是這樣，比起其他老師我更喜歡聽他講東西^_^
@@plastic397 比起他讲的东西，更喜欢他讲课方式。。感觉他讲什么都很有意思。
听不懂的课是亮点
还没收学费，比中学数学老师实在多了
你应该年龄不大
李永乐老师口里的“小朋友”越来越恐怖了，连歌德巴克猜想都解出来了
李永乐老师的小朋友就是外星人
幸好李老师的小朋友和罗老师的法外狂徒张三不是同一个人 :p
@@AquoibonLee 一个精通柯学，一个精通科学
只有小朋友才会蠢到声称证明了歌德巴赫猜想吧
@@wentaowang4244 举个例子而已吧
看完後我證明了我是零知識的😂😂
+1
你不須知道知識，你只要知道李老師知道這知識就好。
證明一下吧 （*＾-＾*）
这是一种很谦虚不着痕迹的吹牛逼的方式 😂 🤣
我现在严重怀疑学校老师都是做零知识传授！😨
李老师的严肃中充满了幽默，虽然不大懂，但李老师的讲解也是把零知识给我们演示了一遍，谢谢🙏
把問題和答案的關聯轉變成機率問題。
透過趨近無窮次的試驗，使猜對的機率趨近0
總結的很好
非常好的總結！
現實執行上就是
你每次來問我，我都能回答
如此反覆無限次
結果證了你什麼問題我都能用一張嘴解
古代講「大智若愚」 「無為法，無所不為」
從統計驗證的角度來說，一般只要把猜對的機率壓到低於0.05%就會認定這不是矇的(顯著水準)，如果想要嚴謹一點會把標準提高到機率低於0.01%
賭場那集有認真看
李老师就是李老师，用知识和学问解释社会现状👍
我們：小朋友=小孩子
李永樂老師：小朋友=人類
我只是眨個眼然後我就懵了
小朋友=人類 ×
小朋友≠人類 ✓
且小朋友≠0
@@peperonya9404
小朋友=人類√
李永樂≠人類√
你要想想李永樂老師教書的地點，那裡的小朋友在數理化的知識儲備量搞不好已經超過百分之五十以上（甚至更多）的成年人了。
其实就是用足够多的特殊解，从统计学的方向说明自己会解这个函数，然后老师给了一分
你这样说我就懂了
李老师的优秀就在于，能把复杂的知识用最简单生动的方式讲出来，非常感谢！
阿里巴巴從一個快樂的青年變成一個色覺正常的青年
你暴露了年龄
你暴露了年龄
我们都是“小朋友”，想起了再过20年我们来相会，转眼都过40年了
四十大盗的脾气真好...
你没看懂啊，杀了阿里巴巴就肯定没有人知道密码了。留着的话，也许有一天阿里巴巴会说出来，大盗不想放弃这个机会
@@feifeishuishui 打到说出来为止嘛
@@李四-k4t 就数你最聪明！阿里巴巴说出来是死，不说还能活。“打到说出来为止”别人怎么都想不到呢？警校学生刑侦，审讯都不用学了，直接跟你这个天才学
@@shiranuic9547 你这类比不对，警察刑侦确实不会这么搞。但这是强盗，是不会给你讲什么规矩的，这种情形要和战争时期的间谍战俘等类比。不要高估肉体的承受力，如果毫无顾忌的折磨很久他还是不说，基本上就是他真的不知道，或者他就是死硬的要独吞财宝。这种情况直接处决才是最优解。战争时期间谍战俘被直接搞死的还少吗。
直接殺了是雙輸,假如對於阿里巴巴而言保守秘密是唯一目標,那選項只有誓死不講事實並且去死
但阿里巴巴死掉/不露口風->大盜並不能讓自己獨吞寶藏,知道嗎?
除非你是"德意志醫學世界第一",不過這是另一個問題了
李老师出这期视频的时候阿里巴巴股价应声暴跌6%
对于李老师这种人，最快乐的时光就是在课堂上，真真无愧老师这个称号
我的理解是，在這些例子中，零知識證明基本上是一個把「真不知道」的概率壓到微乎其微來去證明「知道」的方法。
这个相当有用，能让老师真的相信，你只是忘记了带作业，而不是故意落在家里。
老师重出一份作业，"你做过的话肯定可以很快就再做过"
6:28 李老師厲害，連國王的新衣都有解。
问题在于这个衣服是皇帝的 别人不能穿啊LOL
國王的新衣是有解。但所有的解都有一个前提，就是有人承认自己看不见。如果每人承认自己看不见，也就没办法说明自己的解法。
费马就是这么做的，他写到：“对于这个命题，我有一个十分美妙的证明，但这里空白太小，我写不下”
費馬要被洗白了XD
这和零知识证明没有任何关系。
@@binac 有零知識，但沒證明(因為空白太小)。
@@binac 当笑话听就好了哈哈
@@binac 这个叫“刷脸证明”
李永樂老師：我要如何在不公開小朋友的狀況下證明小朋友的存在呢？
小朋友就在DM，comment的人群中存在，但是你就是不知道他是谁哈哈
@@lemonforever 有发言 你认识 不是你？
薛定谔
李老师的小朋友有千千万，公开不过来。你我也是其中之一。😄
@@vittorialin1261
李老师的小朋友:死了一個我，還有千千萬萬個我!
最後問題的解答:兩人分別把自己的財產依價值分割成不同公差的等差數列，再各自隨機取一段來比較多寡，如此重複數次，隨進行次數的增加，每次比較結果為"較多"機率較高的人擁有更多財富的可能性會逐漸收斂至1。
兩人分別把自己的財產依價值分割成不同公差的等差數列，你這句話
白話你要怎麼翻譯？
你这个方法验算无数次到无限接近1的概率后 把无数次验算按照数学公式可以算出有多少钱了吧
不會收斂到1
这样不行。1。知道两个人都把财产按等差分成N份，比较时都取第i份比较，看到了第i份的价值。如果这样做，就不是零知识了，因为可以推算出总资产。
17:25
先隨機列出 N 個不重覆數字
A跟B分別拿紅筆與藍筆
每個數字A跟B要同時做答自己的財產是大於、小於或等於這個數字並用自己的筆寫在紙上蓋下，再把兩張紙放入一個代表這個題目的袋子。而這個袋子只有答案沒有題目。
全部作答完後要對袋子洗牌，以致A跟B都不會知道每個袋子對應的題目。
接下來把每個袋子分別打開，找到兩個答案不同的袋子，就能分辨財富大小。
這個方法要做到N個數字中至少有其中一個答案不同為止。
我：*随便问个问题
李永乐老师：其实这种问题在数学上是有解答的
0:37
例如我問： 為什麼我這麼傻？ 🤣
@@peterwong246 其实这个问题在数学上是有解答的。
請問等下要吃什麼？然後李永樂老師把食物的概率全部給你算一次，大概到你問晚餐吃什麼
我：李永樂老師，我現在尿很急，可以去小便嗎？
老師：其實這個問題在數學上是有解答的
（十五分鐘後）
老師：經過證明，同學你可以去尿了
我：
@@peterwong246 答：因为你不知道这种问题在数学上是有解答的
15:46 终于讲到NP and NP-complete了🙌🙌🙌最喜欢theory of computation: 里面的Reduction
受益良多！如果李永乐老师可以再出一期关于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。我省略了很多細節不過這個問題的概念大概是這樣
感谢李老师，一直不理解零知识证明，网上的文章也看不懂，老师的讲解真是形象！透彻！
我從來沒有看過李永樂老師的小朋友
但老師的認真解答讓我相信小朋友的存在
這就是零知識證明嗎？
🤣
谁给我打的钱多 谁就更有钱🤣
這很公平
很深刻
当然，嫖资付的爽的更有钱
这是个好办法！
这就好像我们互联网开发产品，如果一个问题可以稳定的复现，其实就证明了它确实存在。
数学命题 -> NP完全问题 -> 三染色 这个地方的解释真的是绝了。厉害！
课后题：结尾作业姚氏百万富翁问题我已经知道答案了，但是我不想把技术细节透露给网友，我该怎么让大家知道我确实给出了答案呢？
转换成三染色问题
我對思考題的解法是這樣的：
兄弟倆先共同選擇一個正實數（大於0的）
然後各自選擇把自己財富的總數，除以 或是 乘以 該數字
但雙方都不把自己的選擇透露出去
最後把計算結果放入信封，並找個隨機路人說出誰的數字更大（但不說出實數）
然後再進行一輪，重新共同挑選一個新數字
各自再選擇乘除
然後再找同一個路人去說出誰數字更大
解釋：
一、為甚麼這樣能得知誰更有錢
假設兄比弟有錢，那這方法每次會得出四種可能結果
1）兄弟都選擇了乘→兄的數字更大
2）兄弟都選擇了除→兄的數字更大
3）兄選了乘，弟選了除→兄的數字更大
4）弟選了乘，兄選了除→弟的數字有可能更大
上述四種可能中，只有一種是弟的數字有可能更大
換言之在無數次實驗後，這 (1/4)ⁿ的概率就無限地接近0
由此所有結果最終必然能導向「兄更有錢」的正解
二、為甚麼這符合題目
數字雖由兄弟共同協定，但大家都不知對方的選擇，以及對方運算後的實數（放了進信封），因此符合題目要求「不暴露自己財富量」
三、為甚麼符合0知識
路人不知道整個命題的一切規則，包括兄弟共同協定的數字、兄弟各自的選擇、最重要是他不知道數字代表的是兄弟的財富量，因此即使看到了運算後的實數也沒意義
而在上句的前提下，找同一個路人就能讓運算結果只傳給同一人身上。即使路人將所有結果數字說出，在兄弟倆外無人知曉遊戲規則下也不可能將兄弟財富量以及誰更有錢的訊息外傳
（以上是小弟自己想的，如有錯請多多指教！）
唯一想不通的是如何解決撒謊的問題。因為在不暴露實際財富量下小弟實在想不出「若有人謊報財富量，怎樣才能讓其被揭穿」
還望指教！🙇🏻♂️
如果能找第三者,為什麼還要那麼麻煩呢?直接寫財富值讓第三者告訴誰大誰小就可以了
@@jjonsale 你有在看影片嗎?
問這問題說明你連影片都沒看就在回應留言啊
@@jjonsale 這類數學應用也會被擴展到電腦科學，這就是一個很實用的技術可以擴展到其他安全領域上。區塊鏈就是其中一個，零知識證明在密碼學的應用領域很常見
關於最後的問題我想到的是兩兄弟約定好把自己的財富共同進行某一種運算（例如：四則運算/開根號/取倒數之類的），然後再把結果裝在一個信封當中，並標注這是誰的信封。最後再請一個不知道運算公式的人打開信封確認誰的數字大（或小），將這個結果告訴哥哥跟弟弟，（因為看數字的人不知道會進行什麼運算，所以他們並不清楚兄弟倆的確切財富，並且看到信封的數字大不代表那個人的財富就多，只有哥哥跟弟弟自己知道當次的比較結果是跟財富成正相關還是負相關）。重複數次就可以確定了
那麼兩兄弟都知道如何作計算，便可以各自回推對方的財富，不知道是不是符合原本不透露的規則？
@@思詠_Sihyong 我觉得可行吧，就是你弄出一个共式，然后答案越大（越大）财富越多，然后叫见证人说谁的数字大（小）最后把纸烧了。
导数
可如果有一方 謊報數字呢
可行，但是不能混合严格单调递增和递减的function。比如在一切严格单调递增的function space里面由两人共同约定一个，然后把运算过的结果交给证人。证人可以比较谁的结果大来推断谁的财富多，但由于不知道所选取的function所以不知道确切财富值。 有点内味儿了。兄弟们把楼主的解法顶上去啊，没准又是一个伟大的计算机大师。
李永樂老師回答什麼問題最後都會變成數學就像是王剛老師不管是什麼菜最後都有寬油一樣😫
李永乐老师证明了我是零知识的，王刚老师证明了我是真的没手，大翔哥证明了我的普通家庭可能是假的。我看个油管看着我心碎了💔
@@muazuual3434 你要比什么？
Mua zua 都是努力出视频的人，凭什么不行呢？
@@muazuual3434 你一天不做数学题一辈子不做数学题可以活得很幸福，一天不做菜你吃屎吗？
@@程子健-m4j hhh您真的太会说话了，笑死。
@@muazuual3434 没有人否认科学的重要性，我们看不惯你把王刚说的一无是处罢了，李永乐老师用心教会了我们科学知识，在你没看见的地方，王刚老师又教会了多少穷留学生做自己喜欢的菜照顾自己呢
1.知識能拆解為若干可驗證細節
2.各細節必須正確的串連，知識才成立
3.驗證者知道有哪幾個細節，並知道甚麼結果符合資格
這樣能進行「零知識證明」
以上這樣理解，對嗎？
四十大盗：把阿里巴巴埋了，把李永乐老师抓来
九品芝麻官:
說書人: 包龍星被四十江洋大盗輪姦。
哈哈哈哈
结果李老师凭实力让四十大盗打哈欠睡觉
这个视频不要让恒大汽车的人看到，大家注意保守秘密。
为什么？恒大汽车怎么了？？？
@@zzz-bc4vp 恒大汽车还没造出一辆车，但已经让资本市场相信他们能造车，并且市值飙升
哈哈哈哈哈 恒大连忙关注了李老师
哈哈😂
PPT造车。
另一个大师是下周回国老贾。
李永乐老师的好多视频讲述的知识可应用到实际生活中
所以李老师才火
最后的题：可以把两个人的财产都分成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。
准备一个天枰，两边是密闭的箱子，阿里巴巴兄弟先约定好，一个硬币代表比如说一百万，然后各自往箱子放等同自己财产多少的硬币，放硬币过程是私下不让对方看到的，然后把两个箱子各自放天枰左右，谁重说明谁放的硬币多，并且你只知道对方硬币比你多但是不知道多多少
这个办法怎么样
@@Tom-Dwan999 阿里巴巴说 箱子太小了 没法玩 哥哥惊呆了😎
这是门非常有意思的学科，特别是在去中心化的运用上，又叫“多方安全计算”。不过这个模型有个弊端，就是必须是基于诚实的参与者，也就是参与者的共享出来的信息必须是真实的，当中有人撒谎，就会影响到结果。还有就是，这种应用当前还比较简单，比如求和，运用在“匿名选票”上。受于知识有限，我不知道有没有算法能够进行比较复杂的运算，比如三角函数，在参与方都不提供参数的情况下能否完成运算。如果复杂运算也能够“匿名”求解的话，那在去中心化的运用里实在是无可限量。
簡單來說，就是對一個問題，將驗證一組答案的方法從決定性的轉為機率性的
排除不可能的几率剩下的就是真相
百萬富翁問題。
兩個人約好把財產數額乘上一個特定數字，再把得出的數字交給第三方比較。因為第三方不知道是乘上了啥數，所以不會知道總財產有多少。
如果擔心第三方向對方洩漏資訊，可以在第三方說完答案後馬上把他拖去砍了…
或是把數值轉成水量再放上天平。
第三方心里苦，动不动就砍我
看到李永樂老師在影片中講解零知識證明，真的是讓我大開眼界的說！他的講解非常清晰易懂，讓我這個數學白痴也能理解呢的說！感謝李永樂老師的分享，讓我學到了很多有用的知識的說！
最常见的解法很多评论都提过了，用箱子+球。
提个更有创意的：做一个特制的天平，两个托盘各出现在一个房间，两个房间互不可见。假设身价的范围是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），每人的混淆规则只有自己清楚，无法知道对方实际输入的什么数字。这个在密码学上叫“同态”
嚴格來說 這樣的方法一方可以利用紀錄天秤傾斜程度回推對方比自己多多少錢 天秤給出的重量差算是洩漏了知識
@@李哲言-h2i 天平不只有正义女神手里拿的那种手提式的。实验室里用的天平，只要些许不平衡，更重的一端就会碰到底座，平衡在一个固定的角度。不会泄漏两边重量的差距
我说的天平其实仅仅是一个例子。我想表达的是：我们难以找到一个“可信第三方”来处理百万富翁问题，但可以制造一台公平的机器来作为可信第三方。这台机器需要满足：双方皆可验证其执行逻辑（verifiability），不会撒谎（integrity），不会泄密（confidentiality）。针对百万富翁问题，天平和电路都是一种实现方式（电路更加通用一些）。我是研究隐私计算的，现实中的解决方案也是基于这种思路。
从肚子的圆滚程度看得出，李永乐老师已经变成李永乐校长了
我刚想说李永乐老师胖了！
@@庆哥-p7h 我猜是最近饭局多了
@@庆哥-p7h 人怕出名猪怕壮，人要出名容易胖
因为要长久地坐在那里研究和吃透每期要科普给大家的知识，想要不胖真的很难😬，李老师辛苦了！
哎，不懂中年男人的痛。上肉分分钟，掉肉？不可能的。
感谢李老师，治好了我多年的失眠问题，摆脱了对药物的依赖
一开始觉得只要双方选定一个标准，用代码表示，就可以互相大小，但后来看了答案发现不能有第三方确认。后面看不经意传输的加密规则就有点看不懂了，希望李老师能做一期节目！谢谢李老师不忘初心
看完李老師的解說後,阿里巴巴若這樣做,肯定會被四十大盜打得半死
不這麼做直接死了
阿里巴巴跟他哥哥可以將所有財產各自分別裝入10個麻布袋(可不必非常平均，避免對方能算出x10的總財產），雙方可以互相選擇對方的1個麻布袋統計數量，相較完為一次比較，每次重新洗牌，多次後以達到0知識證明。
看了很多留言，暫時只有你的方法是不依賴第三方且未破邏輯的，但不知道是否正解，以及10是否最優數
這方法有資訊,可得到總財產不少於袋中數的資訊
這個方法可以統計出對方大概財產多少🤔
我觉得可以这样，阿里巴巴和他哥哥分别计算自己的财富，将各自财富按照比例换成其他质量的东西代替，比如500万换成50斤大米，然后放到杠杆上（而且阿里巴巴和他哥哥选择代替财富的东西密度不同，为了防止比较体积猜个大概）
关于最后这个问题我的想法是，双方将各自财富分成相同份数（不等分），然后互相挑选对方某份财富进行比较，经过大量测试后，胜率高的一方财富更多。
认真听老师的课，最后的思考题就很简单。要有第三者参与，他可以即不知阿氏兄弟的真实财富，也能判断谁的财富多。
真正中式大神都是这样！淡泊 返璞归真 务实 默默奉献！尊敬🙏🙏🙏
四十大盗：你现在把这些牌都给我翻过来，要不然马上弄死你
巴巴：你這是作弊！！
突破盲腸
万一他真的知道怎么解，弄死了不没人开门了
@@alexanderking3343 秒变博弈论问题
也可以一直爆揍巴巴，直到巴巴把牌翻過來為止
第一個採用零知識證明技術的虛擬貨幣是 zec，它也是歷史上第一個幣價超過比特幣的虛擬貨幣，我心目中的隱私幣之王，也是我最愛的虛擬貨幣 ～
我覺得有一天大家會更注重隱私，稜鏡門的Edward Snowden 說過 zec 是技術最好的隱私幣，隱私幣在未來必定會受到大家的關注，雖然政府不樂見此板塊的發展，但是特定族群的人一定需要他。
你想幹嘛
学海无涯，感谢老师的讲解，很生动，很形象！
甚麼是零知識證明？
-
假如李老師的知識是100
-
那麼我們都是零，不用證明
刚刚看完小朋友在自己面前证明了哥德巴赫猜想，李永乐老师跪倒：“从此我叫您爷！”
粗鄙不堪~
百京的爷就是真正的爷！咱老百京早上起来就这一出儿--除了吃就是睡，没别哒！
李永乐老师的小朋友长大了就是罗翔老师的张三
还用比吗？肯定是阿里巴巴的钱💰多，他哥哥的钱被嫂子管着。
。了光花早钱哥他亿几赚一天巴巴里阿。最多钱巴巴里阿
阿里巴巴的主人的钱比较多，因为是马云
@@hahahyy1501 笑死
婚前财产
把它转化成一个几何问题。两个人分别把所有财富换成金币，装在一个同等大小的不透明袋子里，然后找两个同等大小的不透明容器。在袋子里各开一个同等大小的口子，然后将金币从口子里漏进不透明的容器中。谁先漏完，则各自将容器中的金币回收。先漏完者持有财富较少，旁观者和对方皆不知道具体的金币个数。
这个其实还不太严谨，我觉得高级一点的，是不是可以用一种复杂的函数运算，从结果上判断原始数值两个谁大，但是靠逆运算无法算出具体的数值。
观摩了李老师的视频，我不经深深的陷入沉思，“小朋友”到底是个什么样的怪物？！
居然有配合的动画了！👍
我念心理學的 李老師用數學和統計把心理學具體化 👍👍
我首次看到心理与数学交集了。此讲我基本没看懂，二种可能，1李老师举例不当不能降维解说。2零知识论只能解决特定的问题。对财富比较，请公证人先设套把他的信用搞垮再请来做这专案。当然对财富要做规范的定义。谢谢。
感觉很理论，只能运用于trivial problems。复杂问题如造车，其零知识证明题目设计会比造车本身还要复杂。
额。。。谁不知道这是两个范畴的东西？？你拿电脑芯片堆起造高架桥造不好，那是因为你脑子有病，不是芯片或桥的问题。
我有个不严谨的方法，请一群强盗，先去哥哥家抢100个金币，观察哥哥的痛苦程度；再去弟弟(阿里巴巴)家抢100个金币，观察弟弟的痛苦程度。假设哥哥和弟弟性格相同，都是或都不是守财奴，也不会串通好演戏，那么失去100个金币所带来的痛苦越大的那一方，钱越少。
笑鼠
比较两兄弟财富，可以把每人财富的十分之一，百分之一，千分之一等等放到麻袋里，然后从中随机抽取一对等比例的袋子，放到一个不显示重量的天平称上看谁的重。
牛啊
研究生学计算理论的时候搞得还挺明白的。。上班一年就忘干净了。。。
要是没有音像技术，每上一课就要重复一遍
You are the best teacher I have ever met. so much to learn from you. Meanings between lines. Thank you.
所以具體來說，零知識證明的重點在於，整個驗證過程都是以「可以被假造」的形式進行，而只有驗證者知道證明者沒有造假，進而確信證明者是真的知道。
我认为威格森“任意数学命题可以转化为NPC问题”是错的，证明如下：
假设:所有数学命题是一阶逻辑命题（事实上“拓扑学”中包含二阶命题等更复杂的命题）
1.若问题可被转化（reduce）为NPC问题，则该问题是图灵机可判定（TM decidable）的。
2.但是由丘奇（Church）定理一阶逻辑是不可判定的。
3.因此，存在数学命题无法转化为NPC问题。
问题是是否有通用的方法可以把任意问题转化成地图问题呢？如果没有，将哥德巴赫猜想转化为地图问题的难度会不会比证明它还难。。。
李老师说的是一个逻辑结论，不是实际操作。逻辑上来说，只要可以转化，就能够证明。
可以的，只是NPC問題並非你想的那樣。我們不要講三色圖，改成另一個NPC問題。（NPC問題都等價）
對某一集合，包含多個整數，此集合中是否存在一組整數，其和為0.
例如集合A={-5, 2, 3, 7}, 其中 -5, 2, 3 和為 0, 因此答案為真。我們要驗證答案為真正不正確，只要檢驗 -5, 2, 3 是不是和為 0 就好。
同理，要把哥德巴赫猜想轉化為 NPC 問題也很簡單。
我們令集合 S 為「所有可能的哥德巴赫猜想的證明」，那是不是（至少）存在一個證明，可以證明哥德巴赫猜想？
如果有人能提出哥德巴赫猜想的證明，我們只要去檢驗這個證明是不是對的就好，不需要所有證明都去檢驗。
所以NPC問題並非你認為的那樣，要注意NPC問題的精神是「找出問題要算（證明）的次數很多，但要驗證卻只要少數的步驟」。
所以在很多很多可能的證明之中，我們要一個一個去試，是否有一個證明是對的，過程非常困難，但一旦我們找出這個證明，只要驗證這個證明就好。
所以實際上你如果真的找出哥德巴赫猜想的證明，也是不可能使用零知識證明去讓別人相信的，因為你還得把所有其他可能的證明都列出來，才能使用零知識證明。
@@Smtadify 你讲了这么多，是否可以理解为你认为李永乐老师讲错了，哥德巴赫猜想如果被人证明出来了，也是没有可能用零知识证明来证明此人已经证明了哥德巴赫猜想的？
假药停：别骂了，别骂了😭
哈哈哈哈 造車🤣🤣🤣
明明说的是恒大
@@alantoa884 我有同事在恒大汽车。恒大汽车肯定能造出来，比要停强多了。
賣洗潔精的都能造出電動車了，假藥停還造不出來。特斯拉都跑來中國造產貸款了，賈騙子還跑去美國騙中國人的錢去造 嘖嘖嘖。。。電動車的時代到了時機成熟了，馬斯克騙成功了 連賣洗潔精的都造出車來了， 賈藥停這個鐵five。
@@f16v26 恒大汽车已经在卖房子了…造汽车是不可能的
我竟然有一天能在YT上複習ZKP跟NP complete ......
因為區塊鏈
11:13 爸爸 你是瞎蒙的！
缘分呐
如果一个问题，出问题的点（矛盾点），占整体的比例无穷小（e.g. 百万分之一），在这种场景下，验证者的抽样可能会抽不到，从而导致出现false-positive error.
找一个严格单调的函数, 可以是单调增, 也可以是单调减. 哥哥和弟弟将自己的财富带入到这个函数中之后得到的结果写下来并反扣, 让证明人看, 证明人会报出这次数字是谁的大. 重复几次便可.
这么有用的知识早说嘛！我这都考完高考了……
高考考卷也能證明你會但是不想寫答案？
大概就是想证明你考试能考满分，但是又不想让别人知道你的答案，让同学随机抽取开考试的题目，设定题目数量为十道题，假如每次都能答对代表你真很大几率真的能得满分，而也有一定几率是你真的运气好，也不用把全部的答案告诉同学。
@@haixinzheng9759 哈哈哈哈哈哈笑死我了，我就写我会的，然后告诉老师我这是零知识证明，我这是满分💯不信你再出多少套试卷你再看都行😁😁😁😁
@@user-pe2wu8vt3j 前提是题目得老师随机筛选。
哈哈哈哈哈哈哈
我現在看了才知道
老師在影片裡面加了MG動畫
現在變得更容易理解了~
最後的問題，我覺得可以用等重的硬幣、看不見內部的袋子、天秤三種道具來解決。
譬如兩位富豪A有18億、B有15億，在不被對方看到的情況下，各自的財產有一億則放入一枚硬幣於袋子中，然後各自到天秤兩側放下自己的袋子，哪邊重哪邊就比較有錢，同時又看不出袋子內有多少硬幣。
一开始还觉得这个路数挺有脑洞啊hahaha，不过这个解法动用了第三方，犯规了。这根两位富翁用悄悄话告诉第三者再用第三者裁定是一样的
很棒的方法
问题是，秤一边落差的可以算出重量差距.
需要考虑作弊问题吗，如果有一方作弊怎么解决？
@@上条三叶 天秤只是工具，怎么会是第三者。难道阿里巴巴的颜色球也是第三者？
我想这么做：每个人把自己的全部家当转化为金币，然后准备比方说2000个同样的箱子一人1000个，然后要求他们在不给对方看到的情况下将自己的金币任意分配到自己的1000个箱子上，找一个天平，然后不断地实验：各自指定对方的一个箱子，然后两个箱子上天平比较谁重谁轻。比较出结果后每人再各自秘密地打乱自己箱子顺序再做一次这样的重量比较。次数越多，出现自己箱子比对方的重的情况多的人越能让对方信服他的财富更多。
自己想到的最后的思考题的一种手法：每次实验，a，b各自想出一个0-1的随机数，乘到自己的财富值上进行广播。在一定次数的实验可以在某个概率上下结论。
但这个方法有个trade-off。实验次数少了，难下结论谁大。实验次数多了，知识容易泄露。也就是在取极限的时候，结论既能出来，知识也泄露了。违背了0知识。也不符合完备性（并不是每一次实验都能判断出真正谁大）
巴巴：你們都是色盲媽媽的兒子
大盜：弄死他！
233333
大盜：你才是色盲，你們全家都是色盲！ 🤣
生物学得很好。色盲妈妈色盲儿子
故事终
@@王文亮-u8l 哈哈哈確實
李永乐老师都开始讲我的科研项目了。我去
我本以为自己很有知识，可是听了李老师的一席话后，我知识归零。
我想到的是用不同的度量衡去比，他們各自拿財產的1%換成黃金放在箱子，再用天秤比較兩邊的重量，比較重的就比較有錢了
1%可以撒谎的，不行。
財務不公開，應該可以拿開銷來抽樣，比如「會計的工作時間長」，「投資項目花費」比例還有「繳稅」，比如一般有錢人會節稅，應該會讓大部分的錢變成活錢而節稅，因此可以從活錢的數量跟會計的習慣上大約知道誰比較多，不過這不是數學題．．．
最後的問題：
全部換成統一的貨幣（同重量），再放在天平上測量那邊重（為確保不能使用目測，可以蓋上同重量的罩子），重的那一方錢較多。
不知道這樣行不行，請老師或是大家可以指點一下！
我是帝国理工计算机系的学生 我们去年期末考试最后一题就是基于三染色问题证明一个问题是N P完备🥲
这不是常规题么…
@@judegao7766 还是要看具体问题吧 单说思路谁都知道把那个问题规约到三染色问题就可以证明
感覺量子糾纏的一些現象就有零知識證明的概念，糾纏量子可以證明它們之間能超光速傳送資訊，但人類無法拿它們來做超光速通訊。
一个人活在世界上就要有信心，自己做错事情要能够反省、洗涤自己的心灵。如果做好事就要坚持，做坏事的话要改正。一个人只有不断地往上进步，这个人才是修心学佛的人。如果一个人什么事情都不顺利，那肯定有他的原因，佛法上称之为因果。
*不针对任何人和事 ，仅分 享善言 ，感恩宽容！
最后一个问题我的想法:把这个问题抽象成比谁的金币多。我定义一个比谁金币多的方法叫扔金币法，a和b同时扔金币，每人每次扔一块，谁的金币先扔完，谁的金币就少，这个方法的特点是:可以比出谁的金币多，但是不知道多的一方有多少金币，知道少的一方有多少金币。于是我们先设一个标准，哥哥和阿里巴巴都与这个标准比较，如果都大于这个标准，就把标准提高，直到有一个人比标准金币少，那么这个标准就是两个人的金币数的中间值，我们只知道有一个人大于中间值，有一个人少于中间值，但是不知道两个人的具体金币数
5:52 酒桶 E
。。。好好笑哈哈
要加速
欢乐时光就要开始了！
MD我笑死了哈哈哈
幹我笑瘋 那個肚子還挺了一下
后面的百万富翁问题，应该就是 Secure multi-party computation对吧。
正確
李永乐老师视频，我先赞后看
最后一个问题，可以考虑多次设置最大值，每次设置一个最大值，两方分别拿出这个数值的财富出来，如果其中一方拿不出来就证明另一方更富有，如果都拿的出来或都拿不出来就调整数值继续比较
个人理解：实际上，就是把自己获取的结果让对方进行抽样检查验证，重复多次后，如果每次验证结果都正确，就说明你是对的。(从结果抽样证明而非从过程证明)不知道对不对哈哈
李老师有数不完的小朋友😂
我们每个人都是李永乐老师的“小朋友”。
在台灣，有數不完的小朋友，代表很有錢。
主要原因还是小朋友可以复用，哈哈
李老师，请注意身材多运动，我们还想一直听课下去呢。😂
李老师会把粥和红烧肉一起吃了嘻嘻
感觉在面试的时候也有用
实际工作中也是如此，不能把本事都用出来，职能露三分。看到很多年轻人都满腔热血996，老司机们都懂：卸磨杀驴。
我想到一个思考题的解
两兄弟按比率把自己的财富和对方进行多次比较。第一次比较，两兄弟都拿出自己10%和20%的财富并分开，但是只有自己知道自己的哪一堆财富具体是什么比率。然后双方随机从对方两堆财富中抽取一堆，再把这抽取出来的财富进行比较，哪一堆的财富大，先记下来。然后进行第二次比较，两兄弟分别拿出自己30%和40％的财富分成两堆。双方再次随机从对方两堆财富中抽取一堆，然后再次将两个抽出的财富进行比较，并记下哪堆财富更大。然后进行第三次比较，两兄弟拿出自己50%和60%的财富进行相同操作。然后第四次(70%80%)，第五次(90%100%)。因为每次抽取一堆财富，对方都不知道究竟%是多少，所以始终无法确认真实财富多少。而真实财富多的一方在比较时，抽到对方低%财富堆时，不管对方抽到自己低%财富堆还是高%财富堆，比较下来都是自己此局财富堆更大。所以每一轮比较只有1/4的几率出现真实财富少的一方拿到自己财富堆更大的结果。那么五轮下来只有1/64的几率，真实财富少的一方会拿到三次比较都是自己财富堆更大的结果。所以极大概率能够分辨出谁的真实财富更多。若嫌1/64的错误判断几率太大，可以把10%的差距改小，例如5%，以无限增加比较次数。
可惜的是，我经过进一步计算发现，如果一方仔细分析两次比较之间抽出的对方财富堆的财富差的比率，是可以判断出对方的真实财富总量的。例如，第一次抽出的财富堆可能是10%或20％，第二次抽出的财富堆可能是30％或40％。那么，第一次和第二次抽出的财富堆的比率差值就可能是10％或20％或30％。然后根据两次财富堆的财富差计算它分别在10％20％30％的情况下的财富总量是多少。再根据不同的财富总量计算10％和20％的财富是多少。最后会发现六种结果中只有一个结果符合第一次抽取的财富堆的金额。因此可以判断真实的两次财富堆的比率差值，进而判断出对方真实的财富总量。遗憾遗憾，想了半天解，又想了半天推翻自己的解，白费功夫。
零知識證明在密碼學上有非常重要的地位
随着时间的推移李老师的“小朋友”会越来越牛