solana_zk_sdk/zk_elgamal_proof_program/mod.rs
1//! The native ZK ElGamal proof program.
2//!
3//! The program verifies a number of zero-knowledge proofs that are tailored to work with Pedersen
4//! commitments and ElGamal encryption over the elliptic curve curve25519. A general overview of
5//! the program as well as the technical details of some of the proof instructions can be found in
6//! the [`ZK ElGamal proof`] documentation.
7//!
8//! This module contains the instruction types, the proof context state, and the proof instruction
9//! data types. For the precise processor logic, see the ZK ElGamal Proof [`program`].
10//! implementation.
11//!
12//! [`ZK ElGamal proof`]: https://docs.solanalabs.com/runtime/zk-token-proof
13//! [`program`]: https://github.com/anza-xyz/agave/blob/master/programs/zk-elgamal-proof/src/lib.rs
14
15pub mod errors;
16pub mod instruction;
17pub mod proof_data;
18pub mod state;
19
20// Program Id of the ZK ElGamal Proof program
21pub use solana_sdk_ids::zk_elgamal_proof_program::{check_id, id, ID};