零知識證明在密碼學中是一個很常見的話題，但我敢肯定，在這個環境中，所有的實驗對象都不了解這種證明的歷史或含義。零知識證明現在得到了很多認可，因為它們會對像Odin這樣的匿名性產生影響，零知識證明已經存在很長時間了。

零知識證明最早是在1985年由三位計算機科學家構想出來的， Shafi Goldwasser，他目前是麻省理工學院電子工程和計算機科學教授，Silvio Micali也是麻省理工學院的計算機科學教授，最后是Charles Rackoff，他是一位美國密碼學家，目前在多倫多大學工作。知識復雜性是從知識過程或知識的大量參與者和活動中衍生出來的知識的特征在不同的主體之間有所區別，其次，知識過程的輸入或輸出都不能被觀察到，因此知識的復雜性是一種交互證明系統的層次性概念，即知識的復雜性是由大量參與知識過程或活動產生的知識的特征。這就意味著向另一方提供了多少信息。

這三位計算機科學家也提供了第一份零知識證明。這個證明首先用于判定二次非剩數模m，這基本上是說，找到任意x，其中有一個等價于某個給定數。

這篇文章是由芝加哥大學匈牙利計算機科學和數學教授LászlóBabai和以色列計算機科學家Shlomo Moran撰寫的，Bernard Elkin教授是在以色列海法理工學院技術學院擔任計算機科學教授—?。 這篇具有里程碑意義的論文發明了交互式證明系統，所有這五位作者都在1993年獲得了諾貝爾獎。

為什么這五名計算機科學家發明的交互式證明系統如此重要？一個交互式的驗證系統是一個抽象的機器，它將計算模型作為兩方交換信息。一方是prover，而prover擁有所有的權力和計算資源，但他們不能被信任。然后是驗證者，檢查驗證器的真實性的人，但是有有限的計算能力。然后，消息會在這兩者之間發送，直到驗證者能夠說服自己，來自prover的答案是正確的。因此，如果沒有這些系統，你將無法在不保持匿名的情況下正確地證明你的身份。

零知識證明的時間比大多數人想象的要長得多，而且用例對于密碼來說是巨大的。這些證明對Zerocoin協議甚至是至關重要的，因為你需要證明你有這些代幣，但除了你有它們，如果沒有這個證明，你不可能通過Odin網絡用Zerocoin協議發送你的代幣。