Validates a proof against an ElGamal ciphertext.
An ElGamal ciphertext
The public key of the election
The election extended base hash (Q')
Optional parameter. If specified, the constant in the proof is validated against the expected constant.
true if the proof is valid
Produces a proof that a given ElGamal encryption corresponds to a specific total value. This requires the prover to know the nonce (the r behind the g^r).
The total allowed votes (L in the spec)
The aggregate nonce used creating the ElGamal ciphertext (r in the spec)
The ElGamal public key for the election
Used to generate other random values here
The election extended base hash (Q')
Generated using TypeDoc
Proof that the ciphertext is a given constant.