我最尊敬李老师的地方，是他火了之后，没有想去吃烂钱，而是依然踏踏实实给我们上我们听不懂的课，是一个担得起老师这称呼的人

@plastic397

3 жыл бұрын

就是這樣，比起其他老師我更喜歡聽他講東西^_^

@karlx4954

3 жыл бұрын

@@plastic397 比起他讲的东西，更喜欢他讲课方式。。感觉他讲什么都很有意思。

@bravedove

3 жыл бұрын

听不懂的课是亮点

@sayahdu

3 жыл бұрын

还没收学费，比中学数学老师实在多了

@Ericyoungify

3 жыл бұрын

你应该年龄不大

李永乐老师口里的“小朋友”越来越恐怖了，连歌德巴克猜想都解出来了

@fhqmagic

3 жыл бұрын

李永乐老师的小朋友就是外星人

@AquoibonLee

3 жыл бұрын

幸好李老师的小朋友和罗老师的法外狂徒张三不是同一个人 :p

@ll-lw8vn

3 жыл бұрын

@@AquoibonLee 一个精通柯学，一个精通科学

@wentaowang4244

3 жыл бұрын

只有小朋友才会蠢到声称证明了歌德巴赫猜想吧

@ll-lw8vn

3 жыл бұрын

@@wentaowang4244 举个例子而已吧

我們：小朋友=小孩子 李永樂老師：小朋友=人類

@vanilla2654

3 жыл бұрын

我只是眨個眼然後我就懵了

@peperonya9404

3 жыл бұрын

小朋友=人類 × 小朋友≠人類 ✓

@chuokian912

3 жыл бұрын

且小朋友≠0

@tcwlau3721

3 жыл бұрын

@@peperonya9404 小朋友=人類√ 李永樂≠人類√

@TheDeathant

3 жыл бұрын

你要想想李永樂老師教書的地點，那裡的小朋友在數理化的知識儲備量搞不好已經超過百分之五十以上（甚至更多）的成年人了。

我的理解是，在這些例子中，零知識證明基本上是一個把「真不知道」的概率壓到微乎其微來去證明「知道」的方法。

看完後我證明了我是零知識的😂😂

@lovesgoodfood1491

3 жыл бұрын

+1

@user-bob-pikachu

3 жыл бұрын

你不須知道知識，你只要知道李老師知道這知識就好。

@ceybei3421

3 жыл бұрын

證明一下吧 （*＾-＾*）

@skyland4929

3 жыл бұрын

这是一种很谦虚不着痕迹的吹牛逼的方式 😂 🤣

@lovesgoodfood1491

3 жыл бұрын

我现在严重怀疑学校老师都是做零知识传授！😨

李老师就是李老师，用知识和学问解释社会现状👍

李老师的严肃中充满了幽默，虽然不大懂，但李老师的讲解也是把零知识给我们演示了一遍，谢谢🙏

把問題和答案的關聯轉變成機率問題。 透過趨近無窮次的試驗，使猜對的機率趨近0

@user-jp5do3et9n

3 жыл бұрын

總結的很好

@poyunglin7367

3 жыл бұрын

非常好的總結！

@user-yh7kf8tk9e

3 жыл бұрын

現實執行上就是 你每次來問我，我都能回答 如此反覆無限次 結果證了你什麼問題我都能用一張嘴解 古代講「大智若愚」 「無為法，無所不為」

@qazzy76

2 жыл бұрын

從統計驗證的角度來說，一般只要把猜對的機率壓到低於0.05%就會認定這不是矇的(顯著水準)，如果想要嚴謹一點會把標準提高到機率低於0.01%

@stickbox0502

2 жыл бұрын

賭場那集有認真看

阿里巴巴從一個快樂的青年變成一個色覺正常的青年

@clarkliu4767

3 жыл бұрын

你暴露了年龄

@terracecar1

Жыл бұрын

你暴露了年龄

@justicelove2164

7 ай бұрын

我们都是“小朋友”，想起了再过20年我们来相会，转眼都过40年了

四十大盗的脾气真好...

@feifeishuishui

3 жыл бұрын

你没看懂啊，杀了阿里巴巴就肯定没有人知道密码了。留着的话，也许有一天阿里巴巴会说出来，大盗不想放弃这个机会

@user-yi6im7ot6o

3 жыл бұрын

@@feifeishuishui 打到说出来为止嘛

@shiranuic9547

3 жыл бұрын

@@user-yi6im7ot6o 就数你最聪明！阿里巴巴说出来是死，不说还能活。“打到说出来为止”别人怎么都想不到呢？警校学生刑侦，审讯都不用学了，直接跟你这个天才学

@boliu9230

3 жыл бұрын

