Types

o1js / Modules / Types

Namespace: Types

Table of contents

References

• Bool
• Field
• Sign
• UInt32
• UInt64

Namespaces

• Json

Classes

• PublicKey

Type Aliases

• Account
• AccountUpdate
• ActionState
• Actions
• AuthRequired
• Events
• Layout
• ReceiptChainHash
• StateHash
• TokenId
• TokenSymbol
• TypeMap
• VerificationKeyHash
• ZkappCommand
• ZkappUri

Variables

• Account
• AccountUpdate
• ActionState
• Actions
• AuthRequired
• Events
• ReceiptChainHash
• StateHash
• TokenId
• TokenSymbol
• TypeMap
• VerificationKeyHash
• ZkappCommand
• ZkappUri
• customTypes

Functions

• emptyValue
• provableFromLayout
• toJSONEssential

References

Bool

Re-exports Bool

---

Field

Re-exports Field

---

Sign

Re-exports Sign

---

UInt32

Re-exports UInt32

---

UInt64

Re-exports UInt64

Type Aliases

Account

Ƭ Account: Object

Type declaration

Name	Type
balance	UInt64
delegate?	PublicKey
nonce	UInt32
permissions	{ access: AuthRequired ; editActionState: AuthRequired ; editState: AuthRequired ; incrementNonce: AuthRequired ; receive: AuthRequired ; send: AuthRequired ; setDelegate: AuthRequired ; setPermissions: AuthRequired ; setTiming: AuthRequired ; setTokenSymbol: AuthRequired ; setVerificationKey: AuthRequired ; setVotingFor: AuthRequired ; setZkappUri: AuthRequired }
permissions.access	AuthRequired
permissions.editActionState	AuthRequired
permissions.editState	AuthRequired
permissions.incrementNonce	AuthRequired
permissions.receive	AuthRequired
permissions.send	AuthRequired
permissions.setDelegate	AuthRequired
permissions.setPermissions	AuthRequired
permissions.setTiming	AuthRequired
permissions.setTokenSymbol	AuthRequired
permissions.setVerificationKey	AuthRequired
permissions.setVotingFor	AuthRequired
permissions.setZkappUri	AuthRequired
publicKey	PublicKey
receiptChainHash	Field
timing	{ cliffAmount: UInt64 ; cliffTime: UInt32 ; initialMinimumBalance: UInt64 ; isTimed: Bool ; vestingIncrement: UInt64 ; vestingPeriod: UInt32 }
timing.cliffAmount	UInt64
timing.cliffTime	UInt32
timing.initialMinimumBalance	UInt64
timing.isTimed	Bool
timing.vestingIncrement	UInt64
timing.vestingPeriod	UInt32
tokenId	TokenId
tokenSymbol	string
votingFor	Field
zkapp?	{ actionState: Field[] ; appState: Field[] ; lastActionSlot: UInt32 ; provedState: Bool ; verificationKey?: { data: string ; hash: Field } ; zkappUri: string ; zkappVersion: UInt32 }
zkapp.actionState	Field[]
zkapp.appState	Field[]
zkapp.lastActionSlot	UInt32
zkapp.provedState	Bool
zkapp.verificationKey?	{ data: string ; hash: Field }
zkapp.verificationKey.data	string
zkapp.verificationKey.hash	Field
zkapp.zkappUri	string
zkapp.zkappVersion	UInt32

Defined in

bindings/mina-transaction/gen/transaction.ts:521

bindings/mina-transaction/gen/transaction.ts:567

---

AccountUpdate

Ƭ AccountUpdate: Object

Type declaration

