We set the public inputs start idx for the databus commitments in this kernel_default() function using unobvious numbers of PAIRING_POINT_ACCUMULATOR_SIZE and PAIRING_POINT_ACCUMULATOR_SIZE + 8. We should try to clarify what's going here through some better mechanism.
In general, this is related to the issue of the (lack of) structure of public inputs.
We set the public inputs start idx for the databus commitments in this kernel_default() function using unobvious numbers of
PAIRING_POINT_ACCUMULATOR_SIZEandPAIRING_POINT_ACCUMULATOR_SIZE + 8. We should try to clarify what's going here through some better mechanism.In general, this is related to the issue of the (lack of) structure of public inputs.