Skip to content

feat(aztec-nr): add initialization check to utility functions#21751

Open
nchamo wants to merge 5 commits intomerge-train/fairiesfrom
feat/utility-init-check
Open

feat(aztec-nr): add initialization check to utility functions#21751
nchamo wants to merge 5 commits intomerge-train/fairiesfrom
feat/utility-init-check

Conversation

@nchamo
Copy link
Contributor

@nchamo nchamo commented Mar 18, 2026

Summary

  • Add initialization checks to utility (unconstrained) functions, matching the existing behavior for private and public functions
  • Uninitialized contracts now reject utility function calls with "Not initialized"

Fixes F-352

@nchamo nchamo requested a review from nventuro as a code owner March 18, 2026 17:14
@nchamo nchamo self-assigned this Mar 18, 2026
@nchamo nchamo added the ci-no-fail-fast Sets NO_FAIL_FAST in the CI so the run is not aborted on the first failure label Mar 18, 2026

const notes: Note[] = [...Array(5).fill(buildNote(1n)), ...Array(2).fill(buildNote(2n))];

const instanceFields = {
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Since the utility assertion now uses get_contract_instance, which checks:

(instance.to_address() == address) 

we can't use a random address anymore, so we use computeContractAddressFromInstance

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci-no-fail-fast Sets NO_FAIL_FAST in the CI so the run is not aborted on the first failure

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant