pub fn create_proof_in_priority<E, C, P: ParameterSource<E>>(
    circuit: C,
    params: P,
    r: E::Fr,
    s: E::Fr
) -> Result<Proof<E>, SynthesisError> where
    E: GpuEngine + MultiMillerLoop,
    C: Circuit<E::Fr> + Send