pub fn write_proof(
        &mut self,
        proof: SP1ReduceProof<BabyBearPoseidon2>,
        vk: StarkVerifyingKey<BabyBearPoseidon2>,
    ) {
        self.state.proof_stream.push((proof, vk));
    }
Write a proof and verifying key to the proof stream.
crates/core/executor/src/io.rs