零知識證明的發展歷程與應用
零知識證明的歷史沿革
現代零知識證明體系源於1985年Goldwasser、Micali和Rackoff合著的論文。該論文探討了在交互系統中,通過有限輪次交互來證明一個陳述正確性所需交換的知識量。如果可以做到零知識交換,就稱爲零知識證明。這種交互式系統只能達到概率意義上的正確性,而非數學上的完全可證。
爲克服這一缺陷,非交互式系統應運而生,它具有完備性,成爲零知識證明系統的理想選擇。早期零知識證明系統在效率和實用性方面存在不足,主要停留在理論層面。近十年來,隨着密碼學在加密貨幣領域的興起,零知識證明逐漸成爲關鍵研究方向。
零知識證明的重大突破是Groth