zkevm-circuits
zkevm-circuits copied to clipboard
Reduce State Circuite expressions degree
After https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/766 the max degree expression in the State Circuit will be 12. This implies a bump in the extended k from 3 to 4, which will increase the proving time.
We may consider applying some optimizations to bring the max degree down in the future for a faster proving time.
Related discussion: https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/766#discussion_r972218080