Function read_halo2_pk_from_file 

pub fn read_halo2_pk_from_file<P: AsRef<Path>>(
    path: P,
) -> Result<Halo2ProvingKey>

Reads a Halo2ProvingKey written by write_halo2_pk_to_file.