pub fn synthesize_vector(
        &self,
        finalization_hints: Arc<FinalizationHintsForProver>,
    ) -> anyhow::Result<WitnessVec<GoldilocksField>> {
        let _span = tracing::info_span!("synthesize_vector").entered();

        let cs = match self {
            CircuitWrapper::Base(circuit) => {
                circuit.synthesis::<GoldilocksField>(&finalization_hints)
            }
            CircuitWrapper::Recursive(circuit) => {
                circuit.synthesis::<GoldilocksField>(&finalization_hints)
            }
        };
        cs.witness
            .context("circuit is missing witness post synthesis")
    }
Synthesize vector for a given circuit.
Expects finalization hints to match circuit.
prover/crates/lib/circuit_prover_service/src/types/circuit_wrapper.rs