@aztec/aztec 0.0.1-commit.b1c78909e → 0.0.1-commit.b2a5d0dd1

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 (73) hide show
  1. package/dest/cli/aztec_start_action.d.ts +1 -1
  2. package/dest/cli/aztec_start_action.d.ts.map +1 -1
  3. package/dest/cli/aztec_start_action.js +23 -7
  4. package/dest/cli/aztec_start_options.d.ts +2 -2
  5. package/dest/cli/aztec_start_options.d.ts.map +1 -1
  6. package/dest/cli/aztec_start_options.js +13 -0
  7. package/dest/cli/cmds/compile.d.ts +1 -1
  8. package/dest/cli/cmds/compile.d.ts.map +1 -1
  9. package/dest/cli/cmds/compile.js +5 -15
  10. package/dest/cli/cmds/profile_flamegraph.d.ts +1 -1
  11. package/dest/cli/cmds/profile_flamegraph.d.ts.map +1 -1
  12. package/dest/cli/cmds/profile_flamegraph.js +2 -1
  13. package/dest/cli/cmds/profile_gates.d.ts +1 -1
  14. package/dest/cli/cmds/profile_gates.d.ts.map +1 -1
  15. package/dest/cli/cmds/profile_gates.js +2 -1
  16. package/dest/cli/cmds/standby.d.ts +11 -6
  17. package/dest/cli/cmds/standby.d.ts.map +1 -1
  18. package/dest/cli/cmds/standby.js +35 -16
  19. package/dest/cli/cmds/start_archiver.d.ts +1 -1
  20. package/dest/cli/cmds/start_archiver.d.ts.map +1 -1
  21. package/dest/cli/cmds/start_archiver.js +3 -1
  22. package/dest/cli/cmds/start_node.d.ts +1 -1
  23. package/dest/cli/cmds/start_node.d.ts.map +1 -1
  24. package/dest/cli/cmds/start_node.js +13 -21
  25. package/dest/cli/cmds/start_prover_agent.d.ts +1 -1
  26. package/dest/cli/cmds/start_prover_agent.d.ts.map +1 -1
  27. package/dest/cli/cmds/start_prover_agent.js +3 -15
  28. package/dest/cli/cmds/start_prover_broker.d.ts +1 -1
  29. package/dest/cli/cmds/start_prover_broker.d.ts.map +1 -1
  30. package/dest/cli/cmds/start_prover_broker.js +7 -1
  31. package/dest/cli/cmds/utils/collect_crate_dirs.d.ts +21 -0
  32. package/dest/cli/cmds/utils/collect_crate_dirs.d.ts.map +1 -0
  33. package/dest/cli/cmds/utils/collect_crate_dirs.js +114 -0
  34. package/dest/cli/cmds/utils/needs_recompile.d.ts +1 -1
  35. package/dest/cli/cmds/utils/needs_recompile.d.ts.map +1 -1
  36. package/dest/cli/cmds/utils/needs_recompile.js +9 -43
  37. package/dest/cli/cmds/utils/warn_if_aztec_version_mismatch.d.ts +4 -0
  38. package/dest/cli/cmds/utils/warn_if_aztec_version_mismatch.d.ts.map +1 -0
  39. package/dest/cli/cmds/utils/warn_if_aztec_version_mismatch.js +62 -0
  40. package/dest/local-network/local-network.d.ts +3 -4
  41. package/dest/local-network/local-network.d.ts.map +1 -1
  42. package/dest/local-network/local-network.js +3 -3
  43. package/dest/testing/anvil_test_watcher.d.ts +7 -3
  44. package/dest/testing/anvil_test_watcher.d.ts.map +1 -1
  45. package/dest/testing/anvil_test_watcher.js +40 -14
  46. package/dest/testing/cheat_codes.d.ts +11 -15
  47. package/dest/testing/cheat_codes.d.ts.map +1 -1
  48. package/dest/testing/cheat_codes.js +34 -32
  49. package/dest/testing/epoch_test_settler.d.ts +1 -1
  50. package/dest/testing/epoch_test_settler.d.ts.map +1 -1
  51. package/dest/testing/epoch_test_settler.js +3 -4
  52. package/dest/testing/index.d.ts +2 -2
  53. package/dest/testing/index.d.ts.map +1 -1
  54. package/package.json +33 -34
  55. package/scripts/aztec.sh +5 -1
  56. package/src/cli/aztec_start_action.ts +12 -7
  57. package/src/cli/aztec_start_options.ts +19 -2
  58. package/src/cli/cmds/compile.ts +6 -18
  59. package/src/cli/cmds/profile_flamegraph.ts +2 -1
  60. package/src/cli/cmds/profile_gates.ts +2 -1
  61. package/src/cli/cmds/standby.ts +39 -18
  62. package/src/cli/cmds/start_archiver.ts +7 -1
  63. package/src/cli/cmds/start_node.ts +17 -12
  64. package/src/cli/cmds/start_prover_agent.ts +3 -6
  65. package/src/cli/cmds/start_prover_broker.ts +8 -1
  66. package/src/cli/cmds/utils/collect_crate_dirs.ts +118 -0
  67. package/src/cli/cmds/utils/needs_recompile.ts +8 -49
  68. package/src/cli/cmds/utils/warn_if_aztec_version_mismatch.ts +77 -0
  69. package/src/local-network/local-network.ts +5 -5
  70. package/src/testing/anvil_test_watcher.ts +44 -13
  71. package/src/testing/cheat_codes.ts +42 -36
  72. package/src/testing/epoch_test_settler.ts +3 -4
  73. package/src/testing/index.ts +1 -1
