这篇文章上次修改于 476 天前，可能其部分内容已经发生变化，如有疑问可询问作者。

源码：https://zcash.github.io/halo2/user/simple-example.html

证明 $a^2⋅b^2=c$

• private 数据：a, b
• public 数据：c

程序

• 指令（option）：定义了芯片对外的接口
• 芯片：构建门，实现约束；实现指令接口
• 电路：配置芯片；集成芯片，为芯片赋值
• 测试：用 private 数据创建电路，prover 运行电路时将 public 数据传入，看是否能运行成功