Struct ZkAppAccount

pub struct ZkAppAccount {
    pub app_state: [Fp; 8],
    pub verification_key: Option<VerificationKeyWire>,
    pub zkapp_version: u32,
    pub action_state: [Fp; 5],
    pub last_action_slot: Slot,
    pub proved_state: bool,
    pub zkapp_uri: ZkAppUri,
}

Fields

app_state: [Fp; 8]

verification_key: Option<VerificationKeyWire>

zkapp_version: u32

action_state: [Fp; 5]

last_action_slot: Slot

proved_state: bool

zkapp_uri: ZkAppUri

Implementations

impl ZkAppAccount

pub fn hash(&self) -> Fp

pub fn empty_action_state() -> Fp

empty_state_element

pub fn is_default(&self) -> bool

Trait Implementations

impl Check<Fp256<FpParameters>> for ZkAppAccount

fn check(&self, w: &mut Witness<Fp>)

impl Clone for ZkAppAccount

fn clone(&self) -> ZkAppAccount

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ZkAppAccount

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

Formats the value using the given formatter.

impl Default for ZkAppAccount

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for ZkAppAccount

fn eq(&self, other: &ZkAppAccount) -> 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 ToFieldElements<Fp256<FpParameters>> for ZkAppAccount

fn to_field_elements(&self, fields: &mut Vec<Fp>)

fn to_field_elements_owned(&self) -> Vec<F>

impl ToInputs for ZkAppAccount

fn to_inputs(&self, inputs: &mut Inputs)

fn to_inputs_owned(&self) -> Inputs

fn hash_with_param(&self, param: &LazyParam) -> Fp

fn checked_hash_with_param(&self, param: &LazyParam, w: &mut Witness<Fp>) -> Fp

impl Eq for ZkAppAccount

impl StructuralPartialEq for ZkAppAccount