@@shiranuic9547 你这类比不对，警察刑侦确实不会这么搞。但这是强盗，是不会给你讲什么规矩的，这种情形要和战争时期的间谍战俘等类比。不要高估肉体的承受力，如果毫无顾忌的折磨很久他还是不说，基本上就是他真的不知道，或者他就是死硬的要独吞财宝。这种情况直接处决才是最优解。战争时期间谍战俘被直接搞死的还少吗。

@PekoraMamiCouncilHK

3 жыл бұрын

直接殺了是雙輸,假如對於阿里巴巴而言保守秘密是唯一目標,那選項只有誓死不講事實並且去死 但阿里巴巴死掉/不露口風->大盜並不能讓自己獨吞寶藏,知道嗎? 除非你是"德意志醫學世界第一",不過這是另一個問題了

感谢李老师，一直不理解零知识证明，网上的文章也看不懂，老师的讲解真是形象！透彻！

李老师的优秀就在于，能把复杂的知识用最简单生动的方式讲出来，非常感谢！

这个相当有用，能让老师真的相信，你只是忘记了带作业，而不是故意落在家里。

@jtfq7695

2 жыл бұрын

老师重出一份作业，"你做过的话肯定可以很快就再做过"

李永乐老师的好多视频讲述的知识可应用到实际生活中

@lemonforever

3 жыл бұрын

所以李老师才火

认真听老师的课，最后的思考题就很简单。要有第三者参与，他可以即不知阿氏兄弟的真实财富，也能判断谁的财富多。

学海无涯，感谢老师的讲解，很生动，很形象！

费马就是这么做的，他写到：“对于这个命题，我有一个十分美妙的证明，但这里空白太小，我写不下”

@Jaojao_puzzlesolver

3 жыл бұрын

費馬要被洗白了XD

@binac

3 жыл бұрын

这和零知识证明没有任何关系。

@agftawu2233

3 жыл бұрын

@@binac 有零知識，但沒證明(因為空白太小)。

@guest_of_randomness

3 жыл бұрын

@@binac 当笑话听就好了哈哈

@IsaacLuo

3 жыл бұрын

@@binac 这个叫“刷脸证明”

Charles rackoff 是我的导师 很开心看到李永乐老师 能说我的领域的话题 而且说的很好

@Xx-kc1yd

3 жыл бұрын

请教一下，巴菲特想给投资者证明自己有能力在股票市场上赚到钱，但是不愿意披露自己的具体方法。这种情况下（这个问题很有实际意义，基金经理要给投资者证明自己的能力），有可能零知识证明吗？ 我业余的想法是， 1似乎色盲小球的解法有些问题，投资者随机调换两个股票的位置，巴菲特总能做出一致的排序，但是这并不能说明巴菲特能赚钱，只能说明巴菲特可以评判两只股票 2巴菲特对一篮子股票评价涨或跌，然后把股票代码加密发给潜在客户，等一个时期后股票涨跌实现，由顾客拿几个具体股票请求巴菲特解密，对照后如果发现确实如判断则证明巴菲特对。 可能在这个情景中，有两个难点，第一是，投资业绩实现需要时间，现实的考虑是想把这个时间尽可能缩短。第二是这种证明方式如果本身就不是全对而是大概率对呢，就是说投资是大概率赚钱而非每投必赚怎么给投资者证明呢。 看到你专业领域是这方面，所以请教一下你的专业看法，如果有相关读物烦请推荐。谢谢。

@stickbox0502

2 жыл бұрын

@@Xx-kc1yd 其實只要夠有錢就可以了

@KevinZJR

2 жыл бұрын

@@Xx-kc1yd 基金经理很可能都不知道自己明年能不能赚钱，很多投资方法随时都会失效

其实就是用足够多的特殊解，从统计学的方向说明自己会解这个函数，然后老师给了一分

@BiancoRosso_

2 жыл бұрын

你这样说我就懂了

謝謝永樂大帝!!!

李永樂老師：我要如何在不公開小朋友的狀況下證明小朋友的存在呢？

@lemonforever

3 жыл бұрын

小朋友就在DM，comment的人群中存在，但是你就是不知道他是谁哈哈

@dygu7838

3 жыл бұрын

@@lemonforever 有发言 你认识 不是你？

@sdfsfssogs6331

3 жыл бұрын

薛定谔

@vittorialin1261

3 жыл бұрын

李老师的小朋友有千千万，公开不过来。你我也是其中之一。😄

@rice121714

3 жыл бұрын

@@vittorialin1261 李老师的小朋友:死了一個我，還有千千萬萬個我!

李老师出这期视频的时候阿里巴巴股价应声暴跌6%

好久不看，李老师的视频制作质量提升了！

最後問題的解答:兩人分別把自己的財產依價值分割成不同公差的等差數列，再各自隨機取一段來比較多寡，如此重複數次，隨進行次數的增加，每次比較結果為"較多"機率較高的人擁有更多財富的可能性會逐漸收斂至1。

