AztecProtocol/barretenberg

Gate count between Honk and Plonk differs

Opened this issue · 0 comments

The gate counting formula differs between honk and plonk. Currently, we take an overestimate by just adding the ensure_nonzero gates (that are NOT needed for Plonk), as well as adding the NUM_RESERVED_GATES (Plonk only), and adding the lookup sizes to the amount of lookup gates (which is also a Plonk thing as Honk only adds the table sizes). There's some other differences, but overestimating shouldn't be too harmful for now.

When Plonk goes away, we can clean a lot of this up...