Struct ProofContextState

#[repr(C)]
pub struct ProofContextState<T>
where
    T: Pod,
{
    pub context_state_authority: Address,
    pub proof_type: PodProofType,
    pub proof_context: T,
}

The on-chain state for a verified zero-knowledge proof statement.

In a zero-knowledge proof system, there is a distinction between a proof and a statement.

• The statement consists of the public values that a proof is certifying. For example, in a VerifyZeroCiphertext instruction, the statement is the ElGamal ciphertext itself.
• The proof is the cryptographic data that demonstrates the statement’s validity without revealing any secret information.

A proof is ephemeral and is discarded after it is successfully verified by a proof instruction. However, the instruction can optionally store the verified public statement on-chain in a dedicated account. The ProofContextState struct defines the layout of this account.

Storing the statement on-chain acts as a verifiable receipt or certificate that a specific proof was successfully processed. This state can then be referenced by other on-chain programs.

Fields

context_state_authority: Address

The proof context authority that can close the account

proof_type: PodProofType

The proof type for the context data

proof_context: T

The proof context data

Implementations

impl<T> ProofContextState<T>

where T: Pod,

pub fn encode( context_state_authority: &Address, proof_type: ProofType, proof_context: &T, ) -> Vec<u8>

pub fn try_from_bytes( input: &[u8], ) -> Result<&ProofContextState<T>, InstructionError>

Interpret a slice as a ProofContextState.

This function requires a generic parameter. To access only the generic-independent fields in ProofContextState without a generic parameter, use ProofContextStateMeta::try_from_bytes instead.

Trait Implementations

impl<T> Clone for ProofContextState<T>

where T: Clone + Pod,

fn clone(&self) -> ProofContextState<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Debug for ProofContextState<T>

where T: Debug + Pod,

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

Formats the value using the given formatter.

impl<T> PartialEq for ProofContextState<T>

where T: PartialEq + Pod,

fn eq(&self, other: &ProofContextState<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl<T> Zeroable for ProofContextState<T>

where T: Pod,

fn zeroed() -> Self

Calls zeroed.

impl<T> Copy for ProofContextState<T>

where T: Copy + Pod,

impl<T> Pod for ProofContextState<T>

where T: Pod,

impl<T> StructuralPartialEq for ProofContextState<T>

where T: Pod,