@RT-en4hg

2 жыл бұрын

兩人分別把自己的財產依價值分割成不同公差的等差數列，你這句話 白話你要怎麼翻譯？

@cyd427

2 жыл бұрын

你这个方法验算无数次到无限接近1的概率后 把无数次验算按照数学公式可以算出有多少钱了吧

@thecreatureofthenight3167

2 жыл бұрын

不會收斂到1

6:28 李老師厲害，連國王的新衣都有解。

@ppcream3654

2 жыл бұрын

问题在于这个衣服是皇帝的 别人不能穿啊LOL

@alxu8772

4 ай бұрын

國王的新衣是有解。但所有的解都有一个前提，就是有人承认自己看不见。如果每人承认自己看不见，也就没办法说明自己的解法。

谁给我打的钱多 谁就更有钱🤣

@user-pe8sp5ic7s

3 жыл бұрын

這很公平

@yel2730

3 жыл бұрын

很深刻

@wzbmitbbs

3 жыл бұрын

当然，嫖资付的爽的更有钱

@shashali5139

3 жыл бұрын

这是个好办法！

我現在看了才知道 老師在影片裡面加了MG動畫 現在變得更容易理解了~

簡單來說，就是對一個問題，將驗證一組答案的方法從決定性的轉為機率性的

@user-jg4tf1sv6s

Жыл бұрын

排除不可能的几率剩下的就是真相

15:46 终于讲到NP and NP-complete了🙌🙌🙌最喜欢theory of computation: 里面的Reduction

对于李老师这种人，最快乐的时光就是在课堂上，真真无愧老师这个称号

17:25 先隨機列出 N 個不重覆數字 A跟B分別拿紅筆與藍筆 每個數字A跟B要同時做答自己的財產是大於、小於或等於這個數字並用自己的筆寫在紙上蓋下，再把兩張紙放入一個代表這個題目的袋子。而這個袋子只有答案沒有題目。 全部作答完後要對袋子洗牌，以致A跟B都不會知道每個袋子對應的題目。 接下來把每個袋子分別打開，找到兩個答案不同的袋子，就能分辨財富大小。 這個方法要做到N個數字中至少有其中一個答案不同為止。

真的好有趣，喜欢李老师的课

李老师其实还可以说说零知识证明在现代电脑科学中的应用。 我们平常所做的一种multi-factor Authentication其实就是一个经典案例。

@abysswatcher4907

Жыл бұрын

严格意义来讲multi-factor authentication不是zero knowledge, 因为server实际上还是得到了你的otp，要是狡猾起来可以迅速用你的otp来authenticate另一个app窃取你的信息。

受益良多！如果李永乐老师可以再出一期关于NP完全问题的介绍，那就太完美了！

@shockleyzheng2372

3 жыл бұрын

这么难的概念。如果有一个人可以讲的深入浅出，通俗易懂，那一定是李永乐老师。

@pochuanhsing2466

2 жыл бұрын

NP complete 好像是計算機工程的問題 因為每秒運算受硬體限制,有些解矩陣算法不佳時須用更多步驟才能算出答案,如果步驟算成在計算機時限內,就是NP 完全問題 如果不然,就是NP incomplete 問體 有一個多位整數求質數問題用在銀行金融即是如此

@junwenl1331

2 жыл бұрын

@@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。

@yuanpatrick7903

Жыл бұрын

@@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。我省略了很多細節不過這個問題的概念大概是這樣

我對思考題的解法是這樣的： 兄弟倆先共同選擇一個正實數（大於0的） 然後各自選擇把自己財富的總數，除以 或是 乘以 該數字 但雙方都不把自己的選擇透露出去 最後把計算結果放入信封，並找個隨機路人說出誰的數字更大（但不說出實數） 然後再進行一輪，重新共同挑選一個新數字 各自再選擇乘除 然後再找同一個路人去說出誰數字更大 解釋： 一、為甚麼這樣能得知誰更有錢 假設兄比弟有錢，那這方法每次會得出四種可能結果 1）兄弟都選擇了乘→兄的數字更大 2）兄弟都選擇了除→兄的數字更大 3）兄選了乘，弟選了除→兄的數字更大 4）弟選了乘，兄選了除→弟的數字有可能更大 上述四種可能中，只有一種是弟的數字有可能更大 換言之在無數次實驗後，這 (1/4)ⁿ的概率就無限地接近0 由此所有結果最終必然能導向「兄更有錢」的正解 二、為甚麼這符合題目 數字雖由兄弟共同協定，但大家都不知對方的選擇，以及對方運算後的實數（放了進信封），因此符合題目要求「不暴露自己財富量」 三、為甚麼符合0知識 路人不知道整個命題的一切規則，包括兄弟共同協定的數字、兄弟各自的選擇、最重要是他不知道數字代表的是兄弟的財富量，因此即使看到了運算後的實數也沒意義 而在上句的前提下，找同一個路人就能讓運算結果只傳給同一人身上。即使路人將所有結果數字說出，在兄弟倆外無人知曉遊戲規則下也不可能將兄弟財富量以及誰更有錢的訊息外傳 （以上是小弟自己想的，如有錯請多多指教！）

