pub fn generate_proving_ctx(
proof: &Proof<SC>,
input_onion: [F; 8],
output_onion: [F; 8],
) -> DeferralHookVerifierTraceCtxpub fn generate_proving_ctx(
proof: &Proof<SC>,
input_onion: [F; 8],
output_onion: [F; 8],
) -> DeferralHookVerifierTraceCtx