Name	Type
authorization	{ proof?: string ; signature?: string }
authorization.proof?	string
authorization.signature?	string
body	{ actions: { data: Field[][] ; hash: Field } ; authorizationKind: { isProved: Bool ; isSigned: Bool ; verificationKeyHash: Field } ; balanceChange: { magnitude: UInt64 ; sgn: Sign } ; callData: Field ; callDepth: number ; events: { data: Field[][] ; hash: Field } ; implicitAccountCreationFee: Bool ; incrementNonce: Bool ; mayUseToken: { inheritFromParent: Bool ; parentsOwnToken: Bool } ; preconditions: { account: { actionState: { isSome: Bool ; value: Field } ; balance: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } ; delegate: { isSome: Bool ; value: PublicKey } ; isNew: { isSome: Bool ; value: Bool } ; nonce: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; provedState: { isSome: Bool ; value: Bool } ; receiptChainHash: { isSome: Bool ; value: Field } ; state: { isSome: Bool ; value: Field }[] } ; network: { blockchainLength: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; globalSlotSinceGenesis: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; minWindowDensity: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; nextEpochData: { epochLength: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; ledger: { hash: { isSome: Bool ; value: Field } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } ; lockCheckpoint: { isSome: Bool ; value: Field } ; seed: { isSome: Bool ; value: Field } ; startCheckpoint: { isSome: Bool ; value: Field } } ; snarkedLedgerHash: { isSome: Bool ; value: Field } ; stakingEpochData: { epochLength: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; ledger: { hash: { isSome: Bool ; value: Field } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } ; lockCheckpoint: { isSome: Bool ; value: Field } ; seed: { isSome: Bool ; value: Field } ; startCheckpoint: { isSome: Bool ; value: Field } } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } ; validWhile: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } } ; publicKey: PublicKey ; tokenId: TokenId ; update: { appState: { isSome: Bool ; value: Field }[] ; delegate: { isSome: Bool ; value: PublicKey } ; permissions: { isSome: Bool ; value: { access: AuthRequired ; editActionState: AuthRequired ; editState: AuthRequired ; incrementNonce: AuthRequired ; receive: AuthRequired ; send: AuthRequired ; setDelegate: AuthRequired ; setPermissions: AuthRequired ; setTiming: AuthRequired ; setTokenSymbol: AuthRequired ; setVerificationKey: AuthRequired ; setVotingFor: AuthRequired ; setZkappUri: AuthRequired } } ; timing: { isSome: Bool ; value: { cliffAmount: UInt64 ; cliffTime: UInt32 ; initialMinimumBalance: UInt64 ; vestingIncrement: UInt64 ; vestingPeriod: UInt32 } } ; tokenSymbol: { isSome: Bool ; value: { field: Field ; symbol: string } } ; verificationKey: { isSome: Bool ; value: { data: string ; hash: Field } } ; votingFor: { isSome: Bool ; value: Field } ; zkappUri: { isSome: Bool ; value: { data: string ; hash: Field } } } ; useFullCommitment: Bool }
body.actions	{ data: Field[][] ; hash: Field }
body.actions.data	Field[][]
body.actions.hash	Field
body.authorizationKind	{ isProved: Bool ; isSigned: Bool ; verificationKeyHash: Field }
body.authorizationKind.isProved	Bool
body.authorizationKind.isSigned	Bool
body.authorizationKind.verificationKeyHash	Field
body.balanceChange	{ magnitude: UInt64 ; sgn: Sign }
body.balanceChange.magnitude	UInt64
body.balanceChange.sgn	Sign
body.callData	Field
body.callDepth	number
body.events	{ data: Field[][] ; hash: Field }
body.events.data	Field[][]
body.events.hash	Field
body.implicitAccountCreationFee	Bool
body.incrementNonce	Bool
body.mayUseToken	{ inheritFromParent: Bool ; parentsOwnToken: Bool }
body.mayUseToken.inheritFromParent	Bool
body.mayUseToken.parentsOwnToken	Bool
body.preconditions	{ account: { actionState: { isSome: Bool ; value: Field } ; balance: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } ; delegate: { isSome: Bool ; value: PublicKey } ; isNew: { isSome: Bool ; value: Bool } ; nonce: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; provedState: { isSome: Bool ; value: Bool } ; receiptChainHash: { isSome: Bool ; value: Field } ; state: { isSome: Bool ; value: Field }[] } ; network: { blockchainLength: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; globalSlotSinceGenesis: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; minWindowDensity: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; nextEpochData: { epochLength: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; ledger: { hash: { isSome: Bool ; value: Field } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } ; lockCheckpoint: { isSome: Bool ; value: Field } ; seed: { isSome: Bool ; value: Field } ; startCheckpoint: { isSome: Bool ; value: Field } } ; snarkedLedgerHash: { isSome: Bool ; value: Field } ; stakingEpochData: { epochLength: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; ledger: { hash: { isSome: Bool ; value: Field } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } ; lockCheckpoint: { isSome: Bool ; value: Field } ; seed: { isSome: Bool ; value: Field } ; startCheckpoint: { isSome: Bool ; value: Field } } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } ; validWhile: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } }
body.preconditions.account	{ actionState: { isSome: Bool ; value: Field } ; balance: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } ; delegate: { isSome: Bool ; value: PublicKey } ; isNew: { isSome: Bool ; value: Bool } ; nonce: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; provedState: { isSome: Bool ; value: Bool } ; receiptChainHash: { isSome: Bool ; value: Field } ; state: { isSome: Bool ; value: Field }[] }
body.preconditions.account.actionState	{ isSome: Bool ; value: Field }
body.preconditions.account.actionState.isSome	Bool
body.preconditions.account.actionState.value	Field
body.preconditions.account.balance	{ isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } }
body.preconditions.account.balance.isSome	Bool
body.preconditions.account.balance.value	{ lower: UInt64 ; upper: UInt64 }
body.preconditions.account.balance.value.lower	UInt64
body.preconditions.account.balance.value.upper	UInt64
body.preconditions.account.delegate	{ isSome: Bool ; value: PublicKey }
body.preconditions.account.delegate.isSome	Bool
body.preconditions.account.delegate.value	PublicKey
body.preconditions.account.isNew	{ isSome: Bool ; value: Bool }
body.preconditions.account.isNew.isSome	Bool
body.preconditions.account.isNew.value	Bool
body.preconditions.account.nonce	{ isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } }
body.preconditions.account.nonce.isSome	Bool
body.preconditions.account.nonce.value	{ lower: UInt32 ; upper: UInt32 }
body.preconditions.account.nonce.value.lower	UInt32
body.preconditions.account.nonce.value.upper	UInt32
body.preconditions.account.provedState	{ isSome: Bool ; value: Bool }
body.preconditions.account.provedState.isSome	Bool
body.preconditions.account.provedState.value	Bool
body.preconditions.account.receiptChainHash	{ isSome: Bool ; value: Field }
body.preconditions.account.receiptChainHash.isSome	Bool
body.preconditions.account.receiptChainHash.value	Field
body.preconditions.account.state	{ isSome: Bool ; value: Field }[]
body.preconditions.network	{ blockchainLength: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; globalSlotSinceGenesis: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; minWindowDensity: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; nextEpochData: { epochLength: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; ledger: { hash: { isSome: Bool ; value: Field } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } ; lockCheckpoint: { isSome: Bool ; value: Field } ; seed: { isSome: Bool ; value: Field } ; startCheckpoint: { isSome: Bool ; value: Field } } ; snarkedLedgerHash: { isSome: Bool ; value: Field } ; stakingEpochData: { epochLength: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; ledger: { hash: { isSome: Bool ; value: Field } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } ; lockCheckpoint: { isSome: Bool ; value: Field } ; seed: { isSome: Bool ; value: Field } ; startCheckpoint: { isSome: Bool ; value: Field } } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } }
body.preconditions.network.blockchainLength	{ isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } }
body.preconditions.network.blockchainLength.isSome	Bool
body.preconditions.network.blockchainLength.value	{ lower: UInt32 ; upper: UInt32 }
body.preconditions.network.blockchainLength.value.lower	UInt32
body.preconditions.network.blockchainLength.value.upper	UInt32
body.preconditions.network.globalSlotSinceGenesis	{ isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } }
body.preconditions.network.globalSlotSinceGenesis.isSome	Bool
body.preconditions.network.globalSlotSinceGenesis.value	{ lower: UInt32 ; upper: UInt32 }
body.preconditions.network.globalSlotSinceGenesis.value.lower	UInt32
body.preconditions.network.globalSlotSinceGenesis.value.upper	UInt32
body.preconditions.network.minWindowDensity	{ isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } }
body.preconditions.network.minWindowDensity.isSome	Bool
body.preconditions.network.minWindowDensity.value	{ lower: UInt32 ; upper: UInt32 }
body.preconditions.network.minWindowDensity.value.lower	UInt32
body.preconditions.network.minWindowDensity.value.upper	UInt32
body.preconditions.network.nextEpochData	{ epochLength: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; ledger: { hash: { isSome: Bool ; value: Field } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } ; lockCheckpoint: { isSome: Bool ; value: Field } ; seed: { isSome: Bool ; value: Field } ; startCheckpoint: { isSome: Bool ; value: Field } }
body.preconditions.network.nextEpochData.epochLength	{ isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } }
body.preconditions.network.nextEpochData.epochLength.isSome	Bool
body.preconditions.network.nextEpochData.epochLength.value	{ lower: UInt32 ; upper: UInt32 }
body.preconditions.network.nextEpochData.epochLength.value.lower	UInt32
body.preconditions.network.nextEpochData.epochLength.value.upper	UInt32
body.preconditions.network.nextEpochData.ledger	{ hash: { isSome: Bool ; value: Field } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } }
body.preconditions.network.nextEpochData.ledger.hash	{ isSome: Bool ; value: Field }
body.preconditions.network.nextEpochData.ledger.hash.isSome	Bool
body.preconditions.network.nextEpochData.ledger.hash.value	Field
body.preconditions.network.nextEpochData.ledger.totalCurrency	{ isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } }
body.preconditions.network.nextEpochData.ledger.totalCurrency.isSome	Bool
body.preconditions.network.nextEpochData.ledger.totalCurrency.value	{ lower: UInt64 ; upper: UInt64 }
body.preconditions.network.nextEpochData.ledger.totalCurrency.value.lower	UInt64
body.preconditions.network.nextEpochData.ledger.totalCurrency.value.upper	UInt64
body.preconditions.network.nextEpochData.lockCheckpoint	{ isSome: Bool ; value: Field }
body.preconditions.network.nextEpochData.lockCheckpoint.isSome	Bool
body.preconditions.network.nextEpochData.lockCheckpoint.value	Field
body.preconditions.network.nextEpochData.seed	{ isSome: Bool ; value: Field }
body.preconditions.network.nextEpochData.seed.isSome	Bool
body.preconditions.network.nextEpochData.seed.value	Field
body.preconditions.network.nextEpochData.startCheckpoint	{ isSome: Bool ; value: Field }
body.preconditions.network.nextEpochData.startCheckpoint.isSome	Bool
body.preconditions.network.nextEpochData.startCheckpoint.value	Field
body.preconditions.network.snarkedLedgerHash	{ isSome: Bool ; value: Field }
body.preconditions.network.snarkedLedgerHash.isSome	Bool
body.preconditions.network.snarkedLedgerHash.value	Field
body.preconditions.network.stakingEpochData	{ epochLength: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; ledger: { hash: { isSome: Bool ; value: Field } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } ; lockCheckpoint: { isSome: Bool ; value: Field } ; seed: { isSome: Bool ; value: Field } ; startCheckpoint: { isSome: Bool ; value: Field } }
body.preconditions.network.stakingEpochData.epochLength	{ isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } }
body.preconditions.network.stakingEpochData.epochLength.isSome	Bool
body.preconditions.network.stakingEpochData.epochLength.value	{ lower: UInt32 ; upper: UInt32 }
body.preconditions.network.stakingEpochData.epochLength.value.lower	UInt32
body.preconditions.network.stakingEpochData.epochLength.value.upper	UInt32
body.preconditions.network.stakingEpochData.ledger	{ hash: { isSome: Bool ; value: Field } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } }
body.preconditions.network.stakingEpochData.ledger.hash	{ isSome: Bool ; value: Field }
body.preconditions.network.stakingEpochData.ledger.hash.isSome	Bool
body.preconditions.network.stakingEpochData.ledger.hash.value	Field
body.preconditions.network.stakingEpochData.ledger.totalCurrency	{ isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } }
body.preconditions.network.stakingEpochData.ledger.totalCurrency.isSome	Bool
body.preconditions.network.stakingEpochData.ledger.totalCurrency.value	{ lower: UInt64 ; upper: UInt64 }
body.preconditions.network.stakingEpochData.ledger.totalCurrency.value.lower	UInt64
body.preconditions.network.stakingEpochData.ledger.totalCurrency.value.upper	UInt64
body.preconditions.network.stakingEpochData.lockCheckpoint	{ isSome: Bool ; value: Field }
body.preconditions.network.stakingEpochData.lockCheckpoint.isSome	Bool
body.preconditions.network.stakingEpochData.lockCheckpoint.value	Field
body.preconditions.network.stakingEpochData.seed	{ isSome: Bool ; value: Field }
body.preconditions.network.stakingEpochData.seed.isSome	Bool
body.preconditions.network.stakingEpochData.seed.value	Field
body.preconditions.network.stakingEpochData.startCheckpoint	{ isSome: Bool ; value: Field }
body.preconditions.network.stakingEpochData.startCheckpoint.isSome	Bool
body.preconditions.network.stakingEpochData.startCheckpoint.value	Field
body.preconditions.network.totalCurrency	{ isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } }
body.preconditions.network.totalCurrency.isSome	Bool
body.preconditions.network.totalCurrency.value	{ lower: UInt64 ; upper: UInt64 }
body.preconditions.network.totalCurrency.value.lower	UInt64
body.preconditions.network.totalCurrency.value.upper	UInt64
body.preconditions.validWhile	{ isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } }
body.preconditions.validWhile.isSome	Bool
body.preconditions.validWhile.value	{ lower: UInt32 ; upper: UInt32 }
body.preconditions.validWhile.value.lower	UInt32
body.preconditions.validWhile.value.upper	UInt32
body.publicKey	PublicKey
body.tokenId	TokenId
body.update	{ appState: { isSome: Bool ; value: Field }[] ; delegate: { isSome: Bool ; value: PublicKey } ; permissions: { isSome: Bool ; value: { access: AuthRequired ; editActionState: AuthRequired ; editState: AuthRequired ; incrementNonce: AuthRequired ; receive: AuthRequired ; send: AuthRequired ; setDelegate: AuthRequired ; setPermissions: AuthRequired ; setTiming: AuthRequired ; setTokenSymbol: AuthRequired ; setVerificationKey: AuthRequired ; setVotingFor: AuthRequired ; setZkappUri: AuthRequired } } ; timing: { isSome: Bool ; value: { cliffAmount: UInt64 ; cliffTime: UInt32 ; initialMinimumBalance: UInt64 ; vestingIncrement: UInt64 ; vestingPeriod: UInt32 } } ; tokenSymbol: { isSome: Bool ; value: { field: Field ; symbol: string } } ; verificationKey: { isSome: Bool ; value: { data: string ; hash: Field } } ; votingFor: { isSome: Bool ; value: Field } ; zkappUri: { isSome: Bool ; value: { data: string ; hash: Field } } }
body.update.appState	{ isSome: Bool ; value: Field }[]
body.update.delegate	{ isSome: Bool ; value: PublicKey }
body.update.delegate.isSome	Bool
body.update.delegate.value	PublicKey
body.update.permissions	{ isSome: Bool ; value: { access: AuthRequired ; editActionState: AuthRequired ; editState: AuthRequired ; incrementNonce: AuthRequired ; receive: AuthRequired ; send: AuthRequired ; setDelegate: AuthRequired ; setPermissions: AuthRequired ; setTiming: AuthRequired ; setTokenSymbol: AuthRequired ; setVerificationKey: AuthRequired ; setVotingFor: AuthRequired ; setZkappUri: AuthRequired } }
body.update.permissions.isSome	Bool
body.update.permissions.value	{ access: AuthRequired ; editActionState: AuthRequired ; editState: AuthRequired ; incrementNonce: AuthRequired ; receive: AuthRequired ; send: AuthRequired ; setDelegate: AuthRequired ; setPermissions: AuthRequired ; setTiming: AuthRequired ; setTokenSymbol: AuthRequired ; setVerificationKey: AuthRequired ; setVotingFor: AuthRequired ; setZkappUri: AuthRequired }
body.update.permissions.value.access	AuthRequired
body.update.permissions.value.editActionState	AuthRequired
body.update.permissions.value.editState	AuthRequired
body.update.permissions.value.incrementNonce	AuthRequired
body.update.permissions.value.receive	AuthRequired
body.update.permissions.value.send	AuthRequired
body.update.permissions.value.setDelegate	AuthRequired
body.update.permissions.value.setPermissions	AuthRequired
body.update.permissions.value.setTiming	AuthRequired
body.update.permissions.value.setTokenSymbol	AuthRequired
body.update.permissions.value.setVerificationKey	AuthRequired
body.update.permissions.value.setVotingFor	AuthRequired
body.update.permissions.value.setZkappUri	AuthRequired
body.update.timing	{ isSome: Bool ; value: { cliffAmount: UInt64 ; cliffTime: UInt32 ; initialMinimumBalance: UInt64 ; vestingIncrement: UInt64 ; vestingPeriod: UInt32 } }
body.update.timing.isSome	Bool
body.update.timing.value	{ cliffAmount: UInt64 ; cliffTime: UInt32 ; initialMinimumBalance: UInt64 ; vestingIncrement: UInt64 ; vestingPeriod: UInt32 }
body.update.timing.value.cliffAmount	UInt64
body.update.timing.value.cliffTime	UInt32
body.update.timing.value.initialMinimumBalance	UInt64
body.update.timing.value.vestingIncrement	UInt64
body.update.timing.value.vestingPeriod	UInt32
body.update.tokenSymbol	{ isSome: Bool ; value: { field: Field ; symbol: string } }
body.update.tokenSymbol.isSome	Bool
body.update.tokenSymbol.value	{ field: Field ; symbol: string }
body.update.tokenSymbol.value.field	Field
body.update.tokenSymbol.value.symbol	string
body.update.verificationKey	{ isSome: Bool ; value: { data: string ; hash: Field } }
body.update.verificationKey.isSome	Bool
body.update.verificationKey.value	{ data: string ; hash: Field }
body.update.verificationKey.value.data	string
body.update.verificationKey.value.hash	Field
body.update.votingFor	{ isSome: Bool ; value: Field }
body.update.votingFor.isSome	Bool
body.update.votingFor.value	Field
body.update.zkappUri	{ isSome: Bool ; value: { data: string ; hash: Field } }
body.update.zkappUri.isSome	Bool
body.update.zkappUri.value	{ data: string ; hash: Field }
body.update.zkappUri.value.data	string
body.update.zkappUri.value.hash	Field
body.useFullCommitment	Bool

