Function verify 

pub fn verify<E: PairingEngine>(
    public_inputs: &[E::Fr],
    vk_bytes: &[u8],
    proof: &[u8],
) -> Result<bool, Error>