@aztec/ethereum 0.0.1-commit.b655e406 → 0.0.1-commit.b9865e97

package/dest/config.js

@@ -1,287 +1,91 @@
-import { bigintConfigHelper, booleanConfigHelper, enumConfigHelper, getConfigFromMappings, numberConfigHelper, optionalNumberConfigHelper } from '@aztec/foundation/config';
+import { bigintConfigHelper, booleanConfigHelper, getConfigFromMappings, getDefaultConfig, numberConfigHelper, omitConfigMappings, optionalNumberConfigHelper } from '@aztec/foundation/config';
 import { EthAddress } from '@aztec/foundation/eth-address';
-import { l1TxUtilsConfigMappings } from './l1_tx_utils/index.js';
-export const DefaultL1ContractsConfig = {
-    ethereumSlotDuration: 12,
-    aztecSlotDuration: 36,
-    aztecEpochDuration: 32,
-    aztecTargetCommitteeSize: 48,
-    lagInEpochs: 2,
-    aztecProofSubmissionEpochs: 1,
-    activationThreshold: 100n * 10n ** 18n,
-    ejectionThreshold: 50n * 10n ** 18n,
-    localEjectionThreshold: 98n * 10n ** 18n,
-    slashAmountSmall: 10n * 10n ** 18n,
-    slashAmountMedium: 20n * 10n ** 18n,
-    slashAmountLarge: 50n * 10n ** 18n,
-    slashingRoundSizeInEpochs: 4,
-    slashingLifetimeInRounds: 5,
-    slashingExecutionDelayInRounds: 0,
-    slashingVetoer: EthAddress.ZERO,
-    governanceProposerRoundSize: 300,
-    manaTarget: BigInt(1e10),
-    provingCostPerMana: BigInt(100),
-    exitDelaySeconds: 2 * 24 * 60 * 60,
-    slasherFlavor: 'tally',
-    slashingOffsetInRounds: 2,
-    slashingDisableDuration: 5 * 24 * 60 * 60
-};
-const LocalGovernanceConfiguration = {
-    proposeConfig: {
-        lockDelay: 60n * 60n * 24n * 30n,
-        lockAmount: 1n * 10n ** 24n
-    },
-    votingDelay: 60n,
-    votingDuration: 60n * 60n,
-    executionDelay: 60n,
-    gracePeriod: 60n * 60n * 24n * 7n,
-    quorum: 1n * 10n ** 17n,
-    requiredYeaMargin: 4n * 10n ** 16n,
-    minimumVotes: 400n * 10n ** 18n
-};
-const StagingPublicGovernanceConfiguration = {
-    proposeConfig: {
-        lockDelay: 60n * 60n * 24n * 30n,
-        lockAmount: DefaultL1ContractsConfig.activationThreshold * 100n
-    },
-    votingDelay: 60n,
-    votingDuration: 60n * 60n,
-    executionDelay: 60n,
-    gracePeriod: 60n * 60n * 24n * 7n,
-    quorum: 3n * 10n ** 17n,
-    requiredYeaMargin: 4n * 10n ** 16n,
-    minimumVotes: DefaultL1ContractsConfig.ejectionThreshold * 200n
-};
-const TestnetGovernanceConfiguration = {
-    proposeConfig: {
-        lockDelay: 10n * 365n * 24n * 60n * 60n,
-        lockAmount: 1250n * 200_000n * 10n ** 18n
-    },
-    votingDelay: 12n * 60n * 60n,
-    votingDuration: 1n * 24n * 60n * 60n,
-    executionDelay: 12n * 60n * 60n,
-    gracePeriod: 1n * 24n * 60n * 60n,
-    quorum: 2n * 10n ** 17n,
-    requiredYeaMargin: 1n * 10n ** 17n,
-    minimumVotes: 100n * 200_000n * 10n ** 18n
-};
-const StagingIgnitionGovernanceConfiguration = {
-    proposeConfig: {
-        lockDelay: 10n * 365n * 24n * 60n * 60n,
-        lockAmount: 1250n * 200_000n * 10n ** 18n
-    },
-    votingDelay: 7n * 24n * 60n * 60n,
-    votingDuration: 7n * 24n * 60n * 60n,
-    executionDelay: 30n * 24n * 60n * 60n,
-    gracePeriod: 7n * 24n * 60n * 60n,
-    quorum: 2n * 10n ** 17n,
-    requiredYeaMargin: 1n * 10n ** 17n,
-    minimumVotes: 1250n * 200_000n * 10n ** 18n
-};
-const MainnetGovernanceConfiguration = {
-    proposeConfig: {
-        lockDelay: 90n * 24n * 60n * 60n,
-        lockAmount: 258_750_000n * 10n ** 18n
-    },
-    votingDelay: 3n * 24n * 60n * 60n,
-    votingDuration: 7n * 24n * 60n * 60n,
-    executionDelay: 7n * 24n * 60n * 60n,
-    gracePeriod: 7n * 24n * 60n * 60n,
-    quorum: 2n * 10n ** 17n,
-    requiredYeaMargin: 33n * 10n ** 16n,
-    minimumVotes: 1000n * 200_000n * 10n ** 18n
-};
-export const getGovernanceConfiguration = (networkName)=>{
-    switch(networkName){
-        case 'local':
-            return LocalGovernanceConfiguration;
-        case 'next-net':
-            return LocalGovernanceConfiguration;
-        case 'devnet':
-            return LocalGovernanceConfiguration;
-        case 'staging-public':
-            return StagingPublicGovernanceConfiguration;
-        case 'testnet':
-            return TestnetGovernanceConfiguration;
-        case 'staging-ignition':
-            return StagingIgnitionGovernanceConfiguration;
-        case 'mainnet':
-            return MainnetGovernanceConfiguration;
-        default:
-            throw new Error(`Unrecognized network name: ${networkName}`);
-    }
-};
-// Making a default config here as we are only using it thought the deployment
-// and do not expect to be using different setups, so having environment variables
-// for it seems overkill
-const DefaultRewardConfig = {
-    sequencerBps: 8000,
-    rewardDistributor: EthAddress.ZERO.toString(),
-    booster: EthAddress.ZERO.toString(),
-    blockReward: 500n * 10n ** 18n
-};
-const MainnetRewardConfig = {
-    sequencerBps: 7_000,
-    rewardDistributor: EthAddress.ZERO.toString(),
-    booster: EthAddress.ZERO.toString(),
-    blockReward: 400n * 10n ** 18n
-};
-export const getRewardConfig = (networkName)=>{
-    switch(networkName){
-        case 'local':
-        case 'devnet':
-        case 'next-net':
-        case 'staging-public':
-        case 'testnet':
-        case 'staging-ignition':
-            return DefaultRewardConfig;
-        case 'mainnet':
-            return MainnetRewardConfig;
-        default:
-            throw new Error(`Unrecognized network name: ${networkName}`);
-    }
-};
-export const getRewardBoostConfig = ()=>{
-    // The reward configuration is specified with a precision of 1e5, and we use the same across
-    // all networks.
-    return {
-        increment: 125_000,
-        maxScore: 15_000_000,
-        a: 1_000,
-        k: 1_000_000,
-        minimum: 100_000
-    };
-};
-// Similar to the above, no need for environment variables for this.
-const LocalEntryQueueConfig = {
-    bootstrapValidatorSetSize: 0n,
-    bootstrapFlushSize: 0n,
-    normalFlushSizeMin: 48n,
-    normalFlushSizeQuotient: 2n,
-    maxQueueFlushSize: 48n
-};
-const StagingPublicEntryQueueConfig = {
-    bootstrapValidatorSetSize: 48n,
-    bootstrapFlushSize: 48n,
-    normalFlushSizeMin: 1n,
-    normalFlushSizeQuotient: 2475n,
-    maxQueueFlushSize: 32n
-};
-const TestnetEntryQueueConfig = {
-    bootstrapValidatorSetSize: 256n,
-    bootstrapFlushSize: 256n,
-    normalFlushSizeMin: 4n,
-    normalFlushSizeQuotient: 2048n,
-    maxQueueFlushSize: 8n
-};
-const StagingIgnitionEntryQueueConfig = {
-    bootstrapValidatorSetSize: 48n,
-    bootstrapFlushSize: 48n,
-    normalFlushSizeMin: 1n,
-    normalFlushSizeQuotient: 2048n,
-    maxQueueFlushSize: 24n
-};
-const MainnetEntryQueueConfig = {
-    bootstrapValidatorSetSize: 1_000n,
-    bootstrapFlushSize: 1_000n,
-    normalFlushSizeMin: 1n,
-    normalFlushSizeQuotient: 2_048n,
-    maxQueueFlushSize: 8n
-};
-export const getEntryQueueConfig = (networkName)=>{
-    switch(networkName){
-        case 'local':
-            return LocalEntryQueueConfig;
-        case 'next-net':
-            return LocalEntryQueueConfig;
-        case 'devnet':
-            return LocalEntryQueueConfig;
-        case 'staging-public':
-            return StagingPublicEntryQueueConfig;
-        case 'testnet':
-            return TestnetEntryQueueConfig;
-        case 'staging-ignition':
-            return StagingIgnitionEntryQueueConfig;
-        case 'mainnet':
-            return MainnetEntryQueueConfig;
-        default:
-            throw new Error(`Unrecognized network name: ${networkName}`);
-    }
-};
-export const l1ContractsConfigMappings = {
+import { l1ContractsDefaultEnv } from './generated/l1-contracts-defaults.js';
+import { l1TxUtilsConfigMappings } from './l1_tx_utils/config.js';
+/**
+ * Config mappings for L1ContractsConfig.
+ * Default values come from generated l1-contracts-defaults.json (source: defaults.yml).
+ * Real deployments use forge scripts which require explicit env vars (vm.envUint).
+ */ export const l1ContractsConfigMappings = {
     ethereumSlotDuration: {
         env: 'ETHEREUM_SLOT_DURATION',
         description: 'How many seconds an L1 slot lasts.',
-        ...numberConfigHelper(DefaultL1ContractsConfig.ethereumSlotDuration)
+        ...numberConfigHelper(l1ContractsDefaultEnv.ETHEREUM_SLOT_DURATION)
     },
     aztecSlotDuration: {
         env: 'AZTEC_SLOT_DURATION',
         description: 'How many seconds an L2 slots lasts (must be multiple of ethereum slot duration).',
-        ...numberConfigHelper(DefaultL1ContractsConfig.aztecSlotDuration)
+        ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_SLOT_DURATION)
     },
     aztecEpochDuration: {
         env: 'AZTEC_EPOCH_DURATION',
-        description: `How many L2 slots an epoch lasts (maximum AZTEC_MAX_EPOCH_DURATION).`,
-        ...numberConfigHelper(DefaultL1ContractsConfig.aztecEpochDuration)
+        description: `How many L2 slots an epoch lasts (maximum MAX_CHECKPOINTS_PER_EPOCH).`,
+        ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_EPOCH_DURATION)
     },
     aztecTargetCommitteeSize: {
         env: 'AZTEC_TARGET_COMMITTEE_SIZE',
         description: 'The target validator committee size.',
-        ...numberConfigHelper(DefaultL1ContractsConfig.aztecTargetCommitteeSize)
+        ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_TARGET_COMMITTEE_SIZE)
     },
