Function write_vk_to_file 

pub fn write_vk_to_file<P: AsRef<Path>>(
    path: P,
    vk: &VmStarkVerifyingKey,
) -> Result<()>