Investigate in-circuit challenges not reliant on additional vector commitments

[kayabaNerve]

If this is feasible, it'd save a couple hundred bytes (unless we look at a single VC for all VCs, which would convert a O(n) communication cost to O(1), yet that'd break flows reliant on successive challenges...).