PublicContext

Fields

Field	Type
pub args_hash	Option<Field>
pub compute_args_hash	fn() -> Field

Methods

new

PublicContext::new(compute_args_hash);

Parameters

Name	Type
compute_args_hash	fn(

emit_public_log

PublicContext::emit_public_log(_self, log);

Parameters

Name	Type
_self	&mut Self
log	T

note_hash_exists

PublicContext::note_hash_exists(_self, note_hash, leaf_index);

Parameters

Name	Type
_self	Self
note_hash	Field
leaf_index	Field

l1_to_l2_msg_exists

PublicContext::l1_to_l2_msg_exists(_self, msg_hash, msg_leaf_index);

Parameters

Name	Type
_self	Self
msg_hash	Field
msg_leaf_index	Field

nullifier_exists

PublicContext::nullifier_exists(_self, unsiloed_nullifier, address);

Parameters

Name	Type
_self	Self
unsiloed_nullifier	Field
address	AztecAddress

consume_l1_to_l2_message

PublicContext::consume_l1_to_l2_message(&mut self, content, secret, sender, leaf_index, );

Parameters

Name	Type
&mut self
content	Field
secret	Field
sender	EthAddress
leaf_index	Field

message_portal

PublicContext::message_portal(_self, recipient, content);

Parameters

Name	Type
_self	&mut Self
recipient	EthAddress
content	Field

call_public_function

PublicContext::call_public_function(_self, contract_address, function_selector, args, gas_opts, );

Parameters

Name	Type
_self	&mut Self
contract_address	AztecAddress
function_selector	FunctionSelector
args	[Field]
gas_opts	GasOpts

static_call_public_function

PublicContext::static_call_public_function(_self, contract_address, function_selector, args, gas_opts, );

Parameters

Name	Type
_self	&mut Self
contract_address	AztecAddress
function_selector	FunctionSelector
args	[Field]
gas_opts	GasOpts

push_note_hash

PublicContext::push_note_hash(_self, note_hash);

Parameters

Name	Type
_self	&mut Self
note_hash	Field

push_nullifier

PublicContext::push_nullifier(_self, nullifier);

Parameters

Name	Type
_self	&mut Self
nullifier	Field

this_address

PublicContext::this_address(_self);

Parameters

Name	Type
_self	Self

msg_sender

PublicContext::msg_sender(_self);

Parameters

Name	Type
_self	Self

selector

PublicContext::selector(_self);

Parameters

Name	Type
_self	Self

get_args_hash

PublicContext::get_args_hash(mut self);

Parameters

Name	Type
mut self

transaction_fee

PublicContext::transaction_fee(_self);

Parameters

Name	Type
_self	Self

chain_id

PublicContext::chain_id(_self);

Parameters

Name	Type
_self	Self

version

PublicContext::version(_self);

Parameters

Name	Type
_self	Self

block_number

PublicContext::block_number(_self);

Parameters

Name	Type
_self	Self

timestamp

PublicContext::timestamp(_self);

Parameters

Name	Type
_self	Self

fee_per_l2_gas

PublicContext::fee_per_l2_gas(_self);

Parameters

Name	Type
_self	Self

fee_per_da_gas

PublicContext::fee_per_da_gas(_self);

Parameters

Name	Type
_self	Self

l2_gas_left

PublicContext::l2_gas_left(_self);

Parameters

Name	Type
_self	Self

da_gas_left

PublicContext::da_gas_left(_self);

Parameters

Name	Type
_self	Self

is_static_call

PublicContext::is_static_call(_self);

Parameters

Name	Type
_self	Self

raw_storage_read

PublicContext::raw_storage_read(_self, storage_slot);

Parameters

Name	Type
_self	Self
storage_slot	Field

storage_read

PublicContext::storage_read(self, storage_slot);

Parameters

Name	Type
self
storage_slot	Field

raw_storage_write

PublicContext::raw_storage_write(_self, storage_slot, values);

Parameters

Name	Type
_self	Self
storage_slot	Field
values	[Field; N]

storage_write

PublicContext::storage_write(self, storage_slot, value);

Parameters

Name	Type
self
storage_slot	Field
value	T

Standalone Functions

address

address();

Takes no parameters.

sender

sender();

Takes no parameters.

emit_note_hash

emit_note_hash(note_hash);

Parameters

Name	Type
note_hash	Field

emit_nullifier

emit_nullifier(nullifier);

Parameters

Name	Type
nullifier	Field

send_l2_to_l1_msg

send_l2_to_l1_msg(recipient, content);

Parameters

Name	Type
recipient	EthAddress
content	Field

call

call(l2_gas_allocation, da_gas_allocation, address, args, );

Parameters

Name	Type
l2_gas_allocation	u32
da_gas_allocation	u32
address	AztecAddress
args	[Field]

call_static

call_static(l2_gas_allocation, da_gas_allocation, address, args, );

Parameters

Name	Type
l2_gas_allocation	u32
da_gas_allocation	u32
address	AztecAddress
args	[Field]

calldata_copy

calldata_copy(cdoffset, copy_size);

Parameters

Name	Type
cdoffset	u32
copy_size	u32

success_copy

success_copy();

Takes no parameters.

returndata_size

returndata_size();

Takes no parameters.

returndata_copy

returndata_copy(rdoffset, copy_size);

Parameters

Name	Type
rdoffset	u32
copy_size	u32

avm_return

avm_return(returndata);

Parameters

Name	Type
returndata	[Field]

avm_revert

avm_revert(revertdata);

Parameters

Name	Type
revertdata	[Field]

empty

empty();

Takes no parameters.

address_opcode

address_opcode();

Takes no parameters.

sender_opcode

sender_opcode();

Takes no parameters.

transaction_fee_opcode

transaction_fee_opcode();

Takes no parameters.

chain_id_opcode

chain_id_opcode();

Takes no parameters.

version_opcode

version_opcode();

Takes no parameters.

block_number_opcode

block_number_opcode();

Takes no parameters.

timestamp_opcode

timestamp_opcode();

Takes no parameters.

fee_per_l2_gas_opcode

fee_per_l2_gas_opcode();

Takes no parameters.

fee_per_da_gas_opcode

fee_per_da_gas_opcode();

Takes no parameters.

l2_gas_left_opcode

l2_gas_left_opcode();

Takes no parameters.

da_gas_left_opcode

da_gas_left_opcode();

Takes no parameters.

is_static_call_opcode

is_static_call_opcode();

Takes no parameters.

note_hash_exists_opcode

note_hash_exists_opcode(note_hash, leaf_index);

Parameters

Name	Type
note_hash	Field
leaf_index	Field

emit_note_hash_opcode

emit_note_hash_opcode(note_hash);

Parameters

Name	Type
note_hash	Field

nullifier_exists_opcode

nullifier_exists_opcode(nullifier, address);

Parameters

Name	Type
nullifier	Field
address	Field

emit_nullifier_opcode

emit_nullifier_opcode(nullifier);

Parameters

Name	Type
nullifier	Field

emit_public_log_opcode

emit_public_log_opcode(message);

Parameters

Name	Type
message	[Field]

l1_to_l2_msg_exists_opcode

l1_to_l2_msg_exists_opcode(msg_hash, msg_leaf_index);

Parameters

Name	Type
msg_hash	Field
msg_leaf_index	Field

send_l2_to_l1_msg_opcode

send_l2_to_l1_msg_opcode(recipient, content);

Parameters

Name	Type
recipient	EthAddress
content	Field

calldata_copy_opcode

calldata_copy_opcode(cdoffset, copy_size);

Parameters

Name	Type
cdoffset	u32
copy_size	u32

returndata_size_opcode

returndata_size_opcode();

Takes no parameters.

returndata_copy_opcode

returndata_copy_opcode(rdoffset, copy_size);

Parameters

Name	Type
rdoffset	u32
copy_size	u32

return_opcode

return_opcode(returndata);

Parameters

Name	Type
returndata	[Field]

revert_opcode

revert_opcode(revertdata);

Parameters

Name	Type
revertdata	[Field]

call_opcode

call_opcode(l2_gas_allocation, da_gas_allocation, address, args, );

Parameters

Name	Type
l2_gas_allocation	u32
da_gas_allocation	u32
address	AztecAddress
args	[Field]

call_static_opcode

call_static_opcode(l2_gas_allocation, da_gas_allocation, address, args, );

Parameters

Name	Type
l2_gas_allocation	u32
da_gas_allocation	u32
address	AztecAddress
args	[Field]

success_copy_opcode

success_copy_opcode();

Takes no parameters.

storage_read_opcode

storage_read_opcode(storage_slot);

Parameters

Name	Type
storage_slot	Field

storage_write_opcode

storage_write_opcode(storage_slot, value);

Parameters

Name	Type
storage_slot	Field
value	Field