## zk: 重在证明， 不在计算
## halo2(ultra plonk):
- IPA https://github.com/zcash/halo2
- kzg https://github.com/privacy-scaling-explorations/halo2
- DSL https://github.com/privacy-scaling-explorations/chiquito
-
## zkevm
- common gadget https://github.com/scroll-tech/zkevm-circuits/tree/develop/gadgets
- circuit pattern
- config: columns + aux gadgets
- chip --> config
- configure: constraints place
- assign: assign witness, constant etc.
- circuit impl Circuit interfacle of halo2: configure.
- circuit synthesize: call gadget's assign method.
- home work
- read BatchedIsZeroConfig,ComparatorChip
- impl gadget constrain u64 `value` % 32 == 0