Defined in

bindings/mina-transaction/gen/transaction.ts:320

bindings/mina-transaction/gen/transaction.ts:517

---

ActionState

Ƭ ActionState: Field

Defined in

bindings/mina-transaction/transaction-leaves.ts:49

bindings/mina-transaction/transaction-leaves.ts:50

---

Actions

Ƭ Actions: Events

Defined in

bindings/mina-transaction/transaction-leaves.ts:46

bindings/mina-transaction/transaction-leaves.ts:47

---

AuthRequired

Ƭ AuthRequired: Object

Type declaration

Name	Type
constant	Bool
signatureNecessary	Bool
signatureSufficient	Bool

Defined in

bindings/mina-transaction/transaction-leaves.ts:28

bindings/mina-transaction/transaction-leaves.ts:38

---

Events

Ƭ Events: Object

Type declaration

Name	Type
data	Event[]
hash	Field

Defined in

bindings/mina-transaction/transaction-leaves.ts:42

bindings/mina-transaction/transaction-leaves.ts:47

---

Layout

Ƭ Layout: GenericLayout<TypeMap>

Defined in

bindings/mina-transaction/gen/transaction.ts:56

---

ReceiptChainHash

Ƭ ReceiptChainHash: Field

Defined in

bindings/mina-transaction/transaction-leaves.ts:61

