Struct Account

pub struct Account {
    pub public_key: CompressedPubKey,
    pub token_id: TokenId,
    pub token_symbol: TokenSymbol,
    pub balance: Balance,
    pub nonce: Nonce,
    pub receipt_chain_hash: ReceiptChainHash,
    pub delegate: Option<CompressedPubKey>,
    pub voting_for: VotingFor,
    pub timing: Timing,
    pub permissions: Permissions<AuthRequired>,
    pub zkapp: Option<Box<ZkAppAccount>>,
}

Fields

public_key: CompressedPubKey

token_id: TokenId

token_symbol: TokenSymbol

the token_symbol describes a token id owned by the account id from this account, not the token id used by this account

balance: Balance

nonce: Nonce

receipt_chain_hash: ReceiptChainHash

delegate: Option<CompressedPubKey>

voting_for: VotingFor

timing: Timing

permissions: Permissions<AuthRequired>

zkapp: Option<Box<ZkAppAccount>>

Implementations

impl Account

pub fn create_with(account_id: AccountId, balance: Balance) -> Self

pub fn delegate_or_empty(&self) -> MyCow<'_, CompressedPubKey>

pub fn zkapp_or_empty(&self) -> MyCow<'_, Box<ZkAppAccount>>

pub fn initialize(account_id: &AccountId) -> Self

pub fn deserialize(bytes: &[u8]) -> Self

pub fn serialize(&self) -> Vec<u8>

pub fn empty() -> Self

pub fn id(&self) -> AccountId

pub fn has_locked_tokens(&self, global_slot: Slot) -> bool

pub fn has_locked_tokens_checked( &self, global_slot: &CheckedSlot<Fp>, w: &mut Witness<Fp>, ) -> Boolean

pub fn liquid_balance_at_slot(&self, global_slot: Slot) -> Balance

pub fn min_balance_at_slot(&self, global_slot: Slot) -> Balance

pub fn has_permission_to(&self, control: ControlTag, to: PermissionTo) -> bool

https://github.com/MinaProtocol/mina/blob/2ff0292b637684ce0372e7b8e23ec85404dc5091/src/lib/mina_base/account.ml#L794

pub fn checked_has_permission_to<F: FieldWitness>( &self, consts: PermsConst, signature_verifies: Option<Boolean>, to: PermissionTo, w: &mut Witness<F>, ) -> Boolean

pub fn has_permission_to_send(&self) -> bool

true iff account has permissions set that enable them to transfer Mina (assuming the command is signed)

pub fn has_permission_to_receive(&self) -> bool

true iff account has permissions set that enable them to receive Mina

pub fn has_permission_to_set_delegate(&self) -> bool

true iff account has permissions set that enable them to set their delegate (assuming the command is signed)

pub fn has_permission_to_increment_nonce(&self) -> bool

true iff account has permissions set that enable them to increment their nonce (assuming the command is signed)

pub fn hash(&self) -> Fp

pub fn checked_hash(&self, w: &mut Witness<Fp>) -> Fp

pub fn rand() -> Self

Trait Implementations

impl AccountInterface for Account

type W = ()

type Bool = bool

type Balance = Balance

type GlobalSlot = Slot

type D = ()

type VerificationKeyHash = Option<Fp256<FpParameters>>

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) -> Option<Fp>

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)

impl BinProtRead for Account

fn binprot_read<R: Read + ?Sized>(r: &mut R) -> Result<Self, Error>

where Self: Sized,

impl BinProtWrite for Account

fn binprot_write<W: Write>(&self, w: &mut W) -> Result<()>

impl<F: FieldWitness> Check<F> for Box<Account>

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

impl Clone for Account

fn clone(&self) -> Account

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Account

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Account

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&Account> for MinaBaseAccountBinableArgStableV2

fn from(acc: &Account) -> Self

Converts to this type from the input type.

impl From<Account> for MinaBaseAccountBinableArgStableV2

fn from(account: Account) -> Self

Converts to this type from the input type.

impl PartialEq for Account

fn eq(&self, other: &Account) -> 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 Serialize for Account

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl ToFieldElements<Fp256<FpParameters>> for Box<Account>

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

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

impl ToInputs for Account

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 TryFrom<&MinaBaseAccountBinableArgStableV2> for Account

type Error = InvalidBigInt

The type returned in the event of a conversion error.

fn try_from( acc: &MinaBaseAccountBinableArgStableV2, ) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<MinaBaseAccountBinableArgStableV2> for Account

type Error = InvalidBigInt

The type returned in the event of a conversion error.

fn try_from( account: MinaBaseAccountBinableArgStableV2, ) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for Account

impl StructuralPartialEq for Account