pub fn generate_proving_input<SC: StarkProtocolConfig<F = F>>(
initial_acc_hash: [F; 8],
final_acc_hash: [F; 8],
initial_merkle_proof: &[[F; 8]],
final_merkle_proof: &[[F; 8]],
memory_dimensions: MemoryDimensions,
depth: usize,
is_unset: bool,
) -> (AirProvingContext<CpuBackend<SC>>, Vec<[F; 16]>)