Function write_halo2_pk_to_file 

pub fn write_halo2_pk_to_file<P: AsRef<Path>>(
    path: P,
    halo2_pk: &Halo2ProvingKey,
) -> Result<()>

Writes a Halo2ProvingKey to path in the streaming Halo2 pk format.