@aztec/ethereum 0.0.1-commit.96bb3f7 → 0.0.1-commit.993d240

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (172) hide show
  1. package/dest/client.d.ts +16 -2
  2. package/dest/client.d.ts.map +1 -1
  3. package/dest/client.js +27 -7
  4. package/dest/config.d.ts +22 -33
  5. package/dest/config.d.ts.map +1 -1
  6. package/dest/config.js +59 -64
  7. package/dest/contracts/chain_state_override.d.ts +78 -0
  8. package/dest/contracts/chain_state_override.d.ts.map +1 -0
  9. package/dest/contracts/chain_state_override.js +137 -0
  10. package/dest/contracts/fee_asset_handler.d.ts +1 -1
  11. package/dest/contracts/fee_asset_handler.d.ts.map +1 -1
  12. package/dest/contracts/fee_asset_handler.js +2 -0
  13. package/dest/contracts/fee_asset_price_oracle.d.ts +105 -0
  14. package/dest/contracts/fee_asset_price_oracle.d.ts.map +1 -0
  15. package/dest/contracts/fee_asset_price_oracle.js +656 -0
  16. package/dest/contracts/governance.d.ts +110 -33
  17. package/dest/contracts/governance.d.ts.map +1 -1
  18. package/dest/contracts/governance.js +207 -16
  19. package/dest/contracts/governance_proposer.d.ts +33 -1
  20. package/dest/contracts/governance_proposer.d.ts.map +1 -1
  21. package/dest/contracts/governance_proposer.js +57 -3
  22. package/dest/contracts/inbox.d.ts +18 -1
  23. package/dest/contracts/inbox.d.ts.map +1 -1
  24. package/dest/contracts/inbox.js +38 -2
  25. package/dest/contracts/index.d.ts +5 -3
  26. package/dest/contracts/index.d.ts.map +1 -1
  27. package/dest/contracts/index.js +4 -2
  28. package/dest/contracts/log.d.ts +13 -0
  29. package/dest/contracts/log.d.ts.map +1 -0
  30. package/dest/contracts/log.js +1 -0
  31. package/dest/contracts/multicall.d.ts +127 -12
  32. package/dest/contracts/multicall.d.ts.map +1 -1
  33. package/dest/contracts/multicall.js +201 -93
  34. package/dest/contracts/outbox.d.ts +21 -4
  35. package/dest/contracts/outbox.d.ts.map +1 -1
  36. package/dest/contracts/outbox.js +29 -6
  37. package/dest/contracts/registry.d.ts +3 -1
  38. package/dest/contracts/registry.d.ts.map +1 -1
  39. package/dest/contracts/registry.js +30 -1
  40. package/dest/contracts/rollup.d.ts +5288 -27
  41. package/dest/contracts/rollup.d.ts.map +1 -1
  42. package/dest/contracts/rollup.js +432 -69
  43. package/dest/contracts/{tally_slashing_proposer.d.ts → slashing_proposer.d.ts} +3 -4
  44. package/dest/contracts/slashing_proposer.d.ts.map +1 -0
  45. package/dest/contracts/{tally_slashing_proposer.js → slashing_proposer.js} +18 -13
  46. package/dest/deploy_aztec_l1_contracts.d.ts +9 -8
  47. package/dest/deploy_aztec_l1_contracts.d.ts.map +1 -1
  48. package/dest/deploy_aztec_l1_contracts.js +58 -32
  49. package/dest/deploy_l1_contract.js +3 -3
  50. package/dest/generated/l1-contracts-defaults.d.ts +30 -0
  51. package/dest/generated/l1-contracts-defaults.d.ts.map +1 -0
  52. package/dest/generated/l1-contracts-defaults.js +30 -0
  53. package/dest/l1_artifacts.d.ts +15699 -16241
  54. package/dest/l1_artifacts.d.ts.map +1 -1
  55. package/dest/l1_artifacts.js +9 -24
  56. package/dest/l1_contract_addresses.d.ts +61 -65
  57. package/dest/l1_contract_addresses.d.ts.map +1 -1
  58. package/dest/l1_contract_addresses.js +101 -82
  59. package/dest/l1_reader.d.ts +5 -5
  60. package/dest/l1_reader.d.ts.map +1 -1
  61. package/dest/l1_reader.js +9 -7
  62. package/dest/l1_tx_utils/config.d.ts +7 -1
  63. package/dest/l1_tx_utils/config.d.ts.map +1 -1
  64. package/dest/l1_tx_utils/config.js +14 -1
  65. package/dest/l1_tx_utils/constants.d.ts +1 -1
  66. package/dest/l1_tx_utils/constants.js +2 -2
  67. package/dest/l1_tx_utils/factory.d.ts +18 -10
  68. package/dest/l1_tx_utils/factory.d.ts.map +1 -1
  69. package/dest/l1_tx_utils/factory.js +17 -7
  70. package/dest/l1_tx_utils/fee-strategies/p75_competitive.js +1 -1
  71. package/dest/l1_tx_utils/fee-strategies/p75_competitive_blob_txs_only.js +1 -1
  72. package/dest/l1_tx_utils/forwarder_l1_tx_utils.d.ts +15 -15
  73. package/dest/l1_tx_utils/forwarder_l1_tx_utils.d.ts.map +1 -1
  74. package/dest/l1_tx_utils/forwarder_l1_tx_utils.js +9 -15
  75. package/dest/l1_tx_utils/index-blobs.d.ts +3 -3
  76. package/dest/l1_tx_utils/index-blobs.d.ts.map +1 -1
  77. package/dest/l1_tx_utils/index-blobs.js +2 -2
  78. package/dest/l1_tx_utils/index.d.ts +2 -1
  79. package/dest/l1_tx_utils/index.d.ts.map +1 -1
  80. package/dest/l1_tx_utils/index.js +1 -0
  81. package/dest/l1_tx_utils/l1_tx_utils.d.ts +26 -7
  82. package/dest/l1_tx_utils/l1_tx_utils.d.ts.map +1 -1
  83. package/dest/l1_tx_utils/l1_tx_utils.js +101 -66
  84. package/dest/l1_tx_utils/readonly_l1_tx_utils.d.ts +1 -1
  85. package/dest/l1_tx_utils/readonly_l1_tx_utils.d.ts.map +1 -1
  86. package/dest/l1_tx_utils/readonly_l1_tx_utils.js +11 -7
  87. package/dest/l1_tx_utils/tx_delayer.d.ts +58 -0
  88. package/dest/l1_tx_utils/tx_delayer.d.ts.map +1 -0
  89. package/dest/{test → l1_tx_utils}/tx_delayer.js +67 -37
  90. package/dest/publisher_manager.d.ts +21 -6
  91. package/dest/publisher_manager.d.ts.map +1 -1
  92. package/dest/publisher_manager.js +81 -7
  93. package/dest/queries.d.ts +14 -3
  94. package/dest/queries.d.ts.map +1 -1
  95. package/dest/queries.js +66 -4
  96. package/dest/test/chain_monitor.d.ts +23 -3
  97. package/dest/test/chain_monitor.d.ts.map +1 -1
  98. package/dest/test/chain_monitor.js +38 -2
  99. package/dest/test/eth_cheat_codes.d.ts +24 -4
  100. package/dest/test/eth_cheat_codes.d.ts.map +1 -1
  101. package/dest/test/eth_cheat_codes.js +17 -4
  102. package/dest/test/index.d.ts +1 -3
  103. package/dest/test/index.d.ts.map +1 -1
  104. package/dest/test/index.js +0 -2
  105. package/dest/test/rollup_cheat_codes.d.ts +34 -4
  106. package/dest/test/rollup_cheat_codes.d.ts.map +1 -1
  107. package/dest/test/rollup_cheat_codes.js +69 -8
  108. package/dest/test/start_anvil.d.ts +23 -3
  109. package/dest/test/start_anvil.d.ts.map +1 -1
  110. package/dest/test/start_anvil.js +143 -29
  111. package/dest/test/upgrade_utils.js +2 -2
  112. package/dest/utils.d.ts +9 -1
  113. package/dest/utils.d.ts.map +1 -1
  114. package/dest/utils.js +81 -12
  115. package/package.json +9 -10
  116. package/src/client.ts +28 -2
  117. package/src/config.ts +75 -65
  118. package/src/contracts/README.md +157 -0
  119. package/src/contracts/chain_state_override.ts +200 -0
  120. package/src/contracts/fee_asset_handler.ts +2 -0
  121. package/src/contracts/fee_asset_price_oracle.ts +285 -0
  122. package/src/contracts/governance.ts +279 -13
  123. package/src/contracts/governance_proposer.ts +58 -2
  124. package/src/contracts/inbox.ts +57 -2
  125. package/src/contracts/index.ts +4 -2
  126. package/src/contracts/log.ts +13 -0
  127. package/src/contracts/multicall.ts +243 -102
  128. package/src/contracts/outbox.ts +38 -8
  129. package/src/contracts/registry.ts +31 -1
  130. package/src/contracts/rollup.ts +500 -68
  131. package/src/contracts/{tally_slashing_proposer.ts → slashing_proposer.ts} +16 -14
  132. package/src/deploy_aztec_l1_contracts.ts +81 -40
  133. package/src/deploy_l1_contract.ts +3 -3
  134. package/src/generated/l1-contracts-defaults.ts +32 -0
  135. package/src/l1_artifacts.ts +12 -35
  136. package/src/l1_contract_addresses.ts +120 -94
  137. package/src/l1_reader.ts +17 -10
  138. package/src/l1_tx_utils/config.ts +20 -0
  139. package/src/l1_tx_utils/constants.ts +2 -2
  140. package/src/l1_tx_utils/factory.ts +31 -31
  141. package/src/l1_tx_utils/fee-strategies/p75_competitive.ts +1 -1
  142. package/src/l1_tx_utils/fee-strategies/p75_competitive_blob_txs_only.ts +1 -1
  143. package/src/l1_tx_utils/forwarder_l1_tx_utils.ts +43 -54
  144. package/src/l1_tx_utils/index-blobs.ts +2 -2
  145. package/src/l1_tx_utils/index.ts +1 -0
  146. package/src/l1_tx_utils/l1_tx_utils.ts +99 -48
  147. package/src/l1_tx_utils/readonly_l1_tx_utils.ts +11 -7
  148. package/src/{test → l1_tx_utils}/tx_delayer.ts +93 -56
  149. package/src/publisher_manager.ts +107 -10
  150. package/src/queries.ts +73 -5
  151. package/src/test/chain_monitor.ts +65 -3
  152. package/src/test/eth_cheat_codes.ts +16 -4
  153. package/src/test/index.ts +0 -2
  154. package/src/test/rollup_cheat_codes.ts +75 -8
  155. package/src/test/start_anvil.ts +177 -29
  156. package/src/test/upgrade_utils.ts +2 -2
  157. package/src/utils.ts +88 -14
  158. package/dest/contracts/empire_slashing_proposer.d.ts +0 -67
  159. package/dest/contracts/empire_slashing_proposer.d.ts.map +0 -1
  160. package/dest/contracts/empire_slashing_proposer.js +0 -209
  161. package/dest/contracts/tally_slashing_proposer.d.ts.map +0 -1
  162. package/dest/l1_tx_utils/l1_tx_utils_with_blobs.d.ts +0 -26
  163. package/dest/l1_tx_utils/l1_tx_utils_with_blobs.d.ts.map +0 -1
  164. package/dest/l1_tx_utils/l1_tx_utils_with_blobs.js +0 -26
  165. package/dest/test/delayed_tx_utils.d.ts +0 -13
  166. package/dest/test/delayed_tx_utils.d.ts.map +0 -1
  167. package/dest/test/delayed_tx_utils.js +0 -28
  168. package/dest/test/tx_delayer.d.ts +0 -36
  169. package/dest/test/tx_delayer.d.ts.map +0 -1
  170. package/src/contracts/empire_slashing_proposer.ts +0 -270
  171. package/src/l1_tx_utils/l1_tx_utils_with_blobs.ts +0 -77
  172. package/src/test/delayed_tx_utils.ts +0 -52
