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