有兩種流行的零知識 (zk) 證明類型，有時也稱為 zk 協定 – SNARK 和 STARK。零知識證明是一種密碼驗證方法，一方（證明者）可以向另一方（驗證者）證明給定的陳述是真實的，除了該陳述確實是事實之外，不需要提供任何支持信息true。

zk-STARK 代表“零知識可擴展透明知識論證”。 ” zk-STARK 是由以色列理工學院教授 Eli-Ben Sasson 構思的。與依賴證明者和驗證者之間的初始可信任設置的 zk-SNARK 不同，zk-STARK 不需要初始可信任設置，因為它們依賴於透過抗衝突雜湊函數實現的更精簡的加密技術。這種方法也消除了 zk-SNARK 的數論假設，這些假設的計算成本很高，而且理論上很容易受到量子電腦的攻擊。

簡單來說，zk-STARK 證明在密碼學假設方面呈現出更直接的結構。然而，這有一個顯著的缺點：它們的證明大小很大，通常比 zk-SNARK 大 10 到 100 倍。資料大小的這種差異使得它們更加昂貴，並且在利用該技術透過網路發送加密貨幣和其他應用程式時可能會受到限制。

零知識證明的常見用例是隱私和安全都至關重要的地方。一個例子是身份認證。使用某些線上服務需要證明您的身分和存取這些平台的權利。這通常需要提供個人信息，例如姓名、電子郵件、出生日期等。

零知識證明可以簡化平台和使用者的身份驗證。一旦使用公共輸入（確認用戶平台成員身份的資料）和私有輸入（用戶的詳細資訊）產生了 zk 證明，用戶可以在任何時候簡單地出示它來驗證自己的身份。需要存取該服務。這改善了使用者體驗，並使組織免於儲存大量個人資訊的責任。