Module zk_token_proof_instruction

Instructions provided by the ZK Token proof program.

There are two types of instructions in the proof program: proof verification instructions and the CloseContextState instruction.

Each proof verification instruction verifies a certain type of zero-knowledge proof. These instructions are processed by the program in two steps:

1. The program verifies the zero-knowledge proof.
2. The program optionally stores the context component of the zero-knowledge proof to a dedicated context-state account.

In step 1, the zero-knowledge proof can be included directly as the instruction data or pre-written to an account. The program determines whether the proof is provided as instruction data or pre-written to an account by inspecting the length of the data. If the instruction data is exactly 5 bytes (instruction disciminator + unsigned 32-bit integer), then the program assumes that the first account provided with the instruction contains the zero-knowledge proof and verifies the account data at the offset specified in the instruction data. Otherwise, the program assumes that the zero-knowledge proof is provided as part of the instruction data.

In step 2, the program determines whether to create a context-state account by inspecting the number of accounts provided with the instruction. If two additional accounts are provided with the instruction after verifying the zero-knowledge proof, then the program writes the context data to the specified context-state account.

NOTE: A context-state account must be pre-allocated to the exact size of the context data that is expected for a proof type before it is included in a proof verification instruction.

The CloseContextState instruction closes a context state account. A transaction containing this instruction must be signed by the context account’s owner. This instruction can be used by the account owner to reclaim lamports for storage.

Re-exports

• pub use crate::instruction::*;

Structs

• ContextStateInfo
  Pubkeys associated with a context state account to be used as parameters to functions.

Enums

• ProofInstruction

Functions

• close_context_state
  Create a CloseContextState instruction.
• verify_batched_grouped_ciphertext_3_handles_validity
  Create a VerifyBatchedGroupedCiphertext3HandlesValidity instruction.
• verify_batched_verify_range_proof_u64
  Create a VerifyBatchedRangeProofU64 instruction.
• verify_batched_verify_range_proof_u128
  Create a VerifyBatchedRangeProofU128 instruction.
• verify_batched_verify_range_proof_u256
  Create a VerifyBatchedRangeProofU256 instruction.
• verify_ciphertext_ciphertext_equality
  Create a VerifyCiphertextCiphertextEquality instruction.
• verify_ciphertext_commitment_equality
  Create a VerifyCiphertextCommitmentEquality instruction.
• verify_grouped_ciphertext_3_handles_validity
  Create a VerifyGroupedCipehrtext3HandlesValidity instruction.
• verify_pubkey_validity
  Create a VerifyPubkeyValidity instruction.
• verify_range_proof_u64
  Create a VerifyRangeProofU64 instruction.
• verify_transfer
  Create a VerifyTransfer instruction.
• verify_transfer_with_fee
  Create a VerifyTransferWithFee instruction.
• verify_withdraw
  Create a VerifyWithdraw instruction.
• verify_zero_balance
  Create a VerifyZeroBalance instruction.