@aztec/ethereum 0.0.1-commit.cd76b27 → 0.0.1-commit.ce4f8c4f2

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 (57) hide show
  1. package/dest/client.d.ts +10 -2
  2. package/dest/client.d.ts.map +1 -1
  3. package/dest/client.js +13 -7
  4. package/dest/config.d.ts +3 -1
  5. package/dest/config.d.ts.map +1 -1
  6. package/dest/config.js +6 -0
  7. package/dest/contracts/multicall.d.ts +51 -2
  8. package/dest/contracts/multicall.d.ts.map +1 -1
  9. package/dest/contracts/multicall.js +85 -0
  10. package/dest/contracts/registry.d.ts +3 -1
  11. package/dest/contracts/registry.d.ts.map +1 -1
  12. package/dest/contracts/registry.js +30 -1
  13. package/dest/contracts/rollup.d.ts +21 -8
  14. package/dest/contracts/rollup.d.ts.map +1 -1
  15. package/dest/contracts/rollup.js +62 -12
  16. package/dest/generated/l1-contracts-defaults.d.ts +1 -1
  17. package/dest/generated/l1-contracts-defaults.js +1 -1
  18. package/dest/l1_artifacts.d.ts +69 -69
  19. package/dest/l1_reader.d.ts +3 -1
  20. package/dest/l1_reader.d.ts.map +1 -1
  21. package/dest/l1_reader.js +6 -1
  22. package/dest/l1_tx_utils/l1_tx_utils.d.ts +4 -3
  23. package/dest/l1_tx_utils/l1_tx_utils.d.ts.map +1 -1
  24. package/dest/l1_tx_utils/l1_tx_utils.js +14 -32
  25. package/dest/l1_tx_utils/readonly_l1_tx_utils.d.ts +1 -1
  26. package/dest/l1_tx_utils/readonly_l1_tx_utils.d.ts.map +1 -1
  27. package/dest/l1_tx_utils/readonly_l1_tx_utils.js +8 -4
  28. package/dest/publisher_manager.d.ts +21 -7
  29. package/dest/publisher_manager.d.ts.map +1 -1
  30. package/dest/publisher_manager.js +81 -7
  31. package/dest/test/chain_monitor.d.ts +22 -3
  32. package/dest/test/chain_monitor.d.ts.map +1 -1
  33. package/dest/test/chain_monitor.js +33 -2
  34. package/dest/test/eth_cheat_codes.d.ts +6 -4
  35. package/dest/test/eth_cheat_codes.d.ts.map +1 -1
  36. package/dest/test/eth_cheat_codes.js +6 -4
  37. package/dest/test/start_anvil.d.ts +23 -3
  38. package/dest/test/start_anvil.d.ts.map +1 -1
  39. package/dest/test/start_anvil.js +143 -29
  40. package/dest/utils.d.ts +1 -1
  41. package/dest/utils.d.ts.map +1 -1
  42. package/dest/utils.js +16 -12
  43. package/package.json +5 -7
  44. package/src/client.ts +10 -2
  45. package/src/config.ts +12 -0
  46. package/src/contracts/multicall.ts +65 -1
  47. package/src/contracts/registry.ts +31 -1
  48. package/src/contracts/rollup.ts +79 -24
  49. package/src/generated/l1-contracts-defaults.ts +1 -1
  50. package/src/l1_reader.ts +13 -1
  51. package/src/l1_tx_utils/l1_tx_utils.ts +14 -21
  52. package/src/l1_tx_utils/readonly_l1_tx_utils.ts +8 -4
  53. package/src/publisher_manager.ts +105 -10
  54. package/src/test/chain_monitor.ts +60 -3
  55. package/src/test/eth_cheat_codes.ts +6 -4
  56. package/src/test/start_anvil.ts +177 -29
  57. package/src/utils.ts +17 -14
@@ -134,6 +134,14 @@ export type L1FeeData = {
134
134
  blobFee: bigint;
135
135
  };
136
136
 
137
+ /** Components of the minimum fee per mana, as returned by the L1 rollup contract. */
138
+ export type ManaMinFeeComponents = {
139
+ sequencerCost: bigint;
140
+ proverCost: bigint;
141
+ congestionCost: bigint;
142
+ congestionMultiplier: bigint;
143
+ };
144
+
137
145
  /**
138
146
  * Reward configuration for the rollup
139
147
  */
