Constant arrabbiata::NUMBER_OF_VALUES_TO_ABSORB_PUBLIC_IO

pub const NUMBER_OF_VALUES_TO_ABSORB_PUBLIC_IO: usize = _; // 30usize

Define the number of values we must absorb when computating the hash to the public IO.

FIXME: For now, it is the number of columns as we are only absorbing the accumulators, which consists of 2 native field elements. However, it doesn’t make the protocol sound. We must absorb, in addition to that the index, the application inputs/outputs. It is left for the future as at this time, we’re still sketching the IVC circuit.