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