@@ -193,10 +201,10 @@ export type CheckpointProposedArgs = {
193
201
  checkpointNumber: CheckpointNumber;
194
202
  archive: Fr;
195
203
  versionedBlobHashes: Buffer[];
196
- /** Hash of attestations. Undefined for older events (backwards compatibility). */
197
- attestationsHash?: Buffer32;
198
- /** Digest of the payload. Undefined for older events (backwards compatibility). */
199
- payloadDigest?: Buffer32;
204
+ /** Hash of attestations emitted in the CheckpointProposed event. */
205
+ attestationsHash: Buffer32;
206
+ /** Digest of the payload emitted in the CheckpointProposed event. */
207
+ payloadDigest: Buffer32;
200
208
  };
201
209
 
202
210
  /** Log type for CheckpointProposed events. */
@@ -379,6 +387,20 @@ export class RollupContract {
379
387
  return Fr.fromString(await this.rollup.read.archiveAt([0n]));
380
388
  }
381
389
 
390
+ @memoize
391
+ async getVkTreeRoot(): Promise<Fr> {
392
+ const slot = BigInt(RollupContract.stfStorageSlot) + 3n;
393
+ const value = await this.client.getStorageAt({ address: this.address, slot: `0x${slot.toString(16)}` });
394
+ return Fr.fromString(value ?? '0x0');
395
+ }
396
+
397
+ @memoize
398
+ async getProtocolContractsHash(): Promise<Fr> {
399
+ const slot = BigInt(RollupContract.stfStorageSlot) + 4n;
400
+ const value = await this.client.getStorageAt({ address: this.address, slot: `0x${slot.toString(16)}` });
401
+ return Fr.fromString(value ?? '0x0');
402
+ }
403
+
382
404
  /**
383
405
  * Returns rollup constants used for epoch queries.
384
406
  * Return type is `L1RollupConstants` which is defined in stdlib,
@@ -392,16 +414,25 @@ export class RollupContract {
392
414
  epochDuration: number;
393
415
  proofSubmissionEpochs: number;
394
416
  targetCommitteeSize: number;
417
+ rollupManaLimit: number;
395
418
  }> {
396
- const [l1StartBlock, l1GenesisTime, slotDuration, epochDuration, proofSubmissionEpochs, targetCommitteeSize] =
397
- await Promise.all([
398
- this.getL1StartBlock(),
399
- this.getL1GenesisTime(),
400
- this.getSlotDuration(),
401
- this.getEpochDuration(),
402
- this.getProofSubmissionEpochs(),
403
- this.getTargetCommitteeSize(),
404
- ]);
419
+ const [
420
+ l1StartBlock,
421
+ l1GenesisTime,
422
+ slotDuration,
423
+ epochDuration,
424
+ proofSubmissionEpochs,
425
+ targetCommitteeSize,
426
+ rollupManaLimit,
427
+ ] = await Promise.all([
428
+ this.getL1StartBlock(),
429
+ this.getL1GenesisTime(),
430
+ this.getSlotDuration(),
431
+ this.getEpochDuration(),
432
+ this.getProofSubmissionEpochs(),
433
+ this.getTargetCommitteeSize(),
434
+ this.getManaLimit(),
435
+ ]);
405
436
  return {
406
437
  l1StartBlock,
407
438
  l1GenesisTime,
@@ -409,6 +440,7 @@ export class RollupContract {
409
440
  epochDuration: Number(epochDuration),
410
441
  proofSubmissionEpochs: Number(proofSubmissionEpochs),
411
442
  targetCommitteeSize,
443
+ rollupManaLimit: Number(rollupManaLimit),
412
444
  };
413
445
  }
414
446
 
@@ -503,8 +535,9 @@ export class RollupContract {
503
535
  return CheckpointNumber.fromBigInt(await this.rollup.read.getPendingCheckpointNumber());
504
536
  }
505
537
 
506
- async getProvenCheckpointNumber(): Promise<CheckpointNumber> {
507
- return CheckpointNumber.fromBigInt(await this.rollup.read.getProvenCheckpointNumber());
538
+ async getProvenCheckpointNumber(options?: { blockNumber?: bigint }): Promise<CheckpointNumber> {
539
+ await checkBlockTag(options?.blockNumber, this.client);
540
+ return CheckpointNumber.fromBigInt(await this.rollup.read.getProvenCheckpointNumber(options));
508
541
  }
509
542
 
510
543
  async getSlotNumber(): Promise<SlotNumber> {
@@ -745,14 +778,13 @@ export class RollupContract {
745
778
  * timestamp of the next L1 block
746
779
  * @throws otherwise
747
780
  */
