aztec-nr - protocol_types::tests::fixture_builder

Struct FixtureBuilder

pub struct FixtureBuilder {
    pub contract_address: AztecAddress,
    pub msg_sender: AztecAddress,
    pub is_static_call: bool,
    pub is_private_only: bool,
    pub claimed_first_nullifier: Field,
    pub claimed_revertible_counter: u32,
    pub include_by_timestamp: u64,
    pub is_fee_payer: bool,
    pub fee_payer: AztecAddress,
    pub public_teardown_call_request: PublicCallRequest,
    pub transaction_fee: Field,
    pub effective_gas_fees: GasFees,
    pub anchor_block_header: BlockHeader,
    pub tx_context: TxContext,
    pub global_variables: GlobalVariables,
    pub note_hashes: BoundedVec<Scoped<Counted<NoteHash>>, 64>,
    pub nullifiers: BoundedVec<Scoped<Counted<Nullifier>>, 64>,
    pub l2_to_l1_msgs: BoundedVec<Scoped<Counted<L2ToL1Message>>, 8>,
    pub private_logs: BoundedVec<Scoped<Counted<PrivateLogData>>, 64>,
    pub public_logs: PublicLogs,
    pub contract_class_logs_hashes: BoundedVec<Scoped<Counted<LogHash>>, 1>,
    pub contract_class_log_fields: BoundedVec<[Field; 3023], 1>,
    pub public_data_writes: BoundedVec<PublicDataWrite, 64>,
    pub private_call_requests: BoundedVec<PrivateCallRequest, 16>,
    pub public_call_requests: BoundedVec<Counted<PublicCallRequest>, 32>,
    pub gas_used: Gas,
    pub start_gas_used: Gas,
    pub end_gas_used: Gas,
    pub revert_code: u8,
    pub reverted: bool,
    pub note_hash_read_requests: BoundedVec<Scoped<Counted<Field>>, 64>,
    pub nullifier_read_requests: BoundedVec<Scoped<Counted<Field>>, 64>,
    pub scoped_key_validation_requests_and_generators: BoundedVec<Scoped<KeyValidationRequestAndGenerator>, 64>,
    pub function_data: FunctionData,
    pub args_hash: Field,
    pub calldata_hash: Field,
    pub returns_hash: Field,
    pub salted_initialization_hash: SaltedInitializationHash,
    pub public_keys: PublicKeys,
    pub contract_class_artifact_hash: Field,
    pub contract_class_public_bytecode_commitment: Field,
    pub function_leaf_membership_witness: MembershipWitness<7>,
    pub bytecode_hash: Field,
    pub prover_id: Field,
    pub vk: MegaVerificationKey,
    pub vk_index: u32,
    pub vk_path: [Field; 7],
    pub vk_tree_root: Field,
    pub protocol_contracts: ProtocolContracts,
    pub updated_class_id_witness: MembershipWitness<40>,
    pub updated_class_id_leaf: PublicDataTreeLeafPreimage,
    pub updated_class_id_value_change: ScheduledValueChange<ContractClassId>,
    pub updated_class_id_delay_change: ScheduledDelayChange<86400>,
    pub start_tree_snapshots: TreeSnapshots,
    pub end_tree_snapshots: TreeSnapshots,
    pub min_revertible_side_effect_counter: u32,
    pub counter_start: u32,
    pub counter: u32,
    pub expected_non_revertible_side_effect_counter: u32,
    pub expected_revertible_side_effect_counter: u32,
    pub start_state: PartialStateReference,
    pub value_offset: Field,
}

Fields

