... | @@ -21,7 +21,7 @@ Lookup Gate的作用是证明一条(或多条)记录是否存在于一个公 |
... | @@ -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)
|
|
> [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`)、列(`Column`)和行(`Row`)组成。
|
|
- 相邻的`cell`、`row` 和 `colum` 的任意组合可以构成 `region`。
|
|
- 相邻的`cell`、`row` 和 `colum` 的任意组合可以构成 `region`。
|
... | | ... | |