-    lagInEpochs: {
-        env: 'AZTEC_LAG_IN_EPOCHS',
+    lagInEpochsForValidatorSet: {
+        env: 'AZTEC_LAG_IN_EPOCHS_FOR_VALIDATOR_SET',
         description: 'The number of epochs to lag behind the current epoch for validator selection.',
-        ...numberConfigHelper(DefaultL1ContractsConfig.lagInEpochs)
+        ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_LAG_IN_EPOCHS_FOR_VALIDATOR_SET)
+    },
+    lagInEpochsForRandao: {
+        env: 'AZTEC_LAG_IN_EPOCHS_FOR_RANDAO',
+        description: 'The number of epochs to lag behind the current epoch for randao selection.',
+        ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_LAG_IN_EPOCHS_FOR_RANDAO)
+    },
+    inboxLag: {
+        env: 'AZTEC_INBOX_LAG',
+        description: 'The number of checkpoints to lag in the inbox (prevents sequencer DOS attacks).',
+        ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_INBOX_LAG)
     },
     aztecProofSubmissionEpochs: {
         env: 'AZTEC_PROOF_SUBMISSION_EPOCHS',
         description: 'The number of epochs after an epoch ends that proofs are still accepted.',
-        ...numberConfigHelper(DefaultL1ContractsConfig.aztecProofSubmissionEpochs)
+        ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_PROOF_SUBMISSION_EPOCHS)
     },
     activationThreshold: {
         env: 'AZTEC_ACTIVATION_THRESHOLD',
         description: 'The deposit amount for a validator',
-        ...bigintConfigHelper(DefaultL1ContractsConfig.activationThreshold)
+        ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_ACTIVATION_THRESHOLD))
     },
     ejectionThreshold: {
         env: 'AZTEC_EJECTION_THRESHOLD',
         description: 'The minimum stake for a validator.',
-        ...bigintConfigHelper(DefaultL1ContractsConfig.ejectionThreshold)
+        ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_EJECTION_THRESHOLD))
     },
     localEjectionThreshold: {
         env: 'AZTEC_LOCAL_EJECTION_THRESHOLD',
         description: 'The local ejection threshold for a validator. Stricter than ejectionThreshold but local to a specific rollup',
-        ...bigintConfigHelper(DefaultL1ContractsConfig.localEjectionThreshold)
+        ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_LOCAL_EJECTION_THRESHOLD))
     },
     slashingOffsetInRounds: {
         env: 'AZTEC_SLASHING_OFFSET_IN_ROUNDS',
         description: 'How many slashing rounds back we slash (ie when slashing in round N, we slash for offenses committed during epochs of round N-offset)',
-        ...numberConfigHelper(DefaultL1ContractsConfig.slashingOffsetInRounds)
+        ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_SLASHING_OFFSET_IN_ROUNDS)
     },