contract_address: AztecAddress
msg_sender: AztecAddress
is_static_call: bool
is_private_only: bool
claimed_first_nullifier: Field
claimed_revertible_counter: u32
include_by_timestamp: u64
is_fee_payer: bool
fee_payer: AztecAddress
public_teardown_call_request: PublicCallRequest
transaction_fee: Field
effective_gas_fees: GasFees
anchor_block_header: BlockHeader
tx_context: TxContext
global_variables: GlobalVariables
note_hashes: BoundedVec<Scoped<Counted<NoteHash>>, 64>
nullifiers: BoundedVec<Scoped<Counted<Nullifier>>, 64>
l2_to_l1_msgs: BoundedVec<Scoped<Counted<L2ToL1Message>>, 8>
private_logs: BoundedVec<Scoped<Counted<PrivateLogData>>, 64>
public_logs: PublicLogs
contract_class_logs_hashes: BoundedVec<Scoped<Counted<LogHash>>, 1>
contract_class_log_fields: BoundedVec<[Field; 3023], 1>
public_data_writes: BoundedVec<PublicDataWrite, 64>
private_call_requests: BoundedVec<PrivateCallRequest, 16>
public_call_requests: BoundedVec<Counted<PublicCallRequest>, 32>
gas_used: Gas
start_gas_used: Gas
end_gas_used: Gas
revert_code: u8
reverted: bool
note_hash_read_requests: BoundedVec<Scoped<Counted<Field>>, 64>
nullifier_read_requests: BoundedVec<Scoped<Counted<Field>>, 64>
scoped_key_validation_requests_and_generators: BoundedVec<Scoped<KeyValidationRequestAndGenerator>, 64>
function_data: FunctionData
args_hash: Field
calldata_hash: Field
returns_hash: Field
salted_initialization_hash: SaltedInitializationHash
public_keys: PublicKeys
contract_class_artifact_hash: Field
contract_class_public_bytecode_commitment: Field
function_leaf_membership_witness: MembershipWitness<7>
bytecode_hash: Field
prover_id: Field
vk: MegaVerificationKey
vk_index: u32
vk_path: [Field; 7]
vk_tree_root: Field
protocol_contracts: ProtocolContracts
updated_class_id_witness: MembershipWitness<40>
updated_class_id_leaf: PublicDataTreeLeafPreimage
updated_class_id_value_change: ScheduledValueChange<ContractClassId>
updated_class_id_delay_change: ScheduledDelayChange<86400>
start_tree_snapshots: TreeSnapshots
end_tree_snapshots: TreeSnapshots
min_revertible_side_effect_counter: u32
counter_start: u32
counter: u32
expected_non_revertible_side_effect_counter: u32
expected_revertible_side_effect_counter: u32
start_state: PartialStateReference
value_offset: Field

Implementations

impl FixtureBuilder

