@aztec/pxe 0.0.1-commit.c80b6263 → 0.0.1-commit.cd76b27

package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js

@@ -13,7 +13,7 @@ import { loadLogsForRange } from './utils/load_logs_for_range.js';
     // (highestAgedIndex, highestFinalizedIndex + WINDOW_LEN]
     //
     // highestAgedIndex is the highest index that was used in a tx that is included in a block at least
-    //                  `MAX_INCLUDE_BY_TIMESTAMP_DURATION` seconds ago.
+    //                  `MAX_TX_LIFETIME` seconds ago.
     // highestFinalizedIndex is the highest index that was used in a tx that is included in a finalized block.
     //
     // "(" denotes an open end of the range - the index is not included in the range.
@@ -25,19 +25,19 @@ import { loadLogsForRange } from './utils/load_logs_for_range.js';
     // ever appear.
     //
     // This relies on the "maximum inclusion timestamp" rule enforced by the kernel and rollup circuits:
-    // - a transaction's maximum inclusion timestamp is at most `MAX_INCLUDE_BY_TIMESTAMP_DURATION` seconds after
+    // - a transaction's maximum inclusion timestamp is at most `MAX_TX_LIFETIME` seconds after
     //   the timestamp of its anchor block; and
     // - a rollup only includes transactions whose inclusion timestamp is >= the L2 block's timestamp.
     //
     // Suppose some device used index `I` in a transaction anchored to block `B_N` at time `N`, and that block is now at
-    // least `MAX_INCLUDE_BY_TIMESTAMP_DURATION` seconds in the past. Then there is no possibility of any *other* device
+    // least `MAX_TX_LIFETIME` seconds in the past. Then there is no possibility of any *other* device
     // trying to use an index <= `I` while anchoring to a *newer* block than `B_N` because if we were anchoring to
     // a newer block than `B_N` then we would already have seen the log with index `I` and hence the device would have
     // chosen a larger index.
     //    If that *other* device would anchor to a block older than `B_N` then that tx could never be included in a block
     // because it would already have been expired.
     //
-    // Therefore, once we see that index `I` has been used in a block that is at least `MAX_INCLUDE_BY_TIMESTAMP_DURATION`
+    // Therefore, once we see that index `I` has been used in a block that is at least `MAX_TX_LIFETIME`
     // seconds old, we can safely stop syncing logs for all indexes <= `I` and set highestAgedIndex = `I`.
     //
     // ## Explanation of the upper bound `highestFinalizedIndex + WINDOW_LEN`

package/dest/tagging/recipient_sync/utils/find_highest_indexes.js