748
- public async canProposeAtNextEthBlock(
781
+ public async canProposeAt(
749
782
  archive: Buffer,
750
783
  account: `0x${string}` | Account,
751
- slotDuration: number,
784
+ timestamp: bigint,
752
785
  opts: { forcePendingCheckpointNumber?: CheckpointNumber } = {},
753
786
  ): Promise<{ slot: SlotNumber; checkpointNumber: CheckpointNumber; timeOfNextL1Slot: bigint }> {
754
- const latestBlock = await this.client.getBlock();
755
- const timeOfNextL1Slot = latestBlock.timestamp + BigInt(slotDuration);
787
+ const timeOfNextL1Slot = timestamp;
756
788
  const who = typeof account === 'string' ? account : account.address;
757
789
 
758
790
  try {
@@ -852,6 +884,16 @@ export class RollupContract {
852
884
  return this.rollup.read.getManaMinFeeAt([timestamp, inFeeAsset]);
853
885
  }
854
886
 
887
+ async getManaMinFeeComponentsAt(timestamp: bigint, inFeeAsset: boolean): Promise<ManaMinFeeComponents> {
888
+ const result = await this.rollup.read.getManaMinFeeComponentsAt([timestamp, inFeeAsset]);
889
+ return {
890
+ sequencerCost: result.sequencerCost,
891
+ proverCost: result.proverCost,
892
+ congestionCost: result.congestionCost,
893
+ congestionMultiplier: result.congestionMultiplier,
894
+ };
895
+ }
896
+
855
897
  async getSlotAt(timestamp: bigint): Promise<SlotNumber> {
856
898
  return SlotNumber.fromBigInt(await this.rollup.read.getSlotAt([timestamp]));
857
899
  }
@@ -895,11 +937,10 @@ export class RollupContract {
895
937
  return this.rollup.read.getSpecificProverRewardsForEpoch([epoch, prover]);
896
938
  }
897
939
 
898
- async getAttesters(): Promise<EthAddress[]> {
940
+ async getAttesters(timestamp?: bigint): Promise<EthAddress[]> {
899
941
  const attesterSize = await this.getActiveAttesterCount();
900
942
  const gse = new GSEContract(this.client, await this.getGSE());
901
- const ts = (await this.client.getBlock()).timestamp;
902
-
943
+ const ts = timestamp ?? (await this.client.getBlock()).timestamp;
903
944
  const indices = Array.from({ length: attesterSize }, (_, i) => BigInt(i));
904
945
  const chunks = chunk(indices, 1000);
905
946
 
@@ -1060,8 +1101,22 @@ export class RollupContract {
1060
1101
  checkpointNumber: CheckpointNumber.fromBigInt(log.args.checkpointNumber!),
1061
1102
  archive: Fr.fromString(log.args.archive!),
1062
1103
  versionedBlobHashes: log.args.versionedBlobHashes!.map(h => Buffer.from(h.slice(2), 'hex')),
1063
- attestationsHash: log.args.attestationsHash ? Buffer32.fromString(log.args.attestationsHash) : undefined,
1064
- payloadDigest: log.args.payloadDigest ? Buffer32.fromString(log.args.payloadDigest) : undefined,
1104
+ attestationsHash: (() => {
1105
+ if (!log.args.attestationsHash) {
1106
+ throw new Error(
1107
+ `CheckpointProposed event missing attestationsHash for checkpoint ${log.args.checkpointNumber}`,
1108
+ );
1109
+ }
1110
+ return Buffer32.fromString(log.args.attestationsHash);
1111
+ })(),
1112
+ payloadDigest: (() => {
1113
+ if (!log.args.payloadDigest) {
1114
+ throw new Error(
1115
+ `CheckpointProposed event missing payloadDigest for checkpoint ${log.args.checkpointNumber}`,
1116
+ );
1117
+ }
1118
+ return Buffer32.fromString(log.args.payloadDigest);
1119
+ })(),
1065
1120
  },
1066
1121
  }));
1067
1122
  }
@@ -4,7 +4,7 @@
4
4
  /** Default L1 contracts configuration values from network-defaults.yml */
5
5
  export const l1ContractsDefaultEnv = {
6
6
  ETHEREUM_SLOT_DURATION: 12,
7
- AZTEC_SLOT_DURATION: 36,
7
+ AZTEC_SLOT_DURATION: 72,
8
8
  AZTEC_EPOCH_DURATION: 32,
9
9
  AZTEC_TARGET_COMMITTEE_SIZE: 48,
10
10
  AZTEC_LAG_IN_EPOCHS_FOR_VALIDATOR_SET: 2,
package/src/l1_reader.ts CHANGED
@@ -1,4 +1,9 @@
1
- import { type ConfigMappingsType, getConfigFromMappings, numberConfigHelper } from '@aztec/foundation/config';
1
+ import {
2
+ type ConfigMappingsType,
3
+ getConfigFromMappings,
4
+ numberConfigHelper,
5
+ optionalNumberConfigHelper,
6
+ } from '@aztec/foundation/config';
2
7
 
3
8
  import { type L1ContractAddresses, l1ContractAddressesMapping } from './l1_contract_addresses.js';
4
9
 
@@ -14,6 +19,8 @@ export interface L1ReaderConfig {
14
19
  l1Contracts: L1ContractAddresses;
15
20
  /** The polling interval viem uses in ms */
16
21
  viemPollingIntervalMS: number;
22
+ /** Timeout for HTTP requests to the L1 RPC node in ms. */
23
+ l1HttpTimeoutMS?: number;
17
24
  }
18
25
 
19
26
  export const l1ReaderConfigMappings: ConfigMappingsType<L1ReaderConfig> = {
@@ -43,6 +50,11 @@ export const l1ReaderConfigMappings: ConfigMappingsType<L1ReaderConfig> = {
43
50
  description: 'The polling interval viem uses in ms',
44
51
  ...numberConfigHelper(1_000),
45
52
  },
53
+ l1HttpTimeoutMS: {
54
+ env: 'ETHEREUM_HTTP_TIMEOUT_MS',
55
+ description: 'Timeout for HTTP requests to the L1 RPC node in ms.',
56
+ ...optionalNumberConfigHelper(),
57
+ },
46
58
  };
47
59
 
48
60
  export function getL1ReaderConfigFromEnv(): L1ReaderConfig {
@@ -14,16 +14,13 @@ import {
14
14
  type Abi,
15
15
  type BlockOverrides,
16
16
  type Hex,
17
- type NonceManager,
18
17
  type PrepareTransactionRequestRequest,
19
18
  type StateOverride,
20
19
  type TransactionReceipt,
21
20
  type TransactionSerializable,
22
- createNonceManager,
23
21
  formatGwei,
24
22
  serializeTransaction,
25
23
  } from 'viem';
26
- import { jsonRpc } from 'viem/nonce';
27
24
 
28
25
  import type { ViemClient } from '../types.js';
29
26
  import { formatViemError } from '../utils.js';
@@ -47,8 +44,9 @@ import {
47
44
  const MAX_L1_TX_STATES = 32;
48
45
 
49
46
  export class L1TxUtils extends ReadOnlyL1TxUtils {
50
- protected nonceManager: NonceManager;
51
47
  protected txs: L1TxState[] = [];
48
+ /** Last nonce successfully sent to the chain. Used as a lower bound when a fallback RPC node returns a stale count. */
49
+ private lastSentNonce: number | undefined;
52
50
  /** Tx delayer for testing. Only set when enableDelayer config is true. */
53
51
  public delayer?: Delayer;
54
52
  /** KZG instance for blob operations. */
@@ -68,7 +66,6 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
68
66
  delayer?: Delayer,
69
67
  ) {
70
68
  super(client, logger, dateProvider, config, debugMaxGasLimit);
71
- this.nonceManager = createNonceManager({ source: jsonRpc() });
72
69
  this.kzg = kzg;
73
70
 
74
71
  // Set up delayer: use provided one or create new
@@ -110,6 +107,11 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
110
107
  this.metrics?.recordMinedTx(l1TxState, new Date(l1Timestamp));
111
108
  } else if (newState === TxUtilsState.NOT_MINED) {
112
109
  this.metrics?.recordDroppedTx(l1TxState);
110
+ // The tx was dropped: the chain nonce reverted to l1TxState.nonce, so our lower bound is
111
+ // no longer valid. Clear it so the next send fetches the real nonce from the chain.
112
+ if (this.lastSentNonce === l1TxState.nonce) {
113
+ this.lastSentNonce = undefined;
114
+ }
113
115
  }
114
116
 
115
117
  // Update state in the store
@@ -244,9 +246,6 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
244
246
  throw new InterruptError(`Transaction sending is interrupted`);
245
247
  }
246
248
 
247
- // Check timeout before consuming nonce to avoid leaking a nonce that was never sent.
248
- // A leaked nonce creates a gap (e.g. nonce 107 consumed but unsent), so all subsequent
249
- // transactions (108, 109, ...) can never be mined since the chain expects 107 first.
250
249
  const now = new Date(await this.getL1Timestamp());
251
250
  if (gasConfig.txTimeoutAt && now > gasConfig.txTimeoutAt) {
252
251
  throw new TimeoutError(
@@ -254,11 +253,11 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
254
253
  );
255
254
  }
256
255
 
257
- const nonce = await this.nonceManager.consume({
258
- client: this.client,
259
- address: account,
260
- chainId: this.client.chain.id,
261
- });
256
+ const chainNonce = await this.client.getTransactionCount({ address: account, blockTag: 'pending' });
257
+ // If a fallback RPC node returns a stale count (lower than what we last sent), use our
258
+ // local lower bound to avoid sending a duplicate of an already-pending transaction.
259
+ const nonce =
260
+ this.lastSentNonce !== undefined && chainNonce <= this.lastSentNonce ? this.lastSentNonce + 1 : chainNonce;
262
261
 
263
262
  const baseState = { request, gasLimit, blobInputs, gasPrice, nonce };
264
263
  const txData = this.makeTxData(baseState, { isCancelTx: false });
@@ -266,6 +265,8 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
266
265
  // Send the new tx
267
266
  const signedRequest = await this.prepareSignedTransaction(txData);
268
267
  const txHash = await this.client.sendRawTransaction({ serializedTransaction: signedRequest });
268
+ // Update after tx is sent successfully
269
+ this.lastSentNonce = nonce;
269
270
 
270
271
  // Create the new state for monitoring
271
272
  const l1TxState: L1TxState = {
@@ -449,7 +450,6 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
449
450
  { nonce, account, pendingNonce, timePassed },
450
451
  );
451
452
  await this.updateState(state, TxUtilsState.NOT_MINED);
452
- this.nonceManager.reset({ address: account, chainId: this.client.chain.id });
453
453
  throw new DroppedTransactionError(nonce, account);
454
454
  }
455
455
 
@@ -541,12 +541,7 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
541
541
 
542
542
  // Oh no, the transaction has timed out!
543
543
  if (isCancelTx || !gasConfig.cancelTxOnTimeout) {
544
- // If this was already a cancellation tx, or we are configured to not cancel txs, we just mark it as NOT_MINED
545
- // and reset the nonce manager, so the next tx that comes along can reuse the nonce if/when this tx gets dropped.
546
- // This is the nastiest scenario for us, since the new tx could acquire the next nonce, but then this tx is dropped,
547
- // and the new tx would never get mined. Eventually, the new tx would also drop.
548
544
  await this.updateState(state, TxUtilsState.NOT_MINED);
549
- this.nonceManager.reset({ address: account, chainId: this.client.chain.id });
550
545
  } else {
551
546
  // Otherwise we fire the cancellation without awaiting to avoid blocking the caller,
552
547
  // and monitor it in the background so we can speed it up as needed.
@@ -685,7 +680,6 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
685
680
  { nonce, account },
686
681
  );
687
682
  await this.updateState(state, TxUtilsState.NOT_MINED);
688
- this.nonceManager.reset({ address: account, chainId: this.client.chain.id });
689
683
  return;
690
684
  }
691
685
 
@@ -697,7 +691,6 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
697
691
  { nonce, account, currentNonce },
698
692
  );