-    slasherFlavor: {
-        env: 'AZTEC_SLASHER_FLAVOR',
-        description: 'Type of slasher proposer (empire, tally, or none)',
-        ...enumConfigHelper([
-            'empire',
-            'tally',
-            'none'
-        ], DefaultL1ContractsConfig.slasherFlavor)
+    slasherEnabled: {
+        env: 'AZTEC_SLASHER_ENABLED',
+        description: 'Whether to deploy a slasher proposer',
+        ...booleanConfigHelper(true)
     },
     slashAmountSmall: {
         env: 'AZTEC_SLASH_AMOUNT_SMALL',
         description: 'Small slashing amount for light offenses',
-        ...bigintConfigHelper(DefaultL1ContractsConfig.slashAmountSmall)
+        ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_SLASH_AMOUNT_SMALL))
     },
     slashAmountMedium: {
         env: 'AZTEC_SLASH_AMOUNT_MEDIUM',
         description: 'Medium slashing amount for moderate offenses',
-        ...bigintConfigHelper(DefaultL1ContractsConfig.slashAmountMedium)
+        ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_SLASH_AMOUNT_MEDIUM))
     },
     slashAmountLarge: {
         env: 'AZTEC_SLASH_AMOUNT_LARGE',
         description: 'Large slashing amount for severe offenses',
-        ...bigintConfigHelper(DefaultL1ContractsConfig.slashAmountLarge)
+        ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_SLASH_AMOUNT_LARGE))
     },
     slashingQuorum: {
         env: 'AZTEC_SLASHING_QUORUM',
@@ -291,28 +95,28 @@ export const l1ContractsConfigMappings = {
     slashingRoundSizeInEpochs: {
         env: 'AZTEC_SLASHING_ROUND_SIZE_IN_EPOCHS',
         description: 'The slashing round size',
-        ...numberConfigHelper(DefaultL1ContractsConfig.slashingRoundSizeInEpochs)
+        ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_SLASHING_ROUND_SIZE_IN_EPOCHS)
     },
     slashingLifetimeInRounds: {
         env: 'AZTEC_SLASHING_LIFETIME_IN_ROUNDS',
         description: 'The slashing lifetime in rounds',
-        ...numberConfigHelper(DefaultL1ContractsConfig.slashingLifetimeInRounds)
+        ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_SLASHING_LIFETIME_IN_ROUNDS)
     },
     slashingExecutionDelayInRounds: {
         env: 'AZTEC_SLASHING_EXECUTION_DELAY_IN_ROUNDS',
         description: 'The slashing execution delay in rounds',
-        ...numberConfigHelper(DefaultL1ContractsConfig.slashingExecutionDelayInRounds)
+        ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_SLASHING_EXECUTION_DELAY_IN_ROUNDS)
     },
     slashingVetoer: {
         env: 'AZTEC_SLASHING_VETOER',
         description: 'The slashing vetoer',
         parseEnv: (val)=>EthAddress.fromString(val),
-        defaultValue: DefaultL1ContractsConfig.slashingVetoer
+        defaultValue: EthAddress.fromString(l1ContractsDefaultEnv.AZTEC_SLASHING_VETOER)
     },
     slashingDisableDuration: {
         env: 'AZTEC_SLASHING_DISABLE_DURATION',
         description: 'How long slashing can be disabled for in seconds when vetoer disables it',
-        ...numberConfigHelper(DefaultL1ContractsConfig.slashingDisableDuration)
+        ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_SLASHING_DISABLE_DURATION)
     },
     governanceProposerQuorum: {
         env: 'AZTEC_GOVERNANCE_PROPOSER_QUORUM',
@@ -322,25 +126,41 @@ export const l1ContractsConfigMappings = {
     governanceProposerRoundSize: {
         env: 'AZTEC_GOVERNANCE_PROPOSER_ROUND_SIZE',
         description: 'The governance proposing round size',
-        ...numberConfigHelper(DefaultL1ContractsConfig.governanceProposerRoundSize)
+        ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_GOVERNANCE_PROPOSER_ROUND_SIZE)
+    },
+    governanceVotingDuration: {
+        env: 'AZTEC_GOVERNANCE_VOTING_DURATION',
+        description: 'Governance voting duration in seconds (only for local/devnet/next-net)',
+        ...numberConfigHelper(3600)
     },
     manaTarget: {
         env: 'AZTEC_MANA_TARGET',
         description: 'The mana target for the rollup',
-        ...bigintConfigHelper(DefaultL1ContractsConfig.manaTarget)
+        ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_MANA_TARGET))
     },
     provingCostPerMana: {
         env: 'AZTEC_PROVING_COST_PER_MANA',
         description: 'The proving cost per mana',
-        ...bigintConfigHelper(DefaultL1ContractsConfig.provingCostPerMana)
+        ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_PROVING_COST_PER_MANA))
+    },
+    initialEthPerFeeAsset: {
+        env: 'AZTEC_INITIAL_ETH_PER_FEE_ASSET',
+        description: 'The initial ETH per fee asset price (with 1e12 precision)',
+        ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_INITIAL_ETH_PER_FEE_ASSET))
     },
     exitDelaySeconds: {
         env: 'AZTEC_EXIT_DELAY_SECONDS',
         description: 'The delay before a validator can exit the set',
-        ...numberConfigHelper(DefaultL1ContractsConfig.exitDelaySeconds)
+        ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_EXIT_DELAY_SECONDS)
     },
