Free functions
| verify | Proof that a pair of EC points is a well formed ElGamal encryption of the form (L, R) = (g1^b g2^r , g1^r) . The sigma protocol consists of a coupled POE and POE2 and runs as follows:… |
| verify_with_prefix | — |
| _verify | Proof that a pair of EC points is a well formed ElGamal encryption of the form (L, R) = (g1^b g2^r , g1^r) . The sigma protocol consists of a coupled POE and POE2 and runs as follows:… |