bindings/mina-transaction/transaction-leaves.ts:62

---

StateHash

Ƭ StateHash: Field

Defined in

bindings/mina-transaction/transaction-leaves.ts:34

bindings/mina-transaction/transaction-leaves.ts:38

---

TokenId

Ƭ TokenId: Field

Defined in

bindings/mina-transaction/transaction-leaves.ts:33

bindings/mina-transaction/transaction-leaves.ts:38

---

TokenSymbol

Ƭ TokenSymbol: Object

Type declaration

Name	Type
field	Field
symbol	string

Defined in

bindings/mina-transaction/transaction-leaves.ts:35

bindings/mina-transaction/transaction-leaves.ts:38

---

TypeMap

Ƭ TypeMap: Object

Type declaration

Name	Type
AuthRequired	AuthRequired
Bool	Bool
Field	Field
PublicKey	PublicKey
Sign	Sign
TokenId	TokenId
UInt32	UInt32
UInt64	UInt64

Defined in

bindings/mina-transaction/gen/transaction.ts:31

bindings/mina-transaction/gen/transaction.ts:42

---

VerificationKeyHash

Ƭ VerificationKeyHash: Field

Defined in

bindings/mina-transaction/transaction-leaves.ts:55

bindings/mina-transaction/transaction-leaves.ts:56