-    ...l1TxUtilsConfigMappings
+    ...omitConfigMappings(l1TxUtilsConfigMappings, [
+        'ethereumSlotDuration'
+    ])
 };
+/**
+ * Default L1 contracts configuration derived from l1ContractsConfigMappings.
+ * Source of truth: spartan/environments/defaults.yml -> defaults.l1-contracts
+ */ export const DefaultL1ContractsConfig = getDefaultConfig(l1ContractsConfigMappings);
 export const genesisStateConfigMappings = {
     testAccounts: {
         env: 'TEST_ACCOUNTS',
@@ -351,6 +171,12 @@ export const genesisStateConfigMappings = {
         env: 'SPONSORED_FPC',
         description: 'Whether to populate the genesis state with initial fee juice for the sponsored FPC.',
         ...booleanConfigHelper(false)
+    },
+    prefundAddresses: {
+        env: 'PREFUND_ADDRESSES',
+        description: 'Comma-separated list of Aztec addresses to prefund with fee juice at genesis (local network only).',
+        parseEnv: (val)=>val.split(',').map((a)=>a.trim()).filter((a)=>a.length > 0),
+        defaultValue: []
     }
 };
 export function getL1ContractsConfigEnvVars() {
@@ -359,146 +185,3 @@ export function getL1ContractsConfigEnvVars() {
 export function getGenesisStateConfigEnvVars() {
     return getConfigFromMappings(genesisStateConfigMappings);
 }
-/**
- * Validates the L1 contracts configuration to ensure all requirements enforced by L1 contracts
- * during construction are satisfied before deployment.
- * Accumulates all validation errors and throws an exception listing them all if any are found.
- */ export function validateConfig(config) {
-    const errors = [];
-    // RollupCore constructor validation: normalFlushSizeMin > 0
-    // From: require(_config.stakingQueueConfig.normalFlushSizeMin > 0, Errors.Staking__InvalidStakingQueueConfig());
-    const entryQueueConfig = getEntryQueueConfig('testnet'); // Get config to check normalFlushSizeMin
-    if (entryQueueConfig.normalFlushSizeMin <= 0n) {
-        errors.push('normalFlushSizeMin must be greater than 0');
-    }
-    // TimeLib initialization validation: aztecSlotDuration should be a multiple of ethereumSlotDuration
-    // While not explicitly required in constructor, this is a common validation for time-based systems
-    if (config.aztecSlotDuration % config.ethereumSlotDuration !== 0) {
-        errors.push(`aztecSlotDuration (${config.aztecSlotDuration}) must be a multiple of ethereumSlotDuration (${config.ethereumSlotDuration})`);
-    }
-    // EmpireBase constructor validations for governance/slashing proposers
-    // From: require(QUORUM_SIZE > ROUND_SIZE / 2, Errors.EmpireBase__InvalidQuorumAndRoundSize(QUORUM_SIZE, ROUND_SIZE));
-    const { governanceProposerQuorum, governanceProposerRoundSize } = config;
-    if (governanceProposerQuorum !== undefined && governanceProposerQuorum <= Math.floor(governanceProposerRoundSize / 2)) {
-        errors.push(`governanceProposerQuorum (${governanceProposerQuorum}) must be greater than half of governanceProposerRoundSize (${Math.floor(governanceProposerRoundSize / 2)})`);
-    }
-    // From: require(QUORUM_SIZE <= ROUND_SIZE, Errors.EmpireBase__QuorumCannotBeLargerThanRoundSize(QUORUM_SIZE, ROUND_SIZE));
-    if (governanceProposerQuorum !== undefined && governanceProposerQuorum > governanceProposerRoundSize) {
-        errors.push(`governanceProposerQuorum (${governanceProposerQuorum}) cannot be larger than governanceProposerRoundSize (${governanceProposerRoundSize})`);
-    }
-    // Slashing quorum validations (similar to governance quorum)
-    const slashingRoundSize = config.slashingRoundSizeInEpochs * config.aztecEpochDuration;
-    const { slashingQuorum } = config;
-    if (slashingQuorum !== undefined && slashingQuorum <= Math.floor(slashingRoundSize / 2)) {
-        errors.push(`slashingQuorum (${slashingQuorum}) must be greater than half of slashingRoundSizeInEpochs (${Math.floor(slashingRoundSize / 2)})`);
-    }
-    if (slashingQuorum !== undefined && slashingQuorum > slashingRoundSize) {
-        errors.push(`slashingQuorum (${slashingQuorum}) cannot be larger than slashingRoundSizeInEpochs (${slashingRoundSize})`);
-    }
-    // EmpireBase and TallySlashingProposer lifetime and execution delay validation
-    // From: require(LIFETIME_IN_ROUNDS > EXECUTION_DELAY_IN_ROUNDS);
-    if (config.slashingLifetimeInRounds <= config.slashingExecutionDelayInRounds) {
-        errors.push(`slashingLifetimeInRounds (${config.slashingLifetimeInRounds}) must be greater than slashingExecutionDelayInRounds (${config.slashingExecutionDelayInRounds})`);
-    }
-    // Staking asset validation: activationThreshold > ejectionThreshold
-    if (config.activationThreshold < config.ejectionThreshold) {
-        errors.push(`activationThreshold (${config.activationThreshold}) must be greater than ejectionThreshold (${config.ejectionThreshold})`);
-    }
-    // TallySlashingProposer constructor validations
-    if (config.slasherFlavor === 'tally') {
-        validateTallySlasherConfig(config, errors);
-    }
-    // Epoch and slot duration validations
-    if (config.aztecSlotDuration <= 0) {
-        errors.push('aztecSlotDuration must be greater than 0');
-    }
-    if (config.ethereumSlotDuration <= 0) {
-        errors.push('ethereumSlotDuration must be greater than 0');
-    }
-    if (config.aztecEpochDuration <= 0) {
-        errors.push('aztecEpochDuration must be greater than 0');
-    }
-    // Committee size validation
-    if (config.aztecTargetCommitteeSize < 0) {
-        errors.push('aztecTargetCommitteeSize cannot be negative');
-    }
-    // Proof submission epochs validation
-    if (config.aztecProofSubmissionEpochs < 0) {
-        errors.push('aztecProofSubmissionEpochs cannot be negative');
-    }
-    // Exit delay validation
-    if (config.exitDelaySeconds < 0) {
-        errors.push('exitDelaySeconds cannot be negative');
-    }
-    // Mana validation
-    if (config.manaTarget < 0n) {
-        errors.push('manaTarget cannot be negative');
-    }
-    if (config.provingCostPerMana < 0n) {
-        errors.push('provingCostPerMana cannot be negative');
-    }
-    // If any errors were found, throw an exception with all of them
-    if (errors.length > 0) {
-        throw new Error(`L1 contracts configuration validation failed with ${errors.length} error(s):\n${errors.map((error, index)=>`${index + 1}. ${error}`).join('\n')}`);
-    }
-}
-function validateTallySlasherConfig(config, errors) {
-    if (config.slasherFlavor !== 'tally') {
-        return;
-    }
-    // From: require(SLASH_OFFSET_IN_ROUNDS > 0, Errors.TallySlashingProposer__SlashOffsetMustBeGreaterThanZero(...));
-    if (config.slashingOffsetInRounds <= 0) {
-        errors.push(`slashingOffsetInRounds (${config.slashingOffsetInRounds}) must be greater than 0`);
-    }
-    // From: require(ROUND_SIZE_IN_EPOCHS * _epochDuration == ROUND_SIZE, Errors.TallySlashingProposer__RoundSizeMustBeMultipleOfEpochDuration(...));
-    const roundSizeInSlots = config.slashingRoundSizeInEpochs * config.aztecEpochDuration;
-    // From: require(QUORUM > 0, Errors.TallySlashingProposer__QuorumMustBeGreaterThanZero());
-    const { slashingQuorum } = config;
-    if (slashingQuorum !== undefined && slashingQuorum <= 0) {
-        errors.push(`slashingQuorum (${slashingQuorum}) must be greater than 0`);
-    }
-    // From: require(ROUND_SIZE > 1, Errors.TallySlashingProposer__InvalidQuorumAndRoundSize(QUORUM, ROUND_SIZE));
-    if (roundSizeInSlots <= 1) {
-        errors.push(`slashing round size in slots (${roundSizeInSlots}) must be greater than 1`);
-    }
-    // From: require(_slashAmounts[0] <= _slashAmounts[1], Errors.TallySlashingProposer__InvalidSlashAmounts(_slashAmounts));
-    if (config.slashAmountSmall > config.slashAmountMedium) {
-        errors.push(`slashAmountSmall (${config.slashAmountSmall}) must be less than or equal to slashAmountMedium (${config.slashAmountMedium})`);
-    }
-    // From: require(_slashAmounts[1] <= _slashAmounts[2], Errors.TallySlashingProposer__InvalidSlashAmounts(_slashAmounts));
-    if (config.slashAmountMedium > config.slashAmountLarge) {
-        errors.push(`slashAmountMedium (${config.slashAmountMedium}) must be less than or equal to slashAmountLarge (${config.slashAmountLarge})`);
-    }
-    // From: require(LIFETIME_IN_ROUNDS < ROUNDABOUT_SIZE, Errors.TallySlashingProposer__LifetimeMustBeLessThanRoundabout(...));
-    const ROUNDABOUT_SIZE = 128; // Constant from TallySlashingProposer
-    if (config.slashingLifetimeInRounds >= ROUNDABOUT_SIZE) {
-        errors.push(`slashingLifetimeInRounds (${config.slashingLifetimeInRounds}) must be less than ${ROUNDABOUT_SIZE}`);
-    }
-    // From: require(ROUND_SIZE_IN_EPOCHS > 0, Errors.TallySlashingProposer__RoundSizeInEpochsMustBeGreaterThanZero(...));
-    if (config.slashingRoundSizeInEpochs <= 0) {
-        errors.push(`slashingRoundSizeInEpochs (${config.slashingRoundSizeInEpochs}) must be greater than 0`);
-    }
-    // From: require(ROUND_SIZE < MAX_ROUND_SIZE, Errors.TallySlashingProposer__RoundSizeTooLarge(ROUND_SIZE, MAX_ROUND_SIZE));
-    const MAX_ROUND_SIZE = 1024; // Constant from TallySlashingProposer
-    if (roundSizeInSlots >= MAX_ROUND_SIZE) {
-        errors.push(`slashing round size in slots (${roundSizeInSlots}) must be less than ${MAX_ROUND_SIZE}`);
-    }
-    // From: require(COMMITTEE_SIZE > 0, Errors.TallySlashingProposer__CommitteeSizeMustBeGreaterThanZero(COMMITTEE_SIZE));
-    if (config.aztecTargetCommitteeSize <= 0) {
-        errors.push(`aztecTargetCommitteeSize (${config.aztecTargetCommitteeSize}) must be greater than 0`);
-    }
-    // From: require(voteSize <= 128, Errors.TallySlashingProposer__VoteSizeTooBig(voteSize, 128));
-    // voteSize = COMMITTEE_SIZE * ROUND_SIZE_IN_EPOCHS / 4
-    const voteSize = config.aztecTargetCommitteeSize * config.slashingRoundSizeInEpochs / 4;
-    if (voteSize > 128) {
-        errors.push(`vote size (${voteSize}) must be <= 128 (committee size * round size in epochs / 4)`);
-    }
-    // From: require(COMMITTEE_SIZE * ROUND_SIZE_IN_EPOCHS % 4 == 0, Errors.TallySlashingProposer__InvalidCommitteeAndRoundSize(...));
-    if (config.aztecTargetCommitteeSize * config.slashingRoundSizeInEpochs % 4 !== 0) {
-        errors.push(`aztecTargetCommitteeSize * slashingRoundSizeInEpochs (${config.aztecTargetCommitteeSize * config.slashingRoundSizeInEpochs}) must be divisible by 4`);
-    }
-    // Slashing offset validation: should be positive to allow proper slashing timing
-    if (config.slashingOffsetInRounds < 0) {
-        errors.push('slashingOffsetInRounds cannot be negative');
-    }
-}

package/dest/constants.d.ts

@@ -1,4 +1,4 @@
 import type { Hex } from 'viem';
 export declare const NULL_KEY: Hex;
 export declare const AZTEC_TEST_CHAIN_ID = 677692;
-//# sourceMappingURL=constants.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29uc3RhbnRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvY29uc3RhbnRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEdBQUcsRUFBRSxNQUFNLE1BQU0sQ0FBQztBQUVoQyxlQUFPLE1BQU0sUUFBUSxFQUFFLEdBQStFLENBQUM7QUFDdkcsZUFBTyxNQUFNLG1CQUFtQixTQUFTLENBQUMifQ==

package/dest/contracts/chain_state_override.d.ts

@@ -0,0 +1,78 @@
+import type { CheckpointNumber, SlotNumber } from '@aztec/foundation/branded-types';
+import type { Buffer32 } from '@aztec/foundation/buffer';
+import type { Fr } from '@aztec/foundation/curves/bn254';
+import type { StateOverride } from 'viem';
+import { type FeeHeader, RollupContract } from './rollup.js';
+/**
+ * Override values for the pending checkpoint that the simulation should treat as already applied.
+ * Every field is optional at plan-building time so callers can populate them incrementally; whatever
+ * is present at translation time is forwarded to the partial `tempCheckpointLogs` helper so the
+ * load-bearing `slotNumber` can land even if other fields could not be derived locally.
+ */
+export type PendingCheckpointOverrideState = {
+    archive?: Fr;
+    feeHeader?: FeeHeader;
+    headerHash?: Fr;
+    outHash?: Fr;
+    payloadDigest?: Buffer32;
+    slotNumber?: SlotNumber;
+};
+export type ChainTipsOverride = {
+    pending?: CheckpointNumber;
+    proven?: CheckpointNumber;
+};
+/** Describes the simulated L1 rollup state that downstream calls should observe. */
+export type SimulationOverridesPlan = {
+    chainTipsOverride?: ChainTipsOverride;
+    pendingCheckpointState?: PendingCheckpointOverrideState;
+    disableBlobCheck?: boolean;
+};
+/** Builds a single-checkpoint simulation plan before it is translated into a viem state override. */
+export declare class SimulationOverridesBuilder {
+    private chainTipsOverride?;
+    private pendingCheckpointState?;
+    private disableBlobCheck;
+    /** Starts from an existing plan so callers can extend or specialize it. */
+    static from(plan: SimulationOverridesPlan | undefined): SimulationOverridesBuilder;
+    /**
+     * Merges another plan into this builder. Later values win on a per-half basis for chain tips,
+     * but explicit `undefined` fields in the incoming plan are ignored so they cannot erase a
+     * previously-set value.
+     */
+    merge(plan: SimulationOverridesPlan | undefined): this;
+    /**
+     * Sets the pending and/or proven checkpoint number overrides. Subsequent calls merge into the existing
+     * override on a per-half basis, so callers can set pending in one call and proven in another without
+     * clobbering each other.
+     */
+    withChainTips(override: ChainTipsOverride): this;
+    /** Overrides the archive root for the configured pending checkpoint. */
+    withPendingArchive(archive: Fr): this;
+    /** Overrides the fee header for the configured pending checkpoint. */
+    withPendingFeeHeader(feeHeader: FeeHeader): this;
+    /**
+     * Overrides one or more `tempCheckpointLogs` cell fields for the configured pending checkpoint.
+     * Fields are independent: any subset can be provided. The translator (`makeTempCheckpointLogOverride`)
+     * emits a stateDiff entry per field actually set, so unspecified fields stay at their on-chain
+     * values.
+     *
+     * `slotNumber` is load-bearing for `STFLib.canPruneAtTime`: when the simulation overrides `pending`
+     * to a checkpoint that has no on-chain `tempCheckpointLogs` entry yet, the missing slotNumber falls
+     * back to 0 and the contract treats the pending tip as belonging to epoch 0, triggering a phantom
+     * prune that silently undoes the `pending` override.
+     */
+    withPendingTempCheckpointLogFields(fields: {
+        headerHash?: Fr;
+        outHash?: Fr;
+        payloadDigest?: Buffer32;
+        slotNumber?: SlotNumber;
+    }): this;
+    /** Disables blob checking for simulations that cannot provide DA inputs. */
+    withoutBlobCheck(): this;
+    /** Builds the final plan, or `undefined` when no overrides were configured. */
+    build(): SimulationOverridesPlan | undefined;
+    private assertPendingCheckpointNumber;
+}
+/** Translates a simulation plan into the viem state override shape expected by rollup calls. */
+export declare function buildSimulationOverridesStateOverride(rollup: RollupContract, plan: SimulationOverridesPlan | undefined): Promise<StateOverride>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hhaW5fc3RhdGVfb3ZlcnJpZGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250cmFjdHMvY2hhaW5fc3RhdGVfb3ZlcnJpZGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDcEYsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFekQsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFekQsT0FBTyxLQUFLLEVBQUUsYUFBYSxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBRTFDLE9BQU8sRUFBRSxLQUFLLFNBQVMsRUFBRSxjQUFjLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFFN0Q7Ozs7O0dBS0c7QUFDSCxNQUFNLE1BQU0sOEJBQThCLEdBQUc7SUFDM0MsT0FBTyxDQUFDLEVBQUUsRUFBRSxDQUFDO0lBQ2IsU0FBUyxDQUFDLEVBQUUsU0FBUyxDQUFDO0lBQ3RCLFVBQVUsQ0FBQyxFQUFFLEVBQUUsQ0FBQztJQUNoQixPQUFPLENBQUMsRUFBRSxFQUFFLENBQUM7SUFDYixhQUFhLENBQUMsRUFBRSxRQUFRLENBQUM7SUFDekIsVUFBVSxDQUFDLEVBQUUsVUFBVSxDQUFDO0NBQ3pCLENBQUM7QUFFRixNQUFNLE1BQU0saUJBQWlCLEdBQUc7SUFDOUIsT0FBTyxDQUFDLEVBQUUsZ0JBQWdCLENBQUM7SUFDM0IsTUFBTSxDQUFDLEVBQUUsZ0JBQWdCLENBQUM7Q0FDM0IsQ0FBQztBQUVGLG9GQUFvRjtBQUNwRixNQUFNLE1BQU0sdUJBQXVCLEdBQUc7SUFDcEMsaUJBQWlCLENBQUMsRUFBRSxpQkFBaUIsQ0FBQztJQUN0QyxzQkFBc0IsQ0FBQyxFQUFFLDhCQUE4QixDQUFDO0lBQ3hELGdCQUFnQixDQUFDLEVBQUUsT0FBTyxDQUFDO0NBQzVCLENBQUM7QUFFRixxR0FBcUc7QUFDckcscUJBQWEsMEJBQTBCO0lBQ3JDLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBQyxDQUFvQjtJQUM5QyxPQUFPLENBQUMsc0JBQXNCLENBQUMsQ0FBaUM7SUFDaEUsT0FBTyxDQUFDLGdCQUFnQixDQUFTO0lBRWpDLDJFQUEyRTtJQUMzRSxPQUFjLElBQUksQ0FBQyxJQUFJLEVBQUUsdUJBQXVCLEdBQUcsU0FBUyxHQUFHLDBCQUEwQixDQUV4RjtJQUVEOzs7O09BSUc7SUFDSSxLQUFLLENBQUMsSUFBSSxFQUFFLHVCQUF1QixHQUFHLFNBQVMsR0FBRyxJQUFJLENBYzVEO0lBRUQ7Ozs7T0FJRztJQUNJLGFBQWEsQ0FBQyxRQUFRLEVBQUUsaUJBQWlCLEdBQUcsSUFBSSxDQUd0RDtJQUVELHdFQUF3RTtJQUNqRSxrQkFBa0IsQ0FBQyxPQUFPLEVBQUUsRUFBRSxHQUFHLElBQUksQ0FJM0M7SUFFRCxzRUFBc0U7SUFDL0Qsb0JBQW9CLENBQUMsU0FBUyxFQUFFLFNBQVMsR0FBRyxJQUFJLENBSXREO0lBRUQ7Ozs7Ozs7Ozs7T0FVRztJQUNJLGtDQUFrQyxDQUFDLE1BQU0sRUFBRTtRQUNoRCxVQUFVLENBQUMsRUFBRSxFQUFFLENBQUM7UUFDaEIsT0FBTyxDQUFDLEVBQUUsRUFBRSxDQUFDO1FBQ2IsYUFBYSxDQUFDLEVBQUUsUUFBUSxDQUFDO1FBQ3pCLFVBQVUsQ0FBQyxFQUFFLFVBQVUsQ0FBQztLQUN6QixHQUFHLElBQUksQ0FJUDtJQUVELDRFQUE0RTtJQUNyRSxnQkFBZ0IsSUFBSSxJQUFJLENBRzlCO0lBRUQsK0VBQStFO0lBQ3hFLEtBQUssSUFBSSx1QkFBdUIsR0FBRyxTQUFTLENBVWxEO0lBRUQsT0FBTyxDQUFDLDZCQUE2QjtDQUt0QztBQUVELGdHQUFnRztBQUNoRyx3QkFBc0IscUNBQXFDLENBQ3pELE1BQU0sRUFBRSxjQUFjLEVBQ3RCLElBQUksRUFBRSx1QkFBdUIsR0FBRyxTQUFTLEdBQ3hDLE9BQU8sQ0FBQyxhQUFhLENBQUMsQ0FpRHhCIn0=

package/dest/contracts/chain_state_override.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain_state_override.d.ts","sourceRoot":"","sources":["../../src/contracts/chain_state_override.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AACpF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAEzD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AAE1C,OAAO,EAAE,KAAK,SAAS,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,MAAM,8BAA8B,GAAG;IAC3C,OAAO,CAAC,EAAE,EAAE,CAAC;IACb,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,UAAU,CAAC,EAAE,EAAE,CAAC;IAChB,OAAO,CAAC,EAAE,EAAE,CAAC;IACb,aAAa,CAAC,EAAE,QAAQ,CAAC;IACzB,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAC3B,MAAM,CAAC,EAAE,gBAAgB,CAAC;CAC3B,CAAC;AAEF,oFAAoF;AACpF,MAAM,MAAM,uBAAuB,GAAG;IACpC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC,sBAAsB,CAAC,EAAE,8BAA8B,CAAC;IACxD,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,qGAAqG;AACrG,qBAAa,0BAA0B;IACrC,OAAO,CAAC,iBAAiB,CAAC,CAAoB;IAC9C,OAAO,CAAC,sBAAsB,CAAC,CAAiC;IAChE,OAAO,CAAC,gBAAgB,CAAS;IAEjC,2EAA2E;IAC3E,OAAc,IAAI,CAAC,IAAI,EAAE,uBAAuB,GAAG,SAAS,GAAG,0BAA0B,CAExF;IAED;;;;OAIG;IACI,KAAK,CAAC,IAAI,EAAE,uBAAuB,GAAG,SAAS,GAAG,IAAI,CAc5D;IAED;;;;OAIG;IACI,aAAa,CAAC,QAAQ,EAAE,iBAAiB,GAAG,IAAI,CAGtD;IAED,wEAAwE;IACjE,kBAAkB,CAAC,OAAO,EAAE,EAAE,GAAG,IAAI,CAI3C;IAED,sEAAsE;IAC/D,oBAAoB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,CAItD;IAED;;;;;;;;;;OAUG;IACI,kCAAkC,CAAC,MAAM,EAAE;QAChD,UAAU,CAAC,EAAE,EAAE,CAAC;QAChB,OAAO,CAAC,EAAE,EAAE,CAAC;QACb,aAAa,CAAC,EAAE,QAAQ,CAAC;QACzB,UAAU,CAAC,EAAE,UAAU,CAAC;KACzB,GAAG,IAAI,CAIP;IAED,4EAA4E;IACrE,gBAAgB,IAAI,IAAI,CAG9B;IAED,+EAA+E;IACxE,KAAK,IAAI,uBAAuB,GAAG,SAAS,CAUlD;IAED,OAAO,CAAC,6BAA6B;CAKtC;AAED,gGAAgG;AAChG,wBAAsB,qCAAqC,CACzD,MAAM,EAAE,cAAc,EACtB,IAAI,EAAE,uBAAuB,GAAG,SAAS,GACxC,OAAO,CAAC,aAAa,CAAC,CAiDxB"}