@@ -1,4 +1,4 @@
-import { MAX_INCLUDE_BY_TIMESTAMP_DURATION } from '@aztec/constants';
+import { MAX_TX_LIFETIME } from '@aztec/constants';
 /**
  * Finds the highest aged and the highest finalized tagging indexes.
  */ export function findHighestIndexes(privateLogsWithIndexes, currentTimestamp, finalizedBlockNumber) {
@@ -6,7 +6,7 @@ import { MAX_INCLUDE_BY_TIMESTAMP_DURATION } from '@aztec/constants';
     let highestFinalizedIndex = undefined;
     for (const { log, taggingIndex } of privateLogsWithIndexes){
         const ageInSeconds = currentTimestamp - log.blockTimestamp;
-        if (ageInSeconds >= BigInt(MAX_INCLUDE_BY_TIMESTAMP_DURATION) && (highestAgedIndex === undefined || taggingIndex > highestAgedIndex)) {
+        if (ageInSeconds >= BigInt(MAX_TX_LIFETIME) && (highestAgedIndex === undefined || taggingIndex > highestAgedIndex)) {
             highestAgedIndex = taggingIndex;
         }
         if (log.blockNumber <= finalizedBlockNumber && (highestFinalizedIndex === undefined || taggingIndex > highestFinalizedIndex)) {

package/package.json

@@ -1,7 +1,16 @@
 {
   "name": "@aztec/pxe",
-  "version": "0.0.1-commit.c80b6263",
+  "version": "0.0.1-commit.cd76b27",
   "type": "module",
+  "typedocOptions": {
+    "entryPoints": [
+      "./src/entrypoints/server/index.ts",
+      "./src/entrypoints/client/lazy/index.ts",
+      "./src/config/index.ts"
+    ],
+    "name": "PXE",
+    "tsconfig": "./tsconfig.json"
+  },
   "exports": {
     "./server": "./dest/entrypoints/server/index.js",
     "./client/lazy": "./dest/entrypoints/client/lazy/index.js",
@@ -61,19 +70,19 @@
     ]
   },
   "dependencies": {
-    "@aztec/bb-prover": "0.0.1-commit.c80b6263",
-    "@aztec/bb.js": "0.0.1-commit.c80b6263",
-    "@aztec/builder": "0.0.1-commit.c80b6263",
-    "@aztec/constants": "0.0.1-commit.c80b6263",
-    "@aztec/ethereum": "0.0.1-commit.c80b6263",
-    "@aztec/foundation": "0.0.1-commit.c80b6263",
-    "@aztec/key-store": "0.0.1-commit.c80b6263",
-    "@aztec/kv-store": "0.0.1-commit.c80b6263",
-    "@aztec/noir-protocol-circuits-types": "0.0.1-commit.c80b6263",
-    "@aztec/noir-types": "0.0.1-commit.c80b6263",
-    "@aztec/protocol-contracts": "0.0.1-commit.c80b6263",
-    "@aztec/simulator": "0.0.1-commit.c80b6263",
-    "@aztec/stdlib": "0.0.1-commit.c80b6263",
+    "@aztec/bb-prover": "0.0.1-commit.cd76b27",
+    "@aztec/bb.js": "0.0.1-commit.cd76b27",
+    "@aztec/builder": "0.0.1-commit.cd76b27",
+    "@aztec/constants": "0.0.1-commit.cd76b27",
+    "@aztec/ethereum": "0.0.1-commit.cd76b27",
+    "@aztec/foundation": "0.0.1-commit.cd76b27",
+    "@aztec/key-store": "0.0.1-commit.cd76b27",
+    "@aztec/kv-store": "0.0.1-commit.cd76b27",
+    "@aztec/noir-protocol-circuits-types": "0.0.1-commit.cd76b27",
+    "@aztec/noir-types": "0.0.1-commit.cd76b27",
+    "@aztec/protocol-contracts": "0.0.1-commit.cd76b27",
+    "@aztec/simulator": "0.0.1-commit.cd76b27",
+    "@aztec/stdlib": "0.0.1-commit.cd76b27",
     "koa": "^2.16.1",
     "koa-router": "^13.1.1",
     "lodash.omit": "^4.5.0",
@@ -82,8 +91,8 @@
     "viem": "npm:@aztec/viem@2.38.2"
   },
   "devDependencies": {
-    "@aztec/merkle-tree": "0.0.1-commit.c80b6263",
-    "@aztec/noir-test-contracts.js": "0.0.1-commit.c80b6263",
+    "@aztec/merkle-tree": "0.0.1-commit.cd76b27",
+    "@aztec/noir-test-contracts.js": "0.0.1-commit.cd76b27",
     "@jest/globals": "^30.0.0",
     "@types/jest": "^30.0.0",
     "@types/lodash.omit": "^4.5.7",

package/src/access_scopes.ts

@@ -0,0 +1,9 @@
+import type { AztecAddress } from '@aztec/stdlib/aztec-address';
+
+/**
+ * Controls which accounts' private state and keys are accessible during execution.
+ * - `'ALL_SCOPES'`: All registered accounts' private state and keys are accessible.
+ * - `AztecAddress[]` with entries: Only the specified accounts' private state and keys are accessible.
+ * - `[]` (empty array): Deny-all. No private state is visible and no keys are accessible.
+ */
+export type AccessScopes = 'ALL_SCOPES' | AztecAddress[];

package/src/block_synchronizer/block_synchronizer.ts

@@ -7,6 +7,7 @@ import type { AztecNode } from '@aztec/stdlib/interfaces/client';
 import type { BlockHeader } from '@aztec/stdlib/tx';
 
 import type { BlockSynchronizerConfig } from '../config/index.js';
+import type { ContractSyncService } from '../contract_sync/contract_sync_service.js';
 import type { AnchorBlockStore } from '../storage/anchor_block_store/anchor_block_store.js';
 import type { NoteStore } from '../storage/note_store/note_store.js';
 import type { PrivateEventStore } from '../storage/private_event_store/private_event_store.js';
@@ -28,6 +29,7 @@ export class BlockSynchronizer implements L2BlockStreamEventHandler {
     private noteStore: NoteStore,
     private privateEventStore: PrivateEventStore,
     private l2TipsStore: L2TipsKVStore,
+    private contractSyncService: ContractSyncService,
     private config: Partial<BlockSynchronizerConfig> = {},
     bindings?: LoggerBindings,
   ) {
@@ -125,6 +127,10 @@ export class BlockSynchronizer implements L2BlockStreamEventHandler {
 
   /** Updates the anchor block header to the target block */
   private async updateAnchorBlockHeader(blockHeader: BlockHeader) {
+    // Whenever the anchor block header is updated, we need to synchronize the private state of contracts again.
+    // Therefore, we clear the contract synchronization cache here such that the sync is re-triggered upon new
+    // execution.
+    this.contractSyncService.wipe();
     this.log.verbose(`Updated pxe last block to ${blockHeader.getBlockNumber()}`, blockHeader.toInspect());
     await this.anchorBlockStore.setHeader(blockHeader);
   }

package/src/config/package_info.ts

@@ -1,3 +1,3 @@
 export function getPackageInfo() {
-  return { version: '4.0.0', name: '@aztec/pxe' };
+  return { version: '5.0.0', name: '@aztec/pxe' };
 }