Skip to main content

Type Definitions

This section lists type definitions relevant to AVM State and Circuit I/O.

TracedContractCall

FieldTypeDescription
callPointerfieldThe call pointer assigned to this call.
addressfieldThe called contract address.
storageAddressfieldThe storage contract address (different from address for delegate calls).
counterfieldWhen did this occur relative to other world state accesses.
endLifetimefieldEnd lifetime of a call. Final accessCounter for reverted calls, endLifetime of parent for successful calls. Successful initial/top-level calls have infinite (max-value) endLifetime.

TracedL1ToL2MessageCheck

FieldTypeDescription
callPointerfieldAssociates this item with a TracedContractCall entry in worldStateAccessTrace.contractCalls
leafIndexfield
msgHashfieldThe message hash which is also the tree leaf value.
existsfield
endLifetimefieldEquivalent to endLifetime of the containing contract call.

TracedStorageRead

FieldTypeDescription
callPointerfieldAssociates this item with a TracedContractCall entry in worldStateAccessTrace.contractCalls
slotfield
existsfieldWhether this slot has ever been previously written
valuefield
counterfield
endLifetimefieldEquivalent to endLifetime of the containing contract call. The last counter at which this read/write should be considered to "exist" if this call or a parent reverted.

TracedStorageWrite

FieldTypeDescription
callPointerfieldAssociates this item with a TracedContractCall entry in worldStateAccessTrace.contractCalls
slotfield
valuefield
counterfield
endLifetimefieldEquivalent to endLifetime of the containing contract call. The last counter at which this read/write should be considered to "exist" if this call or a parent reverted.

TracedNoteHashCheck

FieldTypeDescription
callPointerfieldAssociates this item with a TracedContractCall entry in worldStateAccessTrace.contractCalls
leafIndexfield
noteHashfieldunsiloed
existsfield
counterfield
endLifetimefieldEquivalent to endLifetime of the containing contract call.

TracedNoteHash

FieldTypeDescription
callPointerfieldAssociates this item with a TracedContractCall entry in worldStateAccessTrace.contractCalls
noteHashfield
counterfield
endLifetimefieldEquivalent to endLifetime of the containing contract call. The last counter at which this object should be considered to "exist" if this call or a parent reverted.

Note: value here is not siloed by contract address nor is it made unique with a nonce. Note hashes are siloed and made unique by the public kernel.

TracedNullifierCheck

FieldTypeDescription
callPointerfieldAssociates this item with a TracedContractCall entry in worldStateAccessTrace.contractCalls
nullifierfieldunsiloed
existsfield
counterfield
endLifetimefieldEquivalent to endLifetime of the containing contract call.

TracedNullifier

FieldTypeDescription
callPointerfieldAssociates this item with a TracedContractCall entry in worldStateAccessTrace.contractCalls
nullifierfield
counterfield
endLifetimefieldEquivalent to endLifetime of the containing contract call. The last counter at which this object should be considered to "exist" if this call or a parent reverted.

TracedArchiveLeafCheck

FieldTypeDescription
leafIndexfield
leaffield

UnencryptedLog

FieldTypeDescription
addressAztecAddressContract address that emitted the log.
log[field; MAX_UNENCRYPTED_LOG_LENGTH]

SentL2ToL1Message

FieldTypeDescription
addressAztecAddressL2 contract address that emitted the message.
recipientEthAddressL1 contract address to send the message to.
contentfieldMessage content.