This is a catch all issue for a handful of known (and likely some unknown) issues with constraints in the recursive verifiers, particularly in Sumcheck/Zeromorph where native and circuit code coincide. This includes use of disconnected witnesses and use of pow(size_t) in ways that are not not strictly correct.
This is a catch all issue for a handful of known (and likely some unknown) issues with constraints in the recursive verifiers, particularly in Sumcheck/Zeromorph where native and circuit code coincide. This includes use of disconnected witnesses and use of
pow(size_t)in ways that are not not strictly correct.