零知識證明是一種密碼學方法，讓驗證者相信指定敘述成立，同時隱藏支撐該敘述的私密資訊。這些佐證資訊稱為見證資料。敘述與指定的公開輸入仍可能可見；「零知識」不代表驗證者完全沒有得知任何資訊。
證明能確立什麼
證明者使用見證資料產生證據，由驗證者檢查。完整性表示針對真實敘述誠實產生的證明會被接受；健全性限制將錯誤敘述冒充為真的能力；零知識性則確保證明不會揭露超出公開敘述的額外見證資訊。
例如，系統可證明某份已簽署憑證符合年齡門檻，而不公開出生日期。憑證發行者與證明中編入的規則仍然重要。區塊鏈用途也包括隱私支付，以及驗證在其他地方完成的運算。
隱私取決於應用設計
不同證明系統的運算成本、證明大小與初始化假設各不相同。有些需要可信任設定，有些則不需要。
證明只能在系統假設下確立已編入的主張。錯誤的約束條件或實作漏洞可能削弱證明效力。公開交易細節與網路中繼資料仍可能洩露資訊，因此使用 ZK 技術不會自動讓應用程式具備匿名性。