A16z暗号資産は、Claire Kartによるゼロ知識(ZK)証明の歴史を説明したインフォグラフィックを投稿しました。彼女は2019年まで遡り、すべてが小さく、リソースが少なかった時期を振り返っています。彼女は2025年までのタイムラインの80％を把握しており、個人および業界の発展を強調しています。
GM85はZK証明の最初の例であり、この研究の中でGMはインタラクティブゼロ知識証明を提案しました。サムチェックプロトコルは1990年に大規模な計算の検証も可能にしました。2007年には、構造化された所有証明(PoPs)がプライバシーを強化し、実用的なアプリケーションの登場を前提条件として整えました。
2010年に、SNARKsはKZGポリコネクトに基づくようになりました。2013年までに、最初のSNARKsは効率的となり、ブロックチェーンの使用が可能になりました。2016年には再帰的SNARKsが導入され、証明の合成とスケーリングを許可しました。Zcash (2017-2018)は、トランザクション情報を使用してデータを隠すzk-SNARKsを導入し、これが初の実世界アプリケーションとなりました。
FRI、Bulletproofs、およびLigeroにより、透明なポリコミットメントも2019年に提示されました。Halo再帰(20192020)は、セットアップコストを削減し、より良い効率を実現しました。Ethereum上のスケーリングソリューションも、有効性ロールアップ(20192022)として発展し、StarkNetに採用されました。Plonk、MarlinなどのプロSNARKや、CircomやHalo(2)などのzkDSLにより、ZKの開発がより広いオーディエンスにアクセスしやすくなりました。
2023年までに、ZK技術はRISC-Vなどの標準命令セット上のzkVMに基づく合計チェックを使用したSNARKsに移行しました。これにより、相互運用性が向上し、汎用ブロックチェーン計算が可能になりました。開発者は、0xPARCガイドやzk-learning.orgなどの教育リソースへのアクセスが増加しています。ZKロールアップは、数十億のEthereum取引を処理し、スケーラビリティを向上させ、コストを削減しています。クレアは2019年に始まり、限られた手段で小さな社会を操縦しなければなりませんでした。2025年には、彼女はZKの開発の80パーセントに精通しています。彼女は、人々に文字通り顔が溶けてしまうような難しい問題を読む方法を教え、粘り強さと好奇心の重要性を強調しています。
