6 egverify(EGpub *pub, EGsig *sig, mpint *m)
8 mpint *p = pub->p, *alpha = pub->alpha;
9 mpint *r = sig->r, *s = sig->s;
13 if(mpcmp(r, mpone) < 0 || mpcmp(r, p) >= 0)
18 mpexp(pub->key, r, p, v1);
22 mpexp(alpha, m, p, v2);
23 if(mpcmp(v1, v2) == 0)