PrivateContext

When finished, one can call .finish() to convert back to the abi

Fields

Field	Type
pub inputs	PrivateContextInputs
pub side_effect_counter	u32
pub min_revertible_side_effect_counter	u32
pub is_fee_payer	bool
pub args_hash	Field
pub return_hash	Field
pub max_block_number	MaxBlockNumber
pub note_hash_read_requests	BoundedVec<ReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>
pub nullifier_read_requests	BoundedVec<ReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL>
key_validation_requests_and_generators	BoundedVec<KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL>
pub note_hashes	BoundedVec<NoteHash, MAX_NOTE_HASHES_PER_CALL>
pub nullifiers	BoundedVec<Nullifier, MAX_NULLIFIERS_PER_CALL>
pub private_call_requests	BoundedVec<PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>
pub public_call_requests	BoundedVec<Counted<PublicCallRequest>, MAX_ENQUEUED_CALLS_PER_CALL>
pub public_teardown_call_request	PublicCallRequest
pub l2_to_l1_msgs	BoundedVec<L2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL>
pub historical_header	BlockHeader
pub private_logs	BoundedVec<PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL>
pub contract_class_logs_hashes	BoundedVec<LogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL>
pub last_key_validation_requests	Option<KeyValidationRequest>; NUM_KEY_TYPES]

Methods

new

PrivateContext::new(inputs, args_hash);

Parameters

Name	Type
inputs	PrivateContextInputs
args_hash	Field

msg_sender

PrivateContext::msg_sender(self);

Parameters

Name	Type
self

this_address

PrivateContext::this_address(self);

Parameters

Name	Type
self

chain_id

PrivateContext::chain_id(self);

Parameters

Name	Type
self

version

PrivateContext::version(self);

Parameters

Name	Type
self

selector

PrivateContext::selector(self);

Parameters

Name	Type
self

get_args_hash

PrivateContext::get_args_hash(self);

Parameters

Name	Type
self

push_note_hash

PrivateContext::push_note_hash(&mut self, note_hash);

Parameters

Name	Type
&mut self
note_hash	Field

push_nullifier

PrivateContext::push_nullifier(&mut self, nullifier);

Parameters

Name	Type
&mut self
nullifier	Field

push_nullifier_for_note_hash

PrivateContext::push_nullifier_for_note_hash(&mut self, nullifier, nullified_note_hash);

Parameters

Name	Type
&mut self
nullifier	Field
nullified_note_hash	Field

get_block_header

Returns the header of a block whose state is used during private execution (not the block the transaction is included in).

PrivateContext::get_block_header(self);

Parameters

Name	Type
self

get_block_header_at

Returns the header of an arbitrary block whose block number is less than or equal to the block number of historical header.

PrivateContext::get_block_header_at(self, block_number);

Parameters

Name	Type
self
block_number	u32

set_return_hash

PrivateContext::set_return_hash(&mut self, returns_hasher);

Parameters

Name	Type
&mut self
returns_hasher	ArgsHasher

finish

PrivateContext::finish(self);

Parameters

Name	Type
self

set_as_fee_payer

PrivateContext::set_as_fee_payer(&mut self);

Parameters

Name	Type
&mut self

end_setup

PrivateContext::end_setup(&mut self);

Parameters

Name	Type
&mut self

set_tx_max_block_number

PrivateContext::set_tx_max_block_number(&mut self, max_block_number);

Parameters

Name	Type
&mut self
max_block_number	u32

push_note_hash_read_request

PrivateContext::push_note_hash_read_request(&mut self, note_hash);

Parameters

Name	Type
&mut self
note_hash	Field

push_nullifier_read_request

PrivateContext::push_nullifier_read_request(&mut self, nullifier);

Parameters

Name	Type
&mut self
nullifier	Field

request_nsk_app

PrivateContext::request_nsk_app(&mut self, npk_m_hash);

Parameters

Name	Type
&mut self
npk_m_hash	Field

request_ovsk_app

PrivateContext::request_ovsk_app(&mut self, ovpk_m_hash);

Parameters

Name	Type
&mut self
ovpk_m_hash	Field

