@Override
  protected Triple abstractGenerate(
      Pair secretInput, Element publicInput, RandomByteSequence randomByteSequence) {
    Element v = this.pepsi.getZModPrime().getZeroElement();
    Element t = this.pepsi.getZModPrime().getZeroElement();
    Element cv = this.pepsi.getCyclicGroup().getIdentityElement();

    return this.pepsi.generate(
        Tuple.getInstance(secretInput.getFirst(), v, secretInput.getSecond(), t),
        Pair.getInstance(publicInput, cv),
        randomByteSequence);
  }
 @Override
 protected boolean abstractVerify(Triple proof, Element publicInput) {
   Element cv = this.pepsi.getCyclicGroup().getIdentityElement();
   return this.pepsi.verify(proof, Pair.getInstance(publicInput, cv));
 }