@aztec/aztec 0.0.1-commit.b6e433891 → 0.0.1-commit.b9865e97

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 (105) hide show
  1. package/dest/bin/index.js +1 -1
  2. package/dest/cli/aztec_start_action.d.ts +1 -1
  3. package/dest/cli/aztec_start_action.d.ts.map +1 -1
  4. package/dest/cli/aztec_start_action.js +22 -9
  5. package/dest/cli/aztec_start_options.d.ts +2 -2
  6. package/dest/cli/aztec_start_options.d.ts.map +1 -1
  7. package/dest/cli/aztec_start_options.js +14 -14
  8. package/dest/cli/cmds/compile.d.ts +1 -1
  9. package/dest/cli/cmds/compile.d.ts.map +1 -1
  10. package/dest/cli/cmds/compile.js +8 -8
  11. package/dest/cli/cmds/profile.d.ts +1 -1
  12. package/dest/cli/cmds/profile.d.ts.map +1 -1
  13. package/dest/cli/cmds/profile.js +1 -1
  14. package/dest/cli/cmds/profile_gates.d.ts +2 -2
  15. package/dest/cli/cmds/profile_gates.d.ts.map +1 -1
  16. package/dest/cli/cmds/profile_gates.js +21 -3
  17. package/dest/cli/cmds/standby.d.ts +3 -5
  18. package/dest/cli/cmds/standby.d.ts.map +1 -1
  19. package/dest/cli/cmds/standby.js +3 -3
  20. package/dest/cli/cmds/start_bot.d.ts +1 -1
  21. package/dest/cli/cmds/start_bot.d.ts.map +1 -1
  22. package/dest/cli/cmds/start_bot.js +3 -3
  23. package/dest/cli/cmds/start_node.d.ts +1 -1
  24. package/dest/cli/cmds/start_node.d.ts.map +1 -1
  25. package/dest/cli/cmds/start_node.js +8 -24
  26. package/dest/cli/cmds/start_prover_agent.d.ts +1 -1
  27. package/dest/cli/cmds/start_prover_agent.d.ts.map +1 -1
  28. package/dest/cli/cmds/start_prover_agent.js +5 -17
  29. package/dest/cli/cmds/start_prover_broker.d.ts +1 -1
  30. package/dest/cli/cmds/start_prover_broker.d.ts.map +1 -1
  31. package/dest/cli/cmds/start_prover_broker.js +11 -8
  32. package/dest/cli/cmds/start_txe.d.ts +2 -2
  33. package/dest/cli/cmds/start_txe.d.ts.map +1 -1
  34. package/dest/cli/cmds/start_txe.js +6 -5
  35. package/dest/cli/cmds/utils/collect_crate_dirs.d.ts +21 -0
  36. package/dest/cli/cmds/utils/collect_crate_dirs.d.ts.map +1 -0
  37. package/dest/cli/cmds/utils/collect_crate_dirs.js +114 -0
  38. package/dest/cli/cmds/utils/needs_recompile.d.ts +1 -1
  39. package/dest/cli/cmds/utils/needs_recompile.d.ts.map +1 -1
  40. package/dest/cli/cmds/utils/needs_recompile.js +9 -53
  41. package/dest/cli/cmds/utils/warn_if_aztec_version_mismatch.d.ts +4 -0
  42. package/dest/cli/cmds/utils/warn_if_aztec_version_mismatch.d.ts.map +1 -0
  43. package/dest/cli/cmds/utils/warn_if_aztec_version_mismatch.js +61 -0
  44. package/dest/cli/util.js +7 -5
  45. package/dest/local-network/auth_registry.d.ts +5 -0
  46. package/dest/local-network/auth_registry.d.ts.map +1 -0
  47. package/dest/local-network/auth_registry.js +17 -0
  48. package/dest/local-network/banana_fpc.d.ts +3 -2
  49. package/dest/local-network/banana_fpc.d.ts.map +1 -1
  50. package/dest/local-network/banana_fpc.js +11 -7
  51. package/dest/local-network/local-network.d.ts +5 -28
  52. package/dest/local-network/local-network.d.ts.map +1 -1
  53. package/dest/local-network/local-network.js +36 -14
  54. package/dest/testing/anvil_test_watcher.d.ts +15 -3
  55. package/dest/testing/anvil_test_watcher.d.ts.map +1 -1
  56. package/dest/testing/anvil_test_watcher.js +68 -14
  57. package/dest/testing/cheat_codes.d.ts +18 -17
  58. package/dest/testing/cheat_codes.d.ts.map +1 -1
  59. package/dest/testing/cheat_codes.js +72 -36
  60. package/dest/testing/epoch_test_settler.d.ts +1 -1
  61. package/dest/testing/epoch_test_settler.d.ts.map +1 -1
  62. package/dest/testing/epoch_test_settler.js +6 -4
  63. package/dest/testing/index.d.ts +2 -2
  64. package/dest/testing/index.d.ts.map +1 -1
  65. package/package.json +34 -33
  66. package/scripts/add_crate.sh +11 -60
  67. package/scripts/aztec.sh +6 -2
  68. package/scripts/init.sh +5 -5
  69. package/scripts/new.sh +2 -2
  70. package/scripts/setup_workspace.sh +3 -2
  71. package/scripts/templates/blank/contract/Nargo.toml +6 -0
  72. package/scripts/templates/blank/contract/src/main.nr +10 -0
  73. package/scripts/templates/blank/test/Nargo.toml +7 -0
  74. package/scripts/templates/blank/test/src/lib.nr +11 -0
  75. package/scripts/templates/counter/contract/Nargo.toml +7 -0
  76. package/scripts/templates/counter/contract/src/main.nr +48 -0
  77. package/scripts/templates/counter/test/Nargo.toml +7 -0
  78. package/scripts/templates/counter/test/src/lib.nr +32 -0
  79. package/src/bin/index.ts +1 -1
  80. package/src/cli/aztec_start_action.ts +17 -9
  81. package/src/cli/aztec_start_options.ts +21 -22
  82. package/src/cli/cmds/compile.ts +10 -9
  83. package/src/cli/cmds/profile.ts +2 -1
  84. package/src/cli/cmds/profile_gates.ts +20 -4
  85. package/src/cli/cmds/standby.ts +4 -4
  86. package/src/cli/cmds/start_bot.ts +3 -5
  87. package/src/cli/cmds/start_node.ts +12 -16
  88. package/src/cli/cmds/start_prover_agent.ts +5 -8
  89. package/src/cli/cmds/start_prover_broker.ts +10 -11
  90. package/src/cli/cmds/start_txe.ts +7 -5
  91. package/src/cli/cmds/utils/collect_crate_dirs.ts +118 -0
  92. package/src/cli/cmds/utils/needs_recompile.ts +8 -61
  93. package/src/cli/cmds/utils/warn_if_aztec_version_mismatch.ts +76 -0
  94. package/src/cli/util.ts +7 -7
  95. package/src/local-network/auth_registry.ts +19 -0
  96. package/src/local-network/banana_fpc.ts +12 -8
  97. package/src/local-network/local-network.ts +39 -13
  98. package/src/testing/anvil_test_watcher.ts +76 -13
  99. package/src/testing/cheat_codes.ts +92 -39
  100. package/src/testing/epoch_test_settler.ts +3 -4
  101. package/src/testing/index.ts +1 -1
  102. package/dest/cli/cmds/start_archiver.d.ts +0 -9
  103. package/dest/cli/cmds/start_archiver.d.ts.map +0 -1
  104. package/dest/cli/cmds/start_archiver.js +0 -48
  105. package/src/cli/cmds/start_archiver.ts +0 -50
