@aztec-labs/cli 6.0.0-nightly.20260918 → 6.0.0-nightly.20260920

package/dest/cmds/l1/compute_genesis_values.d.ts

@@ -1,4 +1,10 @@
 import type { LogFn } from '@aztec-labs/foundation/log';
-/** Computes and prints genesis values needed for L1 contract deployment. */
+/**
+ * Computes and prints genesis values needed for L1 contract deployment.
+ *
+ * `genesisArchiveRoot` is this deployment's root, which depends on the accounts it prefunds. The `canonical` block is
+ * the prefunding-free genesis that the `GENESIS_*` protocol constants record, and is what
+ * `noir-projects/fnd/scripts/regenerate_genesis_constants.sh` reads to refresh them.
+ */
 export declare function computeGenesisValuesCmd(testAccounts: boolean, sponsoredFPC: boolean, log: LogFn): Promise<void>;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29tcHV0ZV9nZW5lc2lzX3ZhbHVlcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2NtZHMvbDEvY29tcHV0ZV9nZW5lc2lzX3ZhbHVlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssRUFBRSxLQUFLLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQU14RCw0RUFBNEU7QUFDNUUsd0JBQXNCLHVCQUF1QixDQUFDLFlBQVksRUFBRSxPQUFPLEVBQUUsWUFBWSxFQUFFLE9BQU8sRUFBRSxHQUFHLEVBQUUsS0FBSyxpQkFvQnJHIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29tcHV0ZV9nZW5lc2lzX3ZhbHVlcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2NtZHMvbDEvY29tcHV0ZV9nZW5lc2lzX3ZhbHVlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssRUFBRSxLQUFLLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQU14RDs7Ozs7O0dBTUc7QUFDSCx3QkFBc0IsdUJBQXVCLENBQUMsWUFBWSxFQUFFLE9BQU8sRUFBRSxZQUFZLEVBQUUsT0FBTyxFQUFFLEdBQUcsRUFBRSxLQUFLLGlCQTJCckcifQ==

package/dest/cmds/l1/compute_genesis_values.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compute_genesis_values.d.ts","sourceRoot":"","sources":["../../../src/cmds/l1/compute_genesis_values.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AAMxD,4EAA4E;AAC5E,wBAAsB,uBAAuB,CAAC,YAAY,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,iBAoBrG"}
+{"version":3,"file":"compute_genesis_values.d.ts","sourceRoot":"","sources":["../../../src/cmds/l1/compute_genesis_values.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AAMxD;;;;;;GAMG;AACH,wBAAsB,uBAAuB,CAAC,YAAY,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,iBA2BrG"}

package/dest/cmds/l1/compute_genesis_values.js

@@ -1,17 +1,30 @@
 import { getInitialTestAccountsData } from '@aztec-labs/accounts/testing';
 import { protocolContractsHash } from '@aztec-labs/protocol-contracts';
-import { getGenesisValues } from '@aztec-labs/world-state/testing';
+import { getGenesisValues, measureCanonicalGenesis } from '@aztec-labs/world-state/testing';
 import { getSponsoredFPCAddress } from '../../utils/setup_contracts.js';
-/** Computes and prints genesis values needed for L1 contract deployment. */ export async function computeGenesisValuesCmd(testAccounts, sponsoredFPC, log) {
+/**
+ * Computes and prints genesis values needed for L1 contract deployment.
+ *
+ * `genesisArchiveRoot` is this deployment's root, which depends on the accounts it prefunds. The `canonical` block is
+ * the prefunding-free genesis that the `GENESIS_*` protocol constants record, and is what
+ * `noir-projects/fnd/scripts/regenerate_genesis_constants.sh` reads to refresh them.
+ */ export async function computeGenesisValuesCmd(testAccounts, sponsoredFPC, log) {
     const initialAccounts = testAccounts ? await getInitialTestAccountsData() : [];
     const sponsoredFPCAddresses = sponsoredFPC ? await getSponsoredFPCAddress() : [];
     const initialFundedAccounts = initialAccounts.map((a)=>a.address).concat(sponsoredFPCAddresses);
     const { genesisArchiveRoot } = await getGenesisValues(initialFundedAccounts);
+    const canonical = await measureCanonicalGenesis();
     const { getVKTreeRoot } = await import('@aztec-labs/noir-protocol-circuits-types/vk-tree');
     const vkTreeRoot = getVKTreeRoot();
     log(JSON.stringify({
         vkTreeRoot: vkTreeRoot.toString(),
         protocolContractsHash: protocolContractsHash.toString(),
-        genesisArchiveRoot: genesisArchiveRoot.toString()
+        genesisArchiveRoot: genesisArchiveRoot.toString(),
+        canonical: {
+            prefilledNullifiers: canonical.prefilledNullifiers.map((n)=>n.toString()),
+            nullifierTreeRoot: canonical.nullifierTreeRoot.toString(),
+            blockHeaderHash: canonical.blockHeaderHash.toString(),
+            archiveRoot: canonical.archiveRoot.toString()
+        }
     }, null, 2));
 }

package/dest/cmds/l1/index.d.ts

@@ -1,4 +1,4 @@
 import type { LogFn, Logger } from '@aztec-labs/foundation/log';
 import { type Command } from 'commander';
 export declare function injectCommands(program: Command, log: LogFn, debugLogger: Logger): Command;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jbWRzL2wxL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sS0FBSyxFQUFFLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUNoRSxPQUFPLEVBQUUsS0FBSyxPQUFPLEVBQVUsTUFBTSxXQUFXLENBQUM7QUF1QmpELHdCQUFnQixjQUFjLENBQUMsT0FBTyxFQUFFLE9BQU8sRUFBRSxHQUFHLEVBQUUsS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLFdBd2QvRSJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jbWRzL2wxL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sS0FBSyxFQUFFLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUNoRSxPQUFPLEVBQUUsS0FBSyxPQUFPLEVBQVUsTUFBTSxXQUFXLENBQUM7QUF1QmpELHdCQUFnQixjQUFjLENBQUMsT0FBTyxFQUFFLE9BQU8sRUFBRSxHQUFHLEVBQUUsS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLFdBNmdCL0UifQ==

package/dest/cmds/l1/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/cmds/l1/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,KAAK,OAAO,EAAU,MAAM,WAAW,CAAC;AAuBjD,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,WAwd/E"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/cmds/l1/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,KAAK,OAAO,EAAU,MAAM,WAAW,CAAC;AAuBjD,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,WA6gB/E"}

package/dest/cmds/l1/index.js

@@ -120,6 +120,33 @@ export function injectCommands(program, log, debugLogger) {
             debugLogger
         });
     });