@@ -7,7 +7,13 @@ import { type NetworkNames, SecretValue } from '@aztec/foundation/config';
7
7
  import type { NamespacedApiHandlers } from '@aztec/foundation/json-rpc/server';
8
8
  import { Agent, makeUndiciFetch } from '@aztec/foundation/json-rpc/undici';
9
9
  import type { LogFn } from '@aztec/foundation/log';
10
- import { ProvingJobConsumerSchema, createProvingJobBrokerClient } from '@aztec/prover-client/broker';
10
+ import { getVKTreeRoot } from '@aztec/noir-protocol-circuits-types/vk-tree';
11
+ import { protocolContractsHash } from '@aztec/protocol-contracts';
12
+ import {
13
+ ProvingJobConsumerSchema,
14
+ createProvingJobBrokerClient,
15
+ proverBrokerBackoff,
16
+ } from '@aztec/prover-client/broker';
11
17
  import { type CliPXEOptions, type PXEConfig, allPxeConfigMappings } from '@aztec/pxe/config';
12
18
  import { AztecNodeAdminApiSchema, AztecNodeApiSchema } from '@aztec/stdlib/interfaces/client';
13
19
  import { P2PApiSchema, ProverNodeApiSchema, type ProvingJobBroker } from '@aztec/stdlib/interfaces/server';