---

ZkappCommand

Ƭ ZkappCommand: Object

Type declaration

Name	Type
accountUpdates	{ authorization: { proof?: string ; signature?: string } ; body: { actions: { data: Field[][] ; hash: Field } ; authorizationKind: { isProved: Bool ; isSigned: Bool ; verificationKeyHash: Field } ; balanceChange: { magnitude: UInt64 ; sgn: Sign } ; callData: Field ; callDepth: number ; events: { data: Field[][] ; hash: Field } ; implicitAccountCreationFee: Bool ; incrementNonce: Bool ; mayUseToken: { inheritFromParent: Bool ; parentsOwnToken: Bool } ; preconditions: { account: { actionState: { isSome: Bool ; value: Field } ; balance: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } ; delegate: { isSome: Bool ; value: PublicKey } ; isNew: { isSome: Bool ; value: Bool } ; nonce: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; provedState: { isSome: Bool ; value: Bool } ; receiptChainHash: { isSome: Bool ; value: Field } ; state: { isSome: Bool ; value: Field }[] } ; network: { blockchainLength: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; globalSlotSinceGenesis: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; minWindowDensity: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; nextEpochData: { epochLength: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; ledger: { hash: { isSome: Bool ; value: Field } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } ; lockCheckpoint: { isSome: Bool ; value: Field } ; seed: { isSome: Bool ; value: Field } ; startCheckpoint: { isSome: Bool ; value: Field } } ; snarkedLedgerHash: { isSome: Bool ; value: Field } ; stakingEpochData: { epochLength: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } ; ledger: { hash: { isSome: Bool ; value: Field } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } ; lockCheckpoint: { isSome: Bool ; value: Field } ; seed: { isSome: Bool ; value: Field } ; startCheckpoint: { isSome: Bool ; value: Field } } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } ; validWhile: { isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } } } ; publicKey: PublicKey ; tokenId: TokenId ; update: { appState: { isSome: Bool ; value: Field }[] ; delegate: { isSome: Bool ; value: PublicKey } ; permissions: { isSome: Bool ; value: { access: AuthRequired ; editActionState: AuthRequired ; editState: AuthRequired ; incrementNonce: AuthRequired ; receive: AuthRequired ; send: AuthRequired ; setDelegate: AuthRequired ; setPermissions: AuthRequired ; setTiming: AuthRequired ; setTokenSymbol: AuthRequired ; setVerificationKey: AuthRequired ; setVotingFor: AuthRequired ; setZkappUri: AuthRequired } } ; timing: { isSome: Bool ; value: { cliffAmount: UInt64 ; cliffTime: UInt32 ; initialMinimumBalance: UInt64 ; vestingIncrement: UInt64 ; vestingPeriod: UInt32 } } ; tokenSymbol: { isSome: Bool ; value: { field: Field ; symbol: string } } ; verificationKey: { isSome: Bool ; value: { data: string ; hash: Field } } ; votingFor: { isSome: Bool ; value: Field } ; zkappUri: { isSome: Bool ; value: { data: string ; hash: Field } } } ; useFullCommitment: Bool } }[]
feePayer	{ authorization: string ; body: { fee: UInt64 ; nonce: UInt32 ; publicKey: PublicKey ; validUntil?: UInt32 } }
feePayer.authorization	string
feePayer.body	{ fee: UInt64 ; nonce: UInt32 ; publicKey: PublicKey ; validUntil?: UInt32 }
feePayer.body.fee	UInt64
feePayer.body.nonce	UInt32
feePayer.body.publicKey	PublicKey
feePayer.body.validUntil?	UInt32
memo	string

