feat: sync cache invalidation oracle by nchamo · Pull Request #21459 · AztecProtocol/aztec-packages

nchamo · 2026-03-12T22:23:35Z

Summary

Adds a new invalidateContractSyncCache oracle that lets Noir contracts invalidate the PXE's sync cache for a specific contract, forcing re-sync on the next query
Wipes the full sync cache on registerSender so newly registered sender's tagged logs are discovered immediately

Fixes F-414

nchamo · 2026-03-12T22:25:25Z

@@ -106,9 +104,6 @@ describe('e2e_offchain_payment', () => {
      ])
      .simulate({ from: bob });



This didn't have a TODO, but Claude deleted it and the test still passes. Should I put it back?

No, the entire point of this PR was to be able to remove these two lines.

Note that, as stated above, as soon as we add the balance check for Alice (which was blocked by scoped capsules), the forceEmptyBlock will still be necessary unless we selectively cache by scope and contract address

nchamo · 2026-03-12T22:26:55Z

-        args: [],
-        returnTypes: [],
-      }),
+    contractStore.getFunctionCall.mockImplementation((_name, _args, address) =>


Changed the mock so that it used the address from the param

nchamo · 2026-03-12T22:27:44Z

@@ -20,12 +20,12 @@ export class ContractSyncService implements StagedStore {
  readonly storeName = 'contract_sync';



The only addition to this file is invalidateContract. The rest was a refactor to make ensureContractSynced more easy to read

nventuro · 2026-03-13T19:50:19Z

@@ -106,9 +104,6 @@ describe('e2e_offchain_payment', () => {
      ])
      .simulate({ from: bob });



No, the entire point of this PR was to be able to remove these two lines.

Co-authored-by: Nicolás Venturo <nicolas.venturo@gmail.com>

…ontract-sync-cache-invalidation # Conflicts: # yarn-project/pxe/src/contract_function_simulator/oracle/interfaces.ts

…ontract-sync-cache-invalidation

…test

mverzilli

Nice!

…ontract-sync-cache-invalidation # Conflicts: # yarn-project/pxe/src/oracle_version.ts

AztecBot · 2026-03-18T11:57:45Z

❌ Failed to cherry-pick to v4-next due to conflicts. (🤖) View backport run.

Cherry-pick of 68e4332 with conflict markers preserved for review. Conflicts in: - yarn-project/pxe/src/contract_function_simulator/oracle/utility_execution.test.ts - yarn-project/pxe/src/oracle_version.ts

BEGIN_COMMIT_OVERRIDE feat: sync cache invalidation oracle (#21459) END_COMMIT_OVERRIDE

BEGIN_COMMIT_OVERRIDE feat: entrypoint replay protection (#21649) feat: guard BoundedVec oracle returns against dirty trailing storage (#21589) fix: add bounds when allocating arrays in deserialization (#21622) feat: implement manual Packable for structs with sub-Field members (#21576) fix(aztec-node): throw on existing nullifier in getLowNullifierMembershipWitness (#21472) fix: use trait dispatch for array Packable::unpack in card_game_contract (#21683) fix(p2p): penalize peers for errors during response reading (#21680) fix: update nullifier non-inclusion test expectations after early oracle throw (backport #21600) (#21615) fix(aztec-nr): fix OOB index with nonzero offset (#21613) fix(builder): persist contractsDB across blocks within a checkpoint (#21520) fix(stdlib): accept null return_type for void Noir functions (#21647) feat: gas estimations on send (#21646) fix(validator): process block proposals from own validator keys in HA setups (backport #21603) (#21659) fix(p2p): penalize peer on tx rejected by pool (#21677) fix(sequencer): fix checkpoint budget redistribution for multi-block slots (#21692) feat: sync cache invalidation oracle (backport #21459) (#21730) feat!: make AES128 decrypt oracle return Option (backport #21696) (#21735) feat!: include init_hash in private initialization nullifier (backport #21427) (#21736) fix(sequencer): extract gas and blob configs from valid requests only (A-677) (#21747) chore: backport #21744 — replace dead BOOTSTRAP_TO env var with bootstrap.sh build arg (#21748) refactor: revert remove assert_bounded_vec_trimmed (#21758) END_COMMIT_OVERRIDE

feat: per-contract sync cache invalidation oracle

bfa901a

nchamo requested a review from nventuro as a code owner March 12, 2026 22:23

nchamo self-assigned this Mar 12, 2026

nchamo commented Mar 12, 2026

View reviewed changes

Comment thread yarn-project/pxe/src/contract_function_simulator/oracle/utility_execution_oracle.ts

nchamo commented Mar 12, 2026

View reviewed changes

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 12, 2026

fix(txe): add invalidateContractSyncCache handler to rpc_translator

63f1e95

nchamo requested a review from mverzilli March 12, 2026 23:03

nventuro reviewed Mar 13, 2026

View reviewed changes

nchamo and others added 3 commits March 14, 2026 15:28

Apply suggestions from code review

9434ecb

Co-authored-by: Nicolás Venturo <nicolas.venturo@gmail.com>

fix(pxe): address pr feedback

f824587

Merge remote-tracking branch 'origin/merge-train/fairies' into feat/c…

0d92dea

…ontract-sync-cache-invalidation # Conflicts: # yarn-project/pxe/src/contract_function_simulator/oracle/interfaces.ts

nchamo requested a review from nventuro March 16, 2026 12:21

mverzilli reviewed Mar 17, 2026

View reviewed changes

Comment thread noir-projects/aztec-nr/aztec/src/messages/processing/offchain.nr Outdated

mverzilli reviewed Mar 17, 2026

View reviewed changes

Comment thread yarn-project/end-to-end/src/e2e_2_pxes.test.ts Outdated

mverzilli reviewed Mar 17, 2026

View reviewed changes

Comment thread yarn-project/pxe/src/pxe.ts

nchamo changed the title ~~feat: per-contract sync cache invalidation oracle~~ feat: sync cache invalidation oracle Mar 17, 2026

nchamo added 2 commits March 17, 2026 13:34

feat(pxe): scope contract sync cache invalidation by recipient

5eb3471

chore(pxe): update oracle interface hash

8ee9ac5

nchamo requested a review from mverzilli March 17, 2026 18:19

nchamo added 3 commits March 17, 2026 15:41

fix(pxe): make invalidateContractSyncCache synchronous

13c5ecb

Merge remote-tracking branch 'origin/merge-train/fairies' into feat/c…

e07755a

…ontract-sync-cache-invalidation

fix(pxe): remove await on synchronous invalidateContractSyncCache in …

f878c1a

…test

nventuro added the backport-to-v4-next label Mar 17, 2026

mverzilli approved these changes Mar 18, 2026

View reviewed changes

Merge remote-tracking branch 'origin/merge-train/fairies' into feat/c…

bca00cb

…ontract-sync-cache-invalidation # Conflicts: # yarn-project/pxe/src/oracle_version.ts

nchamo enabled auto-merge (squash) March 18, 2026 11:34

nchamo merged commit 68e4332 into merge-train/fairies Mar 18, 2026
11 checks passed

nchamo deleted the feat/contract-sync-cache-invalidation branch March 18, 2026 11:56

AztecBot mentioned this pull request Mar 18, 2026

feat: merge-train/fairies #21728

Merged

AztecBot mentioned this pull request Mar 18, 2026

feat: sync cache invalidation oracle (backport #21459) #21730

Merged

nchamo pushed a commit that referenced this pull request Mar 18, 2026

feat: sync cache invalidation oracle (backport #21459) (#21730)

f36835c

AztecBot mentioned this pull request Mar 18, 2026

chore: Accumulated backports to v4-next #21654

Merged

github-merge-queue Bot pushed a commit that referenced this pull request Mar 18, 2026

feat: merge-train/fairies (#21728)

e31d47a

BEGIN_COMMIT_OVERRIDE feat: sync cache invalidation oracle (#21459) END_COMMIT_OVERRIDE

		@@ -106,9 +104,6 @@ describe('e2e_offchain_payment', () => {
		])
		.simulate({ from: bob });

		@@ -20,12 +20,12 @@ export class ContractSyncService implements StagedStore {
		readonly storeName = 'contract_sync';

Conversation

nchamo commented Mar 12, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary

Uh oh!

nchamo Mar 12, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

nventuro Mar 13, 2026

Choose a reason for hiding this comment

Uh oh!

mverzilli Mar 17, 2026

Choose a reason for hiding this comment

Uh oh!

Uh oh!

nchamo Mar 12, 2026

Choose a reason for hiding this comment

Uh oh!

nchamo Mar 12, 2026

Choose a reason for hiding this comment

Uh oh!

nventuro Mar 13, 2026

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

mverzilli left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

AztecBot commented Mar 18, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

nchamo commented Mar 12, 2026 •

edited

Loading

nchamo Mar 12, 2026 •

edited

Loading