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 secret ElGamal encryption key.
The ElGamal ciphertext we're proving about
The plaintext constant value used to make the ElGamal ciphertext (L in the spec)
The ElGamal secret and public key pair 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.