零知識意義（也稱為零知識證明）是一種發生在證明者和驗證者之間的驗證方法。在零知識證明系統中，證明者能夠向驗證者證明他們擁有特定信息（例如數學方程的解）的知識，而無需透露信息本身。現代密碼學家可以使用這些證明系統來提供更高級別的隱私和安全性。這種證明通常被稱為 ZK 協議。
零知識證明的想法最初起源於 1985 年麻省理工學院的一篇論文，由 Shafi Goldwasser 和 Silvio Micali 撰寫。他們證明了可以在不披露數字或任何其他信息的情況下證明數字的某些屬性。本文還得出結論，證明者和驗證者之間的交互可以減少證明給定定理所需的信息量。
為了使 ZK 證明合法，有兩個基本要求，即完整性和穩健性必須滿足。完整性是指證明者以高度可能的準確性證明對相關信息的了解的能力。為了使證明可靠，驗證者必須能夠可靠地確定證明者是否實際擁有信息。最後，為了真正做到零知識，證明必須做到完整性和可靠性，證明者和驗證者之間不會洩露任何信息。
零知識證明主要用於以下應用：隱私和安全至關重要。身份驗證系統可以結合 ZK 證明來驗證憑據或身份，而無需直接透露它們。舉個簡單的例子，它可以用來驗證一個人是否擁有計算機系統的密碼，而無需暴露密碼。
區塊鏈中零知識證明的一個眾所周知的用途是零知識簡潔的非交互式知識論證（zk-SNARK）。因此，Zcash 等注重隱私的加密貨幣能夠為其用戶提供具有更高隱私級別的區塊鏈交易。自 2017 年拜占庭更新以來，以太坊也在使用 zk-SNARK 證明。
總之，零知識意義是一種發生在證明者和驗證者之間的驗證方法，這種方法提供了更高的級別隱私和安全。
