零知识证明核心技术深度解析：从交互式证明到zk-SNARK与zk-STARK的工程实践

1. 引言：零知识证明的原型与目标

1985年，Goldwasser、Micali和Rackoff在论文《The Knowledge Complexity of Interactive Proof Systems》中首次形式化了零知识证明（Zero-Knowledge Proof，ZKP）的概念。其核心意思的邓的：（证明者）可以向（验证者，证明某说法为真，而无需披露任何餘的信息。

一个经典的比喻是“切不可见的巴布（Blind Bob）”：当验证者呼同一个巴布两次，如果䦂時证明了不一样，那么侧知了自己披露了哪个巴布。但零知识证明則不需要侧露任何关于巴布的信息。

2. 三大性质：完全性、可靠性与零知识性

所有零知识证明系统必须满足三个基本性质：

• 完全性（Completeness）：如果说法为真，说服证明者说服验证者接