@aztec/stdlib 5.0.0-nightly.20260611 → 5.0.0-nightly.20260613

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 (123) hide show
  1. package/dest/block/l2_block_source.d.ts +7 -1
  2. package/dest/block/l2_block_source.d.ts.map +1 -1
  3. package/dest/block/l2_block_stream/interfaces.d.ts +44 -8
  4. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  5. package/dest/block/l2_block_stream/l2_block_stream.d.ts +1 -1
  6. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
  7. package/dest/block/l2_block_stream/l2_block_stream.js +13 -4
  8. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts +6 -12
  9. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts.map +1 -1
  10. package/dest/block/l2_block_stream/l2_tips_memory_store.js +8 -32
  11. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +9 -18
  12. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
  13. package/dest/block/l2_block_stream/l2_tips_store_base.js +52 -58
  14. package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
  15. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
  16. package/dest/block/test/l2_tips_store_test_suite.js +202 -34
  17. package/dest/config/index.d.ts +2 -1
  18. package/dest/config/index.d.ts.map +1 -1
  19. package/dest/config/index.js +1 -0
  20. package/dest/config/network-consensus-config.d.ts +72 -0
  21. package/dest/config/network-consensus-config.d.ts.map +1 -0
  22. package/dest/config/network-consensus-config.js +231 -0
  23. package/dest/config/sequencer-config.d.ts +3 -1
  24. package/dest/config/sequencer-config.d.ts.map +1 -1
  25. package/dest/config/sequencer-config.js +5 -4
  26. package/dest/contract/interfaces/node-info.d.ts +11 -1
  27. package/dest/contract/interfaces/node-info.d.ts.map +1 -1
  28. package/dest/contract/interfaces/node-info.js +7 -1
  29. package/dest/gas/gas_settings.d.ts +7 -13
  30. package/dest/gas/gas_settings.d.ts.map +1 -1
  31. package/dest/gas/gas_settings.js +9 -16
  32. package/dest/gas/index.d.ts +2 -1
  33. package/dest/gas/index.d.ts.map +1 -1
  34. package/dest/gas/index.js +1 -0
  35. package/dest/gas/tx_gas_limits.d.ts +72 -0
  36. package/dest/gas/tx_gas_limits.d.ts.map +1 -0
  37. package/dest/gas/tx_gas_limits.js +85 -0
  38. package/dest/interfaces/aztec-node-admin.d.ts +18 -17
  39. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  40. package/dest/interfaces/aztec-node-admin.js +1 -1
  41. package/dest/interfaces/aztec-node-debug.d.ts +15 -2
  42. package/dest/interfaces/aztec-node-debug.d.ts.map +1 -1
  43. package/dest/interfaces/aztec-node-debug.js +9 -1
  44. package/dest/interfaces/aztec-node.d.ts +40 -11
  45. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  46. package/dest/interfaces/aztec-node.js +42 -5
  47. package/dest/interfaces/block-builder.d.ts +3 -1
  48. package/dest/interfaces/block-builder.d.ts.map +1 -1
  49. package/dest/interfaces/client.d.ts +2 -1
  50. package/dest/interfaces/client.d.ts.map +1 -1
  51. package/dest/interfaces/configs.d.ts +12 -6
  52. package/dest/interfaces/configs.d.ts.map +1 -1
  53. package/dest/interfaces/configs.js +2 -1
  54. package/dest/interfaces/get_tx_by_hash_options.d.ts +9 -0
  55. package/dest/interfaces/get_tx_by_hash_options.d.ts.map +1 -0
  56. package/dest/interfaces/get_tx_by_hash_options.js +4 -0
  57. package/dest/interfaces/p2p.d.ts +32 -8
  58. package/dest/interfaces/p2p.d.ts.map +1 -1
  59. package/dest/interfaces/p2p.js +12 -2
  60. package/dest/interfaces/proving-job.d.ts +70 -70
  61. package/dest/interfaces/validator.d.ts +3 -3
  62. package/dest/interfaces/validator.d.ts.map +1 -1
  63. package/dest/interfaces/validator.js +1 -1
  64. package/dest/tests/factories.d.ts +1 -1
  65. package/dest/tests/factories.d.ts.map +1 -1
  66. package/dest/tests/factories.js +4 -1
  67. package/dest/tests/mocks.d.ts +1 -1
  68. package/dest/tests/mocks.d.ts.map +1 -1
  69. package/dest/tests/mocks.js +3 -2
  70. package/dest/timetable/budgets.d.ts +4 -2
  71. package/dest/timetable/budgets.d.ts.map +1 -1
  72. package/dest/timetable/budgets.js +2 -1
  73. package/dest/timetable/build_proposer_timetable.d.ts +21 -0
  74. package/dest/timetable/build_proposer_timetable.d.ts.map +1 -0
  75. package/dest/timetable/build_proposer_timetable.js +17 -0
  76. package/dest/timetable/consensus_timetable.d.ts +5 -7
  77. package/dest/timetable/consensus_timetable.d.ts.map +1 -1
  78. package/dest/timetable/consensus_timetable.js +6 -8
  79. package/dest/timetable/index.d.ts +2 -1
  80. package/dest/timetable/index.d.ts.map +1 -1
  81. package/dest/timetable/index.js +1 -0
  82. package/dest/timetable/proposer_timetable.d.ts +18 -24
  83. package/dest/timetable/proposer_timetable.d.ts.map +1 -1
  84. package/dest/timetable/proposer_timetable.js +26 -55
  85. package/dest/tx/fee_provider.d.ts +2 -2
  86. package/dest/tx/fee_provider.d.ts.map +1 -1
  87. package/dest/tx/validator/error_texts.d.ts +2 -2
  88. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  89. package/dest/tx/validator/error_texts.js +1 -1
  90. package/package.json +8 -8
  91. package/src/block/l2_block_source.ts +7 -0
  92. package/src/block/l2_block_stream/interfaces.ts +39 -7
  93. package/src/block/l2_block_stream/l2_block_stream.ts +21 -3
  94. package/src/block/l2_block_stream/l2_tips_memory_store.ts +12 -41
  95. package/src/block/l2_block_stream/l2_tips_store_base.ts +63 -93
  96. package/src/block/test/l2_tips_store_test_suite.ts +197 -24
  97. package/src/config/index.ts +1 -0
  98. package/src/config/network-consensus-config.ts +302 -0
  99. package/src/config/sequencer-config.ts +7 -5
  100. package/src/contract/interfaces/node-info.ts +11 -0
  101. package/src/gas/README.md +92 -0
  102. package/src/gas/gas_settings.ts +11 -21
  103. package/src/gas/index.ts +1 -0
  104. package/src/gas/tx_gas_limits.ts +123 -0
  105. package/src/interfaces/aztec-node-admin.ts +1 -1
  106. package/src/interfaces/aztec-node-debug.ts +17 -2
  107. package/src/interfaces/aztec-node.ts +74 -13
  108. package/src/interfaces/block-builder.ts +2 -0
  109. package/src/interfaces/client.ts +1 -0
  110. package/src/interfaces/configs.ts +10 -6
  111. package/src/interfaces/get_tx_by_hash_options.ts +14 -0
  112. package/src/interfaces/p2p.ts +21 -8
  113. package/src/interfaces/validator.ts +5 -5
  114. package/src/tests/factories.ts +7 -1
  115. package/src/tests/mocks.ts +7 -2
  116. package/src/timetable/README.md +10 -2
  117. package/src/timetable/budgets.ts +5 -2
  118. package/src/timetable/build_proposer_timetable.ts +42 -0
  119. package/src/timetable/consensus_timetable.ts +8 -14
  120. package/src/timetable/index.ts +1 -0
  121. package/src/timetable/proposer_timetable.ts +37 -61
  122. package/src/tx/fee_provider.ts +1 -1
  123. package/src/tx/validator/error_texts.ts +2 -1