@pofe4732

3 жыл бұрын

唯一想不通的是如何解決撒謊的問題。因為在不暴露實際財富量下小弟實在想不出「若有人謊報財富量，怎樣才能讓其被揭穿」 還望指教！🙇🏻‍♂️

@jjonsale

Жыл бұрын

如果能找第三者,為什麼還要那麼麻煩呢?直接寫財富值讓第三者告訴誰大誰小就可以了

@_cffm_

Жыл бұрын

@@jjonsale 你有在看影片嗎? 問這問題說明你連影片都沒看就在回應留言啊

@kuoaite3385

Жыл бұрын

@@jjonsale 這類數學應用也會被擴展到電腦科學，這就是一個很實用的技術可以擴展到其他安全領域上。區塊鏈就是其中一個，零知識證明在密碼學的應用領域很常見

课后题：结尾作业姚氏百万富翁问题我已经知道答案了，但是我不想把技术细节透露给网友，我该怎么让大家知道我确实给出了答案呢？

@jieelyuu

2 жыл бұрын

转换成三染色问题

想请问老师所提到的威格森关于数学命题和NP完全问题的关系有引用文献吗？听上去似乎过强, 数学证明的复杂性可以远大于NP，证明哥德巴赫猜想和黎曼猜想确实可以等价为NP完成问题吗？这个可是已经有证明的结果？

这就好像我们互联网开发产品，如果一个问题可以稳定的复现，其实就证明了它确实存在。

看到李永樂老師在影片中講解零知識證明，真的是讓我大開眼界的說！他的講解非常清晰易懂，讓我這個數學白痴也能理解呢的說！感謝李永樂老師的分享，讓我學到了很多有用的知識的說！

李老师对开启民智的作用太大了。也许我很多问题听不懂但是我知道可以通过计算来解决很多问题

数学命题 -> NP完全问题 -> 三染色 这个地方的解释真的是绝了。厉害！

李永乐老师视频，我先赞后看

感谢李老师，治好了我多年的失眠问题，摆脱了对药物的依赖

四十大盗：把阿里巴巴埋了，把李永乐老师抓来

@tingyuenlau8699

3 жыл бұрын

九品芝麻官: 說書人: 包龍星被四十江洋大盗輪姦。

@caocaohehe

3 жыл бұрын

哈哈哈哈

@zx6506

3 жыл бұрын

结果李老师凭实力让四十大盗打哈欠睡觉

一开始觉得只要双方选定一个标准，用代码表示，就可以互相大小，但后来看了答案发现不能有第三方确认。后面看不经意传输的加密规则就有点看不懂了，希望李老师能做一期节目！谢谢李老师不忘初心

我：*随便问个问题 李永乐老师：其实这种问题在数学上是有解答的 0:37

@peterwong246

3 жыл бұрын

例如我問： 為什麼我這麼傻？ 🤣

@user-bv1pz5yl5c

3 жыл бұрын

@@peterwong246 其实这个问题在数学上是有解答的。

@nohoodieboggiewithda8221

3 жыл бұрын

請問等下要吃什麼？然後李永樂老師把食物的概率全部給你算一次，大概到你問晚餐吃什麼

@kevinvince2011

3 жыл бұрын

我：李永樂老師，我現在尿很急，可以去小便嗎？ 老師：其實這個問題在數學上是有解答的 （十五分鐘後） 老師：經過證明，同學你可以去尿了 我：

@user-to5eq7we9n

3 жыл бұрын

@@peterwong246 答：因为你不知道这种问题在数学上是有解答的

不願意變現的博主~~充滿內涵 令人敬仰

永遠是那麼通俗易懂，深入淺出。

李永樂老師回答什麼問題最後都會變成數學就像是王剛老師不管是什麼菜最後都有寬油一樣😫

小盆友越来越恐怖了

我念心理學的 李老師用數學和統計把心理學具體化 👍👍

@zhishuihu6650

2 жыл бұрын

我首次看到心理与数学交集了。此讲我基本没看懂，二种可能，1李老师举例不当不能降维解说。2零知识论只能解决特定的问题。对财富比较，请公证人先设套把他的信用搞垮再请来做这专案。当然对财富要做规范的定义。谢谢。

謝謝李永樂老師

李永乐老师证明了我是零知识的，王刚老师证明了我是真的没手，大翔哥证明了我的普通家庭可能是假的。我看个油管看着我心碎了💔

@jqingfeng1185

