zkevm-circuits icon indicating copy to clipboard operation
zkevm-circuits copied to clipboard

Published 20 hours ago • verified publisher icon privacy-scaling-explorations

pi circuit redesign

Open hero78119 opened this issue 2 years ago • 0 comments

Describe the feature you would like

Design philosophy for verifier (decider) is lower cost of verification. In PI circuit, there are few improvements mentioned in different issue. This issue address as a super issue and break down into smaller tasks

  • [x] #1344
  • [ ] #1354
  • [ ] review TxTable assignment in pi circuit vs tx circuit for better isolate responsibility

Design

WIP https://hackmd.io/@HqESr6_rQbmdCj2v03vrcQ/HyHS4GZW3

hero78119 avatar Mar 30 '23 14:03 hero78119