pub fn new() -> Self pub fn new_from_counter(counter_start: u32) -> Self pub fn as_parent_contract(&mut self) -> Self pub fn in_vk_tree(&mut self, vk_index: u32) -> Self pub fn use_protocol_contract(&mut self, contract_index: u32) -> Self pub fn use_contract(&mut self, contract_data: ContractData) -> Self pub fn use_function(&mut self, function_data: ContractFunction, vk: [Field; 127]) -> Self pub fn is_static_call(&mut self) -> Self pub fn is_first_call(&mut self) -> Self pub fn to_tx_constant_data(self) -> TxConstantData pub fn to_private_tx_constant_data(self) -> PrivateTxConstantData pub fn build_tx_request(self) -> TxRequest pub fn build_call_context(self) -> CallContext pub fn build_private_call_request(self) -> PrivateCallRequest pub fn to_private_circuit_public_inputs(self) -> PrivateCircuitPublicInputs pub fn to_private_verification_key_hints(self) -> PrivateVerificationKeyHints pub fn compute_update_tree_and_hints(&mut self) pub fn set_anchor_block_header_from_call_data(&mut self, private_call: PrivateCallData) pub fn to_private_call_data(self) -> PrivateCallData pub fn to_private_accumulated_data(self) -> PrivateAccumulatedData pub fn to_public_call_request(self) -> PublicCallRequest pub fn to_private_to_public_accumulated_data( self, revertible: bool, ) -> PrivateToPublicAccumulatedData pub fn to_private_to_rollup_accumulated_data(self) -> PrivateToRollupAccumulatedData pub fn to_private_validation_requests(self) -> PrivateValidationRequests pub fn to_private_kernel_circuit_public_inputs(self) -> PrivateKernelCircuitPublicInputs pub fn to_private_kernel_data(self) -> PrivateKernelData pub fn to_private_to_public_kernel_circuit_public_inputs( self, ) -> PrivateToPublicKernelCircuitPublicInputs pub fn to_private_to_rollup_kernel_circuit_public_inputs( self, ) -> PrivateToRollupKernelCircuitPublicInputs pub fn to_avm_accumulated_data(self) -> AvmAccumulatedData pub fn to_private_to_avm_accumulated_data( self, revertible: bool, ) -> PrivateToAvmAccumulatedData pub fn to_avm_circuit_public_inputs(self) -> AvmCircuitPublicInputs pub fn add_new_note_hash(&mut self, value: NoteHash) pub fn add_siloed_note_hash(&mut self, value: NoteHash) pub fn add_siloed_unique_note_hash(&mut self, value: Field) pub fn append_note_hashes(&mut self, num_note_hashes: u32) pub fn append_siloed_note_hashes(&mut self, num_note_hashes: u32) pub fn append_siloed_unique_note_hashes(&mut self, num_note_hashes: u32) pub fn append_note_hashes_with_logs(&mut self, num_note_hashes: u32) pub fn append_padded_note_hashes(&mut self, num_note_hashes: u32) pub fn set_protocol_nullifier(&mut self) pub fn add_nullifier(&mut self, value: Field) pub fn add_nullifier_for_note_hash(&mut self, value: Field, note_hash: Field) pub fn add_siloed_nullifier(&mut self, value: Field) pub fn add_siloed_nullifier_for_note_hash(&mut self, value: Field, note_hash: Field) pub fn append_nullifiers(&mut self, num_extra_nullifier: u32) pub fn append_siloed_nullifiers(&mut self, num_extra_nullifier: u32) pub fn append_padded_nullifiers(&mut self, num_nullifiers: u32) pub fn add_l2_to_l1_message(&mut self, content: Field, recipient: EthAddress) pub fn append_l2_to_l1_msgs(&mut self, num: u32) pub fn add_settled_note_hash_read_request(&mut self, value: Field) -> u32 pub fn add_read_request_for_pending_note_hash(&mut self, note_hash_index: u32) -> u32 pub fn append_note_hash_read_requests(&mut self, num_reads: u32) pub fn add_nullifier_read_request(&mut self, value: Field) -> u32 pub fn add_read_request_for_pending_nullifier(&mut self, nullifier_index: u32) -> u32 pub fn append_nullifier_read_requests(&mut self, num_reads: u32) pub fn add_request_for_key_validation( &mut self, pk_m: EmbeddedCurvePoint, sk_app: Field, sk_app_generator: Field, ) pub fn append_key_validation_requests(&mut self, num_requests: u32) pub fn add_private_log( &mut self, fields: [Field; 18], length: u32, note_hash_counter: u32, ) pub fn append_private_logs_for_note(&mut self, num_logs: u32, note_hash_counter: u32) pub fn append_private_logs(&mut self, num_logs: u32) pub fn append_private_logs_with_length<let LogFieldsLen: u32>(&mut self, num_logs: u32) pub fn append_private_logs_with_lengths<let NumLogs: u32>( &mut self, lengths: [u32; NumLogs], ) pub fn add_siloed_private_log( &mut self, fields: [Field; 18], length: u32, note_hash_counter: u32, ) pub fn append_siloed_private_logs_for_note( &mut self, num_logs: u32, note_hash_counter: u32, ) pub fn append_siloed_private_logs(&mut self, num_logs: u32) pub fn append_siloed_private_logs_with_lengths<let NumLogs: u32>( &mut self, lengths: [u32; NumLogs], ) pub fn append_siloed_private_logs_with_length<let LogFieldsLen: u32>( &mut self, num_logs: u32, ) pub fn append_padded_private_logs(&mut self, num_logs: u32) pub fn add_public_logs(&mut self, length: u32) pub fn add_contract_class_log_hash(&mut self, hash: Field, length: u32) pub fn append_contract_class_logs(&mut self, num_logs: u32) pub fn append_contract_class_logs_with_length<let LogFieldsLen: u32>( &mut self, num_logs: u32, ) pub fn append_contract_class_logs_with_lengths<let NumLogs: u32>( &mut self, lengths: [u32; NumLogs], ) pub fn add_private_call_request_for_private_call( &mut self, private_call: PrivateCallData, ) pub fn add_private_call_request(&mut self) pub fn append_private_call_requests(&mut self, num: u32) pub fn add_public_call_request(&mut self, request: PublicCallRequest) pub fn append_public_call_requests(&mut self, num: u32) pub fn add_public_data_write(&mut self, leaf_slot: Field, value: Field) pub fn append_public_data_writes(&mut self, num: u32) pub fn set_fee_payer(&mut self, fee_payer: AztecAddress) pub fn make_fee_payer(&mut self) -> AztecAddress pub fn set_gas_used(&mut self, da_gas: u32, l2_gas: u32) pub fn set_public_teardown_call_request(&mut self) pub fn end_setup(&mut self)

Trait implementations

impl Eq for FixtureBuilder

pub fn eq(_self: Self, _other: Self) -> bool