Namespace: Types

Table of contents

References

• Bool
• Field
• Sign
• UInt32
• UInt64

Namespaces

• Json

Classes

• PublicKey

Type Aliases

• AccountUpdate
• AuthRequired
• AuthorizationKind
• Events
• Layout
• SequenceEvents
• SequenceState
• TokenId
• TokenSymbol
• ZkappCommand

Variables

• AccountUpdate
• AuthRequired
• AuthorizationKind
• Events
• SequenceEvents
• SequenceState
• StringWithHash
• TokenId
• TokenSymbol
• ZkappCommand
• customTypes

Functions

• 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

AccountUpdate

Ƭ AccountUpdate: Object

Type declaration

Name	Type
authorization	{ proof?: string ; signature?: string }
authorization.proof?	string
authorization.signature?	string
body	{ authorizationKind: AuthorizationKind ; balanceChange: { magnitude: UInt64 ; sgn: Sign } ; callData: Field ; callDepth: number ; caller: TokenId ; events: { data: Field[][] ; hash: Field } ; incrementNonce: Bool ; preconditions: { account: { 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 } ; sequenceState: { 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 } } ; globalSlotSinceHardFork: { 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 } } ; timestamp: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } } ; publicKey: PublicKey ; sequenceEvents: { data: Field[][] ; hash: Field } ; tokenId: TokenId ; update: { appState: { isSome: Bool ; value: Field }[] ; delegate: { isSome: Bool ; value: PublicKey } ; permissions: { isSome: Bool ; value: { editSequenceState: AuthRequired ; editState: AuthRequired ; incrementNonce: AuthRequired ; receive: AuthRequired ; send: AuthRequired ; setDelegate: AuthRequired ; setPermissions: 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: TokenSymbol } ; verificationKey: { isSome: Bool ; value: { data: string ; hash: Field } } ; votingFor: { isSome: Bool ; value: Field } ; zkappUri: { isSome: Bool ; value: { data: string ; hash: Field } } } ; useFullCommitment: Bool }
body.authorizationKind	AuthorizationKind
body.balanceChange	{ magnitude: UInt64 ; sgn: Sign }
body.balanceChange.magnitude	UInt64
body.balanceChange.sgn	Sign
body.callData	Field
body.callDepth	number
body.caller	TokenId
body.events	{ data: Field[][] ; hash: Field }
body.events.data	Field[][]
body.events.hash	Field
body.incrementNonce	Bool
body.preconditions	{ account: { 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 } ; sequenceState: { 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 } } ; globalSlotSinceHardFork: { 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 } } ; timestamp: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } }
body.preconditions.account	{ 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 } ; sequenceState: { isSome: Bool ; value: Field } ; state: { isSome: Bool ; 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.sequenceState	{ isSome: Bool ; value: Field }
body.preconditions.account.sequenceState.isSome	Bool
body.preconditions.account.sequenceState.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 } } ; globalSlotSinceHardFork: { 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 } } ; timestamp: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } ; 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.globalSlotSinceHardFork	{ isSome: Bool ; value: { lower: UInt32 ; upper: UInt32 } }
body.preconditions.network.globalSlotSinceHardFork.isSome	Bool
body.preconditions.network.globalSlotSinceHardFork.value	{ lower: UInt32 ; upper: UInt32 }
body.preconditions.network.globalSlotSinceHardFork.value.lower	UInt32
body.preconditions.network.globalSlotSinceHardFork.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.timestamp	{ isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } }
body.preconditions.network.timestamp.isSome	Bool
body.preconditions.network.timestamp.value	{ lower: UInt64 ; upper: UInt64 }
body.preconditions.network.timestamp.value.lower	UInt64
body.preconditions.network.timestamp.value.upper	UInt64
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.publicKey	PublicKey
body.sequenceEvents	{ data: Field[][] ; hash: Field }
body.sequenceEvents.data	Field[][]
body.sequenceEvents.hash	Field
body.tokenId	TokenId
body.update	{ appState: { isSome: Bool ; value: Field }[] ; delegate: { isSome: Bool ; value: PublicKey } ; permissions: { isSome: Bool ; value: { editSequenceState: AuthRequired ; editState: AuthRequired ; incrementNonce: AuthRequired ; receive: AuthRequired ; send: AuthRequired ; setDelegate: AuthRequired ; setPermissions: 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: TokenSymbol } ; 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: { editSequenceState: AuthRequired ; editState: AuthRequired ; incrementNonce: AuthRequired ; receive: AuthRequired ; send: AuthRequired ; setDelegate: AuthRequired ; setPermissions: AuthRequired ; setTokenSymbol: AuthRequired ; setVerificationKey: AuthRequired ; setVotingFor: AuthRequired ; setZkappUri: AuthRequired } }
body.update.permissions.isSome	Bool
body.update.permissions.value	{ editSequenceState: AuthRequired ; editState: AuthRequired ; incrementNonce: AuthRequired ; receive: AuthRequired ; send: AuthRequired ; setDelegate: AuthRequired ; setPermissions: AuthRequired ; setTokenSymbol: AuthRequired ; setVerificationKey: AuthRequired ; setVotingFor: AuthRequired ; setZkappUri: AuthRequired }
body.update.permissions.value.editSequenceState	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.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: TokenSymbol }
body.update.tokenSymbol.isSome	Bool
body.update.tokenSymbol.value	TokenSymbol
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

