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_unencrypted_log
PublicContext::emit_unencrypted_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
gas_for_call
gas_for_call(user_gas);
Helper functions
Parameters
Name | Type |
---|---|
user_gas | GasOpts |
address
address();
Takes no parameters.
sender
sender();
Takes no parameters.
portal
portal();
Takes no parameters.
function_selector
function_selector();
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(gas, address, args);
Parameters
Name | Type |
---|---|
gas | [Field; 2] |
address | AztecAddress |
args | [Field] |
call_static
call_static(gas, address, args);
Parameters
Name | Type |
---|---|
gas | [Field; 2] |
address | AztecAddress |
args | [Field] |
calldata_copy
calldata_copy(cdoffset, copy_size);
Parameters
Name | Type |
---|---|
cdoffset | u32 |
copy_size | u32 |
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.
portal_opcode
portal_opcode();
Takes no parameters.
function_selector_opcode
function_selector_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_unencrypted_log_opcode
emit_unencrypted_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(gas, // gas allocation, da_gas]
address, args, );
Parameters
Name | Type |
---|---|
gas | [Field; 2] |
// gas allocation | [l2_gas |
da_gas] | |
address | AztecAddress |
args | [Field] |
call_static_opcode
call_static_opcode(gas, // gas allocation, da_gas]
address, args, );
Parameters
Name | Type |
---|---|
gas | [Field; 2] |
// gas allocation | [l2_gas |
da_gas] | |
address | AztecAddress |
args | [Field] |
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 |