3 жыл бұрын

@@muazuual3434 你要比什么？

@zarinnazhang1572

3 жыл бұрын

Mua zua 都是努力出视频的人，凭什么不行呢？

@user-su9en5ql8u

3 жыл бұрын

@@muazuual3434 你一天不做数学题一辈子不做数学题可以活得很幸福，一天不做菜你吃屎吗？

@zarinnazhang1572

3 жыл бұрын

@@user-su9en5ql8u hhh您真的太会说话了，笑死。

@user-su9en5ql8u

3 жыл бұрын

@@muazuual3434 没有人否认科学的重要性，我们看不惯你把王刚说的一无是处罢了，李永乐老师用心教会了我们科学知识，在你没看见的地方，王刚老师又教会了多少穷留学生做自己喜欢的菜照顾自己呢

看完李老師的解說後,阿里巴巴若這樣做,肯定會被四十大盜打得半死

@user-qd8uf9rq6l

3 жыл бұрын

不這麼做直接死了

观摩了李老师的视频，我不经深深的陷入沉思，“小朋友”到底是个什么样的怪物？！

我從來沒有看過李永樂老師的小朋友 但老師的認真解答讓我相信小朋友的存在 這就是零知識證明嗎？

@eculid5810

Жыл бұрын

🤣

關於最後的問題我想到的是兩兄弟約定好把自己的財富共同進行某一種運算（例如：四則運算/開根號/取倒數之類的），然後再把結果裝在一個信封當中，並標注這是誰的信封。最後再請一個不知道運算公式的人打開信封確認誰的數字大（或小），將這個結果告訴哥哥跟弟弟，（因為看數字的人不知道會進行什麼運算，所以他們並不清楚兄弟倆的確切財富，並且看到信封的數字大不代表那個人的財富就多，只有哥哥跟弟弟自己知道當次的比較結果是跟財富成正相關還是負相關）。重複數次就可以確定了

@user-dj2ij5sy1f

3 жыл бұрын

那麼兩兄弟都知道如何作計算，便可以各自回推對方的財富，不知道是不是符合原本不透露的規則？

@alessialiu3029

3 жыл бұрын

@@user-dj2ij5sy1f 我觉得可行吧，就是你弄出一个共式，然后答案越大（越大）财富越多，然后叫见证人说谁的数字大（小）最后把纸烧了。

@user-yu3hx5uh9e

3 жыл бұрын

导数

@user-rm5id4dj5z

3 жыл бұрын

可如果有一方 謊報數字呢

@jackz1620

3 жыл бұрын

可行，但是不能混合严格单调递增和递减的function。比如在一切严格单调递增的function space里面由两人共同约定一个，然后把运算过的结果交给证人。证人可以比较谁的结果大来推断谁的财富多，但由于不知道所选取的function所以不知道确切财富值。 有点内味儿了。兄弟们把楼主的解法顶上去啊，没准又是一个伟大的计算机大师。

You are the best teacher I have ever met. so much to learn from you. Meanings between lines. Thank you.

老師謝謝。

关于最后这个问题我的想法是，双方将各自财富分成相同份数（不等分），然后互相挑选对方某份财富进行比较，经过大量测试后，胜率高的一方财富更多。

最后一个问题我的想法是，通过归一化的方法；比方甲乙两个富翁，甲先心中随机想一个数a，用自己的财产除以a，再将结果告诉乙；乙也心中随机想一个数b,用自己的财产除以b，并将结果告诉甲；甲将乙报的数再除以心中想的a，乙将甲报的数除以心中想的数b，比较两个结果，即可知谁的财产大；因为两个人的财产都除以了a*b，而两个人都不全知道a,b的值。

@spacegateway

3 жыл бұрын

比較兩個數字的工作要交由第三者來做，否則甲乙雙方就可以推導出對方的所除的數了。因此更簡單的方式是甲乙雙方隨機約定一個正數x，將自己的除以x後交給一個不知道x是多少的第三者比較即可。

@user-xk6oy7ml9h

3 жыл бұрын

@@spacegateway 唔你说的对，我没想到这点。

@minispirit

3 жыл бұрын

@@spacegateway 两人事后串通就知道他们财产具体数字了

真正中式大神都是这样！淡泊 返璞归真 务实 默默奉献！尊敬🙏🙏🙏

謝謝老師。我們這裡，直的是行、橫的是列。

思维又开拓了。谢谢老师

居然有配合的动画了！👍

最常见的解法很多评论都提过了，用箱子+球。 提个更有创意的：做一个特制的天平，两个托盘各出现在一个房间，两个房间互不可见。假设身价的范围是1-1000，则每个房间有单位重量1-1000的砝码。A和B要共同把天平调试好，确保是公平秤 天平开始时是固定在平衡位置的，无论放上多少重量都是平衡。待两个人都在托盘放好代表自己身价的砝码，出屋，锁好门。让天平取消固定，开始自由摆动。过30秒，双方开门（设计一个机制让二人不可以碰托盘）。看天平的位置就知道结果了。这相当于设计了一个机器作为裁判，且双方都能验证机器是公正的。