@@ -0,0 +1,231 @@
1
+ import { l1ContractsConfigMappings } from '@aztec/ethereum/config';
2
+ import { pickConfigMappings } from '@aztec/foundation/config';
3
+ import { DEFAULT_CHECKPOINT_PROPOSAL_INIT_TIME, DEFAULT_CHECKPOINT_PROPOSAL_PREPARE_TIME, DEFAULT_MIN_BLOCK_DURATION, DEFAULT_P2P_PROPAGATION_TIME } from '../timetable/budgets.js';
4
+ import { ProposerTimetable } from '../timetable/proposer_timetable.js';
5
+ import { sharedSequencerConfigMappings } from './sequencer-config.js';
6
+ /**
7
+ * Environment variables whose values must be identical across every node of a network. They fall into three
8
+ * categories, all consensus-critical:
9
+ *
10
+ * - Timing/protocol consensus: slot and epoch durations, block sub-slot duration, max blocks per checkpoint, and
11
+ * the checkpoint-proposal materialization grace. Proposers and validators must agree on these to land on the
12
+ * same proposed chain and the same checkpoint-proposal receive/handoff deadlines.
13
+ * - Network identity and L1-posted deployment params: the L1 chain id and the staking/governance/slashing
14
+ * parameters baked into the deployed rollup contract (committee size, lags, thresholds, mana target, fee
15
+ * pricing, governance/slashing round sizes, quorums, slash amounts, etc.). A node disagreeing with the rollup
16
+ * it points at would compute the wrong epoch geometry, fees, or slashing rounds.
17
+ * - Node-side slashing offense consensus: the offense detection/penalty parameters validators apply locally to
18
+ * decide which payloads to sign. Validators must agree on these to reach the on-chain slashing quorum.
19
+ *
20
+ * Deliberately excluded: bootnodes, P2P/store/OTEL/sentinel settings, SEQ_MIN_TX_PER_BLOCK, SEQ_MAX_TX_PER_*,
21
+ * AZTEC_SLASHER_ENABLED, PROVER_REAL_PROOFS, TRANSACTIONS_DISABLED, and AZTEC_ENTRY_QUEUE_* (mainnet-only genesis
22
+ * params enforced by L1).
23
+ */ export const NETWORK_CONSENSUS_ENV_VARS = [
24
+ // Timing/protocol consensus.
25
+ 'ETHEREUM_SLOT_DURATION',
26
+ 'AZTEC_SLOT_DURATION',
27
+ 'AZTEC_EPOCH_DURATION',
28
+ 'SEQ_BLOCK_DURATION_MS',
29
+ 'MAX_BLOCKS_PER_CHECKPOINT',
30
+ 'CHECKPOINT_PROPOSAL_SYNC_GRACE_SECONDS',
31
+ // Network identity / L1-posted deployment params.
32
+ 'L1_CHAIN_ID',
33
+ 'AZTEC_TARGET_COMMITTEE_SIZE',
34
+ 'AZTEC_LAG_IN_EPOCHS_FOR_VALIDATOR_SET',
35
+ 'AZTEC_LAG_IN_EPOCHS_FOR_RANDAO',
36
+ 'AZTEC_ACTIVATION_THRESHOLD',
37
+ 'AZTEC_EJECTION_THRESHOLD',
38
+ 'AZTEC_LOCAL_EJECTION_THRESHOLD',
39
+ 'AZTEC_EXIT_DELAY_SECONDS',
40
+ 'AZTEC_INBOX_LAG',
41
+ 'AZTEC_PROOF_SUBMISSION_EPOCHS',
42
+ 'AZTEC_MANA_TARGET',
43
+ 'AZTEC_PROVING_COST_PER_MANA',
44
+ 'AZTEC_INITIAL_ETH_PER_FEE_ASSET',
45
+ 'AZTEC_GOVERNANCE_PROPOSER_ROUND_SIZE',
46
+ 'AZTEC_GOVERNANCE_PROPOSER_QUORUM',
47
+ 'AZTEC_SLASHING_QUORUM',
48
+ 'AZTEC_SLASHING_ROUND_SIZE_IN_EPOCHS',
49
+ 'AZTEC_SLASHING_LIFETIME_IN_ROUNDS',
50
+ 'AZTEC_SLASHING_OFFSET_IN_ROUNDS',
51
+ 'AZTEC_SLASHING_EXECUTION_DELAY_IN_ROUNDS',
52
+ 'AZTEC_SLASHING_VETOER',
53
+ 'AZTEC_SLASHING_DISABLE_DURATION',
54
+ 'AZTEC_SLASH_AMOUNT_SMALL',
55
+ 'AZTEC_SLASH_AMOUNT_MEDIUM',
56
+ 'AZTEC_SLASH_AMOUNT_LARGE',
57
+ // Node-side slashing offense consensus.
58
+ 'SLASH_OFFENSE_EXPIRATION_ROUNDS',
59
+ 'SLASH_MAX_PAYLOAD_SIZE',
60
+ 'SLASH_EXECUTE_ROUNDS_LOOK_BACK',
61
+ 'SLASH_DATA_WITHHOLDING_TOLERANCE_SLOTS',
62
+ 'SLASH_DATA_WITHHOLDING_PENALTY',
63
+ 'SLASH_INACTIVITY_TARGET_PERCENTAGE',
64
+ 'SLASH_INACTIVITY_CONSECUTIVE_EPOCH_THRESHOLD',
65
+ 'SLASH_INACTIVITY_PENALTY',
66
+ 'SLASH_PROPOSE_INVALID_ATTESTATIONS_PENALTY',
67
+ 'SLASH_DUPLICATE_PROPOSAL_PENALTY',
68
+ 'SLASH_DUPLICATE_ATTESTATION_PENALTY',
69
+ 'SLASH_PROPOSE_DESCENDANT_OF_CHECKPOINT_WITH_INVALID_ATTESTATIONS_PENALTY',
70
+ 'SLASH_ATTEST_INVALID_CHECKPOINT_PROPOSAL_PENALTY',
71
+ 'SLASH_UNKNOWN_PENALTY',
72
+ 'SLASH_INVALID_BLOCK_PENALTY',
73
+ 'SLASH_INVALID_CHECKPOINT_PROPOSAL_PENALTY',
74
+ 'SLASH_GRACE_PERIOD_L2_SLOTS'
75
+ ];
76
+ /** Config mappings for the slot-timing fields of {@link NetworkConsensusConfig}, picked from their owners. */ const networkConsensusConfigMappings = {
77
+ ...pickConfigMappings(l1ContractsConfigMappings, [
78
+ 'aztecSlotDuration',
79
+ 'ethereumSlotDuration'
80
+ ]),
81
+ ...pickConfigMappings(sharedSequencerConfigMappings, [
82
+ 'blockDurationMs',
83
+ 'maxBlocksPerCheckpoint',
84
+ 'checkpointProposalSyncGraceSeconds'
85
+ ])
86
+ };
87
+ /**
88
+ * Extracts the timing {@link NetworkConsensusConfig} from a generated network config object. The env-var names
89
+ * and the per-field parsing both come from the canonical config mappings (`l1ContractsConfigMappings` and
90
+ * `sharedSequencerConfigMappings`), so each field is parsed exactly as the node's config layer would parse it.
91
+ * A field whose env var is absent becomes `NaN`, which {@link validateNetworkConsensusConfig} reports as an
92
+ * error. Never throws: parse helpers that would throw or yield `undefined` are coerced to `NaN`.
93
+ */ export function getConsensusConfigFromNetworkEnv(values) {
94
+ const result = {};
95
+ for (const [field, mapping] of Object.entries(networkConsensusConfigMappings)){
96
+ const raw = mapping.env !== undefined ? values[mapping.env] : undefined;
97
+ if (raw === undefined) {
98
+ result[field] = NaN;
99
+ continue;
100
+ }
101
+ let parsed;
102
+ try {
103
+ parsed = mapping.parseEnv ? mapping.parseEnv(String(raw)) : Number(raw);
104
+ } catch {
105
+ parsed = NaN;
106
+ }
107
+ result[field] = parsed ?? NaN;
108
+ }
109
+ return result;
110
+ }
111
+ /**
112
+ * Validates a {@link NetworkConsensusConfig} for self-consistency, returning a list of error messages (empty
113
+ * when valid). Used by the cli unit test that gates the generated network configs.
114
+ *
115
+ * The check requires `maxBlocksPerCheckpoint` to be *exactly* what a {@link ProposerTimetable} built from the
116
+ * same slot timings and the production default budgets derives. This exact-equality requirement ensures the
117
+ * published network value is precisely what the production default budgets produce, so every node running those
118
+ * defaults agrees on the per-checkpoint block count without clamping.
119
+ */ export function validateNetworkConsensusConfig(config) {
120
+ const errors = [];
121
+ for (const [field, value] of Object.entries(config)){
122
+ if (typeof value !== 'number' || !Number.isFinite(value)) {
123
+ errors.push(`${field} must be a finite number (got ${value})`);
124
+ }
125
+ }
126
+ if (errors.length > 0) {
127
+ return errors;
128
+ }
129
+ if (config.ethereumSlotDuration <= 0) {
130
+ errors.push(`ethereumSlotDuration must be positive (got ${config.ethereumSlotDuration})`);
131
+ }
132
+ if (config.blockDurationMs <= 0) {
133
+ errors.push(`blockDurationMs must be positive (got ${config.blockDurationMs})`);
134
+ }
135
+ if (config.aztecSlotDuration <= 0) {
136
+ errors.push(`aztecSlotDuration must be positive (got ${config.aztecSlotDuration})`);
137
+ }
138
+ if (config.ethereumSlotDuration > 0 && config.aztecSlotDuration % config.ethereumSlotDuration !== 0) {
139
+ errors.push(`aztecSlotDuration (${config.aztecSlotDuration}s) must be a multiple of ethereumSlotDuration ` + `(${config.ethereumSlotDuration}s)`);
140
+ }
141
+ if (config.blockDurationMs / 1000 > config.aztecSlotDuration) {
142
+ errors.push(`blockDurationMs (${config.blockDurationMs}ms) exceeds aztecSlotDuration (${config.aztecSlotDuration}s)`);
143
+ }
144
+ if (config.maxBlocksPerCheckpoint < 1) {
145
+ errors.push(`maxBlocksPerCheckpoint must be at least 1 (got ${config.maxBlocksPerCheckpoint})`);
146
+ }
147
+ if (config.checkpointProposalSyncGraceSeconds < 0) {
148
+ errors.push(`checkpointProposalSyncGraceSeconds must be non-negative (got ${config.checkpointProposalSyncGraceSeconds})`);
149
+ }
150
+ if (errors.length > 0) {
151
+ return errors;
152
+ }
153
+ let computed;
154
+ try {
155
+ computed = new ProposerTimetable({
156
+ l1Constants: {
157
+ l1GenesisTime: 0n,
158
+ slotDuration: config.aztecSlotDuration,
159
+ ethereumSlotDuration: config.ethereumSlotDuration
160
+ },
161
+ blockDuration: config.blockDurationMs / 1000,
162
+ minBlockDuration: DEFAULT_MIN_BLOCK_DURATION,
163
+ p2pPropagationTime: DEFAULT_P2P_PROPAGATION_TIME,
164
+ checkpointProposalPrepareTime: DEFAULT_CHECKPOINT_PROPOSAL_PREPARE_TIME,
165
+ checkpointProposalInitTime: DEFAULT_CHECKPOINT_PROPOSAL_INIT_TIME,
166
+ checkpointProposalSyncGrace: config.checkpointProposalSyncGraceSeconds
167
+ }).getMaxBlocksPerCheckpoint();
168
+ } catch (err) {
169
+ // The timetable constructor throws when not even one block fits the default budgets; report instead.
170
+ errors.push(`maxBlocksPerCheckpoint (${config.maxBlocksPerCheckpoint}) cannot be achieved: the default operational ` + `budgets fit fewer than one block for slot duration ${config.aztecSlotDuration}s and block duration ` + `${config.blockDurationMs / 1000}s (${err instanceof Error ? err.message : String(err)})`);
171
+ return errors;
172
+ }
173
+ if (computed !== config.maxBlocksPerCheckpoint) {
174
+ errors.push(`maxBlocksPerCheckpoint (${config.maxBlocksPerCheckpoint}) does not match the ${computed} blocks the ` + `production default budgets derive for slot duration ${config.aztecSlotDuration}s and block duration ` + `${config.blockDurationMs / 1000}s`);
175
+ }
176
+ return errors;
177
+ }
178
+ /**
179
+ * Enforces that operators do not silently override consensus-critical values diverging from the network config.
180
+ *
181
+ * For each var in {@link NETWORK_CONSENSUS_ENV_VARS} present in `networkConfig`: if the operator set it in `env`
182
+ * to a conflicting value, this throws unless `ALLOW_OVERRIDING_NETWORK_CONFIG` is truthy (in which case it logs
183
+ * and keeps the operator value).
184
+ *
185
+ * This function is pure: it never writes to `env`. Instead it returns the canonical env writes the caller
186
+ * should apply — a map of env-var name to canonical string value for every numeric var whose env value matched
187
+ * the network value numerically. Applying these closes a bypass where the config layer parses some vars with
188
+ * `parseInt` (which reads '6e3' as 6); rewriting them to the network value's string form keeps the operator's
189
+ * numerically-equal value but in canonical form. Vars kept under `ALLOW_OVERRIDING_NETWORK_CONFIG` (genuine
190
+ * conflicts) are not included, so the operator value is preserved untouched.
191
+ *
192
+ * @returns Canonical env writes (env-var name -> canonical string value) for the caller to apply.
193
+ */ export function checkConsensusEnvOverrides(networkConfig, env = process.env, log) {
194
+ const allowOverride = allowsNetworkConfigOverride(env);
195
+ const canonical = {};
196
+ const conflicts = [];
197
+ for (const envVar of NETWORK_CONSENSUS_ENV_VARS){
198
+ const networkValue = networkConfig[envVar];
199
+ if (networkValue === undefined) {
200
+ continue;
201
+ }
202
+ const current = env[envVar];
203
+ if (current === undefined || current === '') {
204
+ continue;
205
+ }
206
+ const networkIsNumeric = typeof networkValue === 'number';
207
+ const matches = networkIsNumeric ? Number(current) === networkValue : current === String(networkValue);
208
+ if (matches) {
209
+ if (networkIsNumeric) {
210
+ canonical[envVar] = String(networkValue);
211
+ }
212
+ continue;
213
+ }
214
+ const conflict = `${envVar}=${current} conflicts with the network value ${networkValue}`;
215
+ if (allowOverride) {
216
+ log?.(`Environment variable ${conflict}. Consensus-critical values must match across the network, but ` + `ALLOW_OVERRIDING_NETWORK_CONFIG is set so the operator value is kept (only do this if you know what ` + `you are doing).`);
217
+ continue;
218
+ }
219
+ conflicts.push(conflict);
220
+ }
221
+ // Accumulate every conflict so the operator sees all the env vars they need to reconcile at once, rather than
222
+ // fixing them one failed startup at a time.
223
+ if (conflicts.length > 0) {
224
+ throw new Error(`Environment variables conflict with consensus-critical network values:\n` + conflicts.map((c)=>` - ${c}`).join('\n') + `\nConsensus-critical values must match across the network. Set ALLOW_OVERRIDING_NETWORK_CONFIG=1 to ` + `override (only do this if you know what you are doing).`);
225
+ }
226
+ return canonical;
227
+ }
228
+ /** Whether the env opts into overriding network-wide consensus values (`ALLOW_OVERRIDING_NETWORK_CONFIG`). */ export function allowsNetworkConfigOverride(env = process.env) {
229
+ const value = env.ALLOW_OVERRIDING_NETWORK_CONFIG;
230
+ return value === '1' || value?.toLowerCase() === 'true';
231
+ }
@@ -1,5 +1,7 @@
1
1
  import { type ConfigMappingsType } from '@aztec/foundation/config';
