Module batched_grouped_ciphertext_validity

The batched grouped-ciphertext validity proof instruction.

A batched grouped-ciphertext validity proof certifies the validity of two grouped ElGamal ciphertext that are encrypted using the same set of ElGamal public keys. A batched grouped-ciphertext validity proof is shorter and more efficient than two individual grouped-ciphertext validity proofs.

Currently, the batched grouped-ciphertext validity proof is restricted to ciphertexts with two handles. In accordance with the SPL Token program application, the first decryption handle associated with the proof is referred to as the “destination” handle and the second decryption handle is referred to as the “auditor” handle. Furthermore, the first grouped ciphertext is referred to as the “lo” ciphertext and the second grouped ciphertext is referred to as the “hi” ciphertext.

Structs

• BatchedGroupedCiphertext2HandlesValidityProofContext
• BatchedGroupedCiphertext2HandlesValidityProofData
  The instruction data that is needed for the ProofInstruction::VerifyBatchedGroupedCiphertextValidity instruction.