@aztec-labs/stdlib 6.0.0-rc.3 → 6.0.0

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}`;