ZK证明中文文档：零知识证明概念、电路工具与币安生态实战速查全景

零知识证明是这几年Web3技术圈最具想象力的方向之一。中文社区在过去一年涌现了大量翻译与原创内容，但质量参差。本ZK证明中文文档力求把概念定义、工具栈与币安生态相关的实战入口整理成一份可以随时翻查的速查地图。

一、什么是零知识证明

零知识证明（Zero Knowledge Proof，简称ZKP）是一种证明协议：证明者能够让验证者相信某个陈述为真，同时不泄露除「该陈述为真」之外的任何信息。在区块链场景下，它衍生出隐私交易、状态压缩、跨链桥可信中继等多种应用。

如果你刚刚接触这一领域，建议先把 ZK证明是什么 中关于Soundness、Completeness、Zero-Knowledge三个属性的定义读懂，再回到本文档。基础概念清晰了，后续读各类Rollup技术博客时不会被术语劝退。

二、主流证明系统对比

ZKP并非单一算法，常见家族包括Groth16、PLONK、Halo2、STARK、Marlin等。Groth16以证明短、验证快著称，但需要每个电路单独可信启动；PLONK改进为全局通用启动；STARK则不依赖可信启动，且具备抗量子潜力。