2
2
  import type { SequencerConfig } from '../interfaces/configs.js';
3
+ /** Default duration per block in milliseconds, used to derive how many blocks fit in a slot. */
4
+ export declare const DEFAULT_BLOCK_DURATION_MS: number;
3
5
  /** Default maximum number of transactions per block. */
4
6
  export declare const DEFAULT_MAX_TXS_PER_BLOCK = 32;
5
7
  /** Default maximum number of blocks the sequencer packs into a single checkpoint. */
@@ -11,4 +13,4 @@ export declare const DEFAULT_MAX_BLOCKS_PER_CHECKPOINT = 24;
11
13
  * to avoid duplication.
12
14
  */
13
15
  export declare const sharedSequencerConfigMappings: ConfigMappingsType<Pick<SequencerConfig, 'blockDurationMs' | 'checkpointProposalSyncGraceSeconds' | 'expectedBlockProposalsPerSlot' | 'maxTxsPerBlock' | 'attestationPropagationTime' | 'checkpointProposalPrepareTime' | 'minBlockDuration' | 'maxBlocksPerCheckpoint'>>;
14
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VxdWVuY2VyLWNvbmZpZy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NvbmZpZy9zZXF1ZW5jZXItY29uZmlnLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxLQUFLLGtCQUFrQixFQUl4QixNQUFNLDBCQUEwQixDQUFDO0FBRWxDLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBUWhFLHdEQUF3RDtBQUN4RCxlQUFPLE1BQU0seUJBQXlCLEtBQUssQ0FBQztBQUU1QyxxRkFBcUY7QUFDckYsZUFBTyxNQUFNLGlDQUFpQyxLQUFLLENBQUM7QUFFcEQ7Ozs7O0dBS0c7QUFDSCxlQUFPLE1BQU0sNkJBQTZCLEVBQUUsa0JBQWtCLENBQzVELElBQUksQ0FDRixlQUFlLEVBQ2IsaUJBQWlCLEdBQ2pCLG9DQUFvQyxHQUNwQywrQkFBK0IsR0FDL0IsZ0JBQWdCLEdBQ2hCLDRCQUE0QixHQUM1QiwrQkFBK0IsR0FDL0Isa0JBQWtCLEdBQ2xCLHdCQUF3QixDQUMzQixDQXVERixDQUFDIn0=
16
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VxdWVuY2VyLWNvbmZpZy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NvbmZpZy9zZXF1ZW5jZXItY29uZmlnLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxLQUFLLGtCQUFrQixFQUl4QixNQUFNLDBCQUEwQixDQUFDO0FBRWxDLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBU2hFLGdHQUFnRztBQUNoRyxlQUFPLE1BQU0seUJBQXlCLFFBQWdDLENBQUM7QUFFdkUsd0RBQXdEO0FBQ3hELGVBQU8sTUFBTSx5QkFBeUIsS0FBSyxDQUFDO0FBRTVDLHFGQUFxRjtBQUNyRixlQUFPLE1BQU0saUNBQWlDLEtBQUssQ0FBQztBQUVwRDs7Ozs7R0FLRztBQUNILGVBQU8sTUFBTSw2QkFBNkIsRUFBRSxrQkFBa0IsQ0FDNUQsSUFBSSxDQUNGLGVBQWUsRUFDYixpQkFBaUIsR0FDakIsb0NBQW9DLEdBQ3BDLCtCQUErQixHQUMvQixnQkFBZ0IsR0FDaEIsNEJBQTRCLEdBQzVCLCtCQUErQixHQUMvQixrQkFBa0IsR0FDbEIsd0JBQXdCLENBQzNCLENBcURGLENBQUMifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"sequencer-config.d.ts","sourceRoot":"","sources":["../../src/config/sequencer-config.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,kBAAkB,EAIxB,MAAM,0BAA0B,CAAC;AAElC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAQhE,wDAAwD;AACxD,eAAO,MAAM,yBAAyB,KAAK,CAAC;AAE5C,qFAAqF;AACrF,eAAO,MAAM,iCAAiC,KAAK,CAAC;AAEpD;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,EAAE,kBAAkB,CAC5D,IAAI,CACF,eAAe,EACb,iBAAiB,GACjB,oCAAoC,GACpC,+BAA+B,GAC/B,gBAAgB,GAChB,4BAA4B,GAC5B,+BAA+B,GAC/B,kBAAkB,GAClB,wBAAwB,CAC3B,CAuDF,CAAC"}
1
+ {"version":3,"file":"sequencer-config.d.ts","sourceRoot":"","sources":["../../src/config/sequencer-config.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,kBAAkB,EAIxB,MAAM,0BAA0B,CAAC;AAElC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAShE,gGAAgG;AAChG,eAAO,MAAM,yBAAyB,QAAgC,CAAC;AAEvE,wDAAwD;AACxD,eAAO,MAAM,yBAAyB,KAAK,CAAC;AAE5C,qFAAqF;AACrF,eAAO,MAAM,iCAAiC,KAAK,CAAC;AAEpD;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,EAAE,kBAAkB,CAC5D,IAAI,CACF,eAAe,EACb,iBAAiB,GACjB,oCAAoC,GACpC,+BAA+B,GAC/B,gBAAgB,GAChB,4BAA4B,GAC5B,+BAA+B,GAC/B,kBAAkB,GAClB,wBAAwB,CAC3B,CAqDF,CAAC"}
@@ -1,5 +1,6 @@
1
1
  import { floatConfigHelper, numberConfigHelper, optionalNumberConfigHelper } from '@aztec/foundation/config';
2
- import { DEFAULT_CHECKPOINT_PROPOSAL_PREPARE_TIME, DEFAULT_MIN_BLOCK_DURATION, DEFAULT_P2P_PROPAGATION_TIME, getDefaultCheckpointProposalSyncGrace } from '../timetable/index.js';
2
+ import { DEFAULT_BLOCK_DURATION, DEFAULT_CHECKPOINT_PROPOSAL_PREPARE_TIME, DEFAULT_MIN_BLOCK_DURATION, DEFAULT_P2P_PROPAGATION_TIME, getDefaultCheckpointProposalSyncGrace } from '../timetable/index.js';
3
+ /** Default duration per block in milliseconds, used to derive how many blocks fit in a slot. */ export const DEFAULT_BLOCK_DURATION_MS = DEFAULT_BLOCK_DURATION * 1000;
3
4
  /** Default maximum number of transactions per block. */ export const DEFAULT_MAX_TXS_PER_BLOCK = 32;
4
5
  /** Default maximum number of blocks the sequencer packs into a single checkpoint. */ export const DEFAULT_MAX_BLOCKS_PER_CHECKPOINT = 24;
5
6
  /**
@@ -10,8 +11,8 @@ import { DEFAULT_CHECKPOINT_PROPOSAL_PREPARE_TIME, DEFAULT_MIN_BLOCK_DURATION, D
10
11
  */ export const sharedSequencerConfigMappings = {
11
12
  blockDurationMs: {
12
13
  env: 'SEQ_BLOCK_DURATION_MS',
13
- description: 'Duration per block in milliseconds when building multiple blocks per slot. ' + 'If undefined (default), builds a single block per slot using the full slot duration.',
14
- ...optionalNumberConfigHelper()
14
+ description: 'Duration per block in milliseconds, used to derive how many blocks fit in a slot.',
15
+ ...numberConfigHelper(DEFAULT_BLOCK_DURATION_MS)
15
16
  },
16
17
  expectedBlockProposalsPerSlot: {
17
18
  env: 'SEQ_EXPECTED_BLOCK_PROPOSALS_PER_SLOT',
@@ -21,7 +22,7 @@ import { DEFAULT_CHECKPOINT_PROPOSAL_PREPARE_TIME, DEFAULT_MIN_BLOCK_DURATION, D
21
22
  checkpointProposalSyncGraceSeconds: {
22
23
  env: 'CHECKPOINT_PROPOSAL_SYNC_GRACE_SECONDS',
23
24
  description: 'Consensus grace in seconds for a received checkpoint proposal to materialize into local proposed state. ' + 'Defaults to twice the block duration.',
24
- defaultValue: getDefaultCheckpointProposalSyncGrace(undefined),
25
+ defaultValue: getDefaultCheckpointProposalSyncGrace(DEFAULT_BLOCK_DURATION_MS / 1000),
25
26
  ...optionalNumberConfigHelper()
26
27
  },
27
28
  maxTxsPerBlock: {
@@ -1,6 +1,14 @@
1
1
  import { type L1ContractAddresses } from '@aztec/ethereum/l1-contract-addresses';
2
2
  import type { ZodFor } from '@aztec/foundation/schemas';
3
3
  import { type ProtocolContractAddresses } from './protocol_contract_addresses.js';
4
+ /** Limits a single transaction may declare on a network. */
5
+ export interface TxsLimits {
6
+ /** Maximum gas limits a single tx may declare: the smaller of the per-tx maximum and the per-block allocation. */
7
+ gas: {
8
+ daGas: number;
9
+ l2Gas: number;
10
+ };
11
+ }
4
12
  /** Provides basic information about the running node. */
5
13
  export interface NodeInfo {
6
14
  /** Version as tracked in the aztec-packages repository. */
@@ -17,6 +25,8 @@ export interface NodeInfo {
17
25
  protocolContractAddresses: ProtocolContractAddresses;
18
26
  /** Whether the node requires real proofs for transaction submission. */
19
27
  realProofs: boolean;
28
+ /** Limits a single tx may declare on this network. Clients rely on this to set fallback gas limits. */
29
+ txsLimits: TxsLimits;
20
30
  }
21
31
  export declare const NodeInfoSchema: ZodFor<NodeInfo>;
22
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibm9kZS1pbmZvLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvY29udHJhY3QvaW50ZXJmYWNlcy9ub2RlLWluZm8udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEtBQUssbUJBQW1CLEVBQTZCLE1BQU0sdUNBQXVDLENBQUM7QUFDNUcsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFJeEQsT0FBTyxFQUFFLEtBQUsseUJBQXlCLEVBQW1DLE1BQU0sa0NBQWtDLENBQUM7QUFFbkgseURBQXlEO0FBQ3pELE1BQU0sV0FBVyxRQUFRO0lBQ3ZCLDJEQUEyRDtJQUMzRCxXQUFXLEVBQUUsTUFBTSxDQUFDO0lBQ3BCLG1CQUFtQjtJQUNuQixTQUFTLEVBQUUsTUFBTSxDQUFDO0lBQ2xCLHNCQUFzQjtJQUN0QixhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLHNCQUFzQjtJQUN0QixHQUFHLEVBQUUsTUFBTSxHQUFHLFNBQVMsQ0FBQztJQUN4Qix5Q0FBeUM7SUFDekMsbUJBQW1CLEVBQUUsbUJBQW1CLENBQUM7SUFDekMsa0NBQWtDO0lBQ2xDLHlCQUF5QixFQUFFLHlCQUF5QixDQUFDO0lBQ3JELHdFQUF3RTtJQUN4RSxVQUFVLEVBQUUsT0FBTyxDQUFDO0NBQ3JCO0FBRUQsZUFBTyxNQUFNLGNBQWMsRUFBRSxNQUFNLENBQUMsUUFBUSxDQVVLLENBQUMifQ==
32
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibm9kZS1pbmZvLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvY29udHJhY3QvaW50ZXJmYWNlcy9ub2RlLWluZm8udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEtBQUssbUJBQW1CLEVBQTZCLE1BQU0sdUNBQXVDLENBQUM7QUFDNUcsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFJeEQsT0FBTyxFQUFFLEtBQUsseUJBQXlCLEVBQW1DLE1BQU0sa0NBQWtDLENBQUM7QUFFbkgsNERBQTREO0FBQzVELE1BQU0sV0FBVyxTQUFTO0lBQ3hCLGtIQUFrSDtJQUNsSCxHQUFHLEVBQUU7UUFBRSxLQUFLLEVBQUUsTUFBTSxDQUFDO1FBQUMsS0FBSyxFQUFFLE1BQU0sQ0FBQTtLQUFFLENBQUM7Q0FDdkM7QUFFRCx5REFBeUQ7QUFDekQsTUFBTSxXQUFXLFFBQVE7SUFDdkIsMkRBQTJEO0lBQzNELFdBQVcsRUFBRSxNQUFNLENBQUM7SUFDcEIsbUJBQW1CO0lBQ25CLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFDbEIsc0JBQXNCO0lBQ3RCLGFBQWEsRUFBRSxNQUFNLENBQUM7SUFDdEIsc0JBQXNCO0lBQ3RCLEdBQUcsRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQ3hCLHlDQUF5QztJQUN6QyxtQkFBbUIsRUFBRSxtQkFBbUIsQ0FBQztJQUN6QyxrQ0FBa0M7SUFDbEMseUJBQXlCLEVBQUUseUJBQXlCLENBQUM7SUFDckQsd0VBQXdFO0lBQ3hFLFVBQVUsRUFBRSxPQUFPLENBQUM7SUFDcEIsdUdBQXVHO0lBQ3ZHLFNBQVMsRUFBRSxTQUFTLENBQUM7Q0FDdEI7QUFFRCxlQUFPLE1BQU0sY0FBYyxFQUFFLE1BQU0sQ0FBQyxRQUFRLENBYUssQ0FBQyJ9
@@ -1 +1 @@
1
- {"version":3,"file":"node-info.d.ts","sourceRoot":"","sources":["../../../src/contract/interfaces/node-info.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,mBAAmB,EAA6B,MAAM,uCAAuC,CAAC;AAC5G,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAIxD,OAAO,EAAE,KAAK,yBAAyB,EAAmC,MAAM,kCAAkC,CAAC;AAEnH,yDAAyD;AACzD,MAAM,WAAW,QAAQ;IACvB,2DAA2D;IAC3D,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,sBAAsB;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,sBAAsB;IACtB,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;IACxB,yCAAyC;IACzC,mBAAmB,EAAE,mBAAmB,CAAC;IACzC,kCAAkC;IAClC,yBAAyB,EAAE,yBAAyB,CAAC;IACrD,wEAAwE;IACxE,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,QAAQ,CAUK,CAAC"}
1
+ {"version":3,"file":"node-info.d.ts","sourceRoot":"","sources":["../../../src/contract/interfaces/node-info.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,mBAAmB,EAA6B,MAAM,uCAAuC,CAAC;AAC5G,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAIxD,OAAO,EAAE,KAAK,yBAAyB,EAAmC,MAAM,kCAAkC,CAAC;AAEnH,4DAA4D;AAC5D,MAAM,WAAW,SAAS;IACxB,kHAAkH;IAClH,GAAG,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CACvC;AAED,yDAAyD;AACzD,MAAM,WAAW,QAAQ;IACvB,2DAA2D;IAC3D,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,sBAAsB;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,sBAAsB;IACtB,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;IACxB,yCAAyC;IACzC,mBAAmB,EAAE,mBAAmB,CAAC;IACzC,kCAAkC;IAClC,yBAAyB,EAAE,yBAAyB,CAAC;IACrD,wEAAwE;IACxE,UAAU,EAAE,OAAO,CAAC;IACpB,uGAAuG;IACvG,SAAS,EAAE,SAAS,CAAC;CACtB;AAED,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,QAAQ,CAaK,CAAC"}
@@ -8,7 +8,13 @@ export const NodeInfoSchema = z.object({
8
8
  enr: z.string().optional(),
9
9
  l1ContractAddresses: L1ContractAddressesSchema,
10
10
  protocolContractAddresses: ProtocolContractAddressesSchema,
11
- realProofs: z.boolean()
11
+ realProofs: z.boolean(),
12
+ txsLimits: z.object({
13
+ gas: z.object({
14
+ daGas: z.number().int().nonnegative(),
15
+ l2Gas: z.number().int().nonnegative()
16
+ })
17
+ })
12
18
  }).transform((obj)=>({
13
19
  enr: undefined,
14
20
  ...obj
@@ -4,12 +4,6 @@ import type { FieldsOf } from '@aztec/foundation/types';
4
4
  import { z } from 'zod';
5
5
  import { Gas } from './gas.js';
6
6
  import { GasFees } from './gas_fees.js';
7
- /** Approximate max DA gas limit. Arbitrary, assuming 4 blocks per checkpoint — users should use gas estimation. */
8
- export declare const APPROXIMATE_MAX_DA_GAS_PER_BLOCK: number;
9
- /** Fallback teardown L2 gas limit. Arbitrary — users should use gas estimation. */
10
- export declare const FALLBACK_TEARDOWN_L2_GAS_LIMIT: number;
11
- /** Fallback teardown DA gas limit. Arbitrary — users should use gas estimation. */
12
- export declare const FALLBACK_TEARDOWN_DA_GAS_LIMIT: number;
13
7
  export declare const GAS_ESTIMATION_TEARDOWN_L2_GAS_LIMIT = 6540000;
14
8
  export declare const GAS_ESTIMATION_L2_GAS_LIMIT: number;
15
9
  export declare const GAS_ESTIMATION_TEARDOWN_DA_GAS_LIMIT = 786432;
@@ -78,18 +72,18 @@ export declare class GasSettings {
78
72
  static empty(): GasSettings;
79
73
  /**
80
74
  * Fills in gas limits high enough for transactions to be included in most cases.
81
- * gasLimits is set to the maximum the protocol allows; since teardown gas is reserved
82
- * from gasLimits during private execution (see gas_meter.nr), the effective gas available
83
- * for app logic will be gasLimits - teardownGasLimits - privateOverhead.
84
- * The DA gas limit is set to an approximate max per block assuming 4 blocks per checkpoint,
85
- * since using the maximum per checkpoint would cause nodes to reject transactions.
75
+ * Callers must supply `gasLimits` typically the most a single tx may declare on the network
76
+ * (`min(per-tx max, per-block allocation)`), i.e. a node's advertised `txsLimits.gas`. Since teardown gas
77
+ * is reserved from gasLimits during private execution (see gas_meter.nr), the effective gas available for
78
+ * app logic is gasLimits - teardownGasLimits - privateOverhead; the teardown default is derived from the
79
+ * effective total so it always stays below it.
86
80
  * These values won't work if:
87
81
  * - Teardown consumes more than the arbitrarily assigned fallback limits
88
82
  * - The rest of the transaction consumes more than the remaining gas after teardown
89
83
  * - The DA gas limit is too low for the transaction, while still within the checkpoint limit
90
84
  */
91
85
  static fallback(overrides: {
92
- gasLimits?: Gas;
86
+ gasLimits: Gas;
93
87
  teardownGasLimits?: Gas;
94
88
  maxFeesPerGas: GasFees;
95
89
  maxPriorityFeesPerGas?: GasFees;
@@ -119,4 +113,4 @@ export declare class GasSettings {
119
113
  toFields(): Fr[];
120
114
  static getFields(fields: FieldsOf<GasSettings>): readonly [Gas, Gas, GasFees, GasFees];
121
115
  }
122
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2FzX3NldHRpbmdzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZ2FzL2dhc19zZXR0aW5ncy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFlBQVksRUFBRSxVQUFVLEVBQUUsV0FBVyxFQUFzQyxNQUFNLDZCQUE2QixDQUFDO0FBQ3hILE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUFFLEdBQUcsRUFBaUIsTUFBTSxVQUFVLENBQUM7QUFDOUMsT0FBTyxFQUFFLE9BQU8sRUFBRSxNQUFNLGVBQWUsQ0FBQztBQUV4QyxxSEFBbUg7QUFDbkgsZUFBTyxNQUFNLGdDQUFnQyxRQUF3RCxDQUFDO0FBQ3RHLHFGQUFtRjtBQUNuRixlQUFPLE1BQU0sOEJBQThCLFFBQXlDLENBQUM7QUFDckYscUZBQW1GO0FBQ25GLGVBQU8sTUFBTSw4QkFBOEIsUUFBbUQsQ0FBQztBQUsvRixlQUFPLE1BQU0sb0NBQW9DLFVBQXlCLENBQUM7QUFDM0UsZUFBTyxNQUFNLDJCQUEyQixRQUFnRSxDQUFDO0FBQ3pHLGVBQU8sTUFBTSxvQ0FBb0MsU0FBd0MsQ0FBQztBQUMxRixlQUFPLE1BQU0sMkJBQTJCLFFBQStFLENBQUM7QUFHeEgsbUdBQW1HO0FBQ25HLHFCQUFhLFdBQVc7YUFFSixTQUFTLEVBQUUsR0FBRzthQUNkLGlCQUFpQixFQUFFLEdBQUc7YUFDdEIsYUFBYSxFQUFFLE9BQU87YUFDdEIscUJBQXFCLEVBQUUsT0FBTztJQUpoRCxZQUNrQixTQUFTLEVBQUUsR0FBRyxFQUNkLGlCQUFpQixFQUFFLEdBQUcsRUFDdEIsYUFBYSxFQUFFLE9BQU8sRUFDdEIscUJBQXFCLEVBQUUsT0FBTyxFQUM1QztJQUdKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O1FBU2hCO0lBRUQsT0FBTyxJQUFJLE1BQU0sQ0FFaEI7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLElBQUksRUFBRTtRQUNoQixTQUFTLEVBQUUsUUFBUSxDQUFDLEdBQUcsQ0FBQyxDQUFDO1FBQ3pCLGlCQUFpQixFQUFFLFFBQVEsQ0FBQyxHQUFHLENBQUMsQ0FBQztRQUNqQyxhQUFhLEVBQUUsUUFBUSxDQUFDLE9BQU8sQ0FBQyxDQUFDO1FBQ2pDLHFCQUFxQixFQUFFLFFBQVEsQ0FBQyxPQUFPLENBQUMsQ0FBQztLQUMxQyxlQU9BO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLGVBQWUsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLFdBQVcsQ0FVNUM7SUFFRCxLQUFLLGdCQU9KO0lBRUQsbUZBQW1GO0lBQ25GLFdBQVcsT0FLVjtJQUVELCtCQUErQjtJQUMvQixNQUFNLENBQUMsS0FBSyxnQkFFWDtJQUVEOzs7Ozs7Ozs7OztPQVdHO0lBQ0gsTUFBTSxDQUFDLFFBQVEsQ0FBQyxTQUFTLEVBQUU7UUFDekIsU0FBUyxDQUFDLEVBQUUsR0FBRyxDQUFDO1FBQ2hCLGlCQUFpQixDQUFDLEVBQUUsR0FBRyxDQUFDO1FBQ3hCLGFBQWEsRUFBRSxPQUFPLENBQUM7UUFDdkIscUJBQXFCLENBQUMsRUFBRSxPQUFPLENBQUM7S0FDakMsZUFhQTtJQUVEOzs7Ozs7Ozs7T0FTRztJQUNILE1BQU0sQ0FBQyxhQUFhLENBQUMsU0FBUyxFQUFFO1FBQzlCLFNBQVMsQ0FBQyxFQUFFLEdBQUcsQ0FBQztRQUNoQixpQkFBaUIsQ0FBQyxFQUFFLEdBQUcsQ0FBQztRQUN4QixhQUFhLEVBQUUsT0FBTyxDQUFDO1FBQ3ZCLHFCQUFxQixDQUFDLEVBQUUsT0FBTyxDQUFDO0tBQ2pDLGVBYUE7SUFFRCxPQUFPLFlBT047SUFFRCxNQUFNLENBQUMsS0FBSyxFQUFFLFdBQVcsV0FPeEI7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLFdBQVcsQ0FRNUQ7SUFFRCxRQUFRLElBQUksTUFBTSxDQUFDO0lBQ25CLFFBQVEsQ0FBQyxJQUFJLEVBQUUsVUFBVSxHQUFHLElBQUksQ0FBQztJQVFqQyxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLEdBQUcsV0FBVyxDQVF6RDtJQUVELFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FRZjtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxXQUFXLENBQUMseUNBRTdDO0NBQ0YifQ==
116
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2FzX3NldHRpbmdzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZ2FzL2dhc19zZXR0aW5ncy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFlBQVksRUFBRSxVQUFVLEVBQUUsV0FBVyxFQUFzQyxNQUFNLDZCQUE2QixDQUFDO0FBQ3hILE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUFFLEdBQUcsRUFBaUIsTUFBTSxVQUFVLENBQUM7QUFDOUMsT0FBTyxFQUFFLE9BQU8sRUFBRSxNQUFNLGVBQWUsQ0FBQztBQUt4QyxlQUFPLE1BQU0sb0NBQW9DLFVBQXlCLENBQUM7QUFDM0UsZUFBTyxNQUFNLDJCQUEyQixRQUFnRSxDQUFDO0FBQ3pHLGVBQU8sTUFBTSxvQ0FBb0MsU0FBd0MsQ0FBQztBQUMxRixlQUFPLE1BQU0sMkJBQTJCLFFBQStFLENBQUM7QUFHeEgsbUdBQW1HO0FBQ25HLHFCQUFhLFdBQVc7YUFFSixTQUFTLEVBQUUsR0FBRzthQUNkLGlCQUFpQixFQUFFLEdBQUc7YUFDdEIsYUFBYSxFQUFFLE9BQU87YUFDdEIscUJBQXFCLEVBQUUsT0FBTztJQUpoRCxZQUNrQixTQUFTLEVBQUUsR0FBRyxFQUNkLGlCQUFpQixFQUFFLEdBQUcsRUFDdEIsYUFBYSxFQUFFLE9BQU8sRUFDdEIscUJBQXFCLEVBQUUsT0FBTyxFQUM1QztJQUdKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O1FBU2hCO0lBRUQsT0FBTyxJQUFJLE1BQU0sQ0FFaEI7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLElBQUksRUFBRTtRQUNoQixTQUFTLEVBQUUsUUFBUSxDQUFDLEdBQUcsQ0FBQyxDQUFDO1FBQ3pCLGlCQUFpQixFQUFFLFFBQVEsQ0FBQyxHQUFHLENBQUMsQ0FBQztRQUNqQyxhQUFhLEVBQUUsUUFBUSxDQUFDLE9BQU8sQ0FBQyxDQUFDO1FBQ2pDLHFCQUFxQixFQUFFLFFBQVEsQ0FBQyxPQUFPLENBQUMsQ0FBQztLQUMxQyxlQU9BO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLGVBQWUsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLFdBQVcsQ0FVNUM7SUFFRCxLQUFLLGdCQU9KO0lBRUQsbUZBQW1GO0lBQ25GLFdBQVcsT0FLVjtJQUVELCtCQUErQjtJQUMvQixNQUFNLENBQUMsS0FBSyxnQkFFWDtJQUVEOzs7Ozs7Ozs7OztPQVdHO0lBQ0gsTUFBTSxDQUFDLFFBQVEsQ0FBQyxTQUFTLEVBQUU7UUFDekIsU0FBUyxFQUFFLEdBQUcsQ0FBQztRQUNmLGlCQUFpQixDQUFDLEVBQUUsR0FBRyxDQUFDO1FBQ3hCLGFBQWEsRUFBRSxPQUFPLENBQUM7UUFDdkIscUJBQXFCLENBQUMsRUFBRSxPQUFPLENBQUM7S0FDakMsZUFVQTtJQUVEOzs7Ozs7Ozs7T0FTRztJQUNILE1BQU0sQ0FBQyxhQUFhLENBQUMsU0FBUyxFQUFFO1FBQzlCLFNBQVMsQ0FBQyxFQUFFLEdBQUcsQ0FBQztRQUNoQixpQkFBaUIsQ0FBQyxFQUFFLEdBQUcsQ0FBQztRQUN4QixhQUFhLEVBQUUsT0FBTyxDQUFDO1FBQ3ZCLHFCQUFxQixDQUFDLEVBQUUsT0FBTyxDQUFDO0tBQ2pDLGVBYUE7SUFFRCxPQUFPLFlBT047SUFFRCxNQUFNLENBQUMsS0FBSyxFQUFFLFdBQVcsV0FPeEI7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLFdBQVcsQ0FRNUQ7SUFFRCxRQUFRLElBQUksTUFBTSxDQUFDO0lBQ25CLFFBQVEsQ0FBQyxJQUFJLEVBQUUsVUFBVSxHQUFHLElBQUksQ0FBQztJQVFqQyxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLEdBQUcsV0FBVyxDQVF6RDtJQUVELFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FRZjtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxXQUFXLENBQUMseUNBRTdDO0NBQ0YifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"gas_settings.d.ts","sourceRoot":"","sources":["../../src/gas/gas_settings.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAsC,MAAM,6BAA6B,CAAC;AACxH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,GAAG,EAAiB,MAAM,UAAU,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAExC,qHAAmH;AACnH,eAAO,MAAM,gCAAgC,QAAwD,CAAC;AACtG,qFAAmF;AACnF,eAAO,MAAM,8BAA8B,QAAyC,CAAC;AACrF,qFAAmF;AACnF,eAAO,MAAM,8BAA8B,QAAmD,CAAC;AAK/F,eAAO,MAAM,oCAAoC,UAAyB,CAAC;AAC3E,eAAO,MAAM,2BAA2B,QAAgE,CAAC;AACzG,eAAO,MAAM,oCAAoC,SAAwC,CAAC;AAC1F,eAAO,MAAM,2BAA2B,QAA+E,CAAC;AAGxH,mGAAmG;AACnG,qBAAa,WAAW;aAEJ,SAAS,EAAE,GAAG;aACd,iBAAiB,EAAE,GAAG;aACtB,aAAa,EAAE,OAAO;aACtB,qBAAqB,EAAE,OAAO;IAJhD,YACkB,SAAS,EAAE,GAAG,EACd,iBAAiB,EAAE,GAAG,EACtB,aAAa,EAAE,OAAO,EACtB,qBAAqB,EAAE,OAAO,EAC5C;IAGJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAShB;IAED,OAAO,IAAI,MAAM,CAEhB;IAED,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE;QAChB,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;QACzB,iBAAiB,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;QACjC,aAAa,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QACjC,qBAAqB,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;KAC1C,eAOA;IAED;;;;;;OAMG;IACH,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,WAAW,CAU5C;IAED,KAAK,gBAOJ;IAED,mFAAmF;IACnF,WAAW,OAKV;IAED,+BAA+B;IAC/B,MAAM,CAAC,KAAK,gBAEX;IAED;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,QAAQ,CAAC,SAAS,EAAE;QACzB,SAAS,CAAC,EAAE,GAAG,CAAC;QAChB,iBAAiB,CAAC,EAAE,GAAG,CAAC;QACxB,aAAa,EAAE,OAAO,CAAC;QACvB,qBAAqB,CAAC,EAAE,OAAO,CAAC;KACjC,eAaA;IAED;;;;;;;;;OASG;IACH,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE;QAC9B,SAAS,CAAC,EAAE,GAAG,CAAC;QAChB,iBAAiB,CAAC,EAAE,GAAG,CAAC;QACxB,aAAa,EAAE,OAAO,CAAC;QACvB,qBAAqB,CAAC,EAAE,OAAO,CAAC;KACjC,eAaA;IAED,OAAO,YAON;IAED,MAAM,CAAC,KAAK,EAAE,WAAW,WAOxB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,WAAW,CAQ5D;IAED,QAAQ,IAAI,MAAM,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IAQjC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,WAAW,CAQzD;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,WAAW,CAAC,yCAE7C;CACF"}
1
+ {"version":3,"file":"gas_settings.d.ts","sourceRoot":"","sources":["../../src/gas/gas_settings.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAsC,MAAM,6BAA6B,CAAC;AACxH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,GAAG,EAAiB,MAAM,UAAU,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAKxC,eAAO,MAAM,oCAAoC,UAAyB,CAAC;AAC3E,eAAO,MAAM,2BAA2B,QAAgE,CAAC;AACzG,eAAO,MAAM,oCAAoC,SAAwC,CAAC;AAC1F,eAAO,MAAM,2BAA2B,QAA+E,CAAC;AAGxH,mGAAmG;AACnG,qBAAa,WAAW;aAEJ,SAAS,EAAE,GAAG;aACd,iBAAiB,EAAE,GAAG;aACtB,aAAa,EAAE,OAAO;aACtB,qBAAqB,EAAE,OAAO;IAJhD,YACkB,SAAS,EAAE,GAAG,EACd,iBAAiB,EAAE,GAAG,EACtB,aAAa,EAAE,OAAO,EACtB,qBAAqB,EAAE,OAAO,EAC5C;IAGJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAShB;IAED,OAAO,IAAI,MAAM,CAEhB;IAED,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE;QAChB,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;QACzB,iBAAiB,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;QACjC,aAAa,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QACjC,qBAAqB,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;KAC1C,eAOA;IAED;;;;;;OAMG;IACH,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,WAAW,CAU5C;IAED,KAAK,gBAOJ;IAED,mFAAmF;IACnF,WAAW,OAKV;IAED,+BAA+B;IAC/B,MAAM,CAAC,KAAK,gBAEX;IAED;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,QAAQ,CAAC,SAAS,EAAE;QACzB,SAAS,EAAE,GAAG,CAAC;QACf,iBAAiB,CAAC,EAAE,GAAG,CAAC;QACxB,aAAa,EAAE,OAAO,CAAC;QACvB,qBAAqB,CAAC,EAAE,OAAO,CAAC;KACjC,eAUA;IAED;;;;;;;;;OASG;IACH,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE;QAC9B,SAAS,CAAC,EAAE,GAAG,CAAC;QAChB,iBAAiB,CAAC,EAAE,GAAG,CAAC;QACxB,aAAa,EAAE,OAAO,CAAC;QACvB,qBAAqB,CAAC,EAAE,OAAO,CAAC;KACjC,eAaA;IAED,OAAO,YAON;IAED,MAAM,CAAC,KAAK,EAAE,WAAW,WAOxB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,WAAW,CAQ5D;IAED,QAAQ,IAAI,MAAM,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IAQjC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,WAAW,CAQzD;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,WAAW,CAAC,yCAE7C;CACF"}
@@ -4,9 +4,6 @@ import { BufferReader, BufferSink, FieldReader, serializeToFields, serializeToSi
4
4
  import { z } from 'zod';
5
5
  import { Gas, GasDimensions } from './gas.js';
6
6
  import { GasFees } from './gas_fees.js';
7
- /** Approximate max DA gas limit. Arbitrary, assuming 4 blocks per checkpoint — users should use gas estimation. */ export const APPROXIMATE_MAX_DA_GAS_PER_BLOCK = Math.floor(MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT / 4);
8
- /** Fallback teardown L2 gas limit. Arbitrary — users should use gas estimation. */ export const FALLBACK_TEARDOWN_L2_GAS_LIMIT = Math.floor(MAX_PROCESSABLE_L2_GAS / 8);
9
- /** Fallback teardown DA gas limit. Arbitrary — users should use gas estimation. */ export const FALLBACK_TEARDOWN_DA_GAS_LIMIT = Math.floor(APPROXIMATE_MAX_DA_GAS_PER_BLOCK / 2);
10
7
  // For gas estimation, we use intentionally high limits above what the network can process,
11
8
  // so the simulation runs without hitting gas caps. Since teardown gas is counted towards total,
12
9
  // the total estimation limit is teardown + max processable.
@@ -64,25 +61,21 @@ export const GAS_ESTIMATION_DA_GAS_LIMIT = GAS_ESTIMATION_TEARDOWN_DA_GAS_LIMIT
64
61
  }
65
62
  /**
66
63
  * Fills in gas limits high enough for transactions to be included in most cases.
67
- * gasLimits is set to the maximum the protocol allows; since teardown gas is reserved
68
- * from gasLimits during private execution (see gas_meter.nr), the effective gas available
69
- * for app logic will be gasLimits - teardownGasLimits - privateOverhead.
70
- * The DA gas limit is set to an approximate max per block assuming 4 blocks per checkpoint,
71
- * since using the maximum per checkpoint would cause nodes to reject transactions.
64
+ * Callers must supply `gasLimits` typically the most a single tx may declare on the network
65
+ * (`min(per-tx max, per-block allocation)`), i.e. a node's advertised `txsLimits.gas`. Since teardown gas
66
+ * is reserved from gasLimits during private execution (see gas_meter.nr), the effective gas available for
67
+ * app logic is gasLimits - teardownGasLimits - privateOverhead; the teardown default is derived from the
68
+ * effective total so it always stays below it.
72
69
  * These values won't work if:
73
70
  * - Teardown consumes more than the arbitrarily assigned fallback limits
74
71
  * - The rest of the transaction consumes more than the remaining gas after teardown
75
72
  * - The DA gas limit is too low for the transaction, while still within the checkpoint limit
76
73
  */ static fallback(overrides) {
74
+ const gasLimits = overrides.gasLimits;
75
+ const teardownGasLimits = overrides.teardownGasLimits ?? new Gas(Math.floor(gasLimits.daGas / 2), Math.floor(gasLimits.l2Gas / 8));
77
76
  return GasSettings.from({
78
- gasLimits: overrides.gasLimits ?? {
79
- l2Gas: MAX_PROCESSABLE_L2_GAS,
80
- daGas: APPROXIMATE_MAX_DA_GAS_PER_BLOCK
81
- },
82
- teardownGasLimits: overrides.teardownGasLimits ?? {
83
- l2Gas: FALLBACK_TEARDOWN_L2_GAS_LIMIT,
84
- daGas: FALLBACK_TEARDOWN_DA_GAS_LIMIT
85
- },
77
+ gasLimits,
78
+ teardownGasLimits,
86
79
  maxFeesPerGas: overrides.maxFeesPerGas,
87
80
  maxPriorityFeesPerGas: overrides.maxPriorityFeesPerGas ?? GasFees.empty()
88
81
  });
@@ -3,4 +3,5 @@ export * from './gas.js';
3
3
  export * from './gas_fees.js';
4
4
  export * from './gas_settings.js';
5
5
  export * from './gas_used.js';
6
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9nYXMvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxlQUFlLENBQUM7QUFDOUIsY0FBYyxVQUFVLENBQUM7QUFDekIsY0FBYyxlQUFlLENBQUM7QUFDOUIsY0FBYyxtQkFBbUIsQ0FBQztBQUNsQyxjQUFjLGVBQWUsQ0FBQyJ9
6
+ export * from './tx_gas_limits.js';
7
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9nYXMvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxlQUFlLENBQUM7QUFDOUIsY0FBYyxVQUFVLENBQUM7QUFDekIsY0FBYyxlQUFlLENBQUM7QUFDOUIsY0FBYyxtQkFBbUIsQ0FBQztBQUNsQyxjQUFjLGVBQWUsQ0FBQztBQUM5QixjQUFjLG9CQUFvQixDQUFDIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/gas/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,UAAU,CAAC;AACzB,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC;AAClC,cAAc,eAAe,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/gas/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,UAAU,CAAC;AACzB,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC;AAClC,cAAc,eAAe,CAAC;AAC9B,cAAc,oBAAoB,CAAC"}
package/dest/gas/index.js CHANGED
@@ -3,3 +3,4 @@ export * from './gas.js';
3
3
  export * from './gas_fees.js';
4
4
  export * from './gas_settings.js';
5
5
  export * from './gas_used.js';
6
+ export * from './tx_gas_limits.js';
@@ -0,0 +1,72 @@
1
+ import { type ProposerTimetableConfig } from '../timetable/build_proposer_timetable.js';
2
+ import type { SlotTimingConstants } from '../timetable/consensus_timetable.js';
3
+ import { Gas } from './gas.js';
4
+ /**
5
+ * Network-minimum per-block budget multiplier for L2 gas and tx-count allocation. A block packer must
6
+ * grant at least this share of the even per-block split to a single tx; operators may configure a higher
7
+ * multiplier (more generous), but not a lower one — enforced at sequencer startup. Also used as the default
8
+ * for `SequencerConfig.perBlockAllocationMultiplier`.
9
+ */
10
+ export declare const MIN_PER_BLOCK_ALLOCATION_MULTIPLIER = 1.2;
11
+ /**
12
+ * Network-minimum per-block budget multiplier for DA gas, applied in place of the general
13
+ * {@link MIN_PER_BLOCK_ALLOCATION_MULTIPLIER}. Higher than the general multiplier so the largest tx we
14
+ * want to support — a maximal contract class registration (~97k DA gas) — fits a single block under v5
15
+ * mainnet geometry (72s slots, 6s blocks → 10 blocks per checkpoint). A builder may configure a higher
16
+ * multiplier but never a lower one. Also used as the default for
17
+ * `SequencerConfig.perBlockDAAllocationMultiplier`.
18
+ */
19
+ export declare const MIN_PER_BLOCK_DA_ALLOCATION_MULTIPLIER = 1.5;
20
+ /**
21
+ * The DA gas budget available to tx data within a checkpoint of `maxBlocksPerCheckpoint` blocks. This is the
22
+ * raw blob capacity (`BLOBS_PER_CHECKPOINT * FIELDS_PER_BLOB * DA_GAS_PER_FIELD`) minus the fields the blob
23
+ * encoding reserves for overhead that no tx pays DA gas for:
24
+ *
25
+ * - one checkpoint-end marker field (`NUM_CHECKPOINT_END_MARKER_FIELDS`),
26
+ * - the first block's block-end fields (`NUM_FIRST_BLOCK_END_BLOB_FIELDS`, 7), and
27
+ * - `NUM_BLOCK_END_BLOB_FIELDS` (6) for each of the `blocks - 1` subsequent blocks.
28
+ *
29
+ * Subtracting the overhead for every block (not just the first) keeps the network DA admission limit at or
30
+ * below the builder's first-block blob-field cap at every geometry. The builder is the MOST generous for the
31
+ * first block — it only reserves that block's own block-end overhead — so being conservative here (assuming
32
+ * the checkpoint is full of blocks, each spending its share) is what guarantees admitted ⇒ buildable: a tx
33
+ * admitted under this budget always fits the first block's blob-field cap, regardless of how many blocks the
34
+ * builder ends up packing.
35
+ *
36
+ * @param maxBlocksPerCheckpoint - Number of blocks the checkpoint may contain; clamped to at least 1.
37
+ */
38
+ export declare function getDaCheckpointBudgetForTxs(maxBlocksPerCheckpoint: number): number;
39
+ /**
40
+ * Computes the maximum gas a single tx may declare on a network: the smaller of the per-tx protocol
41
+ * maximum and the per-block allocation a proposer grants to the first block of a checkpoint. The per-block
42
+ * allocation mirrors `CheckpointBuilder.capLimitsByCheckpointBudgets`
43
+ * (`ceil(checkpointBudget / maxBlocksPerCheckpoint * multiplier)`) using the network-minimum multipliers, so
44
+ * a tx declaring this much is admissible into a block under that geometry.
45
+ *
46
+ * This is a *network* limit: a function of network-wide constants only (timetable-derived
47
+ * blocks-per-checkpoint, checkpoint budgets, the network-minimum multipliers). It must NOT depend on a
48
+ * node's local restrictiveness — its multipliers configured above the network minimum, or its
49
+ * `maxDABlockGas` / `validateMaxDABlockGas` caps — because those make a node stricter at block-building
50
+ * time but cannot define what the network considers a valid tx for relay. The same value is advertised by
51
+ * `getNodeInfo` and enforced by the RPC/gossip/pool gas validators.
52
+ *
53
+ * The DA budget is {@link getDaCheckpointBudgetForTxs} evaluated at the clamped blocks-per-checkpoint — the
54
+ * raw blob capacity net of encoding overhead for every block — so the admission limit is consistent with the
55
+ * builder's blob-field cap.
56
+ *
57
+ * @param manaCheckpointBudget - L2 (mana) budget per checkpoint (`rollupManaLimit`).
58
+ */
59
+ export declare function computeNetworkTxGasLimits(opts: {
60
+ maxBlocksPerCheckpoint: number;
61
+ manaCheckpointBudget: number;
62
+ }): Gas;
63
+ /**
64
+ * Network tx gas limits derived from a sequencer/p2p config and the L1 slot-timing + mana constants. The
65
+ * single source of truth shared by `getNodeInfo` (advertising) and the RPC/gossip/pool gas validators
66
+ * (enforcing), so a node never rejects a tx it advertised as admissible. Always uses the network-minimum
67
+ * multipliers, never the node's (possibly higher) configured multipliers.
68
+ */
69
+ export declare function getNetworkTxGasLimits(config: ProposerTimetableConfig, l1Constants: SlotTimingConstants & {
70
+ rollupManaLimit: number;
71
+ }): Gas;
72
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfZ2FzX2xpbWl0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2dhcy90eF9nYXNfbGltaXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQWFBLE9BQU8sRUFBRSxLQUFLLHVCQUF1QixFQUEwQixNQUFNLDBDQUEwQyxDQUFDO0FBQ2hILE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFDL0UsT0FBTyxFQUFFLEdBQUcsRUFBRSxNQUFNLFVBQVUsQ0FBQztBQUUvQjs7Ozs7R0FLRztBQUNILGVBQU8sTUFBTSxtQ0FBbUMsTUFBTSxDQUFDO0FBRXZEOzs7Ozs7O0dBT0c7QUFDSCxlQUFPLE1BQU0sc0NBQXNDLE1BQU0sQ0FBQztBQUUxRDs7Ozs7Ozs7Ozs7Ozs7Ozs7R0FpQkc7QUFDSCx3QkFBZ0IsMkJBQTJCLENBQUMsc0JBQXNCLEVBQUUsTUFBTSxHQUFHLE1BQU0sQ0FZbEY7QUFFRDs7Ozs7Ozs7Ozs7Ozs7Ozs7OztHQW1CRztBQUNILHdCQUFnQix5QkFBeUIsQ0FBQyxJQUFJLEVBQUU7SUFBRSxzQkFBc0IsRUFBRSxNQUFNLENBQUM7SUFBQyxvQkFBb0IsRUFBRSxNQUFNLENBQUE7Q0FBRSxHQUFHLEdBQUcsQ0FxQnJIO0FBRUQ7Ozs7O0dBS0c7QUFDSCx3QkFBZ0IscUJBQXFCLENBQ25DLE1BQU0sRUFBRSx1QkFBdUIsRUFDL0IsV0FBVyxFQUFFLG1CQUFtQixHQUFHO0lBQUUsZUFBZSxFQUFFLE1BQU0sQ0FBQTtDQUFFLEdBQzdELEdBQUcsQ0FHTCJ9
@@ -0,0 +1 @@
1
+ {"version":3,"file":"tx_gas_limits.d.ts","sourceRoot":"","sources":["../../src/gas/tx_gas_limits.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,KAAK,uBAAuB,EAA0B,MAAM,0CAA0C,CAAC;AAChH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC/E,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAE/B;;;;;GAKG;AACH,eAAO,MAAM,mCAAmC,MAAM,CAAC;AAEvD;;;;;;;GAOG;AACH,eAAO,MAAM,sCAAsC,MAAM,CAAC;AAE1D;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,2BAA2B,CAAC,sBAAsB,EAAE,MAAM,GAAG,MAAM,CAYlF;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,EAAE;IAAE,sBAAsB,EAAE,MAAM,CAAC;IAAC,oBAAoB,EAAE,MAAM,CAAA;CAAE,GAAG,GAAG,CAqBrH;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,uBAAuB,EAC/B,WAAW,EAAE,mBAAmB,GAAG;IAAE,eAAe,EAAE,MAAM,CAAA;CAAE,GAC7D,GAAG,CAGL"}