We want this for honk recursion because we can no longer rely on the proof size to determine whether there is a nested aggregation object or not. A solution is to just always have one - just create a default aggregation object for circuit that is_recursive but doesn't do any recursive verifications.
We want this for honk recursion because we can no longer rely on the proof size to determine whether there is a nested aggregation object or not. A solution is to just always have one - just create a default aggregation object for circuit that is_recursive but doesn't do any recursive verifications.