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.