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.

This module contains the instruction types, the proof context state, and the proof instruction data types. For the precise processor logic, see the ZK ElGamal Proof program. implementation.

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 address is the ID.

id

Returns the ID.