Defined in

bindings/mina-transaction/gen/transaction.ts:107

bindings/mina-transaction/gen/transaction.ts:316

---

ZkappUri

Ƭ ZkappUri: Object

Type declaration

Name	Type
data	string
hash	Field

Defined in

bindings/mina-transaction/transaction-leaves.ts:36

bindings/mina-transaction/transaction-leaves.ts:38

Variables

Account

• Account: Object

Type declaration

Name	Type
check	(value: Account) => void
emptyValue	() => Account
fromFields	(fields: Field[], aux: any[]) => Account
fromJSON	(json: Account) => Account
sizeInFields	() => number
toAuxiliary	(value?: Account) => any[]
toFields	(value: Account) => Field[]
toInput	(value: Account) => HashInput
toJSON	(value: Account) => Account

Defined in

bindings/mina-transaction/gen/transaction.ts:521

bindings/mina-transaction/gen/transaction.ts:567

---

AccountUpdate

• AccountUpdate: Object

Type declaration

Name	Type
check	(value: AccountUpdate) => void
emptyValue	() => AccountUpdate
fromFields	(fields: Field[], aux: any[]) => AccountUpdate
fromJSON	(json: AccountUpdate) => AccountUpdate
sizeInFields	() => number
toAuxiliary	(value?: AccountUpdate) => any[]
toFields	(value: AccountUpdate) => Field[]
toInput	(value: AccountUpdate) => HashInput
toJSON	(value: AccountUpdate) => AccountUpdate

Defined in

bindings/mina-transaction/gen/transaction.ts:320

bindings/mina-transaction/gen/transaction.ts:517

---

ActionState

• ActionState: Object

Type declaration