@@ -1,8 +1,10 @@
1
+ import type { BlobKzgInstance } from '@aztec/blob-lib/types';
1
2
  import { maxBigint } from '@aztec/foundation/bigint';
2
3
  import { merge, pick } from '@aztec/foundation/collection';
3
4
  import { InterruptError, TimeoutError } from '@aztec/foundation/error';
4
5
  import { EthAddress } from '@aztec/foundation/eth-address';
5
- import { type Logger, createLogger } from '@aztec/foundation/log';
6
+ import { type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
7
+ import { Semaphore } from '@aztec/foundation/queue';
6
8
  import { retryUntil } from '@aztec/foundation/retry';
7
9
  import { sleep } from '@aztec/foundation/sleep';
8
10
  import { DateProvider } from '@aztec/foundation/timer';
@@ -13,23 +15,21 @@ import {
13
15
  type Abi,
14
16
  type BlockOverrides,
15
17
  type Hex,
16
- type NonceManager,
17
18
  type PrepareTransactionRequestRequest,
18
19
  type StateOverride,
19
20
  type TransactionReceipt,
20
21
  type TransactionSerializable,
21
- createNonceManager,
22
22
  formatGwei,
23
23
  serializeTransaction,
24
24
  } from 'viem';
25
- import { jsonRpc } from 'viem/nonce';
26
25
 
27
26
  import type { ViemClient } from '../types.js';
28
27
  import { formatViemError } from '../utils.js';
29
28
  import { type L1TxUtilsConfig, l1TxUtilsConfigMappings } from './config.js';
30
- import { LARGE_GAS_LIMIT } from './constants.js';
29
+ import { MAX_L1_TX_LIMIT } from './constants.js';
31
30
  import type { IL1TxMetrics, IL1TxStore } from './interfaces.js';
32
31
  import { ReadOnlyL1TxUtils } from './readonly_l1_tx_utils.js';
32
+ import { Delayer, createDelayer, wrapClientWithDelayer } from './tx_delayer.js';
33
33
  import {
34
34
  DroppedTransactionError,
35
35
  type L1BlobInputs,
@@ -45,8 +45,15 @@ import {
45
45
  const MAX_L1_TX_STATES = 32;
46
46
 
47
47
  export class L1TxUtils extends ReadOnlyL1TxUtils {
48
- protected nonceManager: NonceManager;
49
48
  protected txs: L1TxState[] = [];
49
+ /** Last nonce successfully sent to the chain. Used as a lower bound when a fallback RPC node returns a stale count. */
50
+ private lastSentNonce: number | undefined;
51
+ /** Mutex to prevent concurrent sendTransaction calls from racing on the same nonce. */
52
+ private readonly sendMutex = new Semaphore(1);
53
+ /** Tx delayer for testing. Only set when enableDelayer config is true. */
54
+ public delayer?: Delayer;
55
+ /** KZG instance for blob operations. */
56
+ protected kzg?: BlobKzgInstance;
50
57
 
51
58
  constructor(
52
59
  public override client: ViemClient,
@@ -58,9 +65,25 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
58
65
  debugMaxGasLimit: boolean = false,
59
66
  protected store?: IL1TxStore,
60
67
  protected metrics?: IL1TxMetrics,
68
+ kzg?: BlobKzgInstance,
69
+ delayer?: Delayer,
61
70
  ) {
62
71
  super(client, logger, dateProvider, config, debugMaxGasLimit);
63
- this.nonceManager = createNonceManager({ source: jsonRpc() });
72
+ this.kzg = kzg;
73
+
74
+ // Set up delayer: use provided one or create new
75
+ if (config?.enableDelayer && config?.ethereumSlotDuration) {
76
+ this.delayer =
77
+ delayer ?? this.createDelayer({ ethereumSlotDuration: config.ethereumSlotDuration }, logger.getBindings());
78
+ this.client = wrapClientWithDelayer(this.client, this.delayer);
79
+ if (config.txDelayerMaxInclusionTimeIntoSlot !== undefined) {
80
+ this.delayer.setMaxInclusionTimeIntoSlot(config.txDelayerMaxInclusionTimeIntoSlot);
81
+ }
82
+ } else if (delayer) {
83
+ // Delayer provided but enableDelayer not set — just store it without wrapping
84
+ logger.warn('Delayer provided but enableDelayer config is not set; delayer will not be used');
85
+ this.delayer = delayer;
86
+ }
64
87
  }
65
88
 
66
89
  public get state() {
@@ -87,6 +110,11 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
87
110
  this.metrics?.recordMinedTx(l1TxState, new Date(l1Timestamp));
88
111
  } else if (newState === TxUtilsState.NOT_MINED) {
89
112
  this.metrics?.recordDroppedTx(l1TxState);
113
+ // The tx was dropped: the chain nonce reverted to l1TxState.nonce, so our lower bound is
114
+ // no longer valid. Clear it so the next send fetches the real nonce from the chain.
115
+ if (this.lastSentNonce === l1TxState.nonce) {
116
+ this.lastSentNonce = undefined;
117
+ }
90
118
  }
91
119
 
92
120
  // Update state in the store
@@ -103,6 +131,14 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
103
131
  );
104
132
  }
105
133
 
134
+ /**
135
+ * Clears the cached `lastSentNonce` so the next `sendTransaction` call fetches the real
136
+ * nonce from the chain. Call this after an L1 reorg to prevent stale nonce references.
137
+ */
138
+ public resetNonce(): void {
139
+ this.lastSentNonce = undefined;
140
+ }
141
+
106
142
  public getSenderAddress() {
107
143
  return this.address;
108
144
  }
@@ -185,6 +221,19 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
185
221
  return await this.signTransaction(txRequest as TransactionSerializable);
186
222
  }
187
223
 
224
+ private async checkInterruptedOrTimedOut(gasConfig: Pick<L1TxConfig, 'txTimeoutAt'>): Promise<Date> {
225
+ if (this.interrupted) {
226
+ throw new InterruptError(`Transaction sending is interrupted`);
227
+ }
228
+ const now = new Date(await this.getL1Timestamp());
229
+ if (gasConfig.txTimeoutAt && now > gasConfig.txTimeoutAt) {
230
+ throw new TimeoutError(
231
+ `Transaction timed out before sending (now ${now.toISOString()} > timeoutAt ${gasConfig.txTimeoutAt.toISOString()})`,
232
+ );
233
+ }
234
+ return now;
235
+ }
236
+
188
237
  /**
189
238
  * Sends a transaction with gas estimation and pricing
190
239
  * @param request - The transaction request (to, data, value)
@@ -197,17 +246,18 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
197
246
  blobInputs?: L1BlobInputs,
198
247
  stateChange: TxUtilsState = TxUtilsState.SENT,
199
248
  ): Promise<{ txHash: Hex; state: L1TxState }> {
200
- if (this.interrupted) {
201
- throw new InterruptError(`Transaction sending is interrupted`);
202
- }
203
-
204
249
  try {
205
250
  const gasConfig = merge(this.config, gasConfigOverrides);
206
251
  const account = this.getSenderAddress().toString();
207
252
 
253
+ // Fail fast before doing any work (gas estimation, balance check) if we've been interrupted
254
+ // or if the caller's deadline has already passed. The same check is repeated after gas
255
+ // estimation in case it took long enough to push us past the deadline.
256
+ await this.checkInterruptedOrTimedOut(gasConfig);
257
+
208
258
  let gasLimit: bigint;
209
259
  if (this.debugMaxGasLimit) {
210
- gasLimit = LARGE_GAS_LIMIT;
260
+ gasLimit = MAX_L1_TX_LIMIT;
211
261
  } else if (gasConfig.gasLimit) {
212
262
  gasLimit = gasConfig.gasLimit;
213
263
  } else {
@@ -217,34 +267,34 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
217
267
 
218
268
  const gasPrice = await this.getGasPrice(gasConfig, !!blobInputs);
219
269
 
220
- if (this.interrupted) {
221
- throw new InterruptError(`Transaction sending is interrupted`);
222
- }
223
-
224
- const nonce = await this.nonceManager.consume({
225
- client: this.client,
226
- address: account,
227
- chainId: this.client.chain.id,
228
- });
270
+ const now = await this.checkInterruptedOrTimedOut(gasConfig);
229
271
 
230
- const baseState = { request, gasLimit, blobInputs, gasPrice, nonce };
231
- const txData = this.makeTxData(baseState, { isCancelTx: false });
272
+ let txHash: Hex;
273
+ let nonce: number;
274
+ let baseState: Pick<L1TxState, 'request' | 'gasLimit' | 'blobInputs' | 'gasPrice' | 'nonce'>;
232
275
 
233
- const now = new Date(await this.getL1Timestamp());
234
- if (gasConfig.txTimeoutAt && now > gasConfig.txTimeoutAt) {
235
- throw new TimeoutError(
236
- `Transaction timed out before sending (now ${now.toISOString()} > timeoutAt ${gasConfig.txTimeoutAt.toISOString()})`,
237
- );
276
+ await this.sendMutex.acquire();
277
+ try {
278
+ const chainNonce = await this.client.getTransactionCount({ address: account, blockTag: 'pending' });
279
+ // If a fallback RPC node returns a stale count (lower than what we last sent), use our
280
+ // local lower bound to avoid sending a duplicate of an already-pending transaction.
281
+ nonce =
282
+ this.lastSentNonce !== undefined && chainNonce <= this.lastSentNonce ? this.lastSentNonce + 1 : chainNonce;
283
+
284
+ baseState = { request, gasLimit, blobInputs, gasPrice, nonce };
285
+ const txData = this.makeTxData(baseState, { isCancelTx: false });
286
+
287
+ const signedRequest = await this.prepareSignedTransaction(txData);
288
+ txHash = await this.client.sendRawTransaction({ serializedTransaction: signedRequest });
289
+ this.lastSentNonce = nonce;
290
+ } finally {
291
+ this.sendMutex.release();
238
292
  }
239
293
 
240
- // Send the new tx
241
- const signedRequest = await this.prepareSignedTransaction(txData);
242
- const txHash = await this.client.sendRawTransaction({ serializedTransaction: signedRequest });
243
-
244
294
  // Create the new state for monitoring
245
295
  const l1TxState: L1TxState = {
246
296
  ...baseState,
247
- id: (await this.store?.consumeNextStateId(account)) ?? Math.max(...this.txs.map(tx => tx.id), 0),
297
+ id: (await this.store?.consumeNextStateId(account)) ?? Math.max(...this.txs.map(tx => tx.id), -1) + 1,
248
298
  txHashes: [txHash],
249
299
  cancelTxHashes: [],
250
300
  status: TxUtilsState.IDLE,
@@ -283,7 +333,7 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
283
333
  return { txHash, state: l1TxState };
284
334
  } catch (err: any) {
285
335
  const viemError = formatViemError(err, request.abi);
286
- this.logger.error(`Failed to send L1 transaction`, viemError, {
336
+ this.logger.error(`Failed to send L1 transaction: ${viemError.message}`, viemError, {
287
337
  request: pick(request, 'to', 'value'),
288
338
  });
289
339
  throw viemError;
@@ -423,7 +473,6 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
423
473
  { nonce, account, pendingNonce, timePassed },
424
474
  );
425
475
  await this.updateState(state, TxUtilsState.NOT_MINED);
426
- this.nonceManager.reset({ address: account, chainId: this.client.chain.id });
427
476
  throw new DroppedTransactionError(nonce, account);
428
477
  }
429
478
 
@@ -515,12 +564,7 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
515
564
 
516
565
  // Oh no, the transaction has timed out!
517
566
  if (isCancelTx || !gasConfig.cancelTxOnTimeout) {
518
- // If this was already a cancellation tx, or we are configured to not cancel txs, we just mark it as NOT_MINED
519
- // and reset the nonce manager, so the next tx that comes along can reuse the nonce if/when this tx gets dropped.
520
- // This is the nastiest scenario for us, since the new tx could acquire the next nonce, but then this tx is dropped,
521
- // and the new tx would never get mined. Eventually, the new tx would also drop.
522
567
  await this.updateState(state, TxUtilsState.NOT_MINED);
523
- this.nonceManager.reset({ address: account, chainId: this.client.chain.id });
524
568
  } else {
525
569
  // Otherwise we fire the cancellation without awaiting to avoid blocking the caller,
526
570
  // and monitor it in the background so we can speed it up as needed.
@@ -631,12 +675,12 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
631
675
  from: request.from ?? this.getSenderAddress().toString(),
632
676
  maxFeePerGas: gasPrice.maxFeePerGas,
633
677
  maxPriorityFeePerGas: gasPrice.maxPriorityFeePerGas,
634
- gas: request.gas ?? LARGE_GAS_LIMIT,
678
+ gas: request.gas ?? MAX_L1_TX_LIMIT,
635
679
  };
636
680
 
637
681
  if (!request.gas && !gasConfig.ignoreBlockGasLimit) {
638
- // LARGE_GAS_LIMIT is set as call.gas, increase block gasLimit
639
- blockOverrides.gasLimit = LARGE_GAS_LIMIT * 2n;
682
+ // MAX_L1_TX_LIMIT is set as call.gas, ensure block gasLimit is sufficient
683
+ blockOverrides.gasLimit = MAX_L1_TX_LIMIT;
640
684
  }
641
685
 
642
686
  return this._simulate(call, blockOverrides, stateOverrides, gasConfig, abi);
@@ -659,7 +703,6 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
659
703
  { nonce, account },
660
704
  );
661
705
  await this.updateState(state, TxUtilsState.NOT_MINED);
662
- this.nonceManager.reset({ address: account, chainId: this.client.chain.id });
663
706
  return;
664
707
  }
665
708
 
@@ -671,7 +714,6 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
671
714
  { nonce, account, currentNonce },
672
715
  );
673
716
  await this.updateState(state, TxUtilsState.NOT_MINED);
674
- this.nonceManager.reset({ address: account, chainId: this.client.chain.id });
675
717
  return;
676
718
  }
677
719
 
@@ -731,8 +773,17 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
731
773
  return Number(timestamp) * 1000;
732
774
  }
733
775
 
734
- /** Makes empty blob inputs for the cancellation tx. To be overridden in L1TxUtilsWithBlobs. */
735
- protected makeEmptyBlobInputs(_maxFeePerBlobGas: bigint): Required<L1BlobInputs> {
736
- throw new Error('Cannot make empty blob inputs for cancellation');
776
+ /** Makes empty blob inputs for the cancellation tx. */
777
+ protected makeEmptyBlobInputs(maxFeePerBlobGas: bigint): Required<L1BlobInputs> {
778
+ if (!this.kzg) {
779
+ throw new Error('Cannot make empty blob inputs for cancellation without kzg');
780
+ }
781
+ const blobData = new Uint8Array(131072).fill(0);
782
+ return { blobs: [blobData], kzg: this.kzg, maxFeePerBlobGas };
783
+ }
784
+
785
+ /** Creates a new delayer instance. */
786
+ protected createDelayer(opts: { ethereumSlotDuration: bigint | number }, bindings: LoggerBindings): Delayer {
787
+ return createDelayer(this.dateProvider, opts, bindings);
737
788
  }
738
789
  }
@@ -27,7 +27,7 @@ import type { ViemClient } from '../types.js';
27
27
  import { type L1TxUtilsConfig, defaultL1TxUtilsConfig, l1TxUtilsConfigMappings } from './config.js';
28
28
  import {
29
29
  BLOCK_TIME_MS,
30
- LARGE_GAS_LIMIT,
30
+ MAX_L1_TX_LIMIT,
31
31
  MIN_BLOB_REPLACEMENT_BUMP_PERCENTAGE,
32
32
  MIN_REPLACEMENT_BUMP_PERCENTAGE,
33
33
  WEI_CONST,
@@ -130,9 +130,10 @@ export class ReadOnlyL1TxUtils {
130
130
  const numBlocks = Math.ceil(gasConfig.stallTimeMs! / BLOCK_TIME_MS);
131
131
  for (let i = 0; i < numBlocks; i++) {
132
132
  // each block can go up 12.5% from previous baseFee
133
- maxFeePerGas = (maxFeePerGas * (1_000n + 125n)) / 1_000n;
133
+ // ceil, (a+b-1)/b, to avoid truncation at small values (e.g. 1 wei blob base fee)
134
+ maxFeePerGas = (maxFeePerGas * (1_000n + 125n) + 999n) / 1_000n;
134
135
  // same for blob gas fee
135
- maxFeePerBlobGas = (maxFeePerBlobGas * (1_000n + 125n)) / 1_000n;
136
+ maxFeePerBlobGas = (maxFeePerBlobGas * (1_000n + 125n) + 999n) / 1_000n;
136
137
  }
137
138
 
138
139
  if (attempt > 0) {
@@ -242,14 +243,17 @@ export class ReadOnlyL1TxUtils {
242
243
  const gasConfig = { ...this.config, ..._gasConfig };
243
244
  let initialEstimate = 0n;
244
245
  if (_blobInputs) {
245
- // @note requests with blobs also require maxFeePerBlobGas to be set
246
+ // @note requests with blobs also require maxFeePerBlobGas to be set.
247
+ // Use 2x buffer for maxFeePerBlobGas to avoid stale fees and to pass EIP-4844 validation (even if it is a gas estimation call).
248
+ // 1. maxFeePerBlobGas >= blobBaseFee
249
+ // 2. account balance >= gas * maxFeePerGas + maxFeePerBlobGas * blobCount + value
246
250
  const gasPrice = await this.getGasPrice(gasConfig, true, 0);
247
251
  initialEstimate = await this.client.estimateGas({
248
252
  account,
249
253
  ...request,
250
254
  ..._blobInputs,
251
- maxFeePerBlobGas: gasPrice.maxFeePerBlobGas!,
252
- gas: LARGE_GAS_LIMIT,
255
+ maxFeePerBlobGas: gasPrice.maxFeePerBlobGas! * 2n,
256
+ gas: MAX_L1_TX_LIMIT,
253
257
  blockTag: 'latest',
254
258
  });
255
259
 
@@ -258,7 +262,7 @@ export class ReadOnlyL1TxUtils {
258
262
  initialEstimate = await this.client.estimateGas({
259
263
  account,
260
264
  ...request,
261
- gas: LARGE_GAS_LIMIT,
265
+ gas: MAX_L1_TX_LIMIT,
262
266
  blockTag: 'latest',
263
267
  });
264
268
  this.logger?.trace(`Estimated gas for non-blob tx: ${initialEstimate}`);
@@ -1,5 +1,5 @@
1
1
  import { omit } from '@aztec/foundation/collection';
2
- import { type Logger, createLogger } from '@aztec/foundation/log';
2
+ import { type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
3
3
  import { retryUntil } from '@aztec/foundation/retry';
4
4
  import type { DateProvider } from '@aztec/foundation/timer';
5
5
 
@@ -9,14 +9,16 @@ import {
9
9
  type Hex,
10
10
  type PublicClient,
11
11
  type TransactionSerializableEIP4844,
12
+ type TransactionSerialized,
12
13
  keccak256,
13
14
  parseTransaction,
14
15
  publicActions,
16
+ recoverTransactionAddress,
15
17
  serializeTransaction,
16
18
  walletActions,
17
19
  } from 'viem';
18
20
 
19
- import { type ViemClient, isExtendedClient } from '../types.js';
21
+ import type { ExtendedViemWalletClient, ViemClient } from '../types.js';
20
22
 
21
23
  const MAX_WAIT_TIME_SECONDS = 180;
22
24
 
@@ -73,82 +75,102 @@ export function waitUntilL1Timestamp<T extends Client>(
73
75
  );
74
76
  }
75
77
 
76
- export interface Delayer {
77
- /** Returns the hashes of all effectively sent txs. */
78
- getSentTxHashes(): Hex[];
79
- /** Returns the raw hex for all cancelled txs. */
80
- getCancelledTxs(): Hex[];
81
- /** Delays the next tx to be sent so it lands on the given L1 block number. */
82
- pauseNextTxUntilBlock(l1BlockNumber: number | bigint | undefined): void;
83
- /** Delays the next tx to be sent so it lands on the given timestamp. */
84
- pauseNextTxUntilTimestamp(l1Timestamp: number | bigint | undefined): void;
85
- /** Delays the next tx to be sent indefinitely. */
86
- cancelNextTx(): void;
87
- /**
88
- * Sets max inclusion time into slot. If more than this many seconds have passed
89
- * since the last L1 block was mined, then any tx will not be mined in the current
90
- * L1 slot but will be deferred for the next one.
91
- */
92
- setMaxInclusionTimeIntoSlot(seconds: number | bigint | undefined): void;
93
- }
78
+ /** Manages tx delaying for testing, intercepting sendRawTransaction calls to delay or cancel them. */
79
+ export class Delayer {
80
+ private logger: Logger;
81
+
82
+ public maxInclusionTimeIntoSlot: number | undefined = undefined;
83
+ public ethereumSlotDuration: bigint;
84
+ public nextWait:
85
+ | { l1Timestamp: bigint; timeoutSeconds?: number }
86
+ | { l1BlockNumber: bigint; timeoutSeconds?: number }
87
+ | { indefinitely: true }
88
+ | undefined = undefined;
89
+ public sentTxHashes: Hex[] = [];
90
+ public cancelledTxs: Hex[] = [];
94
91
 
95
- class DelayerImpl implements Delayer {
96
- private logger = createLogger('ethereum:tx_delayer');
97
92
  constructor(
98
93
  public dateProvider: DateProvider,
99
94
  opts: { ethereumSlotDuration: bigint | number },
95
+ bindings: LoggerBindings,
100
96
  ) {
101
97
  this.ethereumSlotDuration = BigInt(opts.ethereumSlotDuration);
98
+ this.logger = createLogger('ethereum:tx_delayer', bindings);
102
99
  }
103
100
 
104
- public maxInclusionTimeIntoSlot: number | undefined = undefined;
105
- public ethereumSlotDuration: bigint;
106
- public nextWait: { l1Timestamp: bigint } | { l1BlockNumber: bigint } | { indefinitely: true } | undefined = undefined;
107
- public sentTxHashes: Hex[] = [];
108
- public cancelledTxs: Hex[] = [];
101
+ /** Returns the logger instance used by this delayer. */
102
+ getLogger(): Logger {
103
+ return this.logger;
104
+ }
109
105
 
106
+ /** Returns the hashes of all effectively sent txs. */
110
107
  getSentTxHashes() {
111
108
  return this.sentTxHashes;
112
109
  }
113
110
 
111
+ /** Returns the raw hex for all cancelled txs. */
114
112
  getCancelledTxs(): Hex[] {
115
113
  return this.cancelledTxs;
116
114
  }
117
115
 
118
- pauseNextTxUntilBlock(l1BlockNumber: number | bigint) {
119
- this.nextWait = { l1BlockNumber: BigInt(l1BlockNumber) };
116
+ /** Delays the next tx to be sent so it lands on the given L1 block number. */
117
+ pauseNextTxUntilBlock(l1BlockNumber: number | bigint, timeoutSeconds?: number) {
118
+ this.nextWait = { l1BlockNumber: BigInt(l1BlockNumber), timeoutSeconds };
120
119
  }
121
120
 
122
- pauseNextTxUntilTimestamp(l1Timestamp: number | bigint) {
123
- this.nextWait = { l1Timestamp: BigInt(l1Timestamp) };
121
+ /** Delays the next tx to be sent so it lands on the given timestamp. */
122
+ pauseNextTxUntilTimestamp(l1Timestamp: number | bigint, timeoutSeconds?: number) {
123
+ this.nextWait = { l1Timestamp: BigInt(l1Timestamp), timeoutSeconds };
124
124
  }
125
125
 
126
+ /** Delays the next tx to be sent indefinitely. */
126
127
  cancelNextTx() {
127
128
  this.nextWait = { indefinitely: true };
128
129
  }
129
130
 
131
+ /**
132
+ * Sets max inclusion time into slot. If more than this many seconds have passed
133
+ * since the last L1 block was mined, then any tx will not be mined in the current
134
+ * L1 slot but will be deferred for the next one.
135
+ */
130
136
  setMaxInclusionTimeIntoSlot(seconds: number | undefined) {
131
137
  this.maxInclusionTimeIntoSlot = seconds;
132
138
  }
133
139
  }
134
140
 
135
141
  /**
136
- * Returns a new client (without modifying the one passed in) with an injected tx delayer.
137
- * The delayer can be used to hold off the next tx to be sent until a given block number.
138
- * TODO(#10824): This doesn't play along well with blob txs for some reason.
142
+ * Creates a new Delayer instance. Exposed so callers can create a single shared delayer
143
+ * and pass it to multiple `wrapClientWithDelayer` calls.
139
144
  */
140
- export function withDelayer<T extends ViemClient>(
141
- client: T,
145
+ export function createDelayer(
142
146
  dateProvider: DateProvider,
143
147
  opts: { ethereumSlotDuration: bigint | number },
144
- ): { client: T; delayer: Delayer } {
145
- if (!isExtendedClient(client)) {
146
- throw new Error('withDelayer has to be instantiated with a wallet viem client.');
148
+ bindings: LoggerBindings,
149
+ ): Delayer {
150
+ return new Delayer(dateProvider, opts, bindings);
151
+ }
152
+
153
+ /** Tries to recover the sender address from a serialized signed transaction. */
154
+ async function tryRecoverSender(serializedTransaction: Hex): Promise<string | undefined> {
155
+ try {
156
+ return await recoverTransactionAddress({
157
+ serializedTransaction: serializedTransaction as TransactionSerialized,
158
+ });
159
+ } catch {
160
+ return undefined;
147
161
  }
148
- const logger = createLogger('ethereum:tx_delayer');
149
- const delayer = new DelayerImpl(dateProvider, opts);
162
+ }
150
163
 
151
- const extended = client
164
+ /**
165
+ * Wraps a viem client with tx delaying logic. Returns the wrapped client.
166
+ * The delayer intercepts sendRawTransaction calls and delays them based on the delayer's state.
167
+ */
168
+ export function wrapClientWithDelayer<T extends ViemClient>(client: T, delayer: Delayer): T {
169
+ const logger = delayer.getLogger();
170
+
171
+ // Cast to ExtendedViemWalletClient for the extend chain since it has sendRawTransaction.
172
+ // The sendRawTransaction override is applied to all clients regardless of type.
173
+ const withRawTx = (client as unknown as ExtendedViemWalletClient)
152
174
  // Tweak sendRawTransaction so it uses the delay defined in the delayer.
153
175
  // Note that this will only work with local accounts (ie accounts for which we have the private key).
154
176
  // Transactions signed by the node will not be delayed since they use sendTransaction directly,
@@ -160,6 +182,7 @@ export function withDelayer<T extends ViemClient>(
160
182
 
161
183
  const { serializedTransaction } = args[0];
162
184
  const publicClient = client as unknown as PublicClient;
185
+ const sender = await tryRecoverSender(serializedTransaction);
163
186
 
164
187
  if (delayer.nextWait !== undefined) {
165
188
  // Check if we have been instructed to delay the next tx.
@@ -171,7 +194,7 @@ export function withDelayer<T extends ViemClient>(
171
194
 
172
195
  // Cancel tx outright if instructed
173
196
  if ('indefinitely' in waitUntil && waitUntil.indefinitely) {
174
- logger.info(`Cancelling tx ${txHash}`);
197
+ logger.info(`Cancelling tx ${txHash}`, { sender });
175
198
  delayer.cancelledTxs.push(serializedTransaction);
176
199
  return Promise.resolve(txHash);
177
200
  }
@@ -179,12 +202,18 @@ export function withDelayer<T extends ViemClient>(
179
202
  // Or wait until the desired block number or timestamp
180
203
  wait =
181
204
  'l1BlockNumber' in waitUntil
182
- ? waitUntilBlock(publicClient, waitUntil.l1BlockNumber - 1n, logger)
205
+ ? waitUntilBlock(publicClient, waitUntil.l1BlockNumber - 1n, logger, waitUntil.timeoutSeconds)
183
206
  : 'l1Timestamp' in waitUntil
184
- ? waitUntilL1Timestamp(publicClient, waitUntil.l1Timestamp - delayer.ethereumSlotDuration, logger)
207
+ ? waitUntilL1Timestamp(
208
+ publicClient,
209
+ waitUntil.l1Timestamp - delayer.ethereumSlotDuration,
210
+ logger,
211
+ waitUntil.timeoutSeconds,
212
+ )
185
213
  : undefined;
186
214
 
187
215
  logger.info(`Delaying tx ${txHash} until ${inspect(waitUntil)}`, {
216
+ sender,
188
217
  argsLen: args.length,
189
218
  ...omit(parseTransaction(serializedTransaction), 'data', 'sidecars'),
190
219
  });
@@ -196,6 +225,7 @@ export function withDelayer<T extends ViemClient>(
196
225
 
197
226
  txHash = computeTxHash(serializedTransaction);
198
227
  const logData = {
228
+ sender,
199
229
  ...omit(parseTransaction(serializedTransaction), 'data', 'sidecars'),
200
230
  lastBlockTimestamp,
201
231
  now,
@@ -225,28 +255,35 @@ export function withDelayer<T extends ViemClient>(
225
255
  computedTxHash: txHash,
226
256
  });
227
257
  }
228
- logger.info(`Sent previously delayed tx ${clientTxHash}`);
258
+ logger.info(`Sent previously delayed tx ${clientTxHash}`, { sender });
229
259
  delayer.sentTxHashes.push(clientTxHash);
230
260
  })
231
261
  .catch(err => logger.error(`Error sending tx after delay`, err));
232
262
  return Promise.resolve(txHash!);
233
263
  } else {
234
264
  const txHash = await client.sendRawTransaction(...args);
235
- logger.debug(`Sent tx immediately ${txHash}`);
265
+ logger.debug(`Sent tx immediately ${txHash}`, { sender });
236
266
  delayer.sentTxHashes.push(txHash);
237
267
  return txHash;
238
268
  }
239
269
  },
240
- }))
241
- // Re-extend with sendTransaction so it uses the modified sendRawTransaction.
242
- .extend(client => ({ sendTransaction: walletActions(client).sendTransaction }))
243
- // And with the actions that depend on the modified sendTransaction
244
- .extend(client => ({
245
- writeContract: walletActions(client).writeContract,
246
- deployContract: walletActions(client).deployContract,
247
- })) as T;
270
+ }));
271
+
272
+ // Only re-bind wallet actions (sendTransaction, writeContract, deployContract) for wallet clients.
273
+ // This is needed for tests that use wallet actions directly rather than sendRawTransaction.
274
+ const isWalletClient = 'account' in client && client.account !== undefined;
275
+ const extended = isWalletClient
276
+ ? withRawTx
277
+ // Re-extend with sendTransaction so it uses the modified sendRawTransaction.
278
+ .extend(client => ({ sendTransaction: walletActions(client).sendTransaction }))
279
+ // And with the actions that depend on the modified sendTransaction
280
+ .extend(client => ({
281
+ writeContract: walletActions(client).writeContract,
282
+ deployContract: walletActions(client).deployContract,
283
+ }))
284
+ : withRawTx;
248
285
 
249
- return { client: extended, delayer };
286
+ return extended as T;
250
287
  }
251
288
 
252
289
  /**