Function encode_proof_to_kv_store_value 

pub fn encode_proof_to_kv_store_value(proof: &Proof<SC>) -> Vec<u8> 

Encode a proof into a KV store value so verify_openvm_stark can hint it.