Name	Type
check	(value: Field) => void
emptyValue	() => Field
fromFields	(fields: Field[], aux: any[]) => Field
fromJSON	(x: string) => Field
toAuxiliary	(value?: Field) => any[]
toFields	(value: Field) => Field[]
toInput	(x: Field) => { fields?: Field[] ; packed?: [Field, number][] }
toJSON	(x: Field) => string
sizeInFields	() => number

Defined in

bindings/mina-transaction/transaction-leaves.ts:49

bindings/mina-transaction/transaction-leaves.ts:50

---

Actions

• Actions: Object

Type declaration

Name	Type
check	(x: { data: Field[][] ; hash: Field }) => void
emptyValue	() => { data: Field[][] ; hash: Field } & () => { data: Field[][] ; hash: Field }
fromFields	(x: Field[], aux: any[]) => { data: Field[][] ; hash: Field }
fromJSON	(x: string[][]) => { data: Field[][] ; hash: Field }
toAuxiliary	(x?: { data: Field[][] ; hash: Field }) => any[]
toFields	(x: { data: Field[][] ; hash: Field }) => Field[]
toInput	(x: { data: Field[][] ; hash: Field }) => { fields?: Field[] ; packed?: [Field, number][] }
toJSON	(x: { data: Field[][] ; hash: Field }) => string[][]
empty	() => Events
emptyActionState	() => Field
fromList	(events: Event[]) => Events
hash	(events: Event[]) => Field
pushEvent	(actions: Events, event: Event) => Events
sizeInFields	() => number
updateSequenceState	(state: Field, sequenceEventsHash: Field) => Field

Defined in

bindings/mina-transaction/transaction-leaves.ts:46

bindings/mina-transaction/transaction-leaves.ts:47

---

AuthRequired

• AuthRequired: Object

Type declaration

Name	Type
check	(x: { constant: Bool = Bool; signatureNecessary: Bool = Bool; signatureSufficient: Bool = Bool }) => void
fromFields	(x: Field[], aux: any[]) => { constant: Bool = Bool; signatureNecessary: Bool = Bool; signatureSufficient: Bool = Bool }
toAuxiliary	(x?: { constant: Bool = Bool; signatureNecessary: Bool = Bool; signatureSufficient: Bool = Bool }) => any[]
toFields	(x: { constant: Bool = Bool; signatureNecessary: Bool = Bool; signatureSufficient: Bool = Bool }) => Field[]
toInput	(x: { constant: Bool = Bool; signatureNecessary: Bool = Bool; signatureSufficient: Bool = Bool }) => { fields?: Field[] ; packed?: [Field, number][] }
emptyValue	() => AuthRequired
fromJSON	(json: AuthRequired) => AuthRequired
sizeInFields	() => number
toJSON	(x: AuthRequired) => AuthRequired

Defined in

bindings/mina-transaction/transaction-leaves.ts:28

bindings/mina-transaction/transaction-leaves.ts:38

---

Events

• Events: Object

Type declaration

Name	Type
check	(x: { data: Field[][] ; hash: Field }) => void
emptyValue	() => { data: Field[][] ; hash: Field } & () => { data: Field[][] ; hash: Field }
fromFields	(x: Field[], aux: any[]) => { data: Field[][] ; hash: Field }
fromJSON	(x: string[][]) => { data: Field[][] ; hash: Field }
toAuxiliary	(x?: { data: Field[][] ; hash: Field }) => any[]
toFields	(x: { data: Field[][] ; hash: Field }) => Field[]
toInput	(x: { data: Field[][] ; hash: Field }) => { fields?: Field[] ; packed?: [Field, number][] }
toJSON	(x: { data: Field[][] ; hash: Field }) => string[][]
empty	() => Events
fromList	(events: Event[]) => Events
hash	(events: Event[]) => Field
pushEvent	(events: Events, event: Event) => Events
sizeInFields	() => number

Defined in

bindings/mina-transaction/transaction-leaves.ts:42

bindings/mina-transaction/transaction-leaves.ts:47

---

ReceiptChainHash

• ReceiptChainHash: Object

Type declaration

Name	Type
check	(value: Field) => void
emptyValue	() => Field
fromFields	(fields: Field[], aux: any[]) => Field
fromJSON	(x: string) => Field
toAuxiliary	(value?: Field) => any[]
toFields	(value: Field) => Field[]
toInput	(x: Field) => { fields?: Field[] ; packed?: [Field, number][] }
toJSON	(x: Field) => string
sizeInFields	() => number

Defined in

bindings/mina-transaction/transaction-leaves.ts:61

bindings/mina-transaction/transaction-leaves.ts:62

---

StateHash

• StateHash: Object

Type declaration

Name	Type
check	(x: Field) => void
emptyValue?	() => Field
fromFields	(x: Field[], aux: any[]) => Field
toAuxiliary	(x?: Field) => any[]
toFields	(x: Field) => Field[]
toInput	(x: Field) => { fields?: Field[] ; packed?: [Field, number][] }
fromJSON	(x: string) => Field
sizeInFields	() => number
toJSON	(x: Field) => string

Defined in

bindings/mina-transaction/transaction-leaves.ts:34

bindings/mina-transaction/transaction-leaves.ts:38

