零點數學: 零知識證明

  零知識證明----威傑森定理:

用我的話說就是: "用最少的人辦最大的事。那麽要‘少’到什麽程度呢？"---就是零知識證明.

看這個以色列大教授威傑森怎麽說的:

"對於任何一個單項函數, 如果存在一個證明者(PROVER),它具有非平凡的零知識, 並且由此零知識可以證明了這個證明者的存在性是最基本的(最小的), 那麽對於多個證明者的相互作用, 證明則是不必要的".

說的拐來拐去, 不明不白, 讀的我滿頭發癢, 還是抓不著頭腦.----就這, 大教授憑這段話於1994在瑞士舉行的22屆國際數學大會上得了由數學家頒發的計算機科學理論獎--納旺林獎.

還是用我的土話說比較清楚:
"對於一件指定的事, 存在一個定數, 隻要這麽多人做這件事就夠了, 其餘的人都是多餘的"

----你看我的說法, 多爽! 可就是拿不到那個由數學家頒發的計算機科學理論獎,---數學家嫌這話大白了,不夠理論不夠文謅; 更拿不到那個由計算機科學家頒發的計算機科學獎--Turing圖林獎!---計算機科學家看不上這"無聊"的東西---是能看呢還是能用呢?因此我這說法雖然夠明了,但兩頭不著邊,兩頭不討好!

---什麽時候我能說的"正好",既不太理論,又不太白話;既能討到數學家的好,拿個納旺林獎;又能討到計算機科學家的好,拿個圖林獎;----這個"正好"的存在性證明,就是零知識證明.

例子:
對於一個K點網絡, 存在一個常數c, 在不超過cK個節點出錯的情形下,  該網絡仍是可靠的. 
我們今天所在的WWW, 就是一個冗餘再冗餘的網, 裏麵很多節點有它沒有都一樣.

實際生活中, 諸如此類的例子太多了. "一天隻要喝口水就可以活了", 那好了,我們天天不必吃東西了.----看你能活幾天!  餓的你頭暈眼花的時候, 你就知道每天吃是必要的了. 實際上冗餘還是有用的啊!

當然了, 零知識證明隻是告訴你: 在工作中, 你可以犯錯誤, 但老板有一個忍受度, 小心你超過了這個臨界點, 你會被炒尤魚-----還是流點空間為好.