Type Alias SnarkAccount

pub type SnarkAccount = WithLazyHash<Box<Account>>;

Aliased Type

pub struct SnarkAccount {
    pub data: Box<Account>,
    hash: LazyValue<Fp<MontBackend<FqConfig, 4>, 4>, Witness<Fp<MontBackend<FqConfig, 4>, 4>>>,
}

Fields

data: Box<Account>

hash: LazyValue<Fp<MontBackend<FqConfig, 4>, 4>, Witness<Fp<MontBackend<FqConfig, 4>, 4>>>

Trait Implementations

impl AccountInterface for SnarkAccount

type W = Witness<Fp<MontBackend<FqConfig, 4>, 4>>

type D = ZkappSingleData

type Bool = CircuitVar<Boolean>

type Balance = CheckedBalance<Fp<MontBackend<FqConfig, 4>, 4>>

type GlobalSlot = CheckedSlot<Fp<MontBackend<FqConfig, 4>, 4>>

type VerificationKeyHash = SnarkVerificationKeyHash

fn register_verification_key(&self, data: &Self::D, w: &mut Self::W)

fn get(&self) -> &Account

fn get_mut(&mut self) -> &mut Account

fn set_delegate(&mut self, new: CompressedPubKey)

fn zkapp(&self) -> MyCow<'_, ZkAppAccount>

fn zkapp_mut(&mut self) -> &mut ZkAppAccount

fn verification_key_hash(&self) -> Self::VerificationKeyHash

fn set_token_id(&mut self, token_id: TokenId)

fn is_timed(&self) -> Self::Bool

fn balance(&self) -> Self::Balance

fn set_balance(&mut self, balance: Self::Balance)

fn check_timing( &self, txn_global_slot: &Self::GlobalSlot, w: &mut Self::W, ) -> (TimingValidation<Self::Bool>, Timing)

fn make_zkapp(&mut self)

fn unmake_zkapp(&mut self)

fn proved_state(&self) -> Self::Bool

fn set_proved_state(&mut self, proved_state: Self::Bool)

fn app_state(&self) -> [Fp; 8]

fn last_action_slot(&self) -> Self::GlobalSlot

fn set_last_action_slot(&mut self, slot: Self::GlobalSlot)