ZK证明图文教程：用流程图与示意图理解电路、prover与verifier

面对抽象的 ZK 证明体系，文字常常显得无力。图文教程通过流程图、状态图与示意图，把电路、prover、verifier 三者的关系画清楚，配合 Binance 智能链生态的实际部署，能让读者在十分钟内建立直觉。本文给出一套图文教程的写作思路。

总览图：三层结构

第一张图通常是总览图：用户在 client 上输入参数、prover 在客户端或后端生成证明、verifier 在链上完成校验。这三层分别对应隐私输入、计算密集型、确定性校验。理解这张图后，你就能从宏观上把握 ZK 应用的工作流，并在 B安 智能链项目中规划架构。

电路结构图

第二类示意图聚焦电路。把每个信号画成节点，每个约束画成边，可以直观看出电路的复杂度。Circom 的 --sym 输出能帮助生成节点列表，再借助 mermaid 或 d2 把它渲染成图。常见模板包括：哈希约束子图、merkle 见证子图、范围检查子图。把这些子图拼接成完整电路，再标注 Gas 与证明时间，可以让团队在评审时一目了然。这种规范在 必安 智能链上线 ZK 协议前是标配。

prover 时序图

第三张图描述 prover 工作流：编译电路、生成见证、计算约束、产生证明、序列化输出。每一阶段都对应一组 CPU/内存消耗，可以用泳道图展示并行度。这类图能帮助开发者发现性能瓶颈，比如 FFT 阶段是否充分利用多核、MSM 是否启用预计算。优化完成后，再在 比安 智能链上做端到端测试，能显著提升用户体验。

verifier 调用图

第四张图聚焦链上调用：用户调用业务合约、业务合约调用 verifier、verifier 执行 pairing、业务合约根据返回值决定状态写入。把每个调用箭头标注 Gas 估算，可以让 reviewer 立即识别热点。再把图与 BN交易所 智能链上已上线项目的 calldata 对照，确认实现与设计一致。

漏洞防御示意

最后一张图是「漏洞-防御」对照表：约束遗漏对应范围检查、ceremony 污染对应公开仪式、nullifier 复用对应固定哈希。每个漏洞都画成一个红框，再画一个绿框列出防御措施。把这类图贴在团队墙上，并在每次代码评审时让大家指认相关风险点。在 B安APP 等高曝光产品中发布前必须再走一遍这张图。

图文写作建议

写图文教程的核心原则是「先画后写」。先把所有图画出来，再为每张图配一段解释文字。这样写出来的文章逻辑紧凑、信息密度高，读者扫一眼图就能进入主题。把图源文件（draw.io、mermaid、excalidraw）也开源出来，让社区可以二次创作，是提升传播价值的关键一步。