Struct MockTransactionBuilder 

pub struct MockTransactionBuilder<'chain> { /* private fields */ }

A builder for a TransactionContext that is coupled to a concrete MockChain.

It is the public entry point for executing a transaction against a chain and is created through MockChain::build_transaction. Contrary to MockChain::build_tx_context, input notes are not passed up front but added explicitly through Self::authenticated_input_note and Self::unauthenticated_input_note. The transaction inputs are only resolved against the chain in Self::build, once all input notes are known, by calling MockChain::get_transaction_inputs.

Examples

let mut builder = MockChain::builder();
let sender = builder.add_existing_mock_account(Auth::IncrNonce)?;
let account = builder.add_existing_mock_account(Auth::IncrNonce)?;
let note = builder.add_p2id_note(
    sender.id(),
    account.id(),
    &[FungibleAsset::mock(100)],
    NoteType::Public,
)?;
let chain = builder.build()?;

let executed = chain
    .build_transaction(account.id())
    .authenticated_input_note(note.id())
    .build()?
    .execute()
    .await?;

assert_eq!(executed.input_notes().num_notes(), 1);

Implementations

impl<'chain> MockTransactionBuilder<'chain>

pub fn authenticated_input_note(self, note_id: NoteId) -> Self

Adds an authenticated input note that the transaction consumes.

The note must already be committed to the chain so that its inclusion proof can be resolved in Self::build.

pub fn authenticated_input_notes( self, note_ids: impl IntoIterator<Item = NoteId>, ) -> Self

Adds multiple authenticated input notes that the transaction consumes.

This is the iterator equivalent of Self::authenticated_input_note.

pub fn unauthenticated_input_note(self, note: Note) -> Self

Adds an unauthenticated input note that the transaction consumes.

Contrary to Self::authenticated_input_note, the note does not need to be committed to the chain.

pub fn unauthenticated_input_notes( self, notes: impl IntoIterator<Item = Note>, ) -> Self

Adds multiple unauthenticated input notes that the transaction consumes.

This is the iterator equivalent of Self::unauthenticated_input_note.

pub fn reference_block(self, reference_block: impl Into<BlockNumber>) -> Self

Sets the block the transaction executes against.

By default the transaction is built against the chain’s latest block. Use this to execute against an earlier block instead, e.g. to test block-height-dependent script logic such as timelocks or note expiration. All input notes must have been created at or before this block.

pub fn authenticator(self, authenticator: Option<BasicAuthenticator>) -> Self

Set the authenticator for the transaction (if needed).

pub fn extend_advice_inputs(self, advice_inputs: AdviceInputs) -> Self

Extends the advice inputs with the provided AdviceInputs instance.

pub fn extend_advice_map(self, key: Word, value: Vec<Felt>) -> Self

Inserts a single key-value pair into the advice inputs map.

To add multiple entries, call this repeatedly or use Self::extend_advice_inputs.

pub fn foreign_accounts( self, inputs: impl IntoIterator<Item = (Account, AccountWitness)>, ) -> Self

Sets foreign account inputs that are used by the transaction.

pub fn tx_script(self, tx_script: TransactionScript) -> Self

Sets the desired transaction script.

pub fn tx_script_args(self, tx_script_args: Word) -> Self

Sets the transaction script arguments.

pub fn auth_args(self, auth_args: Word) -> Self

Sets the desired auth arguments.

pub fn extend_note_args(self, note_args: BTreeMap<NoteId, Word>) -> Self

Extends the note arguments map with the provided one.

pub fn expected_output_note(self, output_note: RawOutputNote) -> Self

Adds a single expected output note.

A RawOutputNote::Partial note is ignored, since it does not carry the recipient details required to reconstruct the note.

pub fn expected_output_notes(self, output_notes: Vec<RawOutputNote>) -> Self

Extends the expected output notes.

This is the iterator equivalent of Self::expected_output_note.

pub fn add_signature( self, pub_key: PublicKeyCommitment, message: Word, signature: Signature, ) -> Self

Adds a new signature for the message and the public key.

pub fn add_note_script(self, script: NoteScript) -> Self

Adds a note script to the context for testing.

pub fn with_source_manager( self, source_manager: Arc<dyn SourceManagerSync>, ) -> Self

Sets the SourceManagerSync on the TransactionContext that will be built.

This source manager should contain the sources of all involved scripts and account code in order to provide better error messages if an error occurs.

pub fn disable_lazy_loading(self) -> Self

Disables lazy loading.

Only affects TransactionContext::execute_code and causes the host to not handle lazy loading events.

pub fn build(self) -> Result<TransactionContext>

Builds the TransactionContext.

The configured account and input notes are resolved into TransactionInputs against the Self::reference_block (defaulting to the chain’s latest block) through MockChain::get_transaction_inputs, and the remaining configuration is assembled into the TransactionContext.