A config which informs a GKR circuit prover about how to prove a GKR circuit,
including flags e.g. whether to use certain optimizations (e.g. Evaluations
memory-efficient optimization), or e.g. which claim aggregation strategy to use.
A config which travels alongside a GKR proof stored within a Transcript
which details the proof-specific configuration (i.e. how the verifier
should be configured in order to appropriately parse and verify the proof).