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發展非常熟悉。她教人們閱讀那些字面上會讓你感到震驚的復雜問題，並強調堅持和好奇心的重要性。