Module instruction

The instruction data types for the ZK Token proof instruction.

Re-exports

pub use batched_grouped_ciphertext_validity::BatchedGroupedCiphertext2HandlesValidityProofContext;

pub use batched_grouped_ciphertext_validity::BatchedGroupedCiphertext2HandlesValidityProofData;

pub use batched_grouped_ciphertext_validity::BatchedGroupedCiphertext3HandlesValidityProofContext;

pub use batched_grouped_ciphertext_validity::BatchedGroupedCiphertext3HandlesValidityProofData;

pub use batched_range_proof::batched_range_proof_u128::BatchedRangeProofU128Data;

pub use batched_range_proof::batched_range_proof_u256::BatchedRangeProofU256Data;

pub use batched_range_proof::batched_range_proof_u64::BatchedRangeProofU64Data;

pub use batched_range_proof::BatchedRangeProofContext;

pub use ciphertext_ciphertext_equality::CiphertextCiphertextEqualityProofContext;

pub use ciphertext_ciphertext_equality::CiphertextCiphertextEqualityProofData;

pub use ciphertext_commitment_equality::CiphertextCommitmentEqualityProofContext;

pub use ciphertext_commitment_equality::CiphertextCommitmentEqualityProofData;

pub use fee_sigma::FeeSigmaProofContext;

pub use fee_sigma::FeeSigmaProofData;

pub use grouped_ciphertext_validity::GroupedCiphertext2HandlesValidityProofContext;

pub use grouped_ciphertext_validity::GroupedCiphertext2HandlesValidityProofData;

pub use grouped_ciphertext_validity::GroupedCiphertext3HandlesValidityProofContext;

pub use grouped_ciphertext_validity::GroupedCiphertext3HandlesValidityProofData;

pub use pubkey_validity::PubkeyValidityData;

pub use pubkey_validity::PubkeyValidityProofContext;

pub use range_proof::RangeProofContext;

pub use range_proof::RangeProofU64Data;

pub use transfer::FeeParameters;

pub use transfer::TransferData;

pub use transfer::TransferProofContext;

pub use transfer::TransferWithFeeData;

pub use transfer::TransferWithFeeProofContext;

pub use withdraw::WithdrawData;

pub use withdraw::WithdrawProofContext;

pub use zero_balance::ZeroBalanceProofContext;

pub use zero_balance::ZeroBalanceProofData;

Modules

batched_grouped_ciphertext_validity

batched_range_proof

The batched range proof instructions.

ciphertext_ciphertext_equality

The ciphertext-ciphertext equality proof instruction.

ciphertext_commitment_equality

The ciphertext-commitment equality proof instruction.

errors

fee_sigma

The fee sigma proof instruction.

grouped_ciphertext_validity

pubkey_validity

The public-key validity proof instruction.

range_proof

The range proof instruction.

transfer

withdraw

zero_balance

The zero-balance proof instruction.

Enums

ProofType

Traits

Pod

Marker trait for “plain old data”.

ZkProofData

Derive Macros

Pod

Derive the Pod trait for a struct