ZK证明图文教程：用流程图与示意图理解电路、prover与verifier
面对抽象的 ZK 证明体系，文字常常显得无力。图文教程通过流程图、状态图与示意图，把电路、prover、verifier 三者的关系画清楚，配合 Binance 智能链生态的实际部署，能让读者在十分钟内建立直觉。本文给出一套图文教程的写作思路。
总览图：三层结构
第一张图通常是总览图：用户在 client 上输入参数、prover 在客户端或后端生成证明、verifier 在链上完成校验。这三层分别对应隐私输入、计算密集型、确定性校验。理解这张图后，你就能从宏观上把握 ZK 应用的工作流，并在 B安 智能链项目中规划架构。
电路结构图
第二类示意图聚焦电路。把每个信号画成节点，每个约束画成边，可以直观看出电路的复杂度。Circom 的 --sym 输出能帮助生成节点列表，再借助 mermaid 或 d2 把它渲染成图。常见模板包括：哈希约束子图、merkle 见证子图、范围检查子图。把这些子图拼接成完整电路，再标注 Gas 与证明时间，可以让团队在评审时一目了然。这种规范在 必安 智能链上线 ZK 协议前是标配。