@aztec-labs/stdlib 6.0.0-rc.2 → 6.0.0-rc.4

package/src/messaging/l1_to_l2_message.ts

@@ -5,6 +5,7 @@ import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
 import { bufferToHex } from '@aztec-labs/foundation/string';
 import { SiblingPath } from '@aztec-labs/foundation/trees';
+import { Buffer } from 'buffer';
 
 import type { AztecAddress } from '../aztec-address/index.js';
 import type { BlockParameter } from '../block/block_parameter.js';
@@ -95,16 +96,24 @@ export function computeFeeJuiceMessageNullifier(messageHash: Fr, secret: Fr): Pr
   return poseidon2HashWithSeparator([messageHash, secret], DomainSeparator.MESSAGE_NULLIFIER);
 }
 
+/** The outcome of {@link lookUpL1ToL2MessageWitness}. */
+export type L1ToL2MessageWitnessLookup =
+  /** The message is in the tree and, if a nullifier was given, has not been consumed. */
+  | { type: 'found'; witness: [bigint, SiblingPath<typeof L1_TO_L2_MSG_TREE_HEIGHT>] }
+  /** The message is not in the tree. */
+  | { type: 'missing' }
+  /** A nullifier was given and the message has been consumed. */
+  | { type: 'nullified' };
+
 /**
- * Fetches the membership witness of an L1 to L2 message. When `unsiloedNullifier` is provided, the message is
- * additionally required to be un-nullified.
+ * Looks up the membership witness of an L1 to L2 message in the L1 to L2 message tree at `referenceBlock`.
  */