@tfguo8682

3 жыл бұрын

但还有个更简单抽象的方法，设计一个电路：假设二人的财富范围是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

Жыл бұрын

嚴格來說 這樣的方法一方可以利用紀錄天秤傾斜程度回推對方比自己多多少錢 天秤給出的重量差算是洩漏了知識

@tfguo8682

Жыл бұрын

@@user-th8hf5pk6d 天平不只有正义女神手里拿的那种手提式的。实验室里用的天平，只要些许不平衡，更重的一端就会碰到底座，平衡在一个固定的角度。不会泄漏两边重量的差距 我说的天平其实仅仅是一个例子。我想表达的是：我们难以找到一个“可信第三方”来处理百万富翁问题，但可以制造一台公平的机器来作为可信第三方。这台机器需要满足：双方皆可验证其执行逻辑（verifiability），不会撒谎（integrity），不会泄密（confidentiality）。针对百万富翁问题，天平和电路都是一种实现方式（电路更加通用一些）。我是研究隐私计算的，现实中的解决方案也是基于这种思路。

我想到的是用不同的度量衡去比，他們各自拿財產的1%換成黃金放在箱子，再用天秤比較兩邊的重量，比較重的就比較有錢了

@user-ur2nx1hi8w

Жыл бұрын

1%可以撒谎的，不行。

老師 請問這個知識要如何運用在生活中?

这个视频不要让恒大汽车的人看到，大家注意保守秘密。

@zzz-bc4vp

3 жыл бұрын

为什么？恒大汽车怎么了？？？

@backwaltz

3 жыл бұрын

@@zzz-bc4vp 恒大汽车还没造出一辆车，但已经让资本市场相信他们能造车，并且市值飙升

@hoovoooo

3 жыл бұрын

哈哈哈哈哈 恒大连忙关注了李老师

@user-yg7st1gw5x

3 жыл бұрын

哈哈😂

@ychan2511

3 жыл бұрын

PPT造车。 另一个大师是下周回国老贾。

最后的题：可以把两个人的财产都分成n份，然后按比放在每份里，例如果n是4，总财产是100金，那么就可以分成40金，30金，20金，10金，加起来是100金。 两个人比的时候各个从自己的n里面随机抽取一份拿出来比较，反复重复，更富有的那个有更大纪律获胜。 因为每次n都是不一样的，而且是随机抽选，不知道到底抽到的是哪个比例的财产包，而且只观察输赢，无法判断出对方的总财富。

@creeperskeleton1261

3 жыл бұрын

我沒理解錯的話，n=4 比較富有的那一方獲勝概率至少是10/16，不管n是多少每次都會大於1/2，所以測試次數多了之後看誰贏的較多這樣嗎？

@zhaisang

3 жыл бұрын

外界是无法判断，但对于对方依然不是零知识，对方可以记录每次的N，以及每次的抽取结果，那么还是能够测算

@Jack-op8bb

3 жыл бұрын

n 必须是随机的，每次2人不知道n是多少，只知道n相等。并且每个固定的n，分配财产的方法也必须是随机的，两人不能用任何策略来分自己的财产。 不然假如2人有100和99块的话，n = 4 , 100块的人分 97，1，1，1肯定比不过99块分40，30，20，9。

@user-xf3nk8oi6j

3 жыл бұрын

准备一个天枰，两边是密闭的箱子，阿里巴巴兄弟先约定好，一个硬币代表比如说一百万，然后各自往箱子放等同自己财产多少的硬币，放硬币过程是私下不让对方看到的，然后把两个箱子各自放天枰左右，谁重说明谁放的硬币多，并且你只知道对方硬币比你多但是不知道多多少 这个办法怎么样

@zhimingzhang8155

3 жыл бұрын

@@user-xf3nk8oi6j 阿里巴巴说 箱子太小了 没法玩 哥哥惊呆了😎

这是门非常有意思的学科，特别是在去中心化的运用上，又叫“多方安全计算”。不过这个模型有个弊端，就是必须是基于诚实的参与者，也就是参与者的共享出来的信息必须是真实的，当中有人撒谎，就会影响到结果。还有就是，这种应用当前还比较简单，比如求和，运用在“匿名选票”上。受于知识有限，我不知道有没有算法能够进行比较复杂的运算，比如三角函数，在参与方都不提供参数的情况下能否完成运算。如果复杂运算也能够“匿名”求解的话，那在去中心化的运用里实在是无可限量。