request_sk_app

PrivateContext::request_sk_app(&mut self, pk_m_hash, key_index);

Parameters

Name	Type
&mut self
pk_m_hash	Field
key_index	Field

message_portal

PrivateContext::message_portal(&mut self, recipient, content);

Parameters

Name	Type
&mut self
recipient	EthAddress
content	Field

consume_l1_to_l2_message

PrivateContext::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

emit_private_log

PrivateContext::emit_private_log(&mut self, log);

Parameters

Name	Type
&mut self
log	[Field; PRIVATE_LOG_SIZE_IN_FIELDS]

emit_raw_note_log

PrivateContext::emit_raw_note_log(&mut self, log, note_hash_counter, );

Parameters

Name	Type
&mut self
log	[Field; PRIVATE_LOG_SIZE_IN_FIELDS]
note_hash_counter	u32

call_private_function

PrivateContext::call_private_function(&mut self, contract_address, function_selector, args, );

Parameters

Name	Type
&mut self
contract_address	AztecAddress
function_selector	FunctionSelector
args	[Field; ARGS_COUNT]

static_call_private_function

PrivateContext::static_call_private_function(&mut self, contract_address, function_selector, args, );

Parameters

Name	Type
&mut self
contract_address	AztecAddress
function_selector	FunctionSelector
args	[Field; ARGS_COUNT]

call_private_function_no_args

PrivateContext::call_private_function_no_args(&mut self, contract_address, function_selector, );

Parameters

Name	Type
&mut self
contract_address	AztecAddress
function_selector	FunctionSelector

static_call_private_function_no_args

PrivateContext::static_call_private_function_no_args(&mut self, contract_address, function_selector, );

Parameters

Name	Type
&mut self
contract_address	AztecAddress
function_selector	FunctionSelector

call_private_function_with_packed_args

PrivateContext::call_private_function_with_packed_args(&mut self, contract_address, function_selector, args_hash, is_static_call, );

Parameters

Name	Type
&mut self
contract_address	AztecAddress
function_selector	FunctionSelector
args_hash	Field
is_static_call	bool

call_public_function

PrivateContext::call_public_function(&mut self, contract_address, function_selector, args, );

Parameters

Name	Type
&mut self
contract_address	AztecAddress
function_selector	FunctionSelector
args	[Field; ARGS_COUNT]

static_call_public_function

PrivateContext::static_call_public_function(&mut self, contract_address, function_selector, args, );

Parameters

Name	Type
&mut self
contract_address	AztecAddress
function_selector	FunctionSelector
args	[Field; ARGS_COUNT]

call_public_function_no_args

PrivateContext::call_public_function_no_args(&mut self, contract_address, function_selector, );

Parameters

Name	Type
&mut self
contract_address	AztecAddress
function_selector	FunctionSelector

static_call_public_function_no_args

PrivateContext::static_call_public_function_no_args(&mut self, contract_address, function_selector, );

Parameters

Name	Type
&mut self
contract_address	AztecAddress
function_selector	FunctionSelector

call_public_function_with_packed_args

PrivateContext::call_public_function_with_packed_args(&mut self, contract_address, function_selector, args_hash, is_static_call, );

Parameters

Name	Type
&mut self
contract_address	AztecAddress
function_selector	FunctionSelector
args_hash	Field
is_static_call	bool

set_public_teardown_function

PrivateContext::set_public_teardown_function(&mut self, contract_address, function_selector, args, );

Parameters

Name	Type
&mut self
contract_address	AztecAddress
function_selector	FunctionSelector
args	[Field; ARGS_COUNT]

set_public_teardown_function_with_packed_args

PrivateContext::set_public_teardown_function_with_packed_args(&mut self, contract_address, function_selector, args_hash, is_static_call, );

Parameters

Name	Type
&mut self
contract_address	AztecAddress
function_selector	FunctionSelector
args_hash	Field
is_static_call	bool

next_counter

PrivateContext::next_counter(&mut self);

Parameters

Name	Type
&mut self

Standalone Functions

empty

empty();

Takes no parameters.