docs: public static boolean weakBBVerify(ECP2 pk, ECP sig, BIG m) {
          ECP2 p = new ECP2();
          p.copy(pk);
          p.add(IdemixUtils.genG2.mul(m));
          p.affine();
  
          return PAIR.fexp(PAIR.ate(p, sig)).equals(IdemixUtils.genGT);
      }