ZK 在早期的 #1 挑战: ZK 自 1980 年代以来就存在。但在我们看到真正的基于 ZK 的产品之前,经历了许多年。 当时我们面临的两个巨大挑战: 1. 证明和验证的规模太大。 这最初通过基于椭圆曲线的 SNARKs 进行了改变,导致了 GGPR 构造和 Groth 16 系统等事物。 后来出现了 ZK-STARKs,它们更快、更安全,并且具有后量子安全性。 2. PMF 我尝试在区块链之外商业化 ZK,但很难找到一个有说服力的用例。 当时是这样,今天在某种程度上仍然如此。当你拥有 *真正* 的去中心化时,ZK 是必要的。否则,它并不是特别需要。