速覽零知識證明的基本概念、型別和代表性專案。
撰文：Poopman
編譯：0x11，Foresight News
你是否聽說過有關零知識證明 (ZKP) 🧾的許多討論，但還是不確定它到底是什麼？
好吧，你不需要博士學位也能理解 ZKP，你只需要花 3 分鐘時間閱讀這篇帖文📕 。
下面我會介紹：
- ZKP 是什麼
- ZKP 必須滿足的三個標準
- ZKP 的基本形式
- ZKP 的型別
- 值得關注的零知識（ZK）代幣
什麼是 ZKP？
ZKP 是一種進行身份驗證的方法，可以在不直接透露已知資訊的情況下證明某事是已知的。
ZKP 必須滿足以下 3 個標準：
- 零知識
- 可靠性
- 完整性
在深入研究之前，讓我們瞭解 ZKP 的基礎知識。在 ZKP 中，有兩類參與者：
- 證明者：證明者是想要證明自己宣告正確的人。
- 驗證者：驗證者是想要驗證證明者宣告正確的人。
打個比方：
在 ZKP 中，有一個關閉的組合鎖，證明者可以透過解鎖而不洩露密碼來向驗證者證明他擁有正確的密碼。這種方法確保沒有密碼相關的資訊在雙方之間傳輸。
但是證明者可能是僥倖猜到了密碼，所以需要多次向驗證者證明。這種重複證明確保證明者幾乎不可能靠運氣猜到密碼，從而實現零知識。
簡單來說，ZKP 是一個過程：證明、挑戰和重複這個操作。
除了零知識外，ZKP 還需要滿足 2 個標準。
第一個標準是可靠性。如果宣告是假的，證明者無法說服誠實的驗證者它實際上是真的。去中心化和可靠性是追求的標準。
第二個標準是完整性。如果陳述是正確的，驗證者需要驗證誠實的證明者說的是真話。
一旦滿足所有 3 個標準，ZKP 的基礎就建立了。
ZKP 的型別
你必須知道的 2 種主要型別的零知識證明，它們是
- 互動式零知識證明：這種證明需要證明者和驗證者之間不斷溝通，直到證明者能夠對驗證者提出的挑戰給出滿意的回應。
- 非互動式零知識證明（NIZKP）：NIZKP 不需要證明者和驗證者之間互動。相反，證明者只向驗證者傳送一條訊息，就足以讓驗證者確定語句的有效性。
由於在非互動式零知識證明只需要傳送一條訊息，因此與互動式零知識證明相比，該方法需要更高的計算能力。NIZKP 因其便利性而廣受歡迎，近年來已被用於 ZK-SNARKs。
零知識應用
有 3 種主要型別的 ZKP 應用程序：
- 區塊鏈擴容（例如，ZK Rollup）
- DID
- 隱私協議
我建議看看下面提到的基於 ZK 的協議：
- MATIC @0xPolygonZK
- IMX @Immutable
- MINA @MinaProtocol
- ZEC @zcash
- LRC @loopringorg
- 無代幣 @Scroll_ZKP
- 無代幣 @zksync