provable/gen/transaction.ts:302

provable/gen/transaction.ts:490

---

AuthRequired

Ƭ AuthRequired: Object

Type declaration

Name	Type
constant	Bool
signatureNecessary	Bool
signatureSufficient	Bool

Defined in

provable/transaction-leaves.ts:23

provable/transaction-leaves.ts:32

---

AuthorizationKind

Ƭ AuthorizationKind: Object

Type declaration

Name	Type
isProved	Bool
isSigned	Bool

Defined in

provable/transaction-leaves.ts:28

provable/transaction-leaves.ts:32

---

Events

Ƭ Events: Object

Type declaration

Name	Type
data	Event[]
hash	Field

Defined in

provable/transaction-leaves.ts:38

provable/transaction-leaves.ts:43

---

Layout

Ƭ Layout: GenericLayout<TypeMap>

Defined in

provable/gen/transaction.ts:59

---

SequenceEvents

Ƭ SequenceEvents: Events

Defined in

provable/transaction-leaves.ts:42

provable/transaction-leaves.ts:43

---

SequenceState

Ƭ SequenceState: Field

Defined in

provable/transaction-leaves.ts:45

provable/transaction-leaves.ts:46

---

TokenId

Ƭ TokenId: Field

Defined in

provable/transaction-leaves.ts:29

provable/transaction-leaves.ts:32

---

TokenSymbol

Ƭ TokenSymbol: Object

Type declaration

Name	Type
field	Field
symbol	string

Defined in

provable/transaction-leaves.ts:30

provable/transaction-leaves.ts:32

---

ZkappCommand

Ƭ ZkappCommand: Object

Type declaration

Name	Type
accountUpdates	{ authorization: { proof?: string ; signature?: string } ; body: { authorizationKind: AuthorizationKind ; balanceChange: { magnitude: UInt64 ; sgn: Sign } ; callData: Field ; callDepth: number ; caller: TokenId ; events: { data: Field[][] ; hash: Field } ; incrementNonce: Bool ; preconditions: { account: { 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 } ; sequenceState: { 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 } } ; globalSlotSinceHardFork: { 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 } } ; timestamp: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } ; totalCurrency: { isSome: Bool ; value: { lower: UInt64 ; upper: UInt64 } } } } ; publicKey: PublicKey ; sequenceEvents: { data: Field[][] ; hash: Field } ; tokenId: TokenId ; update: { appState: { isSome: Bool ; value: Field }[] ; delegate: { isSome: Bool ; value: PublicKey } ; permissions: { isSome: Bool ; value: { editSequenceState: AuthRequired ; editState: AuthRequired ; incrementNonce: AuthRequired ; receive: AuthRequired ; send: AuthRequired ; setDelegate: AuthRequired ; setPermissions: 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: TokenSymbol } ; 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

provable/gen/transaction.ts:98

provable/gen/transaction.ts:298

Variables

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

provable/gen/transaction.ts:302

provable/gen/transaction.ts:490

---

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

provable/transaction-leaves.ts:23

provable/transaction-leaves.ts:32

---

AuthorizationKind

• AuthorizationKind: Object

Type declaration

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

Defined in

provable/transaction-leaves.ts:28

provable/transaction-leaves.ts:32

---

Events

• Events: Object

Type declaration

Name	Type
check	(x: { data: Field[][] ; hash: Field }) => void
emptyValue?	() => { 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
hash	(events: Event[]) => Field
pushEvent	(events: Events, event: Event) => Events
sizeInFields	() => number

Defined in

provable/transaction-leaves.ts:38

provable/transaction-leaves.ts:43

---

SequenceEvents

• SequenceEvents: Object

Type declaration

Name	Type
check	(x: { data: Field[][] ; hash: Field }) => void
emptyValue?	() => { 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
emptySequenceState	() => Field
hash	(events: Event[]) => Field
pushEvent	(sequenceEvents: Events, event: Event) => Events
sizeInFields	() => number
updateSequenceState	(state: Field, sequenceEventsHash: Field) => Field

Defined in

provable/transaction-leaves.ts:42

provable/transaction-leaves.ts:43

---

SequenceState

• SequenceState: Object

Type declaration

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

Defined in

provable/transaction-leaves.ts:45

provable/transaction-leaves.ts:46

---

StringWithHash

• Const StringWithHash: GenericProvableExtended<{ data: string ; hash: Field }, string, Field>

Defined in

provable/transaction-leaves.ts:51

---

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

provable/transaction-leaves.ts:29

provable/transaction-leaves.ts:32

---

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

provable/transaction-leaves.ts:30

provable/transaction-leaves.ts:32

---

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

provable/gen/transaction.ts:98

provable/gen/transaction.ts:298

---

customTypes

• customTypes: CustomTypes

Defined in

provable/gen/transaction.ts:86

Functions

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

provable/from-layout.ts:56

---

toJSONEssential

▸ toJSONEssential(typeData, value): any

Parameters

Name	Type
typeData	GenericLayout<TypeMap>
value	any

Returns

any

Defined in

provable/from-layout.ts:474