Module zk_elgamal_proof_program

The native ZK ElGamal proof program.

The program verifies a number of zero-knowledge proofs that are tailored to work with Pedersen commitments and ElGamal encryption over the elliptic curve curve25519. A general overview of the program as well as the technical details of some of the proof instructions can be found in the ZK ElGamal proof documentation.

Modules

• errors
• instruction
  Instructions provided by the ZK ElGamal proof program.
• proof_data
• state

Constants

• ID
  The const program ID.

Functions

• check_id
  Returns true if given pubkey is the program ID.
• id
  Returns the program ID.