Function compile 

pub fn compile<'a, C: CurveAffine, P: Params<'a, C>>(
    params: &P,
    vk: &VerifyingKey<C>,
    config: Config,
) -> PlonkProtocol<C>

Convert a VerifyingKey of halo2_proofs into PlonkProtocol.