ZK技术时间线揭示了重大里程碑

A16z 加密货币发布了Claire Kart的一张信息图，描述了零知识(ZK)证明的历史。她回顾了2019年，当时一切都很小，资源也很少。她对2025年前的80%时间线有所了解，这突显了个人和行业的发展。

早期基础：1985–2007

GM85是零知识证明的第一个例子，在这项工作中，GM提出了交互式零知识证明。求和检查协议还允许在1990年以大规模验证计算。2007年，结构化的拥有证明(PoPs)增强了隐私，并为实用应用的出现奠定了基础。

在2010年，SNARKs也开始基于KZG多项式承诺。到2013年，第一个SNARKs变得高效，并允许使用区块链。在2016年引入了递归SNARKs，这允许组合和扩展证明。Zcash (2017-2018)引入了zk-SNARKs，它使用交易信息来隐蔽数据，这成为了第一个实际应用。

透明证明与汇总

通过FRI、Bulletproofs和Ligero，透明多项承诺在2019年也得到了提出。Halo递归(20192020)降低了设定成本并提高了效率。以太坊上的扩展解决方案也发展为有效性汇总(20192022)，已被StarkNet采用。专业的SNARKs如Plonk、Marlin，以及zkDSLs如Circom和Halo(2)使得ZK的开发对更广泛的受众变得更加可访问。

现代进步：2023+

到2023年，ZK技术已经转向使用基于zkVM的求和检查的SNARKs，这些zkVM基于标准指令集，如RISC-V。这增强了更好的互操作性，并允许通用区块链计算。开发者可以访问越来越多的教育资源，如0xPARC指南和zk-learning.org。ZK汇聚处理数十亿笔以太坊交易，增强了可扩展性并降低了成本。Claire于2019年开始，在一个资源有限的小社会中摸索前行。到2025年，她对80%的ZK发展非常熟悉。她教人们阅读那些字面上会让你感到震惊的复杂问题，并强调坚持和好奇心的重要性。