Enum solana_zk_token_sdk::zk_token_proof_instruction::ProofInstruction

#[repr(u8)]
pub enum ProofInstruction {
    CloseContextState,
    VerifyZeroBalance,
    VerifyWithdraw,
    VerifyCiphertextCiphertextEquality,
    VerifyTransfer,
    VerifyTransferWithFee,
    VerifyPubkeyValidity,
}

Variants

CloseContextState

Close a zero-knowledge proof context state.

Accounts expected by this instruction: 0. [writable] The proof context account to close

1. [writable] The destination account for lamports
2. [signer] The context account’s owner

Data expected by this instruction: None

VerifyZeroBalance

Verify a zero-balance proof.

This instruction can be configured to optionally create a proof context state account.

Accounts expected by this instruction:

• Creating a proof context account

0. [writable] The proof context account
1. [] The proof context account owner

• Otherwise None

Data expected by this instruction: ZeroBalanceProofData

VerifyWithdraw

Verify a withdraw zero-knowledge proof.

This instruction can be configured to optionally create a proof context state account.

Accounts expected by this instruction:

• Creating a proof context account

0. [writable] The proof context account
1. [] The proof context account owner

• Otherwise None

Data expected by this instruction: WithdrawData

VerifyCiphertextCiphertextEquality

Verify a ciphertext-ciphertext equality proof.

This instruction can be configured to optionally create a proof context state account.

Accounts expected by this instruction:

• Creating a proof context account

0. [writable] The proof context account
1. [] The proof context account owner

• Otherwise None

Data expected by this instruction: CiphertextCiphertextEqualityProofData

VerifyTransfer

Verify a transfer zero-knowledge proof.

This instruction can be configured to optionally create a proof context state account.

Accounts expected by this instruction:

• Creating a proof context account

0. [writable] The proof context account
1. [] The proof context account owner

• Otherwise None

Data expected by this instruction: TransferData

VerifyTransferWithFee

Verify a transfer with fee zero-knowledge proof.

This instruction can be configured to optionally create a proof context state account.

Accounts expected by this instruction:

• Creating a proof context account

0. [writable] The proof context account
1. [] The proof context account owner

• Otherwise None

Data expected by this instruction: TransferWithFeeData

VerifyPubkeyValidity

Verify a pubkey validity zero-knowledge proof.

This instruction can be configured to optionally create a proof context state account.

Accounts expected by this instruction:

• Creating a proof context account

0. [writable] The proof context account
1. [] The proof context account owner

• Otherwise None

Data expected by this instruction: PubkeyValidityData

Implementations

impl ProofInstruction

pub fn encode_verify_proof<T, U>( &self, context_state_info: Option<ContextStateInfo<'_>>, proof_data: &T ) -> Instructionwhere T: Pod + ZkProofData<U>, U: Pod,

pub fn instruction_type(input: &[u8]) -> Option<Self>

pub fn proof_data<T, U>(input: &[u8]) -> Option<&T>where T: Pod + ZkProofData<U>, U: Pod,

Trait Implementations

impl Clone for ProofInstruction

fn clone(&self) -> ProofInstruction

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ProofInstruction

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl FromPrimitive for ProofInstruction

fn from_i64(n: i64) -> Option<Self>

Converts an i64 to return an optional value of this type. If the value cannot be represented by this type, then None is returned.

fn from_u64(n: u64) -> Option<Self>

Converts an u64 to return an optional value of this type. If the value cannot be represented by this type, then None is returned.

fn from_isize(n: isize) -> Option<Self>

Converts an isize to return an optional value of this type. If the value cannot be represented by this type, then None is returned.

fn from_i8(n: i8) -> Option<Self>

Converts an i8 to return an optional value of this type. If the value cannot be represented by this type, then None is returned.

fn from_i16(n: i16) -> Option<Self>

Converts an i16 to return an optional value of this type. If the value cannot be represented by this type, then None is returned.

fn from_i32(n: i32) -> Option<Self>

Converts an i32 to return an optional value of this type. If the value cannot be represented by this type, then None is returned.

fn from_i128(n: i128) -> Option<Self>

Converts an i128 to return an optional value of this type. If the value cannot be represented by this type, then None is returned.

fn from_usize(n: usize) -> Option<Self>

Converts a usize to return an optional value of this type. If the value cannot be represented by this type, then None is returned.

fn from_u8(n: u8) -> Option<Self>

Converts an u8 to return an optional value of this type. If the value cannot be represented by this type, then None is returned.

fn from_u16(n: u16) -> Option<Self>

Converts an u16 to return an optional value of this type. If the value cannot be represented by this type, then None is returned.

fn from_u32(n: u32) -> Option<Self>

Converts an u32 to return an optional value of this type. If the value cannot be represented by this type, then None is returned.

fn from_u128(n: u128) -> Option<Self>

Converts an u128 to return an optional value of this type. If the value cannot be represented by this type, then None is returned.

fn from_f32(n: f32) -> Option<Self>

Converts a f32 to return an optional value of this type. If the value cannot be represented by this type, then None is returned.

fn from_f64(n: f64) -> Option<Self>

Converts a f64 to return an optional value of this type. If the value cannot be represented by this type, then None is returned.

impl PartialEq<ProofInstruction> for ProofInstruction

fn eq(&self, other: &ProofInstruction) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ToPrimitive for ProofInstruction

fn to_i64(&self) -> Option<i64>

Converts the value of self to an i64. If the value cannot be represented by an i64, then None is returned.

fn to_u64(&self) -> Option<u64>

Converts the value of self to a u64. If the value cannot be represented by a u64, then None is returned.

fn to_isize(&self) -> Option<isize>

Converts the value of self to an isize. If the value cannot be represented by an isize, then None is returned.

fn to_i8(&self) -> Option<i8>

Converts the value of self to an i8. If the value cannot be represented by an i8, then None is returned.

fn to_i16(&self) -> Option<i16>

Converts the value of self to an i16. If the value cannot be represented by an i16, then None is returned.

fn to_i32(&self) -> Option<i32>

Converts the value of self to an i32. If the value cannot be represented by an i32, then None is returned.

fn to_i128(&self) -> Option<i128>

Converts the value of self to an i128. If the value cannot be represented by an i128 (i64 under the default implementation), then None is returned.

fn to_usize(&self) -> Option<usize>

Converts the value of self to a usize. If the value cannot be represented by a usize, then None is returned.

fn to_u8(&self) -> Option<u8>

Converts the value of self to a u8. If the value cannot be represented by a u8, then None is returned.

fn to_u16(&self) -> Option<u16>

Converts the value of self to a u16. If the value cannot be represented by a u16, then None is returned.

fn to_u32(&self) -> Option<u32>

Converts the value of self to a u32. If the value cannot be represented by a u32, then None is returned.

fn to_u128(&self) -> Option<u128>

Converts the value of self to a u128. If the value cannot be represented by a u128 (u64 under the default implementation), then None is returned.

fn to_f32(&self) -> Option<f32>

Converts the value of self to an f32. Overflows may map to positive or negative inifinity, otherwise None is returned if the value cannot be represented by an f32.

fn to_f64(&self) -> Option<f64>

Converts the value of self to an f64. Overflows may map to positive or negative inifinity, otherwise None is returned if the value cannot be represented by an f64.

impl Copy for ProofInstruction

impl Eq for ProofInstruction

impl StructuralEq for ProofInstruction

impl StructuralPartialEq for ProofInstruction