使用Rust语言，使用halo2的标准库，实现一些常见的例子，学习halo2的使用
这里先简单介绍下Halo2中涉及到的结构和术语。
Circuit，电路。在零知识证明中的电路可以类比成集成电路，ZKP通过向电路中传入数据，经过电路门再输出，从而来创建证明。这里使用到了电路可满足问题。可以简单理解为，证明者只有知道一组满足电路的信号，才能正确通过电路。
Chip，芯片。类似集成电路，zkp的电路也是由一个个芯片堆砌而成。 而每个芯片都需要初始化配置：config。
芯片的Config，就是申请芯片需要的 Column（advice\instance\fixed），定义自定义门电路或lookup table.
Instructions，指令。ZKP中的指令就是将Chip中实现的功能加入到电路中。每个芯片需要实现其需要的指令接口，电路则调用芯片实现的指令来完成指定功能。
Layouter，布局器。电路由一个个芯片堆砌而成，但不是随便堆砌，这里就需要布局器在电路上进行芯片的布局。电路上的布局可以分层（可以理解为芯片堆叠，分为多层）。
Assignment是一个电路赋值的接口。
实现 a^2 * b^2 = c
该版本每行都要存储 f(i), f(i+1), f(i+2)
使用拷贝约束来赋值：a(n行) = b(n-1行), b(n行) = c(n-1行)
该版本每行只需要存储f(n)
f(n行) = f(n-1行) + f(n-2行)
这里使用跨行实现多项式