changed 2 years ago  
Published Linked with GitHub

zk: 重在证明， 不在计算

halo2(ultra plonk):

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
Select a repo