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 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 historical_header: BlockHeader,
    pub tx_context: TxContext,
    pub global_variables: GlobalVariables,
    pub note_hashes: BoundedVec<ScopedNoteHash, 64>,
    pub nullifiers: BoundedVec<ScopedNullifier, 64>,
    pub l2_to_l1_msgs: BoundedVec<Scoped<Counted<L2ToL1Message>>, 8>,
    pub private_logs: BoundedVec<Scoped<PrivateLogData>, 32>,
    pub public_logs: BoundedVec<PublicLog, 8>,
    pub contract_class_logs_hashes: BoundedVec<Scoped<Counted<LogHash>>, 1>,
    pub public_data_writes: BoundedVec<PublicDataWrite, 64>,
    pub private_call_requests: BoundedVec<PrivateCallRequest, 8>,
    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<ScopedReadRequest, 64>,
    pub nullifier_read_requests: BoundedVec<ScopedReadRequest, 64>,
    pub scoped_key_validation_requests_and_generators: BoundedVec<ScopedKeyValidationRequestAndGenerator, 64>,
    pub validation_requests_split_counter: Option<u32>,
    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<5>,
    pub bytecode_hash: Field,
    pub prover_address: AztecAddress,
    pub proof: NestedRecursiveProof,
    pub honk_vk: HonkVerificationKey,
    pub client_ivc_vk: ClientIVCVerificationKey,
    pub vk_index: u32,
    pub vk_path: [Field; 6],
    pub vk_tree_root: Field,
    pub protocol_contract_tree_root: Field,
    pub protocol_contract_membership_witness: MembershipWitness<3>,
    pub protocol_contract_leaf: ProtocolContractLeafPreimage,
    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 archive_tree: AppendOnlyTreeSnapshot,
    pub archive_root_membership_witness: MembershipWitness<29>,
    pub start_snapshots: TreeSnapshots,
    pub end_snapshots: TreeSnapshots,
    pub min_revertible_side_effect_counter: u32,
    pub counter_start: u32,
    pub 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
include_by_timestamp: u64
is_fee_payer: bool
fee_payer: AztecAddress
public_teardown_call_request: PublicCallRequest
transaction_fee: Field
effective_gas_fees: GasFees
historical_header: BlockHeader
tx_context: TxContext
global_variables: GlobalVariables
note_hashes: BoundedVec<ScopedNoteHash, 64>
nullifiers: BoundedVec<ScopedNullifier, 64>
l2_to_l1_msgs: BoundedVec<Scoped<Counted<L2ToL1Message>>, 8>
private_logs: BoundedVec<Scoped<PrivateLogData>, 32>
public_logs: BoundedVec<PublicLog, 8>
contract_class_logs_hashes: BoundedVec<Scoped<Counted<LogHash>>, 1>
public_data_writes: BoundedVec<PublicDataWrite, 64>
private_call_requests: BoundedVec<PrivateCallRequest, 8>
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<ScopedReadRequest, 64>
nullifier_read_requests: BoundedVec<ScopedReadRequest, 64>
scoped_key_validation_requests_and_generators: BoundedVec<ScopedKeyValidationRequestAndGenerator, 64>
validation_requests_split_counter: Option<u32>
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<5>
bytecode_hash: Field
prover_address: AztecAddress
proof: NestedRecursiveProof
honk_vk: HonkVerificationKey
client_ivc_vk: ClientIVCVerificationKey
vk_index: u32
vk_path: [Field; 6]
vk_tree_root: Field
protocol_contract_tree_root: Field
protocol_contract_membership_witness: MembershipWitness<3>
protocol_contract_leaf: ProtocolContractLeafPreimage
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>
archive_tree: AppendOnlyTreeSnapshot
archive_root_membership_witness: MembershipWitness<29>
start_snapshots: TreeSnapshots
end_snapshots: TreeSnapshots
min_revertible_side_effect_counter: u32
counter_start: u32
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 vk_tree_root() -> Field pub fn set_protocol_contract_root(&mut 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 use_last_archive(&mut self) -> 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_block_constant_data(self) -> BlockConstantData 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_historical_header_from_call_data(&mut self, private_call: PrivateCallData) pub fn to_private_call_data(self) -> PrivateCallData pub fn to_private_accumulated_data_builder(self) -> PrivateAccumulatedDataBuilder 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_private_tube_data(self) -> PrivateTubeData pub fn to_public_tube_data(self) -> PublicTubeData 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 to_avm_proof_data(self) -> AvmProofData pub fn add_new_note_hash(&mut self, value: Field) pub fn add_siloed_note_hash(&mut self, value: Field) 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 add_siloed_l2_to_l1_message(&mut self, content: Field, recipient: EthAddress) pub fn append_l2_to_l1_msgs(&mut self, num: 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_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_lengths<let N: u32>(&mut self, lengths: [u32; N]) 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_for_note_with_lengths<let N: u32>( &mut self, lengths: [u32; N], note_hash_counter: u32, ) pub fn append_siloed_private_logs(&mut self, num_logs: u32) pub fn append_padded_private_logs(&mut self, num_logs: u32) pub fn add_public_log(&mut self, fields: [Field; 13], length: u32) pub fn append_public_logs(&mut self, num_logs: u32) pub fn append_public_logs_with_lengths<let N: u32>(&mut self, lengths: [u32; N]) pub fn add_contract_class_log_hash(&mut self, hash: Field, length: u32) 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 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 Empty for FixtureBuilder

pub fn empty() -> Self pub fn is_empty(self) -> bool pub fn assert_empty<let S: u32>(self, msg: str<S>)

impl Eq for FixtureBuilder

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