Skip to main content

Type Definitions

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

TracedContractCall

Field	Type	Description
`callPointer`	`field`	The call pointer assigned to this call.
`address`	`field`	The called contract address.
`counter`	`field`	When did this occur relative to other world state accesses.
`endLifetime`	`field`	End 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

Field	Type	Description
`callPointer`	`field`	Associates this item with a `TracedContractCall` entry in `worldStateAccessTrace.contractCalls`
`leafIndex`	`field`
`msgHash`	`field`	The message hash which is also the tree leaf value.
`exists`	`field`
`endLifetime`	`field`	Equivalent to `endLifetime` of the containing contract call.

TracedStorageRead

Field	Type	Description
`callPointer`	`field`	Associates this item with a `TracedContractCall` entry in `worldStateAccessTrace.contractCalls`
`slot`	`field`
`exists`	`field`	Whether this slot has ever been previously written
`value`	`field`
`counter`	`field`
`endLifetime`	`field`	Equivalent 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

Field	Type	Description
`callPointer`	`field`	Associates this item with a `TracedContractCall` entry in `worldStateAccessTrace.contractCalls`
`slot`	`field`
`value`	`field`
`counter`	`field`
`endLifetime`	`field`	Equivalent 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

Field	Type	Description
`callPointer`	`field`	Associates this item with a `TracedContractCall` entry in `worldStateAccessTrace.contractCalls`
`leafIndex`	`field`
`noteHash`	`field`	unsiloed
`exists`	`field`
`counter`	`field`
`endLifetime`	`field`	Equivalent to `endLifetime` of the containing contract call.

TracedNoteHash

Field	Type	Description
`callPointer`	`field`	Associates this item with a `TracedContractCall` entry in `worldStateAccessTrace.contractCalls`
`noteHash`	`field`
`counter`	`field`
`endLifetime`	`field`	Equivalent 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

Field	Type	Description
`callPointer`	`field`	Associates this item with a `TracedContractCall` entry in `worldStateAccessTrace.contractCalls`
`nullifier`	`field`	unsiloed
`exists`	`field`
`counter`	`field`
`endLifetime`	`field`	Equivalent to `endLifetime` of the containing contract call.

TracedNullifier

Field	Type	Description
`callPointer`	`field`	Associates this item with a `TracedContractCall` entry in `worldStateAccessTrace.contractCalls`
`nullifier`	`field`
`counter`	`field`
`endLifetime`	`field`	Equivalent 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

Field	Type	Description
`leafIndex`	`field`
`leaf`	`field`

UnencryptedLog

Field	Type	Description
`address`	`AztecAddress`	Contract address that emitted the log.
`log`	`[field; MAX_UNENCRYPTED_LOG_LENGTH]`

SentL2ToL1Message

Field	Type	Description
`address`	`AztecAddress`	L2 contract address that emitted the message.
`recipient`	`EthAddress`	L1 contract address to send the message to.
`content`	`field`	Message content.