-export async function getL1ToL2MessageWitness(
+export async function lookUpL1ToL2MessageWitness(
   node: AztecNode,
   messageHash: Fr,
-  unsiloedNullifier?: UnsiloedMessageNullifier,
-  referenceBlock: BlockParameter = 'latest',
-): Promise<[bigint, SiblingPath<typeof L1_TO_L2_MSG_TREE_HEIGHT>]> {
+  unsiloedNullifier: UnsiloedMessageNullifier | undefined,
+  referenceBlock: BlockParameter,
+): Promise<L1ToL2MessageWitnessLookup> {
   // Both requests are dispatched before awaiting so they run concurrently.
   const l1ToL2ResponsePromise = node.getL1ToL2MessageMembershipWitness(referenceBlock, messageHash);
   const nullifierResponsePromise = unsiloedNullifier
@@ -113,17 +122,37 @@ export async function getL1ToL2MessageWitness(
       )
     : undefined;
 
-  const l1ToL2Response = await l1ToL2ResponsePromise;
+  const [l1ToL2Response, nullifierResponse] = await Promise.all([l1ToL2ResponsePromise, nullifierResponsePromise]);
   if (!l1ToL2Response) {
-    throw new Error(`No L1 to L2 message found for message hash ${messageHash.toString()}`);
+    return { type: 'missing' };
   }
 
-  const nullifierResponse = await nullifierResponsePromise;
   if (nullifierResponse?.[0] !== undefined) {
-    throw new Error(`No non-nullified L1 to L2 message found for message hash ${messageHash.toString()}`);
+    return { type: 'nullified' };
   }
 
-  return l1ToL2Response;
+  return { type: 'found', witness: l1ToL2Response };
+}
+
+/**
+ * Fetches the membership witness of an L1 to L2 message. When `unsiloedNullifier` is provided, the message is
+ * additionally required to be un-nullified.
+ */
+export async function getL1ToL2MessageWitness(
+  node: AztecNode,
+  messageHash: Fr,
+  unsiloedNullifier?: UnsiloedMessageNullifier,
+  referenceBlock: BlockParameter = 'latest',
+): Promise<[bigint, SiblingPath<typeof L1_TO_L2_MSG_TREE_HEIGHT>]> {
+  const lookup = await lookUpL1ToL2MessageWitness(node, messageHash, unsiloedNullifier, referenceBlock);
+  switch (lookup.type) {
+    case 'missing':
+      throw new Error(`No L1 to L2 message found for message hash ${messageHash.toString()}`);
+    case 'nullified':
+      throw new Error(`No non-nullified L1 to L2 message found for message hash ${messageHash.toString()}`);
+    case 'found':
+      return lookup.witness;
+  }
 }
 
 // This functionality is not on the node because we do not want to pass the node the secret, and give the node the ability to derive a valid nullifer for an L1 to L2 message.

package/src/messaging/l2_to_l1_membership.ts

@@ -2,6 +2,7 @@ import { MAX_CHECKPOINTS_PER_EPOCH, OUT_HASH_TREE_LEAF_COUNT } from '@aztec-labs
 import { type EpochNumber, EpochNumberSchema } from '@aztec-labs/foundation/branded-types';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { SiblingPath, UnbalancedMerkleTreeCalculator, computeUnbalancedShaRoot } from '@aztec-labs/foundation/trees';
+import { Buffer } from 'buffer';
 import { z } from 'zod';
 
 import type { AztecNode } from '../interfaces/aztec-node.js';

package/src/messaging/out_hash.ts

@@ -2,6 +2,7 @@ import { OUT_HASH_TREE_LEAF_COUNT } from '@aztec-labs/constants';
 import { padArrayEnd } from '@aztec-labs/foundation/collection';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { computeBalancedShaRoot, computeUnbalancedShaRoot, computeWonkyShaRoot } from '@aztec-labs/foundation/trees';
+import { Buffer } from 'buffer';
 
 /**
  * Computes the out hash of a tx. It's the root of the unbalanced tree of all the L2-to-L1 messages emitted by the tx.

package/src/note/note_dao.ts

@@ -4,6 +4,7 @@ import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serializ
 import { AztecAddress } from '@aztec-labs/stdlib/aztec-address';
 import { Note } from '@aztec-labs/stdlib/note';
 import { TxHash } from '@aztec-labs/stdlib/tx';
+import { Buffer } from 'buffer';
 
 /**
  * A Note Data Access Object, representing a note that was committed to the note hash tree, holding all of the

package/src/proofs/chonk_proof.ts

@@ -6,6 +6,7 @@ import { randomBytes } from '@aztec-labs/foundation/crypto/random';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { bufferSchemaFor } from '@aztec-labs/foundation/schemas';
 import { BufferReader, BufferSink } from '@aztec-labs/foundation/serialize';
+import { Buffer } from 'buffer';
 
 /**
  * Serialization format detection for ChonkProof is value-based on the leading uint32:

package/src/proofs/proof.ts

@@ -2,7 +2,8 @@ import { PAIRING_POINTS_SIZE } from '@aztec-labs/constants';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
-import { strict as assert } from 'assert';
+import { assert } from '@aztec-labs/foundation/validation';
+import { Buffer } from 'buffer';
 
 const EMPTY_PROOF_SIZE = 42;
 

package/src/rollup/block_headers_hash.ts

@@ -2,6 +2,7 @@ import { DomainSeparator } from '@aztec-labs/constants';
 import { poseidon2HashWithSeparator } from '@aztec-labs/foundation/crypto/poseidon';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { computeUnbalancedMerkleTreeRootAsync } from '@aztec-labs/foundation/trees';
+import { Buffer } from 'buffer';
 
 import type { BlockHeader } from '../tx/block_header.js';
 

package/src/rollup/checkpoint_constant_data.ts

@@ -1,9 +1,9 @@
 import { SlotNumber } from '@aztec-labs/foundation/branded-types';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { inspect } from '@aztec-labs/foundation/inspect';
 import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
 import type { FieldsOf } from '@aztec-labs/foundation/types';
-import { inspect } from 'util';
 
 import { AztecAddress } from '../aztec-address/index.js';
 import { GasFees } from '../gas/gas_fees.js';

package/src/rollup/checkpoint_header.ts

@@ -3,11 +3,11 @@ import { SlotNumber } from '@aztec-labs/foundation/branded-types';
 import { sha256ToField } from '@aztec-labs/foundation/crypto/sha256';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { inspect } from '@aztec-labs/foundation/inspect';
 import type { ZodFor } from '@aztec-labs/foundation/schemas';
 import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec-labs/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
 import type { FieldsOf } from '@aztec-labs/foundation/types';
-import { inspect } from 'util';
 import { z } from 'zod';
 
 import { AztecAddress } from '../aztec-address/index.js';

package/src/rollup/checkpoint_root_rollup_private_inputs.ts

@@ -6,6 +6,7 @@ import { bufferSchemaFor } from '@aztec-labs/foundation/schemas';
 import { BufferReader, type Tuple, serializeToBuffer } from '@aztec-labs/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
 import type { FieldsOf } from '@aztec-labs/foundation/types';
+import { Buffer } from 'buffer';
 
 import { ParityPublicInputs } from '../parity/parity_public_inputs.js';
 import { ProofData, type RollupHonkProofData, type UltraHonkProofData } from '../proofs/proof_data.js';

package/src/slashing/votes.ts

@@ -3,6 +3,7 @@ import { padArrayEnd } from '@aztec-labs/foundation/collection';
 import { EthAddress } from '@aztec-labs/foundation/eth-address';
 import { type Logger, createLogger } from '@aztec-labs/foundation/log';
 import type { PartialBy } from '@aztec-labs/foundation/types';
+import { Buffer } from 'buffer';
 
 import { getEpochForOffense } from './helpers.js';
 import type { Offense, ValidatorSlashVote } from './types.js';

package/src/snapshots/download.ts

@@ -1,6 +1,7 @@
 import { fromEntries, getEntries, maxBy } from '@aztec-labs/foundation/collection';
 import { jsonParseWithSchema } from '@aztec-labs/foundation/json-rpc';
 import type { ReadOnlyFileStore } from '@aztec-labs/stdlib/file-store';
+import { Buffer } from 'buffer';
 import { createReadStream, createWriteStream } from 'fs';
 import fs from 'fs/promises';
 import pathMod from 'path';
@@ -94,29 +95,37 @@ export async function downloadSnapshot(
   snapshot: Pick<SnapshotMetadata, 'dataUrls'>,
   localPaths: Record<SnapshotDataKeys, string>,
   store: ReadOnlyFileStore,
+  keys: readonly SnapshotDataKeys[] = SnapshotDataKeys,
 ): Promise<void> {
-  await Promise.all(
-    getEntries(localPaths).map(async ([key, path]) => {
-      await fs.mkdir(pathMod.dirname(path), { recursive: true });
+  const results = await Promise.allSettled(
+    getEntries(localPaths)
+      .filter(([key]) => keys.includes(key))
+      .map(async ([key, path]) => {
+        await fs.mkdir(pathMod.dirname(path), { recursive: true });
 
-      const tmpPath = `${path}.download`;
-      try {
-        const url = snapshot.dataUrls[key];
-        await store.download(url, tmpPath);
+        const tmpPath = `${path}.download`;
+        try {
+          const url = snapshot.dataUrls[key];
+          await store.download(url, tmpPath);
 
-        const isGzip = await detectGzip(tmpPath);
+          const isGzip = await detectGzip(tmpPath);
 
-        const read = createReadStream(tmpPath);
-        const write = createWriteStream(path);
-        if (isGzip) {
-          const gunzip = createGunzip();
-          await pipeline(read, gunzip, write);
-        } else {
-          await pipeline(read, write);
+          const read = createReadStream(tmpPath);
+          const write = createWriteStream(path);
+          if (isGzip) {
+            const gunzip = createGunzip();
+            await pipeline(read, gunzip, write);
+          } else {
+            await pipeline(read, write);
+          }
+        } finally {
+          await fs.unlink(tmpPath).catch(() => undefined);
         }
-      } finally {
-        await fs.unlink(tmpPath).catch(() => undefined);
-      }
-    }),
+      }),
   );
+  for (const result of results) {
+    if (result.status === 'rejected') {
+      throw result.reason;
+    }
+  }
 }

package/src/snapshots/index.ts

@@ -1,3 +1,9 @@
 export * from './types.js';
 export * from './upload.js';
-export { getBasePath, downloadSnapshot, getLatestSnapshotMetadata, makeSnapshotPaths } from './download.js';
+export {
+  getBasePath,
+  downloadSnapshot,
+  getSnapshotIndex,
+  getLatestSnapshotMetadata,
+  makeSnapshotPaths,
+} from './download.js';

package/src/snapshots/upload.ts

@@ -2,6 +2,7 @@ import { fromEntries, getEntries, pick } from '@aztec-labs/foundation/collection
 import { jsonStringify } from '@aztec-labs/foundation/json-rpc';
 import { isoDate } from '@aztec-labs/foundation/string';
 import type { FileStore } from '@aztec-labs/stdlib/file-store';
+import { Buffer } from 'buffer';
 
 import { getBasePath, getSnapshotIndex, getSnapshotIndexPath } from './download.js';
 import type { SnapshotDataKeys, SnapshotMetadata, SnapshotsIndex, UploadSnapshotMetadata } from './types.js';

package/src/tests/factories.ts

@@ -52,6 +52,7 @@ import { GrumpkinScalar, Point } from '@aztec-labs/foundation/curves/grumpkin';
 import { EthAddress } from '@aztec-labs/foundation/eth-address';
 import type { Bufferable, Serializable, Tuple } from '@aztec-labs/foundation/serialize';
 import { MembershipWitness } from '@aztec-labs/foundation/trees';
+import { Buffer } from 'buffer';
 
 import { FunctionSelector } from '../abi/function_selector.js';
 import {

package/src/tests/mocks.ts

@@ -18,6 +18,7 @@ import { Secp256k1Signer } from '@aztec-labs/foundation/crypto/secp256k1-signer'
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { EthAddress } from '@aztec-labs/foundation/eth-address';
 import { Signature } from '@aztec-labs/foundation/eth-signature';
+import { Buffer } from 'buffer';
 import { type TypedDataDefinition, hashTypedData } from 'viem';
 
 import type { ContractArtifact } from '../abi/abi.js';

package/src/trees/append_only_tree_snapshot.ts

@@ -1,9 +1,9 @@
 import { TreeLeafIndex, TreeLeafIndexSchema } from '@aztec-labs/foundation/branded-types';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { inspect } from '@aztec-labs/foundation/inspect';
 import { schemas } from '@aztec-labs/foundation/schemas';
 import { BufferReader, BufferSink, FieldReader } from '@aztec-labs/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
-import { inspect } from 'util';
 import { z } from 'zod';
 
 /**

package/src/trees/nullifier_leaf.ts

@@ -3,6 +3,7 @@ import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { schemas } from '@aztec-labs/foundation/schemas';
 import { BufferReader } from '@aztec-labs/foundation/serialize';
 import type { IndexedTreeLeaf, IndexedTreeLeafPreimage } from '@aztec-labs/foundation/trees';
+import { Buffer } from 'buffer';
 import { z } from 'zod';
 
 /**

package/src/trees/public_data_leaf.ts

@@ -4,6 +4,7 @@ import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { schemas } from '@aztec-labs/foundation/schemas';
 import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
 import type { IndexedTreeLeaf, IndexedTreeLeafPreimage } from '@aztec-labs/foundation/trees';
+import { Buffer } from 'buffer';
 import { z } from 'zod';
 
 /**

package/src/tx/block_header.ts

@@ -3,6 +3,7 @@ import { BlockNumber, SlotNumber } from '@aztec-labs/foundation/branded-types';
 import { poseidon2HashWithSeparator } from '@aztec-labs/foundation/crypto/poseidon';
 import { randomInt } from '@aztec-labs/foundation/crypto/random';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { inspect } from '@aztec-labs/foundation/inspect';
 import { type ZodFor, schemas } from '@aztec-labs/foundation/schemas';
 import {
   BufferReader,
@@ -13,7 +14,6 @@ import {
 } from '@aztec-labs/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
 import type { FieldsOf } from '@aztec-labs/foundation/types';
-import { inspect } from 'util';
 import { z } from 'zod';
 
 import { BlockHash } from '../block/block_hash.js';

package/src/tx/call_context.ts

@@ -1,8 +1,8 @@
 import { CALL_CONTEXT_LENGTH } from '@aztec-labs/constants';
 import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { inspect } from '@aztec-labs/foundation/inspect';
 import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from '@aztec-labs/foundation/serialize';
 import type { FieldsOf } from '@aztec-labs/foundation/types';
-import { inspect } from 'util';
 import { z } from 'zod';
 
 import { FunctionSelector } from '../abi/index.js';

package/src/tx/global_variables.ts

@@ -3,6 +3,7 @@ import { BlockNumber, BlockNumberSchema, SlotNumber } from '@aztec-labs/foundati
 import { randomInt } from '@aztec-labs/foundation/crypto/random';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { inspect } from '@aztec-labs/foundation/inspect';
 import { jsonStringify } from '@aztec-labs/foundation/json-rpc';
 import {
   BufferReader,
@@ -12,7 +13,6 @@ import {
   serializeToSink,
 } from '@aztec-labs/foundation/serialize';
 import type { FieldsOf } from '@aztec-labs/foundation/types';
-import { inspect } from 'util';
 import { z } from 'zod';
 
 import { AztecAddress } from '../aztec-address/index.js';

package/src/tx/profiling.ts

@@ -2,6 +2,7 @@ import { CircuitKind } from '@aztec-foundation/bb.js';
 
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { type ZodFor, optional, schemas } from '@aztec-labs/foundation/schemas';
+import { Buffer } from 'buffer';
 import { z } from 'zod';
 
 import { AztecAddress } from '../aztec-address/index.js';

package/src/tx/public_call_request_with_calldata.ts

@@ -1,6 +1,6 @@
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { inspect } from '@aztec-labs/foundation/inspect';
 import { BufferReader, BufferSink, serializeToSink } from '@aztec-labs/foundation/serialize';
-import { inspect } from 'util';
 import { z } from 'zod';
 
 import { FunctionSelector } from '../abi/function_selector.js';

package/src/tx/state_reference.ts

@@ -1,8 +1,8 @@
 import { MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, STATE_REFERENCE_LENGTH } from '@aztec-labs/constants';
 import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { inspect } from '@aztec-labs/foundation/inspect';
 import { BufferReader, BufferSink, FieldReader, serializeToSink } from '@aztec-labs/foundation/serialize';
 import type { FieldsOf } from '@aztec-labs/foundation/types';
-import { inspect } from 'util';
 import { z } from 'zod';
 
 import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';

package/src/tx/tree_snapshots.ts

@@ -1,7 +1,7 @@
 import { TREE_SNAPSHOTS_LENGTH } from '@aztec-labs/constants';
 import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { inspect } from '@aztec-labs/foundation/inspect';
 import { BufferReader, BufferSink, FieldReader, serializeToSink } from '@aztec-labs/foundation/serialize';
-import { inspect } from 'util';
 import { z } from 'zod';
 
 import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';

package/src/tx/tx.ts

@@ -6,6 +6,7 @@ import {
   TX_DA_GAS_OVERHEAD,
 } from '@aztec-labs/constants';
 import { type BaseBuffer32, Buffer32 } from '@aztec-labs/foundation/buffer';
+import { sum } from '@aztec-labs/foundation/collection';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import type { ZodFor } from '@aztec-labs/foundation/schemas';
 import {
@@ -124,10 +125,19 @@ export class Tx extends Gossipable {
     return callRequests.map(r => this.#combinePublicCallRequestWithCallData(r));
   }
 
+  /** Returns the number of calldata fields across the supplied calldata entries, whichever calls use them. */
   getTotalPublicCalldataCount(): number {
     return this.publicFunctionCalldata.reduce((accum, cd) => accum + cd.values.length, 0);
   }
 
+  /**
+   * Returns the number of calldata fields the public calls receive. Calldata shared by several calls counts once per
+   * call, and a call with no matching calldata entry counts as receiving none.
+   */
+  getDeliveredPublicCalldataCount(): number {
+    return sum(this.getPublicCallRequestsWithCalldata().map(r => r.calldata.length));
+  }
+
   getGasSettings(): GasSettings {
     return this.data.constants.txContext.gasSettings;
   }

package/src/tx/tx_effect.ts

@@ -21,10 +21,10 @@ import { type FieldsOf, makeTuple, makeTupleAsync } from '@aztec-labs/foundation
 import { poseidon2HashWithSeparator } from '@aztec-labs/foundation/crypto/poseidon';
 import { randomInt } from '@aztec-labs/foundation/crypto/random';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { inspect } from '@aztec-labs/foundation/inspect';
 import { type ZodFor, schemas } from '@aztec-labs/foundation/schemas';
 import { BufferReader, serializeArrayOfBufferableToVector, serializeToBuffer } from '@aztec-labs/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
-import { inspect } from 'util';
 import { z } from 'zod';
 
 import { PublicDataWrite } from '../avm/public_data_write.js';

package/src/tx/tx_execution_request.ts

@@ -1,8 +1,8 @@
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { inspect } from '@aztec-labs/foundation/inspect';
 import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
 import type { FieldsOf } from '@aztec-labs/foundation/types';
-import { inspect } from 'util';
 import { z } from 'zod';
 
 import { FunctionSelector } from '../abi/function_selector.js';

package/src/tx/validator/error_texts.ts

@@ -53,3 +53,21 @@ export const TX_ERROR_MALFORMED_CONTRACT_CLASS_LOG = 'Failed to parse contract c
 
 // General
 export const TX_ERROR_DURING_VALIDATION = 'Unexpected error during validation';
+
+// Reasons a tx can fail only because the receiver's own state moved on (later timestamp, raised fee
+// floor, dropped fee-payer balance, committed nullifier, advanced archive root) - not the relayer's fault.
+const RECEIVER_LOCAL_STATE_DRIFT_TX_ERRORS = [
+  TX_ERROR_INVALID_EXPIRATION_TIMESTAMP,
+  TX_ERROR_EXISTING_NULLIFIER,
+  TX_ERROR_BLOCK_HEADER,
+  TX_ERROR_INSUFFICIENT_FEE_PER_GAS,
+  TX_ERROR_INSUFFICIENT_FEE_PAYER_BALANCE,
+];
+
+// True when every reason is receiver-local drift. Prefix match: some reasons append detail (e.g. fees).
+export function isReceiverLocalStateDrift(reasons: string[]): boolean {
+  return (
+    reasons.length > 0 &&
+    reasons.every(reason => RECEIVER_LOCAL_STATE_DRIFT_TX_ERRORS.some(drift => reason.startsWith(drift)))
+  );
+}

package/src/vks/verification_key.ts

@@ -4,6 +4,7 @@ import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { bufferSchemaFor } from '@aztec-labs/foundation/schemas';
 import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
+import { Buffer } from 'buffer';
 
 import { hashVK } from '../hash/index.js';
 

package/src/zkpassport/index.ts

@@ -3,6 +3,7 @@ import { randomBytes } from '@aztec-labs/foundation/crypto/random';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
 import { withoutHexPrefix } from '@aztec-labs/foundation/string';
+import { Buffer } from 'buffer';
 
 export type ViemZkPassportProofParams = {
   version: `0x${string}`;