+    program.command('initiate-withdraw-by-attester').description("Initiates a withdrawal signed by the position's attester.").addOption(l1RpcUrlsOption).addOption(l1ChainIdOption).option('-pk, --private-key <string>', 'The attester private key', PRIVATE_KEY).option('-m, --mnemonic <string>', 'Mnemonic for the attester account', MNEMONIC).requiredOption('--attester <address>', 'Attester address of the position to exit', parseEthereumAddress).requiredOption('--rollup <address>', 'Rollup holding the position', parseEthereumAddress).action(async (options)=>{
+        const { initiateWithdrawByAttester } = await import('./update_l1_validators.js');
+        await initiateWithdrawByAttester({
+            rpcUrls: options.l1RpcUrls,
+            chainId: options.l1ChainId,
+            privateKey: options.privateKey,
+            mnemonic: options.mnemonic,
+            attesterAddress: options.attester,
+            rollupAddress: options.rollup,
+            log,
+            debugLogger
+        });
+    });
+    program.command('initiate-withdraw-by-attester-batch').description('Relays a JSON array of attester-signed withdrawal authorizations.').addOption(l1RpcUrlsOption).addOption(l1ChainIdOption).option('-pk, --private-key <string>', 'The relayer private key', PRIVATE_KEY).option('-m, --mnemonic <string>', 'Mnemonic for the relayer account', MNEMONIC).requiredOption('--authorizations <path>', 'JSON file containing attester, decimal deadline, and signature fields').requiredOption('--rollup <address>', 'Rollup holding the positions', parseEthereumAddress).option('--up-to-limit', 'Process the largest permitted prefix instead of reverting when the whole batch is too large').action(async (options)=>{
+        const { initiateWithdrawByAttesterBatch, readAttesterExitAuthorizations } = await import('./update_l1_validators.js');
+        await initiateWithdrawByAttesterBatch({
+            rpcUrls: options.l1RpcUrls,
+            chainId: options.l1ChainId,
+            privateKey: options.privateKey,
+            mnemonic: options.mnemonic,
+            authorizations: await readAttesterExitAuthorizations(options.authorizations),
+            upToLimit: options.upToLimit,
+            rollupAddress: options.rollup,
+            log,
+            debugLogger
+        });
+    });
     program.command('remove-l1-validator').description('Removes a validator to the L1 rollup contract.').addOption(l1RpcUrlsOption).option('-pk, --private-key <string>', 'The private key to use for deployment', PRIVATE_KEY).option('-m, --mnemonic <string>', 'The mnemonic to use in deployment', 'test test test test test test test test test test test junk').addOption(l1ChainIdOption).option('--validator <address>', 'ethereum address of the validator', parseEthereumAddress).option('--rollup <address>', 'ethereum address of the rollup contract', parseEthereumAddress).action(async (options)=>{
         const { removeL1Validator } = await import('./update_l1_validators.js');
         await removeL1Validator({

package/dest/cmds/l1/update_l1_validators.d.ts

@@ -1,4 +1,5 @@
-import type { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { type AttesterExitAuthorization } from '@aztec-labs/ethereum/contracts';
+import { EthAddress } from '@aztec-labs/foundation/eth-address';
 import type { LogFn, Logger } from '@aztec-labs/foundation/log';
 export interface RollupCommandArgs {
     rpcUrls: string[];
@@ -37,9 +38,20 @@ export declare function addL1ValidatorViaRollup({ rpcUrls, chainId, privateKey,
 export declare function removeL1Validator({ rpcUrls, chainId, privateKey, mnemonic, validatorAddress, rollupAddress, log, debugLogger }: RollupCommandArgs & LoggerArgs & {
     validatorAddress: EthAddress;
 }): Promise<void>;
+/** Reads relayed attester exit authorizations from a JSON array. */
+export declare function readAttesterExitAuthorizations(path: string): Promise<AttesterExitAuthorization[]>;
+/** Relays a batch of attester-signed exits. */
+export declare function initiateWithdrawByAttesterBatch({ rpcUrls, chainId, privateKey, mnemonic, authorizations, upToLimit, rollupAddress, log, debugLogger }: Omit<RollupCommandArgs, 'withdrawerAddress'> & LoggerArgs & {
+    authorizations: AttesterExitAuthorization[];
+    upToLimit: boolean;
+}): Promise<import("viem").TransactionReceipt>;
+/** Initiates an attester exit without changing the registered withdrawer's control over the payout. */
+export declare function initiateWithdrawByAttester({ rpcUrls, chainId, privateKey, mnemonic, attesterAddress, rollupAddress, log, debugLogger }: Omit<RollupCommandArgs, 'withdrawerAddress'> & LoggerArgs & {
+    attesterAddress: EthAddress;
+}): Promise<import("viem").TransactionReceipt>;
 export declare function pruneRollup({ rpcUrls, chainId, privateKey, mnemonic, rollupAddress, log, debugLogger }: RollupCommandArgs & LoggerArgs): Promise<void>;
 export declare function fastForwardEpochs({ rpcUrls, chainId, rollupAddress, numEpochs, log, debugLogger }: RollupCommandArgs & LoggerArgs & {
     numEpochs: bigint;
 }): Promise<void>;
 export declare function debugRollup({ rpcUrls, chainId, rollupAddress, log }: RollupCommandArgs & LoggerArgs): Promise<void>;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidXBkYXRlX2wxX3ZhbGlkYXRvcnMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jbWRzL2wxL3VwZGF0ZV9sMV92YWxpZGF0b3JzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVFBLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLG9DQUFvQyxDQUFDO0FBQ3JFLE9BQU8sS0FBSyxFQUFFLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQU1oRSxNQUFNLFdBQVcsaUJBQWlCO0lBQ2hDLE9BQU8sRUFBRSxNQUFNLEVBQUUsQ0FBQztJQUNsQixPQUFPLEVBQUUsTUFBTSxDQUFDO0lBQ2hCLFVBQVUsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNwQixRQUFRLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDbEIsYUFBYSxFQUFFLFVBQVUsQ0FBQztJQUMxQixpQkFBaUIsQ0FBQyxFQUFFLFVBQVUsQ0FBQztDQUNoQztBQUVELE1BQU0sV0FBVyw4QkFBOEI7SUFDN0MsT0FBTyxFQUFFLE1BQU0sRUFBRSxDQUFDO0lBQ2xCLE9BQU8sRUFBRSxNQUFNLENBQUM7SUFDaEIsVUFBVSxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ3BCLFFBQVEsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNsQiwwQkFBMEIsRUFBRSxVQUFVLENBQUM7Q0FDeEM7QUFFRCxNQUFNLFdBQVcsVUFBVTtJQUN6QixHQUFHLEVBQUUsS0FBSyxDQUFDO0lBQ1gsV0FBVyxFQUFFLE1BQU0sQ0FBQztDQUNyQjtBQUVELHdCQUFnQixpQkFBaUI7OztFQU9oQztBQUVELHdCQUFzQixjQUFjLENBQUMsRUFDbkMsT0FBTyxFQUNQLE9BQU8sRUFDUCxVQUFVLEVBQ1YsUUFBUSxFQUNSLGVBQWUsRUFDZixpQkFBaUIsRUFDakIsMEJBQTBCLEVBQzFCLFdBQVcsRUFDWCxZQUFZLEVBQ1osR0FBRyxFQUNILFdBQVcsRUFDWixFQUFFLDhCQUE4QixHQUMvQixVQUFVLEdBQUc7SUFDWCxZQUFZLEVBQUUsTUFBTSxDQUFDO0lBQ3JCLGVBQWUsRUFBRSxVQUFVLENBQUM7SUFDNUIsaUJBQWlCLEVBQUUsVUFBVSxDQUFDO0lBQzlCLFdBQVcsRUFBRSxNQUFNLENBQUM7Q0FDckIsaUJBd0ZGO0FBRUQsd0JBQXNCLHVCQUF1QixDQUFDLEVBQzVDLE9BQU8sRUFDUCxPQUFPLEVBQ1AsVUFBVSxFQUNWLFFBQVEsRUFDUixlQUFlLEVBQ2YsaUJBQWlCLEVBQ2pCLFlBQVksRUFDWixvQkFBb0IsRUFDcEIsYUFBYSxFQUNiLEdBQUcsRUFDSCxXQUFXLEVBQ1osRUFBRSxpQkFBaUIsR0FDbEIsVUFBVSxHQUFHO0lBQ1gsWUFBWSxFQUFFLE1BQU0sQ0FBQztJQUNyQixlQUFlLEVBQUUsVUFBVSxDQUFDO0lBQzVCLG9CQUFvQixFQUFFLE9BQU8sQ0FBQztDQUMvQixpQkF1REY7QUFFRCx3QkFBc0IsaUJBQWlCLENBQUMsRUFDdEMsT0FBTyxFQUNQLE9BQU8sRUFDUCxVQUFVLEVBQ1YsUUFBUSxFQUNSLGdCQUFnQixFQUNoQixhQUFhLEVBQ2IsR0FBRyxFQUNILFdBQVcsRUFDWixFQUFFLGlCQUFpQixHQUFHLFVBQVUsR0FBRztJQUFFLGdCQUFnQixFQUFFLFVBQVUsQ0FBQTtDQUFFLGlCQWlCbkU7QUFFRCx3QkFBc0IsV0FBVyxDQUFDLEVBQ2hDLE9BQU8sRUFDUCxPQUFPLEVBQ1AsVUFBVSxFQUNWLFFBQVEsRUFDUixhQUFhLEVBQ2IsR0FBRyxFQUNILFdBQVcsRUFDWixFQUFFLGlCQUFpQixHQUFHLFVBQVUsaUJBZ0JoQztBQUVELHdCQUFzQixpQkFBaUIsQ0FBQyxFQUN0QyxPQUFPLEVBQ1AsT0FBTyxFQUNQLGFBQWEsRUFDYixTQUFTLEVBQ1QsR0FBRyxFQUNILFdBQVcsRUFDWixFQUFFLGlCQUFpQixHQUFHLFVBQVUsR0FBRztJQUFFLFNBQVMsRUFBRSxNQUFNLENBQUE7Q0FBRSxpQkF5QnhEO0FBRUQsd0JBQXNCLFdBQVcsQ0FBQyxFQUFFLE9BQU8sRUFBRSxPQUFPLEVBQUUsYUFBYSxFQUFFLEdBQUcsRUFBRSxFQUFFLGlCQUFpQixHQUFHLFVBQVUsaUJBd0J6RyJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidXBkYXRlX2wxX3ZhbGlkYXRvcnMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jbWRzL2wxL3VwZGF0ZV9sMV92YWxpZGF0b3JzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUtBLE9BQU8sRUFBRSxLQUFLLHlCQUF5QixFQUErQixNQUFNLGdDQUFnQyxDQUFDO0FBRzdHLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQUVoRSxPQUFPLEtBQUssRUFBRSxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFPaEUsTUFBTSxXQUFXLGlCQUFpQjtJQUNoQyxPQUFPLEVBQUUsTUFBTSxFQUFFLENBQUM7SUFDbEIsT0FBTyxFQUFFLE1BQU0sQ0FBQztJQUNoQixVQUFVLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDcEIsUUFBUSxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ2xCLGFBQWEsRUFBRSxVQUFVLENBQUM7SUFDMUIsaUJBQWlCLENBQUMsRUFBRSxVQUFVLENBQUM7Q0FDaEM7QUFFRCxNQUFNLFdBQVcsOEJBQThCO0lBQzdDLE9BQU8sRUFBRSxNQUFNLEVBQUUsQ0FBQztJQUNsQixPQUFPLEVBQUUsTUFBTSxDQUFDO0lBQ2hCLFVBQVUsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNwQixRQUFRLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDbEIsMEJBQTBCLEVBQUUsVUFBVSxDQUFDO0NBQ3hDO0FBRUQsTUFBTSxXQUFXLFVBQVU7SUFDekIsR0FBRyxFQUFFLEtBQUssQ0FBQztJQUNYLFdBQVcsRUFBRSxNQUFNLENBQUM7Q0FDckI7QUFFRCx3QkFBZ0IsaUJBQWlCOzs7RUFPaEM7QUFFRCx3QkFBc0IsY0FBYyxDQUFDLEVBQ25DLE9BQU8sRUFDUCxPQUFPLEVBQ1AsVUFBVSxFQUNWLFFBQVEsRUFDUixlQUFlLEVBQ2YsaUJBQWlCLEVBQ2pCLDBCQUEwQixFQUMxQixXQUFXLEVBQ1gsWUFBWSxFQUNaLEdBQUcsRUFDSCxXQUFXLEVBQ1osRUFBRSw4QkFBOEIsR0FDL0IsVUFBVSxHQUFHO0lBQ1gsWUFBWSxFQUFFLE1BQU0sQ0FBQztJQUNyQixlQUFlLEVBQUUsVUFBVSxDQUFDO0lBQzVCLGlCQUFpQixFQUFFLFVBQVUsQ0FBQztJQUM5QixXQUFXLEVBQUUsTUFBTSxDQUFDO0NBQ3JCLGlCQXdGRjtBQUVELHdCQUFzQix1QkFBdUIsQ0FBQyxFQUM1QyxPQUFPLEVBQ1AsT0FBTyxFQUNQLFVBQVUsRUFDVixRQUFRLEVBQ1IsZUFBZSxFQUNmLGlCQUFpQixFQUNqQixZQUFZLEVBQ1osb0JBQW9CLEVBQ3BCLGFBQWEsRUFDYixHQUFHLEVBQ0gsV0FBVyxFQUNaLEVBQUUsaUJBQWlCLEdBQ2xCLFVBQVUsR0FBRztJQUNYLFlBQVksRUFBRSxNQUFNLENBQUM7SUFDckIsZUFBZSxFQUFFLFVBQVUsQ0FBQztJQUM1QixvQkFBb0IsRUFBRSxPQUFPLENBQUM7Q0FDL0IsaUJBdURGO0FBRUQsd0JBQXNCLGlCQUFpQixDQUFDLEVBQ3RDLE9BQU8sRUFDUCxPQUFPLEVBQ1AsVUFBVSxFQUNWLFFBQVEsRUFDUixnQkFBZ0IsRUFDaEIsYUFBYSxFQUNiLEdBQUcsRUFDSCxXQUFXLEVBQ1osRUFBRSxpQkFBaUIsR0FBRyxVQUFVLEdBQUc7SUFBRSxnQkFBZ0IsRUFBRSxVQUFVLENBQUE7Q0FBRSxpQkFpQm5FO0FBRUQsb0VBQW9FO0FBQ3BFLHdCQUFzQiw4QkFBOEIsQ0FBQyxJQUFJLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyx5QkFBeUIsRUFBRSxDQUFDLENBT3ZHO0FBNkJELCtDQUErQztBQUMvQyx3QkFBc0IsK0JBQStCLENBQUMsRUFDcEQsT0FBTyxFQUNQLE9BQU8sRUFDUCxVQUFVLEVBQ1YsUUFBUSxFQUNSLGNBQWMsRUFDZCxTQUFTLEVBQ1QsYUFBYSxFQUNiLEdBQUcsRUFDSCxXQUFXLEVBQ1osRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsbUJBQW1CLENBQUMsR0FDN0MsVUFBVSxHQUFHO0lBQ1gsY0FBYyxFQUFFLHlCQUF5QixFQUFFLENBQUM7SUFDNUMsU0FBUyxFQUFFLE9BQU8sQ0FBQztDQUNwQiw4Q0F5QkY7QUFFRCx1R0FBdUc7QUFDdkcsd0JBQXNCLDBCQUEwQixDQUFDLEVBQy9DLE9BQU8sRUFDUCxPQUFPLEVBQ1AsVUFBVSxFQUNWLFFBQVEsRUFDUixlQUFlLEVBQ2YsYUFBYSxFQUNiLEdBQUcsRUFDSCxXQUFXLEVBQ1osRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsbUJBQW1CLENBQUMsR0FBRyxVQUFVLEdBQUc7SUFBRSxlQUFlLEVBQUUsVUFBVSxDQUFBO0NBQUUsOENBcUI3RjtBQUVELHdCQUFzQixXQUFXLENBQUMsRUFDaEMsT0FBTyxFQUNQLE9BQU8sRUFDUCxVQUFVLEVBQ1YsUUFBUSxFQUNSLGFBQWEsRUFDYixHQUFHLEVBQ0gsV0FBVyxFQUNaLEVBQUUsaUJBQWlCLEdBQUcsVUFBVSxpQkFnQmhDO0FBRUQsd0JBQXNCLGlCQUFpQixDQUFDLEVBQ3RDLE9BQU8sRUFDUCxPQUFPLEVBQ1AsYUFBYSxFQUNiLFNBQVMsRUFDVCxHQUFHLEVBQ0gsV0FBVyxFQUNaLEVBQUUsaUJBQWlCLEdBQUcsVUFBVSxHQUFHO0lBQUUsU0FBUyxFQUFFLE1BQU0sQ0FBQTtDQUFFLGlCQXlCeEQ7QUFFRCx3QkFBc0IsV0FBVyxDQUFDLEVBQUUsT0FBTyxFQUFFLE9BQU8sRUFBRSxhQUFhLEVBQUUsR0FBRyxFQUFFLEVBQUUsaUJBQWlCLEdBQUcsVUFBVSxpQkF3QnpHIn0=

package/dest/cmds/l1/update_l1_validators.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"update_l1_validators.d.ts","sourceRoot":"","sources":["../../../src/cmds/l1/update_l1_validators.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAMhE,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,UAAU,CAAC;IAC1B,iBAAiB,CAAC,EAAE,UAAU,CAAC;CAChC;AAED,MAAM,WAAW,8BAA8B;IAC7C,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,0BAA0B,EAAE,UAAU,CAAC;CACxC;AAED,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,KAAK,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,wBAAgB,iBAAiB;;;EAOhC;AAED,wBAAsB,cAAc,CAAC,EACnC,OAAO,EACP,OAAO,EACP,UAAU,EACV,QAAQ,EACR,eAAe,EACf,iBAAiB,EACjB,0BAA0B,EAC1B,WAAW,EACX,YAAY,EACZ,GAAG,EACH,WAAW,EACZ,EAAE,8BAA8B,GAC/B,UAAU,GAAG;IACX,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,UAAU,CAAC;IAC5B,iBAAiB,EAAE,UAAU,CAAC;IAC9B,WAAW,EAAE,MAAM,CAAC;CACrB,iBAwFF;AAED,wBAAsB,uBAAuB,CAAC,EAC5C,OAAO,EACP,OAAO,EACP,UAAU,EACV,QAAQ,EACR,eAAe,EACf,iBAAiB,EACjB,YAAY,EACZ,oBAAoB,EACpB,aAAa,EACb,GAAG,EACH,WAAW,EACZ,EAAE,iBAAiB,GAClB,UAAU,GAAG;IACX,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,UAAU,CAAC;IAC5B,oBAAoB,EAAE,OAAO,CAAC;CAC/B,iBAuDF;AAED,wBAAsB,iBAAiB,CAAC,EACtC,OAAO,EACP,OAAO,EACP,UAAU,EACV,QAAQ,EACR,gBAAgB,EAChB,aAAa,EACb,GAAG,EACH,WAAW,EACZ,EAAE,iBAAiB,GAAG,UAAU,GAAG;IAAE,gBAAgB,EAAE,UAAU,CAAA;CAAE,iBAiBnE;AAED,wBAAsB,WAAW,CAAC,EAChC,OAAO,EACP,OAAO,EACP,UAAU,EACV,QAAQ,EACR,aAAa,EACb,GAAG,EACH,WAAW,EACZ,EAAE,iBAAiB,GAAG,UAAU,iBAgBhC;AAED,wBAAsB,iBAAiB,CAAC,EACtC,OAAO,EACP,OAAO,EACP,aAAa,EACb,SAAS,EACT,GAAG,EACH,WAAW,EACZ,EAAE,iBAAiB,GAAG,UAAU,GAAG;IAAE,SAAS,EAAE,MAAM,CAAA;CAAE,iBAyBxD;AAED,wBAAsB,WAAW,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,EAAE,iBAAiB,GAAG,UAAU,iBAwBzG"}
+{"version":3,"file":"update_l1_validators.d.ts","sourceRoot":"","sources":["../../../src/cmds/l1/update_l1_validators.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,KAAK,yBAAyB,EAA+B,MAAM,gCAAgC,CAAC;AAG7G,OAAO,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAEhE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAOhE,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,UAAU,CAAC;IAC1B,iBAAiB,CAAC,EAAE,UAAU,CAAC;CAChC;AAED,MAAM,WAAW,8BAA8B;IAC7C,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,0BAA0B,EAAE,UAAU,CAAC;CACxC;AAED,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,KAAK,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,wBAAgB,iBAAiB;;;EAOhC;AAED,wBAAsB,cAAc,CAAC,EACnC,OAAO,EACP,OAAO,EACP,UAAU,EACV,QAAQ,EACR,eAAe,EACf,iBAAiB,EACjB,0BAA0B,EAC1B,WAAW,EACX,YAAY,EACZ,GAAG,EACH,WAAW,EACZ,EAAE,8BAA8B,GAC/B,UAAU,GAAG;IACX,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,UAAU,CAAC;IAC5B,iBAAiB,EAAE,UAAU,CAAC;IAC9B,WAAW,EAAE,MAAM,CAAC;CACrB,iBAwFF;AAED,wBAAsB,uBAAuB,CAAC,EAC5C,OAAO,EACP,OAAO,EACP,UAAU,EACV,QAAQ,EACR,eAAe,EACf,iBAAiB,EACjB,YAAY,EACZ,oBAAoB,EACpB,aAAa,EACb,GAAG,EACH,WAAW,EACZ,EAAE,iBAAiB,GAClB,UAAU,GAAG;IACX,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,UAAU,CAAC;IAC5B,oBAAoB,EAAE,OAAO,CAAC;CAC/B,iBAuDF;AAED,wBAAsB,iBAAiB,CAAC,EACtC,OAAO,EACP,OAAO,EACP,UAAU,EACV,QAAQ,EACR,gBAAgB,EAChB,aAAa,EACb,GAAG,EACH,WAAW,EACZ,EAAE,iBAAiB,GAAG,UAAU,GAAG;IAAE,gBAAgB,EAAE,UAAU,CAAA;CAAE,iBAiBnE;AAED,oEAAoE;AACpE,wBAAsB,8BAA8B,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,yBAAyB,EAAE,CAAC,CAOvG;AA6BD,+CAA+C;AAC/C,wBAAsB,+BAA+B,CAAC,EACpD,OAAO,EACP,OAAO,EACP,UAAU,EACV,QAAQ,EACR,cAAc,EACd,SAAS,EACT,aAAa,EACb,GAAG,EACH,WAAW,EACZ,EAAE,IAAI,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,GAC7C,UAAU,GAAG;IACX,cAAc,EAAE,yBAAyB,EAAE,CAAC;IAC5C,SAAS,EAAE,OAAO,CAAC;CACpB,8CAyBF;AAED,uGAAuG;AACvG,wBAAsB,0BAA0B,CAAC,EAC/C,OAAO,EACP,OAAO,EACP,UAAU,EACV,QAAQ,EACR,eAAe,EACf,aAAa,EACb,GAAG,EACH,WAAW,EACZ,EAAE,IAAI,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,GAAG,UAAU,GAAG;IAAE,eAAe,EAAE,UAAU,CAAA;CAAE,8CAqB7F;AAED,wBAAsB,WAAW,CAAC,EAChC,OAAO,EACP,OAAO,EACP,UAAU,EACV,QAAQ,EACR,aAAa,EACb,GAAG,EACH,WAAW,EACZ,EAAE,iBAAiB,GAAG,UAAU,iBAgBhC;AAED,wBAAsB,iBAAiB,CAAC,EACtC,OAAO,EACP,OAAO,EACP,aAAa,EACb,SAAS,EACT,GAAG,EACH,WAAW,EACZ,EAAE,iBAAiB,GAAG,UAAU,GAAG;IAAE,SAAS,EAAE,MAAM,CAAA;CAAE,iBAyBxD;AAED,wBAAsB,WAAW,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,EAAE,iBAAiB,GAAG,UAAU,iBAwBzG"}

package/dest/cmds/l1/update_l1_validators.js

@@ -5,9 +5,12 @@ import { getL1ContractsConfigEnvVars } from '@aztec-labs/ethereum/config';
 import { GSEContract, RollupContract } from '@aztec-labs/ethereum/contracts';
 import { createL1TxUtils } from '@aztec-labs/ethereum/l1-tx-utils';
 import { EthCheatCodes } from '@aztec-labs/ethereum/test';
+import { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { Signature } from '@aztec-labs/foundation/eth-signature';
 import { DateProvider } from '@aztec-labs/foundation/timer';
 import { ZkPassportProofParams } from '@aztec-labs/stdlib/zkpassport';
-import { encodeFunctionData, formatEther, getContract, maxUint256 } from 'viem';
+import { readFile } from 'node:fs/promises';
+import { encodeFunctionData, formatEther, getContract, isHex, maxUint256 } from 'viem';
 import { generatePrivateKey, mnemonicToAccount, privateKeyToAccount } from 'viem/accounts';
 export function generateL1Account() {
     const privateKey = generatePrivateKey();
@@ -188,6 +191,84 @@ export async function removeL1Validator({ rpcUrls, chainId, privateKey, mnemonic
     });
     dualLog(`Transaction hash: ${receipt.transactionHash}`);
 }
+/** Reads relayed attester exit authorizations from a JSON array. */ export async function readAttesterExitAuthorizations(path) {
+    const parsed = JSON.parse(await readFile(path, 'utf-8'));
+    if (!Array.isArray(parsed) || parsed.length === 0) {
+        throw new Error('Attester exit authorization file must contain a non-empty JSON array');
+    }
+    return parsed.map((value, index)=>parseAttesterExitAuthorization(value, index));
+}
+function isRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function parseAttesterExitAuthorization(value, index) {
+    if (!isRecord(value)) {
+        throw new Error(`Attester exit authorization ${index} must be an object`);
+    }
+    const authorization = value;
+    if (typeof authorization.attester !== 'string') {
+        throw new Error(`Attester exit authorization ${index} has an invalid attester`);
+    }
+    if (typeof authorization.deadline !== 'string' || !/^\d+$/.test(authorization.deadline)) {
+        throw new Error(`Attester exit authorization ${index} deadline must be a decimal string`);
+    }
+    if (typeof authorization.signature !== 'string' || !isHex(authorization.signature)) {
+        throw new Error(`Attester exit authorization ${index} has an invalid signature`);
+    }
+    return {
+        attester: EthAddress.fromString(authorization.attester),
+        deadline: BigInt(authorization.deadline),
+        signature: Signature.fromString(authorization.signature).toViemSignature()
+    };
+}
+/** Relays a batch of attester-signed exits. */ export async function initiateWithdrawByAttesterBatch({ rpcUrls, chainId, privateKey, mnemonic, authorizations, upToLimit, rollupAddress, log, debugLogger }) {
+    const account = getAccount(privateKey, mnemonic);
+    const chain = createEthereumChain(rpcUrls, chainId);
+    const client = createExtendedL1Client(rpcUrls, account, chain.chainInfo);
+    const rollup = new RollupContract(client, rollupAddress);
+    const l1TxUtils = createL1TxUtils(client, {
+        logger: debugLogger
+    });
+    const { receipt } = upToLimit ? await rollup.initiateWithdrawByAttesterBatchUpToLimit(l1TxUtils, authorizations) : await rollup.initiateWithdrawByAttesterBatch(l1TxUtils, authorizations);
+    if (receipt.status !== 'success') {
+        throw new Error(`Attester exit batch reverted: ${receipt.transactionHash}`);
+    }
+    log(`Submitted ${authorizations.length} attester exit authorizations. Transaction hash: ${receipt.transactionHash}`);
+    if (upToLimit) {
+        log('The rollup processed the largest permitted prefix of the authorization list.');
+    }
+    debugLogger.info('Attester exit batch submitted', {
+        authorizationCount: authorizations.length,
+        upToLimit,
+        rollup: rollupAddress.toString(),
+        transactionHash: receipt.transactionHash
+    });
+    return receipt;
+}
+/** Initiates an attester exit without changing the registered withdrawer's control over the payout. */ export async function initiateWithdrawByAttester({ rpcUrls, chainId, privateKey, mnemonic, attesterAddress, rollupAddress, log, debugLogger }) {
+    const account = getAccount(privateKey, mnemonic);
+    if (account.address.toLowerCase() !== attesterAddress.toString().toLowerCase()) {
+        throw new Error('The transaction signer must match the attester address');
+    }
+    const chain = createEthereumChain(rpcUrls, chainId);
+    const client = createExtendedL1Client(rpcUrls, account, chain.chainInfo);
+    const rollup = new RollupContract(client, rollupAddress);
+    const l1TxUtils = createL1TxUtils(client, {
+        logger: debugLogger
+    });
+    const { receipt } = await rollup.initiateWithdrawByAttester(l1TxUtils, attesterAddress);
+    if (receipt.status !== 'success') {
+        throw new Error(`Attester exit reverted: ${receipt.transactionHash}`);
+    }
+    log(`Attester exit initiated for ${attesterAddress}. Transaction hash: ${receipt.transactionHash}`);
+    log('The registered withdrawer must select a recipient using initiateWithdraw before finalization.');
+    debugLogger.info('Attester exit initiated', {
+        attester: attesterAddress.toString(),
+        rollup: rollupAddress.toString(),
+        transactionHash: receipt.transactionHash
+    });
+    return receipt;
+}
 export async function pruneRollup({ rpcUrls, chainId, privateKey, mnemonic, rollupAddress, log, debugLogger }) {
     const dualLog = makeDualLog(log, debugLogger);
     const account = getAccount(privateKey, mnemonic);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec-labs/cli",
-  "version": "6.0.0-nightly.20260918",
+  "version": "6.0.0-nightly.20260920",
   "type": "module",
   "exports": {
     "./devnet": "./dest/cmds/devnet/index.js",
@@ -76,19 +76,19 @@
     ]
   },
   "dependencies": {
-    "@aztec-foundation/l1-artifacts": "6.0.0-nightly.20260916",
-    "@aztec-labs/accounts": "6.0.0-nightly.20260918",
-    "@aztec-labs/archiver": "6.0.0-nightly.20260918",
-    "@aztec-labs/aztec.js": "6.0.0-nightly.20260918",
-    "@aztec-labs/constants": "6.0.0-nightly.20260918",
-    "@aztec-labs/ethereum": "6.0.0-nightly.20260918",
-    "@aztec-labs/foundation": "6.0.0-nightly.20260918",
-    "@aztec-labs/node-keystore": "6.0.0-nightly.20260918",
-    "@aztec-labs/p2p": "6.0.0-nightly.20260918",
-    "@aztec-labs/protocol-contracts": "6.0.0-nightly.20260918",
-    "@aztec-labs/stdlib": "6.0.0-nightly.20260918",
-    "@aztec-labs/wallets": "6.0.0-nightly.20260918",
-    "@aztec-labs/world-state": "6.0.0-nightly.20260918",
+    "@aztec-foundation/l1-artifacts": "6.0.0-nightly.20260918.a",
+    "@aztec-labs/accounts": "6.0.0-nightly.20260920",
+    "@aztec-labs/archiver": "6.0.0-nightly.20260920",
+    "@aztec-labs/aztec.js": "6.0.0-nightly.20260920",
+    "@aztec-labs/constants": "6.0.0-nightly.20260920",
+    "@aztec-labs/ethereum": "6.0.0-nightly.20260920",
+    "@aztec-labs/foundation": "6.0.0-nightly.20260920",
+    "@aztec-labs/node-keystore": "6.0.0-nightly.20260920",
+    "@aztec-labs/p2p": "6.0.0-nightly.20260920",
+    "@aztec-labs/protocol-contracts": "6.0.0-nightly.20260920",
+    "@aztec-labs/stdlib": "6.0.0-nightly.20260920",
+    "@aztec-labs/wallets": "6.0.0-nightly.20260920",
+    "@aztec-labs/world-state": "6.0.0-nightly.20260920",
     "@ethersproject/wallet": "^5.8.0",
     "@iarna/toml": "^2.2.5",
     "@libp2p/peer-id-factory": "^3.0.4",
@@ -118,15 +118,15 @@
     "typescript": "^5.3.3"
   },
   "peerDependencies": {
-    "@aztec-foundation/l1-artifacts": "6.0.0-nightly.20260916",
-    "@aztec-labs/accounts": "6.0.0-nightly.20260918",
-    "@aztec-labs/bb-prover": "6.0.0-nightly.20260918",
-    "@aztec-labs/ethereum": "6.0.0-nightly.20260918",
-    "@aztec-labs/noir-contracts.js": "6.0.0-nightly.20260918",
-    "@aztec-labs/noir-protocol-circuits-types": "6.0.0-nightly.20260918",
-    "@aztec-labs/noir-test-contracts.js": "6.0.0-nightly.20260918",
-    "@aztec-labs/protocol-contracts": "6.0.0-nightly.20260918",
-    "@aztec-labs/stdlib": "6.0.0-nightly.20260918"
+    "@aztec-foundation/l1-artifacts": "6.0.0-nightly.20260918.a",
+    "@aztec-labs/accounts": "6.0.0-nightly.20260920",
+    "@aztec-labs/bb-prover": "6.0.0-nightly.20260920",
+    "@aztec-labs/ethereum": "6.0.0-nightly.20260920",
+    "@aztec-labs/noir-contracts.js": "6.0.0-nightly.20260920",
+    "@aztec-labs/noir-protocol-circuits-types": "6.0.0-nightly.20260920",
+    "@aztec-labs/noir-test-contracts.js": "6.0.0-nightly.20260920",
+    "@aztec-labs/protocol-contracts": "6.0.0-nightly.20260920",
+    "@aztec-labs/stdlib": "6.0.0-nightly.20260920"
   },
   "files": [
     "dest",

package/src/cmds/l1/compute_genesis_values.ts

@@ -1,16 +1,23 @@
 import { getInitialTestAccountsData } from '@aztec-labs/accounts/testing';
 import type { LogFn } from '@aztec-labs/foundation/log';
 import { protocolContractsHash } from '@aztec-labs/protocol-contracts';
-import { getGenesisValues } from '@aztec-labs/world-state/testing';
+import { getGenesisValues, measureCanonicalGenesis } from '@aztec-labs/world-state/testing';
 
 import { getSponsoredFPCAddress } from '../../utils/setup_contracts.js';
 
-/** Computes and prints genesis values needed for L1 contract deployment. */
+/**
+ * Computes and prints genesis values needed for L1 contract deployment.
+ *
+ * `genesisArchiveRoot` is this deployment's root, which depends on the accounts it prefunds. The `canonical` block is
+ * the prefunding-free genesis that the `GENESIS_*` protocol constants record, and is what
+ * `noir-projects/fnd/scripts/regenerate_genesis_constants.sh` reads to refresh them.
+ */
 export async function computeGenesisValuesCmd(testAccounts: boolean, sponsoredFPC: boolean, log: LogFn) {
   const initialAccounts = testAccounts ? await getInitialTestAccountsData() : [];
   const sponsoredFPCAddresses = sponsoredFPC ? await getSponsoredFPCAddress() : [];
   const initialFundedAccounts = initialAccounts.map(a => a.address).concat(sponsoredFPCAddresses);
   const { genesisArchiveRoot } = await getGenesisValues(initialFundedAccounts);
+  const canonical = await measureCanonicalGenesis();
 
   const { getVKTreeRoot } = await import('@aztec-labs/noir-protocol-circuits-types/vk-tree');
   const vkTreeRoot = getVKTreeRoot();
@@ -21,6 +28,12 @@ export async function computeGenesisValuesCmd(testAccounts: boolean, sponsoredFP
         vkTreeRoot: vkTreeRoot.toString(),
         protocolContractsHash: protocolContractsHash.toString(),
         genesisArchiveRoot: genesisArchiveRoot.toString(),
+        canonical: {
+          prefilledNullifiers: canonical.prefilledNullifiers.map(n => n.toString()),
+          nullifierTreeRoot: canonical.nullifierTreeRoot.toString(),
+          blockHeaderHash: canonical.blockHeaderHash.toString(),
+          archiveRoot: canonical.archiveRoot.toString(),
+        },
       },
       null,
       2,

package/src/cmds/l1/index.ts

@@ -337,6 +337,59 @@ export function injectCommands(program: Command, log: LogFn, debugLogger: Logger
       });
     });
 
+  program
+    .command('initiate-withdraw-by-attester')
+    .description("Initiates a withdrawal signed by the position's attester.")
+    .addOption(l1RpcUrlsOption)
+    .addOption(l1ChainIdOption)
+    .option('-pk, --private-key <string>', 'The attester private key', PRIVATE_KEY)
+    .option('-m, --mnemonic <string>', 'Mnemonic for the attester account', MNEMONIC)
+    .requiredOption('--attester <address>', 'Attester address of the position to exit', parseEthereumAddress)
+    .requiredOption('--rollup <address>', 'Rollup holding the position', parseEthereumAddress)
+    .action(async options => {
+      const { initiateWithdrawByAttester } = await import('./update_l1_validators.js');
+      await initiateWithdrawByAttester({
+        rpcUrls: options.l1RpcUrls,
+        chainId: options.l1ChainId,
+        privateKey: options.privateKey,
+        mnemonic: options.mnemonic,
+        attesterAddress: options.attester,
+        rollupAddress: options.rollup,
+        log,
+        debugLogger,
+      });
+    });
+
+  program
+    .command('initiate-withdraw-by-attester-batch')
+    .description('Relays a JSON array of attester-signed withdrawal authorizations.')
+    .addOption(l1RpcUrlsOption)
+    .addOption(l1ChainIdOption)
+    .option('-pk, --private-key <string>', 'The relayer private key', PRIVATE_KEY)
+    .option('-m, --mnemonic <string>', 'Mnemonic for the relayer account', MNEMONIC)
+    .requiredOption('--authorizations <path>', 'JSON file containing attester, decimal deadline, and signature fields')
+    .requiredOption('--rollup <address>', 'Rollup holding the positions', parseEthereumAddress)
+    .option(
+      '--up-to-limit',
+      'Process the largest permitted prefix instead of reverting when the whole batch is too large',
+    )
+    .action(async options => {
+      const { initiateWithdrawByAttesterBatch, readAttesterExitAuthorizations } = await import(
+        './update_l1_validators.js'
+      );
+      await initiateWithdrawByAttesterBatch({
+        rpcUrls: options.l1RpcUrls,
+        chainId: options.l1ChainId,
+        privateKey: options.privateKey,
+        mnemonic: options.mnemonic,
+        authorizations: await readAttesterExitAuthorizations(options.authorizations),
+        upToLimit: options.upToLimit,
+        rollupAddress: options.rollup,
+        log,
+        debugLogger,
+      });
+    });
+
   program
     .command('remove-l1-validator')
     .description('Removes a validator to the L1 rollup contract.')

package/src/cmds/l1/update_l1_validators.ts

@@ -3,14 +3,16 @@ import { RollupAbi, StakingAssetHandlerAbi, TestERC20Abi } from '@aztec-foundati
 import { createEthereumChain, isAnvilTestChain } from '@aztec-labs/ethereum/chain';
 import { createExtendedL1Client, getPublicClient } from '@aztec-labs/ethereum/client';
 import { getL1ContractsConfigEnvVars } from '@aztec-labs/ethereum/config';
-import { GSEContract, RollupContract } from '@aztec-labs/ethereum/contracts';
+import { type AttesterExitAuthorization, GSEContract, RollupContract } from '@aztec-labs/ethereum/contracts';
 import { createL1TxUtils } from '@aztec-labs/ethereum/l1-tx-utils';
 import { EthCheatCodes } from '@aztec-labs/ethereum/test';
-import type { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { Signature } from '@aztec-labs/foundation/eth-signature';
 import type { LogFn, Logger } from '@aztec-labs/foundation/log';
 import { DateProvider } from '@aztec-labs/foundation/timer';
 import { ZkPassportProofParams } from '@aztec-labs/stdlib/zkpassport';
-import { encodeFunctionData, formatEther, getContract, maxUint256 } from 'viem';
+import { readFile } from 'node:fs/promises';
+import { encodeFunctionData, formatEther, getContract, isHex, maxUint256 } from 'viem';
 import { generatePrivateKey, mnemonicToAccount, privateKeyToAccount } from 'viem/accounts';
 
 export interface RollupCommandArgs {
@@ -254,6 +256,118 @@ export async function removeL1Validator({
   dualLog(`Transaction hash: ${receipt.transactionHash}`);
 }
 
+/** Reads relayed attester exit authorizations from a JSON array. */
+export async function readAttesterExitAuthorizations(path: string): Promise<AttesterExitAuthorization[]> {
+  const parsed: unknown = JSON.parse(await readFile(path, 'utf-8'));
+  if (!Array.isArray(parsed) || parsed.length === 0) {
+    throw new Error('Attester exit authorization file must contain a non-empty JSON array');
+  }
+
+  return parsed.map((value, index) => parseAttesterExitAuthorization(value, index));
+}
+
+function isRecord(value: unknown): value is Record<string, unknown> {
+  return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+
+function parseAttesterExitAuthorization(value: unknown, index: number): AttesterExitAuthorization {
+  if (!isRecord(value)) {
+    throw new Error(`Attester exit authorization ${index} must be an object`);
+  }
+
+  const authorization = value;
+  if (typeof authorization.attester !== 'string') {
+    throw new Error(`Attester exit authorization ${index} has an invalid attester`);
+  }
+  if (typeof authorization.deadline !== 'string' || !/^\d+$/.test(authorization.deadline)) {
+    throw new Error(`Attester exit authorization ${index} deadline must be a decimal string`);
+  }
+  if (typeof authorization.signature !== 'string' || !isHex(authorization.signature)) {
+    throw new Error(`Attester exit authorization ${index} has an invalid signature`);
+  }
+
+  return {
+    attester: EthAddress.fromString(authorization.attester),
+    deadline: BigInt(authorization.deadline),
+    signature: Signature.fromString(authorization.signature).toViemSignature(),
+  };
+}
+
+/** Relays a batch of attester-signed exits. */
+export async function initiateWithdrawByAttesterBatch({
+  rpcUrls,
+  chainId,
+  privateKey,
+  mnemonic,
+  authorizations,
+  upToLimit,
+  rollupAddress,
+  log,
+  debugLogger,
+}: Omit<RollupCommandArgs, 'withdrawerAddress'> &
+  LoggerArgs & {
+    authorizations: AttesterExitAuthorization[];
+    upToLimit: boolean;
+  }) {
+  const account = getAccount(privateKey, mnemonic);
+  const chain = createEthereumChain(rpcUrls, chainId);
+  const client = createExtendedL1Client(rpcUrls, account, chain.chainInfo);
+  const rollup = new RollupContract(client, rollupAddress);
+  const l1TxUtils = createL1TxUtils(client, { logger: debugLogger });
+  const { receipt } = upToLimit
+    ? await rollup.initiateWithdrawByAttesterBatchUpToLimit(l1TxUtils, authorizations)
+    : await rollup.initiateWithdrawByAttesterBatch(l1TxUtils, authorizations);
+
+  if (receipt.status !== 'success') {
+    throw new Error(`Attester exit batch reverted: ${receipt.transactionHash}`);
+  }
+
+  log(`Submitted ${authorizations.length} attester exit authorizations. Transaction hash: ${receipt.transactionHash}`);
+  if (upToLimit) {
+    log('The rollup processed the largest permitted prefix of the authorization list.');
+  }
+  debugLogger.info('Attester exit batch submitted', {
+    authorizationCount: authorizations.length,
+    upToLimit,
+    rollup: rollupAddress.toString(),
+    transactionHash: receipt.transactionHash,
+  });
+  return receipt;
+}
+
+/** Initiates an attester exit without changing the registered withdrawer's control over the payout. */
+export async function initiateWithdrawByAttester({
+  rpcUrls,
+  chainId,
+  privateKey,
+  mnemonic,
+  attesterAddress,
+  rollupAddress,
+  log,
+  debugLogger,
+}: Omit<RollupCommandArgs, 'withdrawerAddress'> & LoggerArgs & { attesterAddress: EthAddress }) {
+  const account = getAccount(privateKey, mnemonic);
+  if (account.address.toLowerCase() !== attesterAddress.toString().toLowerCase()) {
+    throw new Error('The transaction signer must match the attester address');
+  }
+  const chain = createEthereumChain(rpcUrls, chainId);
+  const client = createExtendedL1Client(rpcUrls, account, chain.chainInfo);
+  const rollup = new RollupContract(client, rollupAddress);
+  const l1TxUtils = createL1TxUtils(client, { logger: debugLogger });
+  const { receipt } = await rollup.initiateWithdrawByAttester(l1TxUtils, attesterAddress);
+  if (receipt.status !== 'success') {
+    throw new Error(`Attester exit reverted: ${receipt.transactionHash}`);
+  }
+  log(`Attester exit initiated for ${attesterAddress}. Transaction hash: ${receipt.transactionHash}`);
+  log('The registered withdrawer must select a recipient using initiateWithdraw before finalization.');
+  debugLogger.info('Attester exit initiated', {
+    attester: attesterAddress.toString(),
+    rollup: rollupAddress.toString(),
+    transactionHash: receipt.transactionHash,
+  });
+  return receipt;
+}
+
 export async function pruneRollup({
   rpcUrls,
   chainId,