李老师最厉害的地方就是复杂的东西，能够把复杂的问题，简单的给你讲明白了。 偶尔会有一些瑕疵，但又是为了让听众能够先掌握该掌握的内容。

@user-nv3gv1qv2z

2 жыл бұрын

错误太多看不下去

从肚子的圆滚程度看得出，李永乐老师已经变成李永乐校长了

@user-vs4fb6tx5m

3 жыл бұрын

我刚想说李永乐老师胖了！

@donaldchopin3552

2 жыл бұрын

@@user-vs4fb6tx5m 我猜是最近饭局多了

@donaldchopin3552

2 жыл бұрын

@@user-vs4fb6tx5m 人怕出名猪怕壮，人要出名容易胖

@LilyZjl

2 жыл бұрын

因为要长久地坐在那里研究和吃透每期要科普给大家的知识，想要不胖真的很难😬，李老师辛苦了！

@jamest9787

2 жыл бұрын

哎，不懂中年男人的痛。上肉分分钟，掉肉？不可能的。

阿里巴巴跟他哥哥可以將所有財產各自分別裝入10個麻布袋(可不必非常平均，避免對方能算出x10的總財產），雙方可以互相選擇對方的1個麻布袋統計數量，相較完為一次比較，每次重新洗牌，多次後以達到0知識證明。

@amychen82

Жыл бұрын

看了很多留言，暫時只有你的方法是不依賴第三方且未破邏輯的，但不知道是否正解，以及10是否最優數

@hahahaha-yb5nj

Жыл бұрын

這方法有資訊,可得到總財產不少於袋中數的資訊

@BenTsai0418

Жыл бұрын

這個方法可以統計出對方大概財產多少🤔

@user-rp2il7nx9f

Жыл бұрын

我觉得可以这样，阿里巴巴和他哥哥分别计算自己的财富，将各自财富按照比例换成其他质量的东西代替，比如500万换成50斤大米，然后放到杠杆上（而且阿里巴巴和他哥哥选择代替财富的东西密度不同，为了防止比较体积猜个大概）

犀利犀利 我想到多項選擇題 我多次能選中，你就相信我真的懂了

1.知識能拆解為若干可驗證細節 2.各細節必須正確的串連，知識才成立 3.驗證者知道有哪幾個細節，並知道甚麼結果符合資格 這樣能進行「零知識證明」 以上這樣理解，對嗎？

摸了這麼久zkp李老師終於要來幫科普了☺️👍

@XY-zy3ew

3 жыл бұрын

链圈大佬?

百萬富翁問題。 兩個人約好把財產數額乘上一個特定數字，再把得出的數字交給第三方比較。因為第三方不知道是乘上了啥數，所以不會知道總財產有多少。 如果擔心第三方向對方洩漏資訊，可以在第三方說完答案後馬上把他拖去砍了… 或是把數值轉成水量再放上天平。

@afish9955

4 ай бұрын

第三方心里苦，动不动就砍我

财富换成统一货币，用无刻度的天秤去对比两方财富兑换货币的重量。或者把货币换成等比例石头来秤

比较两兄弟财富，可以把每人财富的十分之一，百分之一，千分之一等等放到麻袋里，然后从中随机抽取一对等比例的袋子，放到一个不显示重量的天平称上看谁的重。

@user-jo8un4rs6o

2 жыл бұрын

牛啊

感觉很理论，只能运用于trivial problems。复杂问题如造车，其零知识证明题目设计会比造车本身还要复杂。

@wildsnail8459

2 жыл бұрын

额。。。谁不知道这是两个范畴的东西？？你拿电脑芯片堆起造高架桥造不好，那是因为你脑子有病，不是芯片或桥的问题。

李老师开头造车的比方，这个有点意思 :)

李永樂老師你好：請問一個交網友常見的問題，不想讓對方先看到我的照片和財力家世，要怎麼讓對方相信我是個高富帥（或白富美）呢？感覺這也是個零知識證明呢！

如果一个问题，出问题的点（矛盾点），占整体的比例无穷小（e.g. 百万分之一），在这种场景下，验证者的抽样可能会抽不到，从而导致出现false-positive error.

聽起來有點像是寫程式的單元測試 只要準備好正確input跟output就能測試程式是否正確

（1）零知识证明的核心，在于在验证环节，加入一个随机且可控的成分。 （2）对于比财富问题，可以这么解决：找来一个天平，两端各放个同样的黑箱，二人将对应于自己财富总量的砝码质量（比如每百万元对应一克）各放入一个黑箱，同时再向各自箱内加入一个随机且相同的质量（比如同时加100克，但二人都不知具体是多少克）。然后只需要看天平向哪边倾斜，就知道谁更有钱了。 （3）以上方法的关键，在于黑箱和加入的随机却相同的质量。因为二人都不知加的具体质量是多少，所以无法通过天平倾斜的角度，逆向算出黑箱内原本的质量（即各自的财富）。