699
693
  await this.updateState(state, TxUtilsState.NOT_MINED);
700
- this.nonceManager.reset({ address: account, chainId: this.client.chain.id });
701
694
  return;
702
695
  }
703
696
 
@@ -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,13 +243,16 @@ 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!,
255
+ maxFeePerBlobGas: gasPrice.maxFeePerBlobGas! * 2n,
252
256
  gas: MAX_L1_TX_LIMIT,
253
257
  blockTag: 'latest',
254
258
  });
@@ -1,6 +1,8 @@
1
1
  import { pick } from '@aztec/foundation/collection';
2
2
  import { type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
3
+ import { RunningPromise } from '@aztec/foundation/running-promise';
3
4
 
5
+ import { Multicall3 } from './contracts/multicall.js';
4
6
  import { L1TxUtils, TxUtilsState } from './l1_tx_utils/index.js';
5
7
 
6
8
  // Defines the order in which we prioritise publishers based on their state (first is better)
@@ -27,24 +29,72 @@ const busyStates: TxUtilsState[] = [
27
29
 
28
30
  export type PublisherFilter<UtilsType extends L1TxUtils> = (utils: UtilsType) => boolean;
29
31
 
32
+ /** Config accepted by PublisherManager. */
33
+ type PublisherManagerConfig = {
34
+ publisherAllowInvalidStates?: boolean;
35
+ publisherFundingThreshold?: bigint;
36
+ publisherFundingAmount?: bigint;
37
+ };
38
+
30
39
  export class PublisherManager<UtilsType extends L1TxUtils = L1TxUtils> {
31
40
  private log: Logger;
32
- private config: { publisherAllowInvalidStates?: boolean };
41
+ private config: PublisherManagerConfig;
42
+ private static readonly FUNDING_CHECK_INTERVAL_MS = 2 * 60 * 1000;
43
+ private funder?: UtilsType;
44
+ private fundingPromise?: RunningPromise;
33
45
 
34
46
  constructor(
35
47
  private publishers: UtilsType[],
36
- config: { publisherAllowInvalidStates?: boolean },
37
- bindings?: LoggerBindings,
48
+ config: PublisherManagerConfig,
49
+ opts?: { bindings?: LoggerBindings; funder?: UtilsType },
38
50
  ) {
39
- this.log = createLogger('publisher:manager', bindings);
51
+ this.funder = opts?.funder;
52
+ this.log = createLogger('publisher:manager', opts?.bindings);
40
53
  this.log.info(`PublisherManager initialized with ${publishers.length} publishers.`);
41
54
  this.publishers = publishers;
42
- this.config = pick(config, 'publisherAllowInvalidStates');
55
+ this.config = pick(config, 'publisherAllowInvalidStates', 'publisherFundingThreshold', 'publisherFundingAmount');
56
+
57
+ const hasThreshold = this.config.publisherFundingThreshold !== undefined;
58
+ const hasAmount = this.config.publisherFundingAmount !== undefined;
59
+ if (hasThreshold !== hasAmount) {
60
+ this.log.warn(`Incomplete funding config: both publisherFundingThreshold and publisherFundingAmount must be set`);
61
+ }
62
+
63
+ if (this.funder) {
64
+ const funderAddress = this.funder.getSenderAddress();
65
+ if (publishers.some(p => p.getSenderAddress().equals(funderAddress))) {
66
+ this.log.error(`Funding account ${funderAddress} is also a publisher, disabling funding to avoid self-funding`);
67
+ this.funder = undefined;
68
+ }
69
+ }
43
70
  }
44
71
 
45
- /** Loads the state of all publishers and resumes monitoring any pending txs */
46
- public async loadState(): Promise<void> {
47
- await Promise.all(this.publishers.map(pub => pub.loadStateAndResumeMonitoring()));
72
+ /** Loads the state of all publishers and the funder, and starts periodic funding checks. */
73
+ public async start(): Promise<void> {
74
+ await Promise.all([
75
+ ...this.publishers.map(pub => pub.loadStateAndResumeMonitoring()),
76
+ this.funder?.loadStateAndResumeMonitoring(),
77
+ ]);
78
+
79
+ if (
80
+ this.funder &&
81
+ this.config.publisherFundingThreshold !== undefined &&
82
+ this.config.publisherFundingAmount !== undefined
83
+ ) {
84
+ this.fundingPromise = new RunningPromise(
85
+ () => this.triggerFundingIfNeeded(),
86
+ this.log,
87
+ PublisherManager.FUNDING_CHECK_INTERVAL_MS,
88
+ );
89
+ this.fundingPromise.start();
90
+ }
91
+ }
92
+
93
+ /** Stops the funding loop and interrupts all publishers. */
94
+ public async stop(): Promise<void> {
95
+ await this.fundingPromise?.stop();
96
+ this.publishers.forEach(pub => pub.interrupt());
97
+ this.funder?.interrupt();
48
98
  }
49
99
 
50
100
  // Finds and prioritises available publishers based on
@@ -102,7 +152,52 @@ export class PublisherManager<UtilsType extends L1TxUtils = L1TxUtils> {
102
152
  return sortedPublishers[0].publisher;
103
153
  }
104
154
 
105
- public interrupt() {
106
- this.publishers.forEach(pub => pub.interrupt());
155
+ /** Check all publisher balances and fund those below threshold. */
156
+ private async triggerFundingIfNeeded(): Promise<void> {
157
+ const { funder, config } = this;
158
+ if (!funder || config.publisherFundingThreshold === undefined || config.publisherFundingAmount === undefined) {
159
+ return;
160
+ }
161
+
162
+ const allBalances = await Promise.all(
163
+ this.publishers.map(async pub => ({ balance: await pub.getSenderBalance(), publisher: pub })),
164
+ );
165
+ const lowBalance = allBalances.filter(p => p.balance < config.publisherFundingThreshold!);
166
+ if (lowBalance.length === 0) {
167
+ return;
168
+ }
169
+
170
+ const fundingAmount = config.publisherFundingAmount!;
171
+ const funderBalance = await funder.getSenderBalance();
172
+
173
+ if (funderBalance < 10n * fundingAmount) {
174
+ this.log.warn(`Funding account balance is low`, { funderBalance, threshold: 10n * fundingAmount });
175
+ }
176
+ const affordableCount = Number(funderBalance / fundingAmount);
177
+ if (affordableCount === 0) {
178
+ this.log.error(`Funding account balance too low to fund any publisher`, { funderBalance, fundingAmount });
179
+ return;
180
+ }
181
+ if (affordableCount < lowBalance.length) {
182
+ this.log.warn(`Funder can only afford ${affordableCount}/${lowBalance.length} publishers`, {
183
+ funderBalance,
184
+ fundingAmount,
185
+ });
186
+ }
187
+
188
+ const toFund = lowBalance.slice(0, affordableCount).map(p => p.publisher);
189
+ await this.fundPublishers(toFund);
190
+ }
191
+
192
+ /** Fund publishers via a single Multicall3 aggregate3Value transaction. */
193
+ private async fundPublishers(publishers: UtilsType[]): Promise<void> {
194
+ const fundingAmount = this.config.publisherFundingAmount!;
195
+ const calls = publishers.map(pub => ({
196
+ to: pub.getSenderAddress().toString(),
197
+ value: fundingAmount,
198
+ }));
199
+
200
+ await Multicall3.forwardValue(calls, this.funder!, this.log);
201
+ this.log.info(`Funded ${publishers.length} publishers`);
107
202
  }
108
203
  }
@@ -1,4 +1,4 @@
1
- import type { RollupContract } from '@aztec/ethereum/contracts';
1
+ import type { ManaMinFeeComponents, RollupContract } from '@aztec/ethereum/contracts';
2
2
  import { InboxContract } from '@aztec/ethereum/contracts';
3
3
  import { CheckpointNumber, EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
4
4
  import { EthAddress } from '@aztec/foundation/eth-address';
@@ -10,6 +10,20 @@ import { EventEmitter } from 'events';
10
10
 
11
11
  import type { ViemClient } from '../types.js';
12
12
 
13
+ /** L2 fee data reported by the chain monitor. */
14
+ export type L2FeeData = ManaMinFeeComponents & {
15
+ /** Total minimum fee per mana in Fee Juice (sum of sequencerCost + proverCost + congestionCost). */
16
+ minFeePerMana: bigint;
17
+ /** L1 base fee observed by the oracle. */
18
+ l1BaseFee: bigint;
19
+ /** L1 blob fee observed by the oracle. */
20
+ l1BlobFee: bigint;
21
+ /** ETH per fee asset exchange rate (1e12 precision). */
22
+ ethPerFeeAsset: bigint;
23
+ /** Mana target per checkpoint. */
24
+ manaTarget: bigint;
25
+ };
26
+
13
27
  export type ChainMonitorEventMap = {
14
28
  'l1-block': [{ l1BlockNumber: number; timestamp: bigint }];
15
29
  checkpoint: [
@@ -19,6 +33,7 @@ export type ChainMonitorEventMap = {
19
33
  'l2-messages': [{ totalL2Messages: number; l1BlockNumber: number }];
20
34
  'l2-epoch': [{ l2EpochNumber: EpochNumber; timestamp: bigint; committee: EthAddress[] | undefined }];
21
35
  'l2-slot': [{ l2SlotNumber: SlotNumber; timestamp: bigint }];
36
+ 'l2-fees': [L2FeeData];
22
37
  };
23
38
 
24
39
  /** Utility class that polls the chain on quick intervals and logs new L1 blocks, L2 blocks, and L2 proofs. */
@@ -45,6 +60,8 @@ export class ChainMonitor extends EventEmitter<ChainMonitorEventMap> {
45
60
  public l2EpochNumber!: EpochNumber;
46
61
  /** Current L2 slot number */
47
62
  public l2SlotNumber!: SlotNumber;
63
+ /** Current L2 fee data (components of the minimum fee per mana). */
64
+ public l2FeeData!: L2FeeData;
48
65
 
49
66
  constructor(
50
67
  private readonly rollup: RollupContract,
@@ -77,7 +94,7 @@ export class ChainMonitor extends EventEmitter<ChainMonitorEventMap> {
77
94
  }
78
95
  }
79
96
 
80
- private async getInbox() {
97
+ protected async getInbox() {
81
98
  if (!this.inbox) {
82
99
  const { inboxAddress } = await this.rollup.getRollupAddresses();
83
100
  this.inbox = new InboxContract(this.l1Client, inboxAddress);
@@ -158,7 +175,7 @@ export class ChainMonitor extends EventEmitter<ChainMonitorEventMap> {
158
175
  this.l2EpochNumber = l2Epoch;
159
176
  committee = await this.rollup.getCurrentEpochCommittee();
160
177
  this.emit('l2-epoch', { l2EpochNumber: l2Epoch, timestamp, committee });
161
- msg += ` starting new epoch ${this.l2EpochNumber} `;
178
+ msg += ` starting new epoch ${this.l2EpochNumber}`;
162
179
  }
163
180
 
164
181
  if (l2SlotNumber !== this.l2SlotNumber) {
@@ -166,6 +183,13 @@ export class ChainMonitor extends EventEmitter<ChainMonitorEventMap> {
166
183
  this.emit('l2-slot', { l2SlotNumber, timestamp });
167
184
  }
168
185
 
186
+ const feeData = await this.fetchFeeData(timestamp);
187
+ if (this.hasFeeDataChanged(feeData)) {
188
+ msg += ` with L2 min fee ${feeData.minFeePerMana}`;
189
+ this.l2FeeData = feeData;
190
+ this.emit('l2-fees', feeData);
191
+ }
192
+
169
193
  this.logger.info(msg, {
170
194
  currentTimestamp: this.dateProvider.nowInSeconds(),
171
195
  l1Timestamp: timestamp,
@@ -176,6 +200,7 @@ export class ChainMonitor extends EventEmitter<ChainMonitorEventMap> {
176
200
  provenCheckpointNumber: this.provenCheckpointNumber,
177
201
  totalL2Messages: this.totalL2Messages,
178
202
  committee,
203
+ ...this.l2FeeData,
179
204
  });
180
205
 
181
206
  return this;
@@ -242,4 +267,36 @@ export class ChainMonitor extends EventEmitter<ChainMonitorEventMap> {
242
267
  this.on('checkpoint', listener);
243
268
  });
244
269
  }
270
+
271
+ private async fetchFeeData(timestamp: bigint): Promise<L2FeeData> {
272
+ const [components, minFeePerMana, l1Fees, ethPerFeeAsset, manaTarget] = await Promise.all([
273
+ this.rollup.getManaMinFeeComponentsAt(timestamp, true),
274
+ this.rollup.getManaMinFeeAt(timestamp, true),
275
+ this.rollup.getL1FeesAt(timestamp),
276
+ this.rollup.getEthPerFeeAsset(),
277
+ this.rollup.getManaTarget(),
278
+ ]);
279
+ return {
280
+ ...components,
281
+ minFeePerMana,
282
+ l1BaseFee: l1Fees.baseFee,
283
+ l1BlobFee: l1Fees.blobFee,
284
+ ethPerFeeAsset,
285
+ manaTarget,
286
+ };
287
+ }
288
+
289
+ private hasFeeDataChanged(newData: L2FeeData): boolean {
290
+ if (!this.l2FeeData) {
291
+ return true;
292
+ }
293
+ return (
294
+ this.l2FeeData.sequencerCost !== newData.sequencerCost ||
295
+ this.l2FeeData.proverCost !== newData.proverCost ||
296
+ this.l2FeeData.congestionCost !== newData.congestionCost ||
297
+ this.l2FeeData.l1BaseFee !== newData.l1BaseFee ||
298
+ this.l2FeeData.l1BlobFee !== newData.l1BlobFee ||
299
+ this.l2FeeData.ethPerFeeAsset !== newData.ethPerFeeAsset
300
+ );
301
+ }
245
302
  }
@@ -85,10 +85,12 @@ export class EthCheatCodes {
85
85
  }
86
86
 
87
87
  /**
88
- * Get the current timestamp
89
- * @returns The current timestamp
88
+ * Get the timestamp of the latest mined L1 block.
89
+ * Note: this is NOT the current time — it's the discrete timestamp of the last block.
90
+ * Between blocks, the actual chain time advances but no new block reflects it.
91
+ * @returns The latest block timestamp in seconds
90
92
  */
91
- public async timestamp(): Promise<number> {
93
+ public async lastBlockTimestamp(): Promise<number> {
92
94
  const res = await this.doRpcCall('eth_getBlockByNumber', ['latest', true]);
93
95
  return parseInt(res.timestamp, 16);
94
96
  }
@@ -552,7 +554,7 @@ export class EthCheatCodes {
552
554
  }
553
555
 
554
556
  public async syncDateProvider() {
555
- const timestamp = await this.timestamp();
557
+ const timestamp = await this.lastBlockTimestamp();
556
558
  if ('setTime' in this.dateProvider) {
557
559
  this.dateProvider.setTime(timestamp * 1000);
558
560
  }