@@ -11,6 +11,7 @@ import { waitForPublicClient } from '@aztec/ethereum/client';
11
11
  import { getL1ContractsConfigEnvVars } from '@aztec/ethereum/config';
12
12
  import { NULL_KEY } from '@aztec/ethereum/constants';
13
13
  import { deployAztecL1Contracts } from '@aztec/ethereum/deploy-aztec-l1-contracts';
14
+ import type { L1ContractAddresses } from '@aztec/ethereum/l1-contract-addresses';
14
15
  import { EthCheatCodes } from '@aztec/ethereum/test';
15
16
  import { SecretValue } from '@aztec/foundation/config';
16
17
  import { EthAddress } from '@aztec/foundation/eth-address';
@@ -21,7 +22,8 @@ import { protocolContractsHash } from '@aztec/protocol-contracts';
21
22
  import { SequencerState } from '@aztec/sequencer-client';
22
23
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
23
24
  import type { ProvingJobBroker } from '@aztec/stdlib/interfaces/server';
24
- import type { PublicDataTreeLeaf } from '@aztec/stdlib/trees';
25
+ import { TxStatus } from '@aztec/stdlib/tx';
26
+ import type { GenesisData } from '@aztec/stdlib/world-state';
25
27
  import {
26
28
  type TelemetryClient,
27
29
  getConfigEnvVars as getTelemetryClientConfig,
@@ -40,11 +42,18 @@ import { DefaultMnemonic } from '../mnemonic.js';
40
42
  import { AnvilTestWatcher } from '../testing/anvil_test_watcher.js';
41
43
  import { EpochTestSettler } from '../testing/epoch_test_settler.js';
42
44
  import { getTokenAllowedSetupFunctions } from '../testing/token_allowed_setup.js';
45
+ import { publishStandardAuthRegistry } from './auth_registry.js';
43
46
  import { getBananaFPCAddress, setupBananaFPC } from './banana_fpc.js';
44
47
  import { getSponsoredFPCAddress } from './sponsored_fpc.js';
45
48
 
46
49
  const logger = createLogger('local-network');
47
50
 
51
+ // The embedded wallet defaults to waiting for PROPOSED, which returns as soon as a tx lands in a
52
+ // proposed L2 block. That is flaky for the serial sandbox setup below: a proposed block can be
53
+ // pruned before its checkpoint is published, dropping a tx we already moved on from ("Tx dropped by
54
+ // P2P node"). Wait for the checkpoint so each setup tx is durably included before the next is sent.
55
+ const setupWaitOpts = { waitForStatus: TxStatus.CHECKPOINTED };
56
+
48
57
  const localAnvil = foundry;
49
58
 
50
59
  /**
@@ -59,7 +68,7 @@ export async function deployContractsToL1(
59
68
  genesisArchiveRoot?: Fr;
60
69
  feeJuicePortalInitialBalance?: bigint;
61
70
  } = {},
62
- ) {
71
+ ): Promise<L1ContractAddresses> {
63
72
  await waitForPublicClient(aztecNodeConfig);
64
73
 
65
74
  const l1Contracts = await deployAztecL1Contracts(aztecNodeConfig.l1RpcUrls[0], privateKey, foundry.id, {
@@ -70,14 +79,14 @@ export async function deployContractsToL1(
70
79
  genesisArchiveRoot: opts.genesisArchiveRoot ?? new Fr(GENESIS_ARCHIVE_ROOT),
71
80
  feeJuicePortalInitialBalance: opts.feeJuicePortalInitialBalance,
72
81
  aztecTargetCommitteeSize: 0, // no committee in local network
73
- slasherFlavor: 'none', // no slashing in local network
82
+ slasherEnabled: false, // no slashing in local network
74
83
  realVerifier: false,
75
84
  });
76
85
 
77
- aztecNodeConfig.l1Contracts = l1Contracts.l1ContractAddresses;
86
+ Object.assign(aztecNodeConfig, l1Contracts.l1ContractAddresses);
78
87
  aztecNodeConfig.rollupVersion = l1Contracts.rollupVersion;
79
88
 
80
- return aztecNodeConfig.l1Contracts;
89
+ return l1Contracts.l1ContractAddresses;
81
90
  }
82
91
 
83
92
  /** Local network settings. */
@@ -151,7 +160,7 @@ export async function createLocalNetwork(config: Partial<LocalNetworkConfig> = {
151
160
  ...(initialAccounts.length ? [bananaFPC, sponsoredFPC] : []),
152
161
  ...prefundAddresses,
153
162
  ];
154
- const { genesisArchiveRoot, prefilledPublicData, fundingNeeded } = await getGenesisValues(fundedAddresses);
163
+ const { genesisArchiveRoot, genesis, fundingNeeded } = await getGenesisValues(fundedAddresses);
155
164
 
156
165
  const dateProvider = new TestDateProvider();
157
166
 
@@ -190,7 +199,7 @@ export async function createLocalNetwork(config: Partial<LocalNetworkConfig> = {
190
199
  const telemetry = await initTelemetryClient(getTelemetryClientConfig());
191
200
  // Create a local blob client client inside the local network, no http connectivity
192
201
  const blobClient = createBlobClient();
193
- const node = await createAztecNode(aztecNodeConfig, { telemetry, blobClient, dateProvider }, { prefilledPublicData });
202
+ const node = await createAztecNode(aztecNodeConfig, { telemetry, blobClient, dateProvider }, { genesis });
194
203
 
195
204
  // Now that the node is up, let the watcher check for pending txs so it can skip unfilled slots faster when
196
205
  // transactions are waiting in the mempool. Also let it check if the sequencer is actively building, to avoid
@@ -205,6 +214,21 @@ export async function createLocalNetwork(config: Partial<LocalNetworkConfig> = {
205
214
  SequencerState.SYNCHRONIZING,
206
215
  ]);
207
216
  watcher?.setIsSequencerBuilding(() => !idleStates.has(sequencer.getState()));
217
+ // Under proposer pipelining the L1 publish for slot N happens during wall-clock slot N,
218
+ // but the proposer for slot N has already built the checkpoint during slot N-1 and is
219
+ // waiting for L1 to advance. We need to fast-forward L1 to wake that wait — and the wait
220
+ // we have to break first is `waitForValidParentCheckpointOnL1`, which blocks the
221
+ // checkpoint_proposal_job's background submission task until the archiver has synced past
222
+ // the build slot. That wait happens *before* `PUBLISHING_CHECKPOINT` is set, so a hook on
223
+ // that state transition would be circular (L1 has to advance before the state we'd use to
224
+ // advance L1 fires). The earliest pre-wait signal is `block-proposed`, which the sequencer
225
+ // emits once each block is built. In sandbox single-block-per-slot mode this is
226
+ // effectively "checkpoint built", and the watcher warp is harmless if a subsequent
227
+ // assembly/validation/parent-wait step aborts: L1 just sits one slot ahead, which the
228
+ // cascade absorbs.
229
+ if (watcher) {
230
+ sequencer.on('block-proposed', ({ slot }) => watcher!.setProposedTargetSlot(Number(slot)));
231
+ }
208
232
  }
209
233
 
210
234
  let epochTestSettler: EpochTestSettler | undefined;
@@ -226,11 +250,14 @@ export async function createLocalNetwork(config: Partial<LocalNetworkConfig> = {
226
250
  });
227
251
 
228
252
  userLog('Setting up funded test accounts...');
229
- const accountManagers = await deployFundedSchnorrAccounts(wallet, initialAccounts);
253
+ const accountManagers = await deployFundedSchnorrAccounts(wallet, initialAccounts, setupWaitOpts);
230
254
  const accLogs = await createAccountLogs(accountManagers, wallet);
231
255
  userLog(accLogs.join(''));
232
256
 
233
- await setupBananaFPC(initialAccounts, wallet, userLog);
257
+ userLog('Publishing standard AuthRegistry contract...');
258
+ await publishStandardAuthRegistry(wallet, initialAccounts[0].address, setupWaitOpts);
259
+
260
+ await setupBananaFPC(initialAccounts, wallet, userLog, setupWaitOpts);
234
261
 
235
262
  userLog(`SponsoredFPC: ${await getSponsoredFPCAddress()}`);
236
263
 
@@ -259,14 +286,13 @@ export async function createAztecNode(
259
286
  dateProvider?: DateProvider;
260
287
  proverBroker?: ProvingJobBroker;
261
288
  } = {},
262
- options: { prefilledPublicData?: PublicDataTreeLeaf[] } = {},
289
+ options: { genesis?: GenesisData } = {},
263
290
  ) {
264
291
  // TODO(#12272): will clean this up. This is criminal.
265
- const { l1Contracts, ...rest } = getConfigEnvVars();
292
+ // Not sure why this was ever done. Will be fixed in A-989, A-991, A-990.
266
293
  const aztecNodeConfig: AztecNodeConfig = {
267
- ...rest,
294
+ ...getConfigEnvVars(),
268
295
  ...config,
269
- l1Contracts: { ...l1Contracts, ...config.l1Contracts },
270
296
  };
271
297
  const node = await AztecNodeService.createAndSync(
272
298
  aztecNodeConfig,
@@ -9,6 +9,11 @@ import { RollupAbi } from '@aztec/l1-artifacts/RollupAbi';
9
9
 
10
10
  import { type GetContractReturnType, getAddress, getContract } from 'viem';
11
11
 
12
+ export type AnvilTestWatcherOpts = {
13
+ isLocalNetwork?: boolean;
14
+ isMarkingAsProven?: boolean;
15
+ };
16
+
12
17
  /**
13
18
  * Represents a watcher for a rollup contract.
14
19
  *
@@ -17,7 +22,8 @@ import { type GetContractReturnType, getAddress, getContract } from 'viem';
17
22
  * block within the slot. And if so, it will time travel into the next slot.
18
23
  */
19
24
  export class AnvilTestWatcher {
20
- private isLocalNetwork: boolean = false;
25
+ private isLocalNetwork;
26
+ private isMarkingAsProven;
21
27
 
22
28
  private rollup: GetContractReturnType<typeof RollupAbi, ViemClient>;
23
29
  private rollupCheatCodes: RollupCheatCodes;
@@ -29,8 +35,6 @@ export class AnvilTestWatcher {
29
35
 
30
36
  private logger: Logger = createLogger(`aztecjs:utils:watcher`);
31
37
 
32
- private isMarkingAsProven = true;
33
-
34
38
  // Optional callback to check if there are pending txs in the mempool.
35
39
  private getPendingTxCount?: () => Promise<number>;
36
40
 
@@ -40,11 +44,18 @@ export class AnvilTestWatcher {
40
44
  // Tracks when we first observed the current unfilled slot with pending txs (real wall time).
41
45
  private unfilledSlotFirstSeen?: { slot: number; realTime: number };
42
46
 
47
+ // Latest target slot for which the proposer has built a block destined for L1 but which has
48
+ // not yet been committed. Set by the proposer-pipelining hook from `block-proposed` events so
49
+ // the watcher can advance L1 (and the injected date provider) to the target slot ahead of the
50
+ // publisher's `sendRequestsAt` sleep, instead of waiting a full wall-clock slot.
51
+ private proposedTargetSlot?: number;
52
+
43
53
  constructor(
44
54
  private cheatcodes: EthCheatCodes,
45
55
  rollupAddress: EthAddress,
46
56
  l1Client: ViemClient,
47
57
  private dateProvider?: TestDateProvider,
58
+ opts: AnvilTestWatcherOpts = {},
48
59
  ) {
49
60
  this.rollup = getContract({
50
61
  address: getAddress(rollupAddress.toString()),
@@ -56,6 +67,9 @@ export class AnvilTestWatcher {
56
67
  rollupAddress,
57
68
  });
58
69
 
70
+ this.isLocalNetwork = opts.isLocalNetwork ?? false;
71
+ this.isMarkingAsProven = opts.isMarkingAsProven ?? true;
72
+
59
73
  this.logger.debug(`Watcher created for rollup at ${rollupAddress}`);
60
74
  }
61
75
 
@@ -78,6 +92,18 @@ export class AnvilTestWatcher {
78
92
  this.isSequencerBuilding = fn;
79
93
  }
80
94
 
95
+ /**
96
+ * Records the target slot for which the proposer has built a block destined for L1. Used by
97
+ * the local-network watcher to fast-forward L1 (and the injected date provider) ahead of the
98
+ * pipelined publisher's `sendRequestsAt` sleep so it ends promptly instead of waiting a full
99
+ * wall-clock slot. Only ratchets up — late warps for stale slots are no-ops.
100
+ */
101
+ setProposedTargetSlot(slot: number) {
102
+ if (this.proposedTargetSlot === undefined || slot > this.proposedTargetSlot) {
103
+ this.proposedTargetSlot = slot;
104
+ }
105
+ }
106
+
81
107
  async start() {
82
108
  if (this.filledRunningPromise) {
83
109
  throw new Error('Watcher already watching for filled slot');
@@ -130,14 +156,21 @@ export class AnvilTestWatcher {
130
156
  return;
131
157
  }
132
158
 
133
- const l1Time = (await this.cheatcodes.timestamp()) * 1000;
159
+ const l1Time = (await this.cheatcodes.lastBlockTimestamp()) * 1000;
134
160
  const wallTime = this.dateProvider.now();
135
161
  if (l1Time > wallTime) {
136
162
  this.logger.warn(`L1 is ahead of wall time. Syncing wall time to L1 time`);
137
163
  this.dateProvider.setTime(l1Time);
138
164
  } else if (l1Time + Number(this.l2SlotDuration) * 1000 < wallTime) {
139
- this.logger.warn(`L1 is more than 1 L2 slot behind wall time. Warping to wall time`);
140
- await this.cheatcodes.warp(Math.ceil(wallTime / 1000));
165
+ // Warp L1 to the slot boundary at-or-before wall time. Rounding to a slot boundary (rather than
166
+ // `ceil(wallTime / 1000)`) keeps this loop's target aligned with `warpTimeIfNeeded`'s
167
+ // `nextSlotTimestamp` target, avoiding a race where the two loops pick timestamps a fraction of
168
+ // a second apart and one of them is then rejected by anvil as non-monotonic.
169
+ const wallSec = Math.floor(wallTime / 1000);
170
+ const targetSlot = await this.rollup.read.getSlotAt([BigInt(wallSec)]);
171
+ const targetTimestamp = Number(await this.rollup.read.getTimestampForSlot([targetSlot]));
172
+ this.logger.warn(`L1 is more than 1 L2 slot behind wall time. Warping to slot ${targetSlot} boundary`);
173
+ await this.warpToTimestamp(targetTimestamp);
141
174
  }
142
175
  }
143
176
 
@@ -151,8 +184,9 @@ export class AnvilTestWatcher {
151
184
 
152
185
  if (BigInt(currentSlot) === checkpointLog.slotNumber) {
153
186
  // The current slot has been filled, we should jump to the next slot.
154
- await this.warpToTimestamp(nextSlotTimestamp);
155
- this.logger.info(`Slot ${currentSlot} was filled, jumped to next slot`);
187
+ if (await this.warpToTimestamp(nextSlotTimestamp)) {
188
+ this.logger.info(`Slot ${currentSlot} was filled, jumped to next slot`);
189
+ }
156
190
  return;
157
191
  }
158
192
 
@@ -161,6 +195,20 @@ export class AnvilTestWatcher {
161
195
  return;
162
196
  }
163
197
 
198
+ // Pipelined-publish shortcut: if the proposer has built a block destined for a slot
199
+ // beyond the current L1 slot, fast-forward L1 to that slot's timestamp so the publisher's
200
+ // `sendRequestsAt(targetSlot)` sleep ends and the multicall mines inside the target slot.
201
+ // Without this, the publisher waits up to a full real-time slot for wall clock to catch up.
202
+ if (this.proposedTargetSlot !== undefined && this.proposedTargetSlot > currentSlot) {
203
+ const targetSlotTimestamp = Number(
204
+ await this.rollup.read.getTimestampForSlot([BigInt(this.proposedTargetSlot)]),
205
+ );
206
+ if (await this.warpToTimestamp(targetSlotTimestamp)) {
207
+ this.logger.info(`Warped L1 to target slot ${this.proposedTargetSlot} for pipelined publish`);
208
+ }
209
+ return;
210
+ }
211
+
164
212
  // If there are pending txs and the sequencer missed them, warp quickly (after a 2s real-time debounce) so the
165
213
  // sequencer can retry in the next slot. Without this, we'd have to wait a full real-time slot duration (~36s) for
166
214
  // the dateProvider to catch up to the next slot timestamp. We skip the warp if the sequencer is actively building
@@ -180,9 +228,10 @@ export class AnvilTestWatcher {
180
228
  }
181
229
 
182
230
  if (realNow - this.unfilledSlotFirstSeen.realTime > 2000) {
183
- await this.warpToTimestamp(nextSlotTimestamp);
231
+ if (await this.warpToTimestamp(nextSlotTimestamp)) {
232
+ this.logger.info(`Slot ${currentSlot} was missed with pending txs, jumped to next slot`);
233
+ }
184
234
  this.unfilledSlotFirstSeen = undefined;
185
- this.logger.info(`Slot ${currentSlot} was missed with pending txs, jumped to next slot`);
186
235
  }
187
236
 
188
237
  return;
@@ -192,19 +241,33 @@ export class AnvilTestWatcher {
192
241
  // Fallback: warp when the dateProvider time has passed the next slot timestamp.
193
242
  const currentTimestamp = this.dateProvider?.now() ?? Date.now();
194
243
  if (currentTimestamp > nextSlotTimestamp * 1000) {
195
- await this.warpToTimestamp(nextSlotTimestamp);
196
- this.logger.info(`Slot ${currentSlot} was missed, jumped to next slot`);
244
+ if (await this.warpToTimestamp(nextSlotTimestamp)) {
245
+ this.logger.info(`Slot ${currentSlot} was missed, jumped to next slot`);
246
+ }
197
247
  }
198
248
  } catch {
199
249
  this.logger.error('mineIfSlotFilled failed');
200
250
  }
201
251
  }
202
252
 
203
- private async warpToTimestamp(timestamp: number) {
253
+ /**
254
+ * Warps L1 to `timestamp`, unless L1 is already at or past it. Returns true when a warp actually
255
+ * happened, false when skipped or on error. Callers use the return value to gate success logs.
256
+ */
257
+ private async warpToTimestamp(timestamp: number): Promise<boolean> {
204
258
  try {
259
+ // Anvil rejects evm_setNextBlockTimestamp values <= the current block's timestamp. The two
260
+ // watcher loops can race and pick targets a fraction of a second apart; skip here rather than
261
+ // letting the second one error out noisily.
262
+ const lastTimestamp = await this.cheatcodes.lastBlockTimestamp();
263
+ if (timestamp <= lastTimestamp) {
264
+ return false;
265
+ }
205
266
  await this.cheatcodes.warp(timestamp, { resetBlockInterval: true });
267
+ return true;
206
268
  } catch (e) {
207
269
  this.logger.error(`Failed to warp to timestamp ${timestamp}: ${e}`);
270
+ return false;
208
271
  }
209
272
  }
210
273
  }
@@ -1,9 +1,9 @@
1
1
  import { EthCheatCodes, RollupCheatCodes } from '@aztec/ethereum/test';
2
- import { BlockNumber } from '@aztec/foundation/branded-types';
3
- import { retryUntil } from '@aztec/foundation/retry';
2
+ import { SlotNumber } from '@aztec/foundation/branded-types';
3
+ import { createLogger } from '@aztec/foundation/log';
4
4
  import type { DateProvider } from '@aztec/foundation/timer';
5
- import type { SequencerClient } from '@aztec/sequencer-client';
6
- import type { AztecNode } from '@aztec/stdlib/interfaces/client';
5
+ import type { AutomineSequencer } from '@aztec/sequencer-client';
6
+ import type { AztecNode, AztecNodeDebug } from '@aztec/stdlib/interfaces/client';
7
7
 
8
8
  /**
9
9
  * A class that provides utility functions for interacting with the chain.
@@ -12,68 +12,121 @@ import type { AztecNode } from '@aztec/stdlib/interfaces/client';
12
12
  * codes, please consider whether it makes sense to just introduce new utils in your tests instead.
13
13
  */
14
14
  export class CheatCodes {
15
+ private logger = createLogger('aztecjs:cheat_codes');
16
+
15
17
  constructor(
16
18
  /** Cheat codes for L1.*/
17
19
  public eth: EthCheatCodes,
18
20
  /** Cheat codes for the Aztec Rollup contract on L1. */
19
21
  public rollup: RollupCheatCodes,
22
+ /** When wired, redirects time-warps through the AutomineSequencer queue (test-only). */
23
+ private automine?: AutomineSequencer,
20
24
  ) {}
21
25
 
22
- static async create(rpcUrls: string[], node: AztecNode, dateProvider: DateProvider): Promise<CheatCodes> {
26
+ static async create(
27
+ rpcUrls: string[],
28
+ node: AztecNode,
29
+ dateProvider: DateProvider,
30
+ automine?: AutomineSequencer,
31
+ ): Promise<CheatCodes> {
23
32
  const ethCheatCodes = new EthCheatCodes(rpcUrls, dateProvider);
24
33
  const rollupCheatCodes = new RollupCheatCodes(
25
34
  ethCheatCodes,
26
35
  await node.getNodeInfo().then(n => n.l1ContractAddresses),
27
36
  );
28
- return new CheatCodes(ethCheatCodes, rollupCheatCodes);
37
+ return new CheatCodes(ethCheatCodes, rollupCheatCodes, automine);
29
38
  }
30
39
 
31
40
  /**
32
41
  * Warps the L1 timestamp to a target timestamp and mines an L2 block that advances the L2 timestamp to at least
33
- * the target timestamp. L2 timestamp is not advanced exactly to the target timestamp because it is determined
34
- * by the slot number, which advances in fixed intervals.
35
- * This is useful for testing time-dependent contract behavior.
36
- * @param sequencerClient - The sequencer client to use to force an empty block to be mined.
37
- * @param node - The Aztec node used to query if a new block has been mined.
42
+ * the target timestamp. If the target timestamp falls within the current L2 slot (which already has a block),
43
+ * the timestamp is automatically adjusted forward to the start of the next slot so that `mineBlock()` succeeds.
44
+ * @param node - The Aztec node used to force an empty block to be mined.
38
45
  * @param targetTimestamp - The target timestamp to warp to (in seconds)
39
46
  */
40
- async warpL2TimeAtLeastTo(sequencerClient: SequencerClient, node: AztecNode, targetTimestamp: bigint | number) {
41
- const currentL2BlockNumber: BlockNumber = await node.getBlockNumber();
47
+ async warpL2TimeAtLeastTo(node: AztecNode & AztecNodeDebug, targetTimestamp: bigint | number) {
48
+ const targetBigInt = BigInt(targetTimestamp);
49
+ const currentTimestamp = BigInt(await this.eth.lastBlockTimestamp());
42
50
 
43
- // We warp the L1 timestamp
44
- await this.eth.warp(targetTimestamp, { resetBlockInterval: true });
51
+ if (targetBigInt <= currentTimestamp) {
52
+ throw new Error(
53
+ `warpL2TimeAtLeastTo: target timestamp ${targetBigInt} is not in the future (current L1 timestamp is ${currentTimestamp}).`,
54
+ );
55
+ }
45
56
 
46
- // Wait until an L2 block is mined
47
- const sequencer = sequencerClient.getSequencer();
48
- const minTxsPerBlock = sequencer.getConfig().minTxsPerBlock;
49
- sequencer.updateConfig({ minTxsPerBlock: 0 });
57
+ // AutomineSequencer owns time control through its serial queue — delegate to keep warps atomic
58
+ // with respect to any in-flight build, and avoid the mineBlock-loop hack below.
59
+ // `warpTo` internally builds an empty L2 checkpoint, which auto-mines exactly one L1 block at
60
+ // the target slot boundary, so no separate `node.mineBlock()` is needed here.
61
+ if (this.automine) {
62
+ await this.automine.warpTo(Number(targetBigInt));
63
+ return;
64
+ }
50
65
 
51
- await retryUntil(
52
- async () => {
53
- const newL2BlockNumber: BlockNumber = await node.getBlockNumber();
54
- return newL2BlockNumber > currentL2BlockNumber;
55
- },
56
- 'new block after warping L2 time',
57
- 36,
58
- 1,
59
- );
66
+ const currentSlot = await this.rollup.getSlot();
67
+ const targetSlot = await this.rollup.getSlotAt(targetBigInt);
68
+
69
+ let effectiveTimestamp = targetBigInt;
70
+ let effectiveTargetSlot = targetSlot;
71
+
72
+ if (targetSlot <= currentSlot) {
73
+ // Target lands in the same (or earlier) slot — auto-adjust to the next slot's start.
74
+ const nextSlot = SlotNumber(currentSlot + 1);
75
+ const nextSlotTimestamp = await this.rollup.getTimestampForSlot(nextSlot);
76
+ this.logger.warn(
77
+ `warpL2TimeAtLeastTo: target timestamp ${targetBigInt} falls in current slot ${currentSlot}. ` +
78
+ `Auto-adjusting to start of slot ${nextSlot} at timestamp ${nextSlotTimestamp}.`,
79
+ );
80
+ effectiveTimestamp = nextSlotTimestamp;
81
+ effectiveTargetSlot = nextSlot;
82
+ }
60
83
 
61
- // Restore original minTxsPerBlock
62
- sequencer.updateConfig({ minTxsPerBlock });
84
+ await this.eth.warp(effectiveTimestamp, { resetBlockInterval: true });
85
+
86
+ // The sequencer's polling loop may have a `work()` cycle in flight that captured pre-warp slot/timestamp values
87
+ // just before our warp landed. That cycle would mine an L2 block at the stale slot — the L1 sync prunes such a
88
+ // block from the canonical chain, but it lingers in local world state and the PXE will use it as the anchor for
89
+ // subsequent txs, leading to `expiration_timestamp` values that are already in the past relative to L1. Mine
90
+ // until we observe an L2 block at (or past) the post-warp slot, ensuring the next tx anchors to a fresh block.
91
+ const maxAttempts = 5;
92
+ for (let attempt = 1; attempt <= maxAttempts; attempt++) {
93
+ await node.mineBlock();
94
+ const blockData = await node.getBlockData('latest');
95
+ const blockSlot = blockData?.header.globalVariables.slotNumber;
96
+ if (blockSlot !== undefined && BigInt(blockSlot) >= BigInt(effectiveTargetSlot)) {
97
+ return;
98
+ }
99
+ this.logger.warn(
100
+ `warpL2TimeAtLeastTo: mined L2 block at slot ${blockSlot}, expected at least ${effectiveTargetSlot}. ` +
101
+ `Retrying mineBlock (attempt ${attempt}/${maxAttempts}).`,
102
+ );
103
+ }
104
+ throw new Error(
105
+ `warpL2TimeAtLeastTo: failed to mine an L2 block at or past slot ${effectiveTargetSlot} after ${maxAttempts} attempts.`,
106
+ );
63
107
  }
64
108
 
65
109
  /**
66
110
  * Warps the L1 timestamp forward by a specified duration and mines an L2 block that advances the L2 timestamp at
67
- * least by the duration. L2 timestamp is not advanced exactly by the duration because it is determined by the slot
68
- * number, which advances in fixed intervals.
69
- * This is useful for testing time-dependent contract behavior.
70
- * @param sequencerClient - The sequencer client to use to force an empty block to be mined.
71
- * @param node - The Aztec node used to query if a new block has been mined.
111
+ * least by the duration. If the duration is too short to cross an L2 slot boundary, the warp is automatically
112
+ * extended to the start of the next slot so that `mineBlock()` succeeds.
113
+ * @param node - The Aztec node used to force an empty block to be mined.
72
114
  * @param duration - The duration to advance time by (in seconds)
73
115
  */
74
- async warpL2TimeAtLeastBy(sequencerClient: SequencerClient, node: AztecNode, duration: bigint | number) {
75
- const currentTimestamp = await this.eth.timestamp();
76
- const targetTimestamp = BigInt(currentTimestamp) + BigInt(duration);
77
- await this.warpL2TimeAtLeastTo(sequencerClient, node, targetTimestamp);
116
+ async warpL2TimeAtLeastBy(node: AztecNode & AztecNodeDebug, duration: bigint | number) {
117
+ if (BigInt(duration) <= 0n) {
118
+ throw new Error(`warpL2TimeAtLeastBy: duration must be positive, got ${duration} seconds.`);
119
+ }
120
+
121
+ // Advance relative to whichever clock leads. A live sequencer mines L2 blocks at slot boundaries that can run
122
+ // ahead of anvil's L1 timestamp, so basing the target on L1 alone would advance the L2 timestamp by less than
123
+ // `duration`. Anchoring to the latest L2 block timestamp when it leads guarantees the post-warp L2 block is at
124
+ // least `duration` ahead of the current one.
125
+ const currentL1Timestamp = BigInt(await this.eth.lastBlockTimestamp());
126
+ const latestBlockData = await node.getBlockData('latest');
127
+ const latestL2Timestamp = latestBlockData ? BigInt(latestBlockData.header.globalVariables.timestamp) : 0n;
128
+ const baseTimestamp = latestL2Timestamp > currentL1Timestamp ? latestL2Timestamp : currentL1Timestamp;
129
+ const targetTimestamp = baseTimestamp + BigInt(duration);
130
+ await this.warpL2TimeAtLeastTo(node, targetTimestamp);
78
131
  }
79
132
  }
@@ -31,8 +31,7 @@ export class EpochTestSettler {
31
31
  }
32
32
 
33
33
  async handleEpochReadyToProve(epoch: EpochNumber): Promise<boolean> {
34
- const checkpointedBlocks = await this.l2BlockSource.getCheckpointedBlocksForEpoch(epoch);
35
- const blocks = checkpointedBlocks.map(b => b.block);
34
+ const blocks = await this.l2BlockSource.getBlocks({ epoch, onlyCheckpointed: true });
36
35
  this.log.info(
37
36
  `Settling epoch ${epoch} with blocks ${blocks[0]?.header.getBlockNumber()} to ${blocks.at(-1)?.header.getBlockNumber()}`,
38
37
  { blocks: blocks.map(b => b.toBlockInfo()) },
@@ -53,12 +52,12 @@ export class EpochTestSettler {
53
52
 
54
53
  const outHash = computeEpochOutHash(messagesInEpoch);
55
54
  if (!outHash.isZero()) {
56
- await this.rollupCheatCodes.insertOutbox(epoch, outHash.toBigInt());
55
+ await this.rollupCheatCodes.insertOutbox(epoch, messagesInEpoch.length, outHash.toBigInt());
57
56
  } else {
58
57
  this.log.info(`No L2 to L1 messages in epoch ${epoch}`);
59
58
  }
60
59
 
61
- const lastCheckpoint = checkpointedBlocks.at(-1)?.checkpointNumber;
60
+ const lastCheckpoint = blocks.at(-1)?.checkpointNumber;
62
61
  if (lastCheckpoint !== undefined) {
63
62
  await this.rollupCheatCodes.markAsProven(lastCheckpoint);
64
63
  } else {
@@ -1,4 +1,4 @@
1
- export { AnvilTestWatcher } from './anvil_test_watcher.js';
1
+ export { AnvilTestWatcher, type AnvilTestWatcherOpts } from './anvil_test_watcher.js';
2
2
  export { EthCheatCodes, RollupCheatCodes } from '@aztec/ethereum/test';
3
3
  export { CheatCodes } from './cheat_codes.js';
4
4
  export { EpochTestSettler } from './epoch_test_settler.js';
@@ -1,9 +0,0 @@
1
- import { type ArchiverConfig } from '@aztec/archiver';
2
- import type { NamespacedApiHandlers } from '@aztec/foundation/json-rpc/server';
3
- import { type DataStoreConfig } from '@aztec/stdlib/kv-store';
4
- export type { ArchiverConfig, DataStoreConfig };
5
- /** Starts a standalone archiver. */
6
- export declare function startArchiver(options: any, signalHandlers: (() => Promise<void>)[], services: NamespacedApiHandlers): Promise<{
7
- config: ArchiverConfig & DataStoreConfig;
8
- }>;
9
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RhcnRfYXJjaGl2ZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jbGkvY21kcy9zdGFydF9hcmNoaXZlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsS0FBSyxjQUFjLEVBQW9FLE1BQU0saUJBQWlCLENBQUM7QUFJeEgsT0FBTyxLQUFLLEVBQUUscUJBQXFCLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUUvRSxPQUFPLEVBQUUsS0FBSyxlQUFlLEVBQXNCLE1BQU0sd0JBQXdCLENBQUM7QUFLbEYsWUFBWSxFQUFFLGNBQWMsRUFBRSxlQUFlLEVBQUUsQ0FBQztBQUVoRCxvQ0FBb0M7QUFDcEMsd0JBQXNCLGFBQWEsQ0FDakMsT0FBTyxFQUFFLEdBQUcsRUFDWixjQUFjLEVBQUUsQ0FBQyxNQUFNLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQyxFQUFFLEVBQ3ZDLFFBQVEsRUFBRSxxQkFBcUIsR0FDOUIsT0FBTyxDQUFDO0lBQUUsTUFBTSxFQUFFLGNBQWMsR0FBRyxlQUFlLENBQUE7Q0FBRSxDQUFDLENBK0J2RCJ9
@@ -1 +0,0 @@
1
- {"version":3,"file":"start_archiver.d.ts","sourceRoot":"","sources":["../../../src/cli/cmds/start_archiver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,cAAc,EAAoE,MAAM,iBAAiB,CAAC;AAIxH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAE/E,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,wBAAwB,CAAC;AAKlF,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,CAAC;AAEhD,oCAAoC;AACpC,wBAAsB,aAAa,CACjC,OAAO,EAAE,GAAG,EACZ,cAAc,EAAE,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EACvC,QAAQ,EAAE,qBAAqB,GAC9B,OAAO,CAAC;IAAE,MAAM,EAAE,cAAc,GAAG,eAAe,CAAA;CAAE,CAAC,CA+BvD"}
@@ -1,48 +0,0 @@
1
- import { archiverConfigMappings, createArchiver, getArchiverConfigFromEnv } from '@aztec/archiver';
2
- import { createLogger } from '@aztec/aztec.js/log';
3
- import { blobClientConfigMapping, createBlobClient } from '@aztec/blob-client/client';
4
- import { getL1Config } from '@aztec/cli/config';
5
- import { ArchiverApiSchema } from '@aztec/stdlib/interfaces/server';
6
- import { dataConfigMappings } from '@aztec/stdlib/kv-store';
7
- import { getConfigEnvVars as getTelemetryClientConfig, initTelemetryClient } from '@aztec/telemetry-client';
8
- import { extractRelevantOptions } from '../util.js';
9
- /** Starts a standalone archiver. */ export async function startArchiver(options, signalHandlers, services) {
10
- const envConfig = getArchiverConfigFromEnv();
11
- const cliOptions = extractRelevantOptions(options, {
12
- ...archiverConfigMappings,
13
- ...dataConfigMappings,
14
- ...blobClientConfigMapping
15
- }, 'archiver');
16
- let archiverConfig = {
17
- ...envConfig,
18
- ...cliOptions
19
- };
20
- archiverConfig.dataStoreMapSizeKb = archiverConfig.archiverStoreMapSizeKb ?? archiverConfig.dataStoreMapSizeKb;
21
- if (!archiverConfig.l1Contracts.registryAddress || archiverConfig.l1Contracts.registryAddress.isZero()) {
22
- throw new Error('L1 registry address is required to start an Archiver');
23
- }
24
- const { addresses, config: l1Config } = await getL1Config(archiverConfig.l1Contracts.registryAddress, archiverConfig.l1RpcUrls, archiverConfig.l1ChainId);
25
- archiverConfig.l1Contracts = addresses;
26
- archiverConfig = {
27
- ...archiverConfig,
28
- ...l1Config
29
- };
30
- const telemetry = await initTelemetryClient(getTelemetryClientConfig());
31
- const blobClient = createBlobClient(archiverConfig, {
32
- logger: createLogger('archiver:blob-client:client')
33
- });
34
- const archiver = await createArchiver(archiverConfig, {
35
- telemetry,
36
- blobClient
37
- }, {
38
- blockUntilSync: true
39
- });
40
- services.archiver = [
41
- archiver,
42
- ArchiverApiSchema
43
- ];
44
- signalHandlers.push(archiver.stop);
45
- return {
46
- config: archiverConfig
47
- };
48
- }
@@ -1,50 +0,0 @@
1
- import { type ArchiverConfig, archiverConfigMappings, createArchiver, getArchiverConfigFromEnv } from '@aztec/archiver';
2
- import { createLogger } from '@aztec/aztec.js/log';
3
- import { type BlobClientConfig, blobClientConfigMapping, createBlobClient } from '@aztec/blob-client/client';
4
- import { getL1Config } from '@aztec/cli/config';
5
- import type { NamespacedApiHandlers } from '@aztec/foundation/json-rpc/server';
6
- import { ArchiverApiSchema } from '@aztec/stdlib/interfaces/server';
7
- import { type DataStoreConfig, dataConfigMappings } from '@aztec/stdlib/kv-store';
8
- import { getConfigEnvVars as getTelemetryClientConfig, initTelemetryClient } from '@aztec/telemetry-client';
9
-
10
- import { extractRelevantOptions } from '../util.js';
11
-
12
- export type { ArchiverConfig, DataStoreConfig };
13
-
14
- /** Starts a standalone archiver. */
15
- export async function startArchiver(
16
- options: any,
17
- signalHandlers: (() => Promise<void>)[],
18
- services: NamespacedApiHandlers,
19
- ): Promise<{ config: ArchiverConfig & DataStoreConfig }> {
20
- const envConfig = getArchiverConfigFromEnv();
21
- const cliOptions = extractRelevantOptions<ArchiverConfig & DataStoreConfig & BlobClientConfig>(
22
- options,
23
- { ...archiverConfigMappings, ...dataConfigMappings, ...blobClientConfigMapping },
24
- 'archiver',
25
- );
26
-
27
- let archiverConfig = { ...envConfig, ...cliOptions };
28
- archiverConfig.dataStoreMapSizeKb = archiverConfig.archiverStoreMapSizeKb ?? archiverConfig.dataStoreMapSizeKb;
29
-
30
- if (!archiverConfig.l1Contracts.registryAddress || archiverConfig.l1Contracts.registryAddress.isZero()) {
31
- throw new Error('L1 registry address is required to start an Archiver');
32
- }
33
-
34
- const { addresses, config: l1Config } = await getL1Config(
35
- archiverConfig.l1Contracts.registryAddress,
36
- archiverConfig.l1RpcUrls,
37
- archiverConfig.l1ChainId,
38
- );
39
-
40
- archiverConfig.l1Contracts = addresses;
41
- archiverConfig = { ...archiverConfig, ...l1Config };
42
-
43
- const telemetry = await initTelemetryClient(getTelemetryClientConfig());
44
- const blobClient = createBlobClient(archiverConfig, { logger: createLogger('archiver:blob-client:client') });
45
- const archiver = await createArchiver(archiverConfig, { telemetry, blobClient }, { blockUntilSync: true });
46
- services.archiver = [archiver, ArchiverApiSchema];
47
- signalHandlers.push(archiver.stop);
48
-
49
- return { config: archiverConfig };
50
- }