@peterpan629

3 жыл бұрын

以上方法其实还能再简化。只要二人都不知道黑箱本身的质量，那就不必再加入随机筹码，因为黑箱本身已是随机性因子。

工作中刚刚要用这个概念 还有一个是multi party computation。 老师讲得真好

这个np完全问题太具有数学的魅力了，感谢李永乐老师

@luyangdu1036

2 жыл бұрын

奖金好像是一百万美元

问题是是否有通用的方法可以把任意问题转化成地图问题呢？如果没有，将哥德巴赫猜想转化为地图问题的难度会不会比证明它还难。。。

@Kasy2800

2 жыл бұрын

李老师说的是一个逻辑结论，不是实际操作。逻辑上来说，只要可以转化，就能够证明。

@Smtadify

2 жыл бұрын

可以的，只是NPC問題並非你想的那樣。我們不要講三色圖，改成另一個NPC問題。（NPC問題都等價） 對某一集合，包含多個整數，此集合中是否存在一組整數，其和為0. 例如集合A={-5, 2, 3, 7}, 其中 -5, 2, 3 和為 0, 因此答案為真。我們要驗證答案為真正不正確，只要檢驗 -5, 2, 3 是不是和為 0 就好。 同理，要把哥德巴赫猜想轉化為 NPC 問題也很簡單。 我們令集合 S 為「所有可能的哥德巴赫猜想的證明」，那是不是（至少）存在一個證明，可以證明哥德巴赫猜想？ 如果有人能提出哥德巴赫猜想的證明，我們只要去檢驗這個證明是不是對的就好，不需要所有證明都去檢驗。 所以NPC問題並非你認為的那樣，要注意NPC問題的精神是「找出問題要算（證明）的次數很多，但要驗證卻只要少數的步驟」。 所以在很多很多可能的證明之中，我們要一個一個去試，是否有一個證明是對的，過程非常困難，但一旦我們找出這個證明，只要驗證這個證明就好。 所以實際上你如果真的找出哥德巴赫猜想的證明，也是不可能使用零知識證明去讓別人相信的，因為你還得把所有其他可能的證明都列出來，才能使用零知識證明。

@TJ-ex9ww

Жыл бұрын

@@Smtadify 你讲了这么多，是否可以理解为你认为李永乐老师讲错了，哥德巴赫猜想如果被人证明出来了，也是没有可能用零知识证明来证明此人已经证明了哥德巴赫猜想的？

随着时间的推移李老师的“小朋友”会越来越牛

谢谢李老师

还是喜欢听李老师讲课。

四十大盗：你现在把这些牌都给我翻过来，要不然马上弄死你

@user-om9mk7gm2b

3 жыл бұрын

巴巴：你這是作弊！！

@zee45678

3 жыл бұрын

突破盲腸

@alexanderking3343

3 жыл бұрын

万一他真的知道怎么解，弄死了不没人开门了

@user-hf6eu5bb4k

3 жыл бұрын

@@alexanderking3343 秒变博弈论问题

@user-om9mk7gm2b

3 жыл бұрын

也可以一直爆揍巴巴，直到巴巴把牌翻過來為止

感觉在面试的时候也有用

@gurinnmori

3 жыл бұрын

实际工作中也是如此，不能把本事都用出来，职能露三分。看到很多年轻人都满腔热血996，老司机们都懂：卸磨杀驴。

零知识证明最快的理解就是 ：绑匪可以拿出被绑人的相关信息，但是警察却不知道被绑人在哪里

Thanks!

巴巴：你們都是色盲媽媽的兒子 大盜：弄死他！

@user-on3wl3kp5i

3 жыл бұрын

233333

@harri0438

3 жыл бұрын

大盜：你才是色盲，你們全家都是色盲！ 🤣

@user-iw1rp2cu6c

3 жыл бұрын

生物学得很好。色盲妈妈色盲儿子

@xutianhan8154

3 жыл бұрын

故事终

@hsuanli4049

3 жыл бұрын

@@user-iw1rp2cu6c 哈哈哈確實

单位转换，比如用`爽`、`京`、`小目标`

@JustinChow0601

3 жыл бұрын

東

李老师越来越富态了，要注意健康啊

第一個採用零知識證明技術的虛擬貨幣是 zec，它也是歷史上第一個幣價超過比特幣的虛擬貨幣，我心目中的隱私幣之王，也是我最愛的虛擬貨幣 ～

@k3134145

3 жыл бұрын

我覺得有一天大家會更注重隱私，稜鏡門的Edward Snowden 說過 zec 是技術最好的隱私幣，隱私幣在未來必定會受到大家的關注，雖然政府不樂見此板塊的發展，但是特定族群的人一定需要他。

@how_do_you_turn_this_on

19 күн бұрын

你想幹嘛