VerifyDerived(zkey', message, signature):
  return Verify(zkey', message, signature)