Module zero_ciphertext

The zero-ciphertext proof instruction.

A zero-ciphertext proof is defined with respect to a twisted ElGamal ciphertext. The proof certifies that a given ciphertext encrypts the message 0 in the field (Scalar::zero()). To generate the proof, a prover must provide the decryption key for the ciphertext.

Structs

• ZeroCiphertextProofContext
  The context data needed to verify a zero-ciphertext proof.
• ZeroCiphertextProofData
  The instruction data that is needed for the ProofInstruction::ZeroCiphertext instruction.