Ultra ZK has sensitivity to the dyadic size of the circuit due to the fact that we blind in the last entries of the dyadic size. If we blind at the top instead, nearly everything should have cost proportional to actual gate count.
Note: Unfortunately this is probably not straightforward for Mega since the ecc op columns complicate things. Worth considering if there is an easy workaround but if not then seems ok to do it for Ultra only.
Ultra ZK has sensitivity to the dyadic size of the circuit due to the fact that we blind in the last entries of the dyadic size. If we blind at the top instead, nearly everything should have cost proportional to actual gate count.
Note: Unfortunately this is probably not straightforward for Mega since the ecc op columns complicate things. Worth considering if there is an easy workaround but if not then seems ok to do it for Ultra only.