---

TokenId

• TokenId: Object

Type declaration

Name	Type
check	(x: Field) => void
fromFields	(x: Field[], aux: any[]) => Field
toAuxiliary	(x?: Field) => any[]
toFields	(x: Field) => Field[]
toInput	(x: Field) => { fields?: Field[] ; packed?: [Field, number][] }
emptyValue	() => Field
fromJSON	(x: string) => Field
sizeInFields	() => number
toJSON	(x: Field) => string

Defined in

bindings/mina-transaction/transaction-leaves.ts:33

bindings/mina-transaction/transaction-leaves.ts:38

---

TokenSymbol

• TokenSymbol: Object

Type declaration

Name	Type
check	(x: { field: Field = Field; symbol: string = String }) => void
emptyValue?	() => { field: Field = Field; symbol: string = String }
fromFields	(x: Field[], aux: any[]) => { field: Field = Field; symbol: string = String }
toAuxiliary	(x?: { field: Field = Field; symbol: string = String }) => any[]
toFields	(x: { field: Field = Field; symbol: string = String }) => Field[]
fromJSON	(symbol: string) => TokenSymbol
sizeInFields	() => number
toInput	(__namedParameters: TokenSymbol) => GenericHashInput<Field>
toJSON	(__namedParameters: TokenSymbol) => string

Defined in

bindings/mina-transaction/transaction-leaves.ts:35

bindings/mina-transaction/transaction-leaves.ts:38

---

TypeMap

• TypeMap: Object

Type declaration

Name	Type
AuthRequired	ProvableExtended<AuthRequired, AuthRequired>
Bool	ProvableExtended<Bool, boolean>
Field	ProvableExtended<Field, string>
PublicKey	ProvableExtended<PublicKey, string>
Sign	ProvableExtended<Sign, Sign>
TokenId	ProvableExtended<Field, string>
UInt32	ProvableExtended<UInt32, string>
UInt64	ProvableExtended<UInt64, string>

Defined in

bindings/mina-transaction/gen/transaction.ts:31

bindings/mina-transaction/gen/transaction.ts:42

---

VerificationKeyHash

• VerificationKeyHash: Object

Type declaration

Name	Type
check	(value: Field) => void
emptyValue	() => Field
fromFields	(fields: Field[], aux: any[]) => Field
fromJSON	(x: string) => Field
toAuxiliary	(value?: Field) => any[]
toFields	(value: Field) => Field[]
toInput	(x: Field) => { fields?: Field[] ; packed?: [Field, number][] }
toJSON	(x: Field) => string
sizeInFields	() => number

Defined in

bindings/mina-transaction/transaction-leaves.ts:55

bindings/mina-transaction/transaction-leaves.ts:56

---

ZkappCommand

• ZkappCommand: Object

Type declaration

Name	Type
check	(value: ZkappCommand) => void
emptyValue	() => ZkappCommand
fromFields	(fields: Field[], aux: any[]) => ZkappCommand
fromJSON	(json: ZkappCommand) => ZkappCommand
sizeInFields	() => number
toAuxiliary	(value?: ZkappCommand) => any[]
toFields	(value: ZkappCommand) => Field[]
toInput	(value: ZkappCommand) => HashInput
toJSON	(value: ZkappCommand) => ZkappCommand

Defined in

bindings/mina-transaction/gen/transaction.ts:107

bindings/mina-transaction/gen/transaction.ts:316

---

ZkappUri

• ZkappUri: GenericProvable<{ data: string ; hash: Field }, Field> & { emptyValue?: () => { data: string ; hash: Field } ; fromJSON: (x: string) => { data: string ; hash: Field } ; toInput: (x: { data: string ; hash: Field }) => { fields?: Field[] ; packed?: [Field, number][] } ; toJSON: (x: { data: string ; hash: Field }) => string } & { emptyValue: () => { data: string ; hash: Field } }

Defined in

bindings/mina-transaction/transaction-leaves.ts:36

bindings/mina-transaction/transaction-leaves.ts:38

---

customTypes

• customTypes: CustomTypes

Defined in

bindings/mina-transaction/gen/transaction.ts:92

Functions

emptyValue

▸ emptyValue(typeData): any

Parameters

Name	Type
typeData	GenericLayout<TypeMap>

Returns

any

Defined in

bindings/lib/from-layout.ts:301

---

provableFromLayout

▸ provableFromLayout<T, TJson>(typeData): Object

Type parameters

Name
T
TJson

Parameters

Name	Type
typeData	GenericLayout<TypeMap>

Returns

Object

Name	Type
check	(value: T) => void
emptyValue	() => T
fromFields	(fields: Field[], aux: any[]) => T
fromJSON	(json: TJson) => T
sizeInFields	() => number
toAuxiliary	(value?: T) => any[]
toFields	(value: T) => Field[]
toInput	(value: T) => HashInput
toJSON	(value: T) => TJson

Defined in

bindings/lib/from-layout.ts:60

---

toJSONEssential

▸ toJSONEssential(typeData, value): any

Parameters

Name	Type
typeData	GenericLayout<TypeMap>
value	any

Returns

any

Defined in

bindings/lib/from-layout.ts:392