ZK 在早期的 #1 挑戰: ZK 自 1980 年代以來就存在。但在我們能看到真正基於 ZK 的產品之前,經歷了很多年。 當時我們面臨的兩個巨大挑戰: 1. 證明和驗證的大小過於龐大。 這最初是通過基於橢圓曲線的 SNARKs 進行改變,這導致了 GGPR 構造和 Groth 16 系統等技術的出現。 後來出現了 ZK-STARKs,這些技術更快、更安全,並且具備後量子安全性。 2. PMF 我嘗試在區塊鏈之外商業化 ZK,但很難找到一個有說服力的用例來支持加密貨幣之外的應用。 這在當時是正確的,今天在某種程度上仍然是正確的。當你擁有 *真正* 的去中心化時,ZK 是必需的。否則,它並不真的需要。