| ... | ... | @@ -21,7 +21,7 @@ Lookup Gate的作用是证明一条（或多条）记录是否存在于一个公 |
|
|
|
|
|
|
|
> [The halo2 Book](https://zcash.github.io/halo2/concepts/proofs.html): The language that we use to express circuits for a particular proof system is called an ***arithmetization***. Usually, an arithmetization will define circuits in terms of polynomial constraints on variables over a field. [2](https://learn.z2o-k7e.world/halo2/chap-0/index.html#9)
|
|
|
|
|
|
|
|
<img src="../../image/APIs_image_1.png" alt="img" style="zoom: 33%;" />
|
|
|
|
<img src="../image/APIs_image_1.png" alt="img" style="zoom: 33%;" />
|
|
|
|
|
|
|
|
- 电路表整体由单元（`cell`）、列（`Column`）和行（`Row`）组成。
|
|
|
|
- 相邻的`cell`、`row` 和 `colum` 的任意组合可以构成 `region`。
|
| ... | ... | |