@@ -63,12 +69,8 @@ export async function startNode(
63
69
  if (nodeConfig.proverBrokerUrl) {
64
70
  // at 1TPS we'd enqueue ~1k chonk verifier proofs and ~1k AVM proofs immediately
65
71
  // set a lower connection limit such that we don't overload the server
66
- // Keep retrying up to 30s
67
- const fetch = makeTracedFetch(
68
- [1, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3],
69
- false,
70
- makeUndiciFetch(new Agent({ connections: 100 })),
71
- );
72
+ // Retry indefinitely until the epoch proving times out and the chain reorgs
73
+ const fetch = makeTracedFetch(proverBrokerBackoff, false, makeUndiciFetch(new Agent({ connections: 100 })));
72
74
  broker = createProvingJobBrokerClient(nodeConfig.proverBrokerUrl, getVersions(nodeConfig), fetch);
73
75
  } else if (options.proverBroker) {
74
76
  ({ broker } = await startProverBroker(options, signalHandlers, services, userLog));
@@ -81,7 +83,7 @@ export async function startNode(
81
83
  await preloadCrsDataForVerifying(nodeConfig, userLog);
82
84
 
83
85
  const genesisConfig = getGenesisStateConfigEnvVars();
84
- const { genesisArchiveRoot, prefilledPublicData } = await computeExpectedGenesisRoot(genesisConfig, userLog);
86
+ const { genesisArchiveRoot, genesis } = await computeExpectedGenesisRoot(genesisConfig, userLog);
85
87
 
86
88
  const followsCanonicalRollup =
87
89
  typeof nodeConfig.rollupVersion !== 'number' || (nodeConfig.rollupVersion as unknown as string) === 'canonical';
@@ -92,7 +94,12 @@ export async function startNode(
92
94
 
93
95
  // Wait for a compatible rollup before proceeding with full L1 config fetch.
94
96
  // This prevents crashes when the canonical rollup hasn't been upgraded yet.
95
- await waitForCompatibleRollup(nodeConfig, genesisArchiveRoot, options.port, userLog);
97
+ await waitForCompatibleRollup(
98
+ nodeConfig,
99
+ { genesisArchiveRoot, vkTreeRoot: getVKTreeRoot(), protocolContractsHash },
100
+ options.port,
101
+ userLog,
102
+ );
96
103
 
97
104
  const { addresses, config } = await getL1Config(
98
105
  nodeConfig.l1Contracts.registryAddress,
@@ -109,12 +116,10 @@ export async function startNode(
109
116
  );
110
117
  }
111
118
 
112
- // TODO(#12272): will clean this up.
113
119
  nodeConfig = {
114
120
  ...nodeConfig,
115
121
  l1Contracts: {
116
122
  ...addresses,
117
- slashFactoryAddress: nodeConfig.l1Contracts.slashFactoryAddress,
118
123
  },
119
124
  ...config,
120
125
  };
@@ -151,7 +156,7 @@ export async function startNode(
151
156
  const telemetry = await initTelemetryClient(telemetryConfig);
152
157
 
153
158
  // Create and start Aztec Node
154
- const node = await createAztecNode(nodeConfig, { telemetry, proverBroker: broker }, { prefilledPublicData });
159
+ const node = await createAztecNode(nodeConfig, { telemetry, proverBroker: broker }, { genesis });
155
160
 
156
161
  // Add node and p2p to services list
157
162
  services.node = [node, AztecNodeApiSchema];
@@ -9,6 +9,7 @@ import {
9
9
  createProofStore,
10
10
  createProvingJobBrokerClient,
11
11
  proverAgentConfigMappings,
12
+ proverBrokerBackoff,
12
13
  } from '@aztec/prover-client/broker';
13
14
  import { getProverNodeAgentConfigFromEnv } from '@aztec/prover-node';
14
15
  import { ProverAgentApiSchema } from '@aztec/stdlib/interfaces/server';
@@ -45,12 +46,8 @@ export async function startProverAgent(
45
46
 
46
47
  await preloadCrsDataForServerSideProving(config, userLog);
47
48
 
48
- const fetch = makeTracedFetch(
49
- // retry connections every 3s, up to 30s before giving up
50
- [1, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3],
51
- false,
52
- makeUndiciFetch(new Agent({ connections: 10 })),
53
- );
49
+ // Retry indefinitely until the epoch proving times out and the chain reorgs
50
+ const fetch = makeTracedFetch(proverBrokerBackoff, false, makeUndiciFetch(new Agent({ connections: 10 })));
54
51
  const broker = createProvingJobBrokerClient(config.proverBrokerUrl, getVersions(), fetch);
55
52
 
56
53
  const telemetry = await initTelemetryClient(extractRelevantOptions(options, telemetryClientConfigMappings, 'tel'));
@@ -2,6 +2,8 @@ import { getL1Config } from '@aztec/cli/config';
2
2
  import { getGenesisStateConfigEnvVars } from '@aztec/ethereum/config';
3
3
  import type { NamespacedApiHandlers } from '@aztec/foundation/json-rpc/server';
4
4
  import type { LogFn } from '@aztec/foundation/log';
5
+ import { getVKTreeRoot } from '@aztec/noir-protocol-circuits-types/vk-tree';
6
+ import { protocolContractsHash } from '@aztec/protocol-contracts';
5
7
  import {
6
8
  type ProverBrokerConfig,
7
9
  ProvingJobBrokerSchema,
@@ -38,7 +40,12 @@ export async function startProverBroker(
38
40
 
39
41
  const genesisConfig = getGenesisStateConfigEnvVars();
40
42
  const { genesisArchiveRoot } = await computeExpectedGenesisRoot(genesisConfig, userLog);
41
- await waitForCompatibleRollup(config, genesisArchiveRoot, options.port, userLog);
43
+ await waitForCompatibleRollup(
44
+ config,
45
+ { genesisArchiveRoot, vkTreeRoot: getVKTreeRoot(), protocolContractsHash },
46
+ options.port,
47
+ userLog,
48
+ );
42
49
 
43
50
  const { addresses, config: rollupConfig } = await getL1Config(
44
51
  config.l1Contracts.registryAddress,
@@ -0,0 +1,118 @@
1
+ import TOML from '@iarna/toml';
2
+ import { existsSync } from 'fs';
3
+ import { mkdir, readFile, stat } from 'fs/promises';
4
+ import { homedir } from 'os';
5
+ import { dirname, join, resolve } from 'path';
6
+
7
+ import { run } from './spawn.js';
8
+
9
+ /**
10
+ * Recursively collects crate directories starting from startCrateDir by following dependencies declared in Nargo.toml
11
+ * files.
12
+ *
13
+ * When `skipGitDeps` is false (default), git-based deps are followed and fetched into the nargo cache
14
+ * (`$HOME/nargo/<domain>/<repo-path>/<tag>`) if not already present.
15
+ *
16
+ * When `skipGitDeps` is true, git-based deps are ignored entirely.
17
+ */
18
+ export async function collectCrateDirs(startCrateDir: string, opts?: { skipGitDeps?: boolean }): Promise<string[]> {
19
+ const { skipGitDeps = false } = opts ?? {};
20
+ const visited = new Set<string>();
21
+
22
+ async function visit(crateDir: string): Promise<void> {
23
+ const absDir = resolve(crateDir);
24
+ if (visited.has(absDir)) {
25
+ return;
26
+ }
27
+ visited.add(absDir);
28
+
29
+ const tomlPath = join(absDir, 'Nargo.toml');
30
+ const content = await readFile(tomlPath, 'utf-8').catch(() => {
31
+ throw new Error(`Incorrectly defined dependency. Nargo.toml not found in ${absDir}`);
32
+ });
33
+
34
+ const parsed = TOML.parse(content) as Record<string, any>;
35
+ const members = (parsed.workspace as Record<string, any>)?.members as string[] | undefined;
36
+
37
+ // A Nargo.toml is either a workspace root (has workspace.members) or a single crate (has dependencies).
38
+ if (Array.isArray(members)) {
39
+ // The crate is a workspace root and has members defined so we visit the members
40
+ for (const member of members) {
41
+ await visit(resolve(absDir, member));
42
+ }
43
+ } else {
44
+ // Single crate — follow its deps
45
+ const deps = (parsed.dependencies as Record<string, any>) ?? {};
46
+ for (const dep of Object.values(deps)) {
47
+ if (!dep || typeof dep !== 'object') {
48
+ continue;
49
+ }
50
+ if (typeof dep.path === 'string') {
51
+ // Dependency contains "path" hence it's a local dependency. We just check it's a real directory and then we
52
+ // recursively search through it
53
+ const depPath = resolve(absDir, dep.path);
54
+ const s = await stat(depPath);
55
+ if (!s.isDirectory()) {
56
+ throw new Error(
57
+ `Dependency path "${dep.path}" in ${tomlPath} resolves to ${depPath} which is not a directory`,
58
+ );
59
+ }
60
+ await visit(depPath);
61
+ } else if (!skipGitDeps && typeof dep.git === 'string' && typeof dep.tag === 'string') {
62
+ // Dependency contains "git" hence it's a git dependency. We ensure it has been fetched and fetch it if
63
+ // it's not the case and then we recursively search through it.
64
+ await fetchAndVisit(dep.git, dep.tag, dep.directory);
65
+ }
66
+ }
67
+ }
68
+ }
69
+
70
+ async function fetchAndVisit(gitUrl: string, tag: string, directory?: string): Promise<void> {
71
+ // `directory` is set when the dep lives in a subdirectory of a repository, e.g.:
72
+ // aztec = { git = "https://github.com/AztecProtocol/aztec-packages", tag = "v0.82.0",
73
+ // directory = "noir-projects/aztec-nr/aztec" }
74
+ // In that case nargo clones the whole repo and the crate root is <cachePath>/<directory>.
75
+ const cachePath = nargoGitDepPath(gitUrl, tag);
76
+ const crateDir = directory ? join(cachePath, directory) : cachePath;
77
+ await ensureGitDepCached(gitUrl, tag, cachePath);
78
+ await visit(crateDir);
79
+ }
80
+
81
+ await visit(startCrateDir);
82
+ return [...visited];
83
+ }
84
+
85
+ /**
86
+ * Computes the local nargo cache path for a git dependency, mirroring nargo's own `git_dep_location` function.
87
+ * Path format: `$HOME/nargo/<domain>/<repo-path>/<tag>`
88
+ * e.g. `~/nargo/github.com/AztecProtocol/aztec-packages/v0.82.0`
89
+ *
90
+ * Source: noir/noir-repo/tooling/nargo_toml/src/git.rs
91
+ */
92
+ export function nargoGitDepPath(gitUrl: string, tag: string): string {
93
+ const url = new URL(gitUrl);
94
+ const domain = url.hostname;
95
+ const repoPath = url.pathname.replace(/^\//, '');
96
+ return join(process.env.HOME ?? homedir(), 'nargo', domain, repoPath, tag);
97
+ }
98
+
99
+ /**
100
+ * Ensures a git dep is present in the nargo cache, cloning it if it isn't. Mirrors nargo's `clone_git_repo`.
101
+ * If cloning fails (e.g. no network), throws with a message suggesting `nargo check` to prime the cache.
102
+ *
103
+ * Source: noir/noir-repo/tooling/nargo_toml/src/git.rs
104
+ */
105
+ async function ensureGitDepCached(gitUrl: string, tag: string, cachePath: string): Promise<void> {
106
+ if (existsSync(cachePath)) {
107
+ return;
108
+ }
109
+ await mkdir(dirname(cachePath), { recursive: true });
110
+ try {
111
+ await run('git', ['-c', 'advice.detachedHead=false', 'clone', '--depth', '1', '--branch', tag, gitUrl, cachePath]);
112
+ } catch (err: any) {
113
+ throw new Error(
114
+ `Failed to fetch git dependency ${gitUrl}@${tag}: ${err?.message ?? err}.\n` +
115
+ `Try running \`nargo check\` first to prime the dependency cache.`,
116
+ );
117
+ }
118
+ }
@@ -1,6 +1,7 @@
1
- import TOML from '@iarna/toml';
2
- import { readFile, readdir, stat } from 'fs/promises';
3
- import { join, resolve } from 'path';
1
+ import { readdir, stat } from 'fs/promises';
2
+ import { join } from 'path';
3
+
4
+ import { collectCrateDirs } from './collect_crate_dirs.js';
4
5
 
5
6
  /**
6
7
  * Returns true if recompilation is needed: either no artifacts exist in target/ or any .nr or Nargo.toml source file
@@ -16,7 +17,10 @@ export async function needsRecompile(): Promise<boolean> {
16
17
  return true;
17
18
  }
18
19
 
19
- const crateDirs = await collectCrateDirs('.');
20
+ // Git deps are pinned to a specific tag in Nargo.toml and nargo always fetches an exact tag, so their contents never
21
+ // change without Nargo.toml itself changing — and Nargo.toml is already tracked as a source file. Hence we can
22
+ // safely ignore checking source files of git deps.
23
+ const crateDirs = await collectCrateDirs('.', { skipGitDeps: true });
20
24
  return hasNewerSourceFile(crateDirs, oldestArtifactMs);
21
25
  }
22
26
 
@@ -49,51 +53,6 @@ async function getOldestArtifactModificationTime(targetDir: string): Promise<num
49
53
  return oldest;
50
54
  }
51
55
 
52
- /**
53
- * Recursively collects crate directories starting from startCrateDir by following path-based dependencies declared in
54
- * Nargo.toml files. Git-based deps are ignored (they only change when Nargo.toml itself is modified since the deps are
55
- * tagged).
56
- */
57
- async function collectCrateDirs(startCrateDir: string): Promise<string[]> {
58
- // We have a set of visited dirs we check against when entering a new dir because we could stumble upon a directory
59
- // multiple times in case multiple deps shared a dep (e.g. dep A and dep B both sharing dep C).
60
- const visited = new Set<string>();
61
-
62
- async function visit(crateDir: string): Promise<void> {
63
- const absDir = resolve(crateDir);
64
- if (visited.has(absDir)) {
65
- return;
66
- }
67
- visited.add(absDir);
68
-
69
- // Every dep is its own crate and every crate needs to have Nargo.toml defined in the root so we try to load it and
70
- // error out if it's not the case.
71
- const tomlPath = join(absDir, 'Nargo.toml');
72
- const content = await readFile(tomlPath, 'utf-8').catch(() => {
73
- throw new Error(`Incorrectly defined dependency. Nargo.toml not found in ${absDir}`);
74
- });
75
-
76
- // We parse and iterate over the dependencies
77
- const parsed = TOML.parse(content) as Record<string, any>;
78
- const deps = (parsed.dependencies as Record<string, any>) ?? {};
79
- for (const dep of Object.values(deps)) {
80
- if (dep && typeof dep === 'object' && typeof dep.path === 'string') {
81
- const depPath = resolve(absDir, dep.path);
82
- const s = await stat(depPath);
83
- if (!s.isDirectory()) {
84
- throw new Error(
85
- `Dependency path "${dep.path}" in ${tomlPath} resolves to ${depPath} which is not a directory`,
86
- );
87
- }
88
- await visit(depPath);
89
- }
90
- }
91
- }
92
-
93
- await visit(startCrateDir);
94
- return [...visited];
95
- }
96
-
97
56
  /**
98
57
  * Walks crate dirs looking for .nr and Nargo.toml files newer than thresholdMs. Short-circuits on the first match.
99
58
  */
@@ -0,0 +1,77 @@
1
+ import type { LogFn } from '@aztec/foundation/log';
2
+ import { getPackageVersion } from '@aztec/stdlib/update-checker';
3
+
4
+ import TOML from '@iarna/toml';
5
+ import { readFile } from 'fs/promises';
6
+ import { join } from 'path';
7
+
8
+ import { collectCrateDirs } from './collect_crate_dirs.js';
9
+
10
+ /** Returns true if the given git URL points to the AztecProtocol/aztec-nr repository. */
11
+ function isAztecNrGitUrl(gitUrl: string): boolean {
12
+ let url: URL;
13
+ try {
14
+ url = new URL(gitUrl);
15
+ } catch {
16
+ return false;
17
+ }
18
+ if (url.hostname !== 'github.com') {
19
+ return false;
20
+ }
21
+ const repoPath = url.pathname
22
+ .replace(/^\//, '')
23
+ .replace(/\.git$/, '')
24
+ .replace(/\/$/, '');
25
+ return repoPath === 'AztecProtocol/aztec-nr';
26
+ }
27
+
28
+ /** Warns if any aztec-nr git dependency in a crate's Nargo.toml has a tag that doesn't match the CLI version. */
29
+ export async function warnIfAztecVersionMismatch(log: LogFn, cliVersion?: string): Promise<void> {
30
+ const version = cliVersion ?? getPackageVersion();
31
+ if (!version) {
32
+ log(`WARNING: aztec CLI version not found. Skipping dependency compatibility check.`);
33
+ return;
34
+ }
35
+
36
+ const expectedTag = `v${version}`;
37
+ const mismatches: { file: string; depName: string; tag: string }[] = [];
38
+
39
+ const crateDirs = await collectCrateDirs('.', { skipGitDeps: true });
40
+
41
+ for (const dir of crateDirs) {
42
+ const tomlPath = join(dir, 'Nargo.toml');
43
+ let content: string;
44
+ try {
45
+ content = await readFile(tomlPath, 'utf-8');
46
+ } catch {
47
+ continue;
48
+ }
49
+
50
+ const parsed = TOML.parse(content) as Record<string, any>;
51
+ const deps = (parsed.dependencies as Record<string, any>) ?? {};
52
+
53
+ for (const [depName, dep] of Object.entries(deps)) {
54
+ // Skip non-object deps (e.g. malformed entries) and anything that isn't a tagged git dep.
55
+ if (!dep || typeof dep !== 'object' || typeof dep.git !== 'string' || typeof dep.tag !== 'string') {
56
+ continue;
57
+ }
58
+ // Only flag deps that are sourced from the aztec-nr repo.
59
+ if (!isAztecNrGitUrl(dep.git)) {
60
+ continue;
61
+ }
62
+ if (dep.tag !== expectedTag) {
63
+ mismatches.push({ file: tomlPath, depName, tag: dep.tag });
64
+ }
65
+ }
66
+ }
67
+
68
+ if (mismatches.length > 0) {
69
+ const details = mismatches.map(m => ` ${m.file} — ${m.depName} (${m.tag})`).join('\n');
70
+ log(
71
+ `WARNING: Aztec dependency version mismatch detected.\n` +
72
+ `The following aztec-nr dependencies do not match the CLI version (${expectedTag}):\n` +
73
+ `${details}\n\n` +
74
+ `See https://docs.aztec.network/errors/9 for how to update your dependencies.`,
75
+ );
76
+ }
77
+ }
@@ -21,7 +21,7 @@ import { protocolContractsHash } from '@aztec/protocol-contracts';
21
21
  import { SequencerState } from '@aztec/sequencer-client';
22
22
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
23
23
  import type { ProvingJobBroker } from '@aztec/stdlib/interfaces/server';
24
- import type { PublicDataTreeLeaf } from '@aztec/stdlib/trees';
24
+ import type { GenesisData } from '@aztec/stdlib/world-state';
25
25
  import {
26
26
  type TelemetryClient,
27
27
  getConfigEnvVars as getTelemetryClientConfig,
@@ -70,7 +70,7 @@ export async function deployContractsToL1(
70
70
  genesisArchiveRoot: opts.genesisArchiveRoot ?? new Fr(GENESIS_ARCHIVE_ROOT),
71
71
  feeJuicePortalInitialBalance: opts.feeJuicePortalInitialBalance,
72
72
  aztecTargetCommitteeSize: 0, // no committee in local network
73
- slasherFlavor: 'none', // no slashing in local network
73
+ slasherEnabled: false, // no slashing in local network
74
74
  realVerifier: false,
75
75
  });
76
76
 
@@ -151,7 +151,7 @@ export async function createLocalNetwork(config: Partial<LocalNetworkConfig> = {
151
151
  ...(initialAccounts.length ? [bananaFPC, sponsoredFPC] : []),
152
152
  ...prefundAddresses,
153
153
  ];
154
- const { genesisArchiveRoot, prefilledPublicData, fundingNeeded } = await getGenesisValues(fundedAddresses);
154
+ const { genesisArchiveRoot, genesis, fundingNeeded } = await getGenesisValues(fundedAddresses);
155
155
 
156
156
  const dateProvider = new TestDateProvider();
157
157
 
@@ -190,7 +190,7 @@ export async function createLocalNetwork(config: Partial<LocalNetworkConfig> = {
190
190
  const telemetry = await initTelemetryClient(getTelemetryClientConfig());
191
191
  // Create a local blob client client inside the local network, no http connectivity
192
192
  const blobClient = createBlobClient();
193
- const node = await createAztecNode(aztecNodeConfig, { telemetry, blobClient, dateProvider }, { prefilledPublicData });
193
+ const node = await createAztecNode(aztecNodeConfig, { telemetry, blobClient, dateProvider }, { genesis });
194
194
 
195
195
  // Now that the node is up, let the watcher check for pending txs so it can skip unfilled slots faster when
196
196
  // transactions are waiting in the mempool. Also let it check if the sequencer is actively building, to avoid
@@ -259,7 +259,7 @@ export async function createAztecNode(
259
259
  dateProvider?: DateProvider;
260
260
  proverBroker?: ProvingJobBroker;
261
261
  } = {},
262
- options: { prefilledPublicData?: PublicDataTreeLeaf[] } = {},
262
+ options: { genesis?: GenesisData } = {},
263
263
  ) {
264
264
  // TODO(#12272): will clean this up. This is criminal.
265
265
  const { l1Contracts, ...rest } = getConfigEnvVars();
@@ -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
 
@@ -45,6 +49,7 @@ export class AnvilTestWatcher {
45
49
  rollupAddress: EthAddress,
46
50
  l1Client: ViemClient,
47
51
  private dateProvider?: TestDateProvider,
52
+ opts: AnvilTestWatcherOpts = {},
48
53
  ) {
49
54
  this.rollup = getContract({
50
55
  address: getAddress(rollupAddress.toString()),
@@ -56,6 +61,9 @@ export class AnvilTestWatcher {
56
61
  rollupAddress,
57
62
  });
58
63
 
64
+ this.isLocalNetwork = opts.isLocalNetwork ?? false;
65
+ this.isMarkingAsProven = opts.isMarkingAsProven ?? true;
66
+
59
67
  this.logger.debug(`Watcher created for rollup at ${rollupAddress}`);
60
68
  }
61
69
 
@@ -130,14 +138,21 @@ export class AnvilTestWatcher {
130
138
  return;
131
139
  }
132
140
 
133
- const l1Time = (await this.cheatcodes.timestamp()) * 1000;
141
+ const l1Time = (await this.cheatcodes.lastBlockTimestamp()) * 1000;
134
142
  const wallTime = this.dateProvider.now();
135
143
  if (l1Time > wallTime) {
136
144
  this.logger.warn(`L1 is ahead of wall time. Syncing wall time to L1 time`);
137
145
  this.dateProvider.setTime(l1Time);
138
146
  } 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));
147
+ // Warp L1 to the slot boundary at-or-before wall time. Rounding to a slot boundary (rather than
148
+ // `ceil(wallTime / 1000)`) keeps this loop's target aligned with `warpTimeIfNeeded`'s
149
+ // `nextSlotTimestamp` target, avoiding a race where the two loops pick timestamps a fraction of
150
+ // a second apart and one of them is then rejected by anvil as non-monotonic.
151
+ const wallSec = Math.floor(wallTime / 1000);
152
+ const targetSlot = await this.rollup.read.getSlotAt([BigInt(wallSec)]);
153
+ const targetTimestamp = Number(await this.rollup.read.getTimestampForSlot([targetSlot]));
154
+ this.logger.warn(`L1 is more than 1 L2 slot behind wall time. Warping to slot ${targetSlot} boundary`);
155
+ await this.warpToTimestamp(targetTimestamp);
141
156
  }
142
157
  }
143
158
 
@@ -151,8 +166,9 @@ export class AnvilTestWatcher {
151
166
 
152
167
  if (BigInt(currentSlot) === checkpointLog.slotNumber) {
153
168
  // 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`);
169
+ if (await this.warpToTimestamp(nextSlotTimestamp)) {
170
+ this.logger.info(`Slot ${currentSlot} was filled, jumped to next slot`);
171
+ }
156
172
  return;
157
173
  }
158
174
 
@@ -180,9 +196,10 @@ export class AnvilTestWatcher {
180
196
  }
181
197
 
182
198
  if (realNow - this.unfilledSlotFirstSeen.realTime > 2000) {
183
- await this.warpToTimestamp(nextSlotTimestamp);
199
+ if (await this.warpToTimestamp(nextSlotTimestamp)) {
200
+ this.logger.info(`Slot ${currentSlot} was missed with pending txs, jumped to next slot`);
201
+ }
184
202
  this.unfilledSlotFirstSeen = undefined;
185
- this.logger.info(`Slot ${currentSlot} was missed with pending txs, jumped to next slot`);
186
203
  }
187
204
 
188
205
  return;
@@ -192,19 +209,33 @@ export class AnvilTestWatcher {
192
209
  // Fallback: warp when the dateProvider time has passed the next slot timestamp.
193
210
  const currentTimestamp = this.dateProvider?.now() ?? Date.now();
194
211
  if (currentTimestamp > nextSlotTimestamp * 1000) {
195
- await this.warpToTimestamp(nextSlotTimestamp);
196
- this.logger.info(`Slot ${currentSlot} was missed, jumped to next slot`);
212
+ if (await this.warpToTimestamp(nextSlotTimestamp)) {
213
+ this.logger.info(`Slot ${currentSlot} was missed, jumped to next slot`);
214
+ }
197
215
  }
198
216
  } catch {
199
217
  this.logger.error('mineIfSlotFilled failed');
200
218
  }
201
219
  }
202
220
 
203
- private async warpToTimestamp(timestamp: number) {
221
+ /**
222
+ * Warps L1 to `timestamp`, unless L1 is already at or past it. Returns true when a warp actually
223
+ * happened, false when skipped or on error. Callers use the return value to gate success logs.
224
+ */
225
+ private async warpToTimestamp(timestamp: number): Promise<boolean> {
204
226
  try {
227
+ // Anvil rejects evm_setNextBlockTimestamp values <= the current block's timestamp. The two
228
+ // watcher loops can race and pick targets a fraction of a second apart; skip here rather than
229
+ // letting the second one error out noisily.
230
+ const lastTimestamp = await this.cheatcodes.lastBlockTimestamp();
231
+ if (timestamp <= lastTimestamp) {
232
+ return false;
233
+ }
205
234
  await this.cheatcodes.warp(timestamp, { resetBlockInterval: true });
235
+ return true;
206
236
  } catch (e) {
207
237
  this.logger.error(`Failed to warp to timestamp ${timestamp}: ${e}`);
238
+ return false;
208
239
  }
209
240
  }
210
241
  }