@aztec/ethereum 0.0.1-commit.03f7ef2 → 0.0.1-commit.0658669b3

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 (162) hide show
  1. package/dest/config.d.ts +17 -27
  2. package/dest/config.d.ts.map +1 -1
  3. package/dest/config.js +54 -55
  4. package/dest/contracts/empire_base.d.ts +3 -1
  5. package/dest/contracts/empire_base.d.ts.map +1 -1
  6. package/dest/contracts/empire_slashing_proposer.d.ts +3 -1
  7. package/dest/contracts/empire_slashing_proposer.d.ts.map +1 -1
  8. package/dest/contracts/empire_slashing_proposer.js +22 -15
  9. package/dest/contracts/fee_asset_handler.d.ts +6 -5
  10. package/dest/contracts/fee_asset_handler.d.ts.map +1 -1
  11. package/dest/contracts/fee_asset_handler.js +11 -9
  12. package/dest/contracts/fee_asset_price_oracle.d.ts +101 -0
  13. package/dest/contracts/fee_asset_price_oracle.d.ts.map +1 -0
  14. package/dest/contracts/fee_asset_price_oracle.js +651 -0
  15. package/dest/contracts/governance.d.ts +3 -1
  16. package/dest/contracts/governance.d.ts.map +1 -1
  17. package/dest/contracts/governance.js +14 -4
  18. package/dest/contracts/governance_proposer.d.ts +3 -1
  19. package/dest/contracts/governance_proposer.d.ts.map +1 -1
  20. package/dest/contracts/governance_proposer.js +395 -9
  21. package/dest/contracts/inbox.d.ts +22 -1
  22. package/dest/contracts/inbox.d.ts.map +1 -1
  23. package/dest/contracts/inbox.js +36 -1
  24. package/dest/contracts/index.d.ts +4 -1
  25. package/dest/contracts/index.d.ts.map +1 -1
  26. package/dest/contracts/index.js +3 -0
  27. package/dest/contracts/log.d.ts +13 -0
  28. package/dest/contracts/log.d.ts.map +1 -0
  29. package/dest/contracts/log.js +1 -0
  30. package/dest/contracts/multicall.d.ts +1 -1
  31. package/dest/contracts/multicall.d.ts.map +1 -1
  32. package/dest/contracts/multicall.js +2 -1
  33. package/dest/contracts/outbox.d.ts +41 -0
  34. package/dest/contracts/outbox.d.ts.map +1 -0
  35. package/dest/contracts/outbox.js +86 -0
  36. package/dest/contracts/rollup.d.ts +161 -96
  37. package/dest/contracts/rollup.d.ts.map +1 -1
  38. package/dest/contracts/rollup.js +687 -132
  39. package/dest/contracts/tally_slashing_proposer.d.ts +1 -1
  40. package/dest/contracts/tally_slashing_proposer.d.ts.map +1 -1
  41. package/dest/contracts/tally_slashing_proposer.js +8 -1
  42. package/dest/deploy_aztec_l1_contracts.d.ts +18 -4
  43. package/dest/deploy_aztec_l1_contracts.d.ts.map +1 -1
  44. package/dest/deploy_aztec_l1_contracts.js +111 -33
  45. package/dest/deploy_l1_contract.js +3 -3
  46. package/dest/generated/l1-contracts-defaults.d.ts +30 -0
  47. package/dest/generated/l1-contracts-defaults.d.ts.map +1 -0
  48. package/dest/generated/l1-contracts-defaults.js +30 -0
  49. package/dest/l1_artifacts.d.ts +5927 -1547
  50. package/dest/l1_artifacts.d.ts.map +1 -1
  51. package/dest/l1_tx_utils/config.d.ts +7 -1
  52. package/dest/l1_tx_utils/config.d.ts.map +1 -1
  53. package/dest/l1_tx_utils/config.js +14 -1
  54. package/dest/l1_tx_utils/constants.d.ts +1 -1
  55. package/dest/l1_tx_utils/constants.js +2 -2
  56. package/dest/l1_tx_utils/factory.d.ts +18 -10
  57. package/dest/l1_tx_utils/factory.d.ts.map +1 -1
  58. package/dest/l1_tx_utils/factory.js +17 -7
  59. package/dest/l1_tx_utils/fee-strategies/index.d.ts +3 -2
  60. package/dest/l1_tx_utils/fee-strategies/index.d.ts.map +1 -1
  61. package/dest/l1_tx_utils/fee-strategies/index.js +2 -1
  62. package/dest/l1_tx_utils/fee-strategies/p75_competitive.d.ts +2 -12
  63. package/dest/l1_tx_utils/fee-strategies/p75_competitive.d.ts.map +1 -1
  64. package/dest/l1_tx_utils/fee-strategies/p75_competitive.js +36 -18
  65. package/dest/l1_tx_utils/fee-strategies/p75_competitive_blob_txs_only.d.ts +2 -11
  66. package/dest/l1_tx_utils/fee-strategies/p75_competitive_blob_txs_only.d.ts.map +1 -1
  67. package/dest/l1_tx_utils/fee-strategies/p75_competitive_blob_txs_only.js +37 -19
  68. package/dest/l1_tx_utils/fee-strategies/types.d.ts +14 -27
  69. package/dest/l1_tx_utils/fee-strategies/types.d.ts.map +1 -1
  70. package/dest/l1_tx_utils/fee-strategies/types.js +0 -21
  71. package/dest/l1_tx_utils/forwarder_l1_tx_utils.d.ts +15 -15
  72. package/dest/l1_tx_utils/forwarder_l1_tx_utils.d.ts.map +1 -1
  73. package/dest/l1_tx_utils/forwarder_l1_tx_utils.js +9 -15
  74. package/dest/l1_tx_utils/index-blobs.d.ts +3 -3
  75. package/dest/l1_tx_utils/index-blobs.d.ts.map +1 -1
  76. package/dest/l1_tx_utils/index-blobs.js +2 -2
  77. package/dest/l1_tx_utils/index.d.ts +2 -1
  78. package/dest/l1_tx_utils/index.d.ts.map +1 -1
  79. package/dest/l1_tx_utils/index.js +1 -0
  80. package/dest/l1_tx_utils/l1_fee_analyzer.d.ts +2 -2
  81. package/dest/l1_tx_utils/l1_fee_analyzer.d.ts.map +1 -1
  82. package/dest/l1_tx_utils/l1_fee_analyzer.js +3 -3
  83. package/dest/l1_tx_utils/l1_tx_utils.d.ts +15 -5
  84. package/dest/l1_tx_utils/l1_tx_utils.d.ts.map +1 -1
  85. package/dest/l1_tx_utils/l1_tx_utils.js +47 -13
  86. package/dest/l1_tx_utils/readonly_l1_tx_utils.d.ts +1 -5
  87. package/dest/l1_tx_utils/readonly_l1_tx_utils.d.ts.map +1 -1
  88. package/dest/l1_tx_utils/readonly_l1_tx_utils.js +17 -54
  89. package/dest/l1_tx_utils/tx_delayer.d.ts +56 -0
  90. package/dest/l1_tx_utils/tx_delayer.d.ts.map +1 -0
  91. package/dest/{test → l1_tx_utils}/tx_delayer.js +62 -34
  92. package/dest/publisher_manager.d.ts +3 -2
  93. package/dest/publisher_manager.d.ts.map +1 -1
  94. package/dest/publisher_manager.js +2 -2
  95. package/dest/queries.d.ts +2 -2
  96. package/dest/queries.d.ts.map +1 -1
  97. package/dest/queries.js +12 -4
  98. package/dest/test/chain_monitor.js +1 -2
  99. package/dest/test/eth_cheat_codes.d.ts +13 -1
  100. package/dest/test/eth_cheat_codes.d.ts.map +1 -1
  101. package/dest/test/index.d.ts +1 -3
  102. package/dest/test/index.d.ts.map +1 -1
  103. package/dest/test/index.js +0 -2
  104. package/dest/test/rollup_cheat_codes.d.ts +5 -2
  105. package/dest/test/rollup_cheat_codes.d.ts.map +1 -1
  106. package/dest/test/rollup_cheat_codes.js +19 -2
  107. package/dest/test/start_anvil.js +1 -1
  108. package/dest/test/upgrade_utils.js +2 -2
  109. package/dest/utils.d.ts +2 -1
  110. package/dest/utils.d.ts.map +1 -1
  111. package/dest/utils.js +46 -0
  112. package/package.json +8 -7
  113. package/src/config.ts +64 -54
  114. package/src/contracts/README.md +157 -0
  115. package/src/contracts/empire_base.ts +2 -0
  116. package/src/contracts/empire_slashing_proposer.ts +22 -27
  117. package/src/contracts/fee_asset_handler.ts +10 -7
  118. package/src/contracts/fee_asset_price_oracle.ts +280 -0
  119. package/src/contracts/governance.ts +13 -4
  120. package/src/contracts/governance_proposer.ts +10 -1
  121. package/src/contracts/inbox.ts +53 -1
  122. package/src/contracts/index.ts +3 -0
  123. package/src/contracts/log.ts +13 -0
  124. package/src/contracts/multicall.ts +5 -2
  125. package/src/contracts/outbox.ts +98 -0
  126. package/src/contracts/rollup.ts +362 -100
  127. package/src/contracts/tally_slashing_proposer.ts +5 -1
  128. package/src/deploy_aztec_l1_contracts.ts +136 -42
  129. package/src/deploy_l1_contract.ts +3 -3
  130. package/src/generated/l1-contracts-defaults.ts +32 -0
  131. package/src/l1_tx_utils/config.ts +20 -0
  132. package/src/l1_tx_utils/constants.ts +2 -2
  133. package/src/l1_tx_utils/factory.ts +31 -31
  134. package/src/l1_tx_utils/fee-strategies/index.ts +1 -1
  135. package/src/l1_tx_utils/fee-strategies/p75_competitive.ts +46 -42
  136. package/src/l1_tx_utils/fee-strategies/p75_competitive_blob_txs_only.ts +49 -45
  137. package/src/l1_tx_utils/fee-strategies/types.ts +14 -46
  138. package/src/l1_tx_utils/forwarder_l1_tx_utils.ts +43 -54
  139. package/src/l1_tx_utils/index-blobs.ts +2 -2
  140. package/src/l1_tx_utils/index.ts +1 -0
  141. package/src/l1_tx_utils/l1_fee_analyzer.ts +2 -3
  142. package/src/l1_tx_utils/l1_tx_utils.ts +52 -17
  143. package/src/l1_tx_utils/readonly_l1_tx_utils.ts +23 -62
  144. package/src/{test → l1_tx_utils}/tx_delayer.ts +78 -50
  145. package/src/publisher_manager.ts +4 -2
  146. package/src/queries.ts +11 -3
  147. package/src/test/chain_monitor.ts +1 -1
  148. package/src/test/index.ts +0 -2
  149. package/src/test/rollup_cheat_codes.ts +21 -3
  150. package/src/test/start_anvil.ts +1 -1
  151. package/src/test/upgrade_utils.ts +2 -2
  152. package/src/utils.ts +53 -0
  153. package/dest/l1_tx_utils/l1_tx_utils_with_blobs.d.ts +0 -26
  154. package/dest/l1_tx_utils/l1_tx_utils_with_blobs.d.ts.map +0 -1
  155. package/dest/l1_tx_utils/l1_tx_utils_with_blobs.js +0 -26
  156. package/dest/test/delayed_tx_utils.d.ts +0 -13
  157. package/dest/test/delayed_tx_utils.d.ts.map +0 -1
  158. package/dest/test/delayed_tx_utils.js +0 -28
  159. package/dest/test/tx_delayer.d.ts +0 -36
  160. package/dest/test/tx_delayer.d.ts.map +0 -1
  161. package/src/l1_tx_utils/l1_tx_utils_with_blobs.ts +0 -77
  162. package/src/test/delayed_tx_utils.ts +0 -52
package/src/config.ts CHANGED
@@ -1,15 +1,17 @@
1
1
  import {
2
2
  type ConfigMappingsType,
3
- // type NetworkNames,
4
3
  bigintConfigHelper,
5
4
  booleanConfigHelper,
6
5
  enumConfigHelper,
7
6
  getConfigFromMappings,
7
+ getDefaultConfig,
8
8
  numberConfigHelper,
9
+ omitConfigMappings,
9
10
  optionalNumberConfigHelper,
10
11
  } from '@aztec/foundation/config';
11
12
  import { EthAddress } from '@aztec/foundation/eth-address';
12
13
 
14
+ import { l1ContractsDefaultEnv } from './generated/l1-contracts-defaults.js';
13
15
  import { type L1TxUtilsConfig, l1TxUtilsConfigMappings } from './l1_tx_utils/config.js';
14
16
 
15
17
  export type GenesisStateConfig = {
@@ -32,6 +34,8 @@ export type L1ContractsConfig = {
32
34
  lagInEpochsForValidatorSet: number;
33
35
  /** The number of epochs to lag behind the current epoch for randao selection. */
34
36
  lagInEpochsForRandao: number;
37
+ /** The number of checkpoints to lag in the inbox (prevents sequencer DOS attacks). */
38
+ inboxLag: number;
35
39
  /** The number of epochs after an epoch ends that proofs are still accepted. */
36
40
  aztecProofSubmissionEpochs: number;
37
41
  /** The deposit amount for a validator */
@@ -66,118 +70,108 @@ export type L1ContractsConfig = {
66
70
  governanceProposerQuorum?: number;
67
71
  /** Governance proposing round size */
68
72
  governanceProposerRoundSize: number;
73
+ /** Governance voting duration in seconds (only for local/devnet/next-net, default 3600) */
74
+ governanceVotingDuration?: number;
69
75
  /** The mana target for the rollup */
70
76
  manaTarget: bigint;
71
77
  /** The proving cost per mana */
72
78
  provingCostPerMana: bigint;
79
+ /** The initial ETH per fee asset price (with 1e12 precision) */
80
+ initialEthPerFeeAsset: bigint;
73
81
  /** The number of seconds to wait for an exit */
74
82
  exitDelaySeconds: number;
75
83
  } & L1TxUtilsConfig;
76
84
 
77
- export const DefaultL1ContractsConfig = {
78
- ethereumSlotDuration: 12,
79
- aztecSlotDuration: 36,
80
- aztecEpochDuration: 32,
81
- aztecTargetCommitteeSize: 48,
82
- lagInEpochsForValidatorSet: 2,
83
- lagInEpochsForRandao: 2, // For PROD, this value should be > lagInEpochsForValidatorSet
84
- aztecProofSubmissionEpochs: 1, // you have a full epoch to submit a proof after the epoch to prove ends
85
- activationThreshold: 100n * 10n ** 18n,
86
- ejectionThreshold: 50n * 10n ** 18n,
87
- localEjectionThreshold: 98n * 10n ** 18n,
88
- slashAmountSmall: 10n * 10n ** 18n,
89
- slashAmountMedium: 20n * 10n ** 18n,
90
- slashAmountLarge: 50n * 10n ** 18n,
91
- slashingRoundSizeInEpochs: 4,
92
- slashingLifetimeInRounds: 5,
93
- slashingExecutionDelayInRounds: 0, // round N may be submitted in round N + 1
94
- slashingVetoer: EthAddress.ZERO,
95
- governanceProposerRoundSize: 300,
96
- manaTarget: BigInt(100e6),
97
- provingCostPerMana: BigInt(100),
98
- exitDelaySeconds: 2 * 24 * 60 * 60,
99
- slasherFlavor: 'tally' as const,
100
- slashingOffsetInRounds: 2,
101
- slashingDisableDuration: 5 * 24 * 60 * 60, // 5 days in seconds
102
- } satisfies L1ContractsConfig;
103
-
85
+ /**
86
+ * Config mappings for L1ContractsConfig.
87
+ * Default values come from generated l1-contracts-defaults.json (source: defaults.yml).
88
+ * Real deployments use forge scripts which require explicit env vars (vm.envUint).
89
+ */
104
90
  export const l1ContractsConfigMappings: ConfigMappingsType<L1ContractsConfig> = {
105
91
  ethereumSlotDuration: {
106
92
  env: 'ETHEREUM_SLOT_DURATION',
107
93
  description: 'How many seconds an L1 slot lasts.',
108
- ...numberConfigHelper(DefaultL1ContractsConfig.ethereumSlotDuration),
94
+ ...numberConfigHelper(l1ContractsDefaultEnv.ETHEREUM_SLOT_DURATION),
109
95
  },
110
96
  aztecSlotDuration: {
111
97
  env: 'AZTEC_SLOT_DURATION',
112
98
  description: 'How many seconds an L2 slots lasts (must be multiple of ethereum slot duration).',
113
- ...numberConfigHelper(DefaultL1ContractsConfig.aztecSlotDuration),
99
+ ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_SLOT_DURATION),
114
100
  },
115
101
  aztecEpochDuration: {
116
102
  env: 'AZTEC_EPOCH_DURATION',
117
- description: `How many L2 slots an epoch lasts (maximum AZTEC_MAX_EPOCH_DURATION).`,
118
- ...numberConfigHelper(DefaultL1ContractsConfig.aztecEpochDuration),
103
+ description: `How many L2 slots an epoch lasts (maximum MAX_CHECKPOINTS_PER_EPOCH).`,
104
+ ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_EPOCH_DURATION),
119
105
  },
120
106
  aztecTargetCommitteeSize: {
121
107
  env: 'AZTEC_TARGET_COMMITTEE_SIZE',
122
108
  description: 'The target validator committee size.',
123
- ...numberConfigHelper(DefaultL1ContractsConfig.aztecTargetCommitteeSize),
109
+ ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_TARGET_COMMITTEE_SIZE),
124
110
  },
125
111
  lagInEpochsForValidatorSet: {
126
112
  env: 'AZTEC_LAG_IN_EPOCHS_FOR_VALIDATOR_SET',
127
113
  description: 'The number of epochs to lag behind the current epoch for validator selection.',
128
- ...numberConfigHelper(DefaultL1ContractsConfig.lagInEpochsForValidatorSet),
114
+ ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_LAG_IN_EPOCHS_FOR_VALIDATOR_SET),
129
115
  },
130
116
  lagInEpochsForRandao: {
131
117
  env: 'AZTEC_LAG_IN_EPOCHS_FOR_RANDAO',
132
118
  description: 'The number of epochs to lag behind the current epoch for randao selection.',
133
- ...numberConfigHelper(DefaultL1ContractsConfig.lagInEpochsForRandao),
119
+ ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_LAG_IN_EPOCHS_FOR_RANDAO),
120
+ },
121
+ inboxLag: {
122
+ env: 'AZTEC_INBOX_LAG',
123
+ description: 'The number of checkpoints to lag in the inbox (prevents sequencer DOS attacks).',
124
+ ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_INBOX_LAG),
134
125
  },
135
126
  aztecProofSubmissionEpochs: {
136
127
  env: 'AZTEC_PROOF_SUBMISSION_EPOCHS',
137
128
  description: 'The number of epochs after an epoch ends that proofs are still accepted.',
138
- ...numberConfigHelper(DefaultL1ContractsConfig.aztecProofSubmissionEpochs),
129
+ ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_PROOF_SUBMISSION_EPOCHS),
139
130
  },
140
131
  activationThreshold: {
141
132
  env: 'AZTEC_ACTIVATION_THRESHOLD',
142
133
  description: 'The deposit amount for a validator',
143
- ...bigintConfigHelper(DefaultL1ContractsConfig.activationThreshold),
134
+ ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_ACTIVATION_THRESHOLD)),
144
135
  },
145
136
  ejectionThreshold: {
146
137
  env: 'AZTEC_EJECTION_THRESHOLD',
147
138
  description: 'The minimum stake for a validator.',
148
- ...bigintConfigHelper(DefaultL1ContractsConfig.ejectionThreshold),
139
+ ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_EJECTION_THRESHOLD)),
149
140
  },
150
141
  localEjectionThreshold: {
151
142
  env: 'AZTEC_LOCAL_EJECTION_THRESHOLD',
152
143
  description:
153
144
  'The local ejection threshold for a validator. Stricter than ejectionThreshold but local to a specific rollup',
154
- ...bigintConfigHelper(DefaultL1ContractsConfig.localEjectionThreshold),
145
+ ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_LOCAL_EJECTION_THRESHOLD)),
155
146
  },
156
147
  slashingOffsetInRounds: {
157
148
  env: 'AZTEC_SLASHING_OFFSET_IN_ROUNDS',
158
149
  description:
159
150
  'How many slashing rounds back we slash (ie when slashing in round N, we slash for offenses committed during epochs of round N-offset)',
160
- ...numberConfigHelper(DefaultL1ContractsConfig.slashingOffsetInRounds),
151
+ ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_SLASHING_OFFSET_IN_ROUNDS),
161
152
  },
162
153
  slasherFlavor: {
163
154
  env: 'AZTEC_SLASHER_FLAVOR',
164
155
  description: 'Type of slasher proposer (empire, tally, or none)',
165
- ...enumConfigHelper(['empire', 'tally', 'none'] as const, DefaultL1ContractsConfig.slasherFlavor),
156
+ ...enumConfigHelper(
157
+ ['empire', 'tally', 'none'] as const,
158
+ l1ContractsDefaultEnv.AZTEC_SLASHER_FLAVOR as 'empire' | 'tally' | 'none',
159
+ ),
166
160
  },
167
161
  slashAmountSmall: {
168
162
  env: 'AZTEC_SLASH_AMOUNT_SMALL',
169
163
  description: 'Small slashing amount for light offenses',
170
- ...bigintConfigHelper(DefaultL1ContractsConfig.slashAmountSmall),
164
+ ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_SLASH_AMOUNT_SMALL)),
171
165
  },
172
166
  slashAmountMedium: {
173
167
  env: 'AZTEC_SLASH_AMOUNT_MEDIUM',
174
168
  description: 'Medium slashing amount for moderate offenses',
175
- ...bigintConfigHelper(DefaultL1ContractsConfig.slashAmountMedium),
169
+ ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_SLASH_AMOUNT_MEDIUM)),
176
170
  },
177
171
  slashAmountLarge: {
178
172
  env: 'AZTEC_SLASH_AMOUNT_LARGE',
179
173
  description: 'Large slashing amount for severe offenses',
180
- ...bigintConfigHelper(DefaultL1ContractsConfig.slashAmountLarge),
174
+ ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_SLASH_AMOUNT_LARGE)),
181
175
  },
182
176
  slashingQuorum: {
183
177
  env: 'AZTEC_SLASHING_QUORUM',
@@ -187,28 +181,28 @@ export const l1ContractsConfigMappings: ConfigMappingsType<L1ContractsConfig> =
187
181
  slashingRoundSizeInEpochs: {
188
182
  env: 'AZTEC_SLASHING_ROUND_SIZE_IN_EPOCHS',
189
183
  description: 'The slashing round size',
190
- ...numberConfigHelper(DefaultL1ContractsConfig.slashingRoundSizeInEpochs),
184
+ ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_SLASHING_ROUND_SIZE_IN_EPOCHS),
191
185
  },
192
186
  slashingLifetimeInRounds: {
193
187
  env: 'AZTEC_SLASHING_LIFETIME_IN_ROUNDS',
194
188
  description: 'The slashing lifetime in rounds',
195
- ...numberConfigHelper(DefaultL1ContractsConfig.slashingLifetimeInRounds),
189
+ ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_SLASHING_LIFETIME_IN_ROUNDS),
196
190
  },
197
191
  slashingExecutionDelayInRounds: {
198
192
  env: 'AZTEC_SLASHING_EXECUTION_DELAY_IN_ROUNDS',
199
193
  description: 'The slashing execution delay in rounds',
200
- ...numberConfigHelper(DefaultL1ContractsConfig.slashingExecutionDelayInRounds),
194
+ ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_SLASHING_EXECUTION_DELAY_IN_ROUNDS),
201
195
  },
202
196
  slashingVetoer: {
203
197
  env: 'AZTEC_SLASHING_VETOER',
204
198
  description: 'The slashing vetoer',
205
199
  parseEnv: (val: string) => EthAddress.fromString(val),
206
- defaultValue: DefaultL1ContractsConfig.slashingVetoer,
200
+ defaultValue: EthAddress.fromString(l1ContractsDefaultEnv.AZTEC_SLASHING_VETOER),
207
201
  },
208
202
  slashingDisableDuration: {
209
203
  env: 'AZTEC_SLASHING_DISABLE_DURATION',
210
204
  description: 'How long slashing can be disabled for in seconds when vetoer disables it',
211
- ...numberConfigHelper(DefaultL1ContractsConfig.slashingDisableDuration),
205
+ ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_SLASHING_DISABLE_DURATION),
212
206
  },
213
207
  governanceProposerQuorum: {
214
208
  env: 'AZTEC_GOVERNANCE_PROPOSER_QUORUM',
@@ -218,26 +212,42 @@ export const l1ContractsConfigMappings: ConfigMappingsType<L1ContractsConfig> =
218
212
  governanceProposerRoundSize: {
219
213
  env: 'AZTEC_GOVERNANCE_PROPOSER_ROUND_SIZE',
220
214
  description: 'The governance proposing round size',
221
- ...numberConfigHelper(DefaultL1ContractsConfig.governanceProposerRoundSize),
215
+ ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_GOVERNANCE_PROPOSER_ROUND_SIZE),
216
+ },
217
+ governanceVotingDuration: {
218
+ env: 'AZTEC_GOVERNANCE_VOTING_DURATION',
219
+ description: 'Governance voting duration in seconds (only for local/devnet/next-net)',
220
+ ...numberConfigHelper(3600), // 1 hour default, not in generated defaults as it's deployment-time only
222
221
  },
223
222
  manaTarget: {
224
223
  env: 'AZTEC_MANA_TARGET',
225
224
  description: 'The mana target for the rollup',
226
- ...bigintConfigHelper(DefaultL1ContractsConfig.manaTarget),
225
+ ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_MANA_TARGET)),
227
226
  },
228
227
  provingCostPerMana: {
229
228
  env: 'AZTEC_PROVING_COST_PER_MANA',
230
229
  description: 'The proving cost per mana',
231
- ...bigintConfigHelper(DefaultL1ContractsConfig.provingCostPerMana),
230
+ ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_PROVING_COST_PER_MANA)),
231
+ },
232
+ initialEthPerFeeAsset: {
233
+ env: 'AZTEC_INITIAL_ETH_PER_FEE_ASSET',
234
+ description: 'The initial ETH per fee asset price (with 1e12 precision)',
235
+ ...bigintConfigHelper(BigInt(l1ContractsDefaultEnv.AZTEC_INITIAL_ETH_PER_FEE_ASSET)),
232
236
  },
233
237
  exitDelaySeconds: {
234
238
  env: 'AZTEC_EXIT_DELAY_SECONDS',
235
239
  description: 'The delay before a validator can exit the set',
236
- ...numberConfigHelper(DefaultL1ContractsConfig.exitDelaySeconds),
240
+ ...numberConfigHelper(l1ContractsDefaultEnv.AZTEC_EXIT_DELAY_SECONDS),
237
241
  },
238
- ...l1TxUtilsConfigMappings,
242
+ ...omitConfigMappings(l1TxUtilsConfigMappings, ['ethereumSlotDuration']),
239
243
  };
240
244
 
245
+ /**
246
+ * Default L1 contracts configuration derived from l1ContractsConfigMappings.
247
+ * Source of truth: spartan/environments/defaults.yml -> defaults.l1-contracts
248
+ */
249
+ export const DefaultL1ContractsConfig = getDefaultConfig(l1ContractsConfigMappings);
250
+
241
251
  export const genesisStateConfigMappings: ConfigMappingsType<GenesisStateConfig> = {
242
252
  testAccounts: {
243
253
  env: 'TEST_ACCOUNTS',
@@ -0,0 +1,157 @@
1
+ # L1 Contract Wrappers
2
+
3
+ This folder contains TypeScript wrappers for L1 contracts defined in `l1-contracts/`. These wrappers are used by the node client to interact with the rollup and related contracts on Ethereum.
4
+
5
+ ## Purpose
6
+
7
+ The goal of wrapping is to shield consumers from L1-specific and viem-specific details. Clients using these wrappers interact with domain types and branded types native to the Aztec codebase, without needing to understand viem's ABI type system or deal with raw types like `Hex` and `bigint`.
8
+
9
+ ## Type Safety
10
+
11
+ ### Explicit Return Types
12
+
13
+ Every function in the contract wrappers must declare its return type explicitly. This is critical because viem's type inference over ABI types is slow and significantly impacts IDE performance.
14
+
15
+ ```typescript
16
+ // Good: Explicit return type
17
+ async getSlotNumber(): Promise<SlotNumber> {
18
+ return SlotNumber.fromBigInt(await this.rollup.read.getCurrentSlot());
19
+ }
20
+
21
+ // Bad: Inferred return type (slow)
22
+ async getSlotNumber() {
23
+ return SlotNumber.fromBigInt(await this.rollup.read.getCurrentSlot());
24
+ }
25
+ ```
26
+
27
+ ### Branded and Domain Types
28
+
29
+ Use branded types and domain-specific types instead of viem's autogenerated types for both arguments and return values:
30
+
31
+ - `CheckpointNumber`, `EpochNumber`, `SlotNumber` instead of `bigint`
32
+ - `EthAddress` instead of `` `0x${string}` `` or `Hex`
33
+ - `Fr`, `Buffer32` instead of `Hex` for hashes and field elements
34
+ - Custom domain types (e.g., `CheckpointLog`, `AttesterView`) instead of raw tuples
35
+
36
+ Type conversions happen inside wrapper methods, not at the call site:
37
+
38
+ ```typescript
39
+ async getCheckpoint(checkpointNumber: CheckpointNumber): Promise<CheckpointLog> {
40
+ const result = await this.rollup.read.getCheckpoint([BigInt(checkpointNumber)]);
41
+ return {
42
+ archive: Fr.fromString(result.archive),
43
+ headerHash: Buffer32.fromString(result.headerHash),
44
+ blockCount: result.blockCount,
45
+ };
46
+ }
47
+ ```
48
+
49
+ ## Wrapper Pattern
50
+
51
+ ### Basic Structure
52
+
53
+ Each wrapper follows a consistent structure:
54
+
55
+ ```typescript
56
+ export class FooContract {
57
+ private readonly foo: GetContractReturnType<typeof FooAbi, ViemClient>;
58
+
59
+ constructor(
60
+ public readonly client: ViemClient,
61
+ address: Hex | EthAddress,
62
+ ) {
63
+ if (address instanceof EthAddress) {
64
+ address = address.toString();
65
+ }
66
+ this.foo = getContract({ address, abi: FooAbi, client });
67
+ }
68
+
69
+ public get address(): Hex {
70
+ return this.foo.address;
71
+ }
72
+
73
+ public getContract(): GetContractReturnType<typeof FooAbi, ViemClient> {
74
+ return this.foo;
75
+ }
76
+ }
77
+ ```
78
+
79
+ The raw contract is exposed via `getContract()` for cases where direct access is needed, but most consumers should use the typed wrapper methods. Relying on `getContract()` is a code smell and should be avoided.
80
+
81
+ ### Static Factory Methods
82
+
83
+ Wrappers may provide static factory methods for common initialization patterns:
84
+
85
+ - `getFromConfig(config)` - construct from configuration object
86
+ - `getFromL1ContractsValues(deployResult)` - construct from deployment result
87
+
88
+ ### Wallet Assertions
89
+
90
+ For write operations that require a wallet, use an assertion helper:
91
+
92
+ ```typescript
93
+ private assertWallet(): GetContractReturnType<typeof FooAbi, ExtendedViemWalletClient> {
94
+ if (!isExtendedClient(this.client)) {
95
+ throw new Error('Wallet client is required for this operation');
96
+ }
97
+ return this.foo as GetContractReturnType<typeof FooAbi, ExtendedViemWalletClient>;
98
+ }
99
+ ```
100
+
101
+ ## Event Handling
102
+
103
+ ### Event Log Types
104
+
105
+ Event logs are wrapped in `L1EventLog<T>` to include L1 block context:
106
+
107
+ ```typescript
108
+ type L1EventLog<T> = {
109
+ l1BlockNumber: bigint;
110
+ l1BlockHash: Buffer32;
111
+ l1TransactionHash: Hex;
112
+ args: T;
113
+ };
114
+ ```
115
+
116
+ ### Event Fetching
117
+
118
+ Methods that fetch events convert viem's raw logs to domain types:
119
+
120
+ ```typescript
121
+ async getCheckpointProposedEvents(fromBlock: bigint, toBlock: bigint): Promise<CheckpointProposedLog[]> {
122
+ const logs = await this.rollup.getEvents.CheckpointProposed({}, { fromBlock, toBlock });
123
+ return logs.map(log => ({
124
+ l1BlockNumber: log.blockNumber!,
125
+ l1BlockHash: Buffer32.fromString(log.blockHash!),
126
+ l1TransactionHash: log.transactionHash!,
127
+ args: {
128
+ checkpointNumber: CheckpointNumber.fromBigInt(log.args.checkpointNumber!),
129
+ // ... convert other fields
130
+ },
131
+ }));
132
+ }
133
+ ```
134
+
135
+ ### Event Listeners
136
+
137
+ For reactive event handling, wrapper methods convert arguments before invoking callbacks:
138
+
139
+ ```typescript
140
+ public listenToCheckpointInvalidated(
141
+ callback: (args: { checkpointNumber: CheckpointNumber }) => unknown,
142
+ ): WatchContractEventReturnType {
143
+ return this.rollup.watchEvent.CheckpointInvalidated({}, {
144
+ onLogs: logs => {
145
+ for (const log of logs) {
146
+ if (log.args.checkpointNumber !== undefined) {
147
+ callback({ checkpointNumber: CheckpointNumber.fromBigInt(log.args.checkpointNumber) });
148
+ }
149
+ }
150
+ },
151
+ });
152
+ }
153
+ ```
154
+
155
+ ## Error Handling
156
+
157
+ Custom error classes in `errors.ts` extend `Error` and set `this.name` for proper error identification. Include relevant context as public readonly properties.
@@ -22,6 +22,8 @@ export interface IEmpireBase {
22
22
  signerAddress: Hex,
23
23
  signer: (msg: TypedDataDefinition) => Promise<Hex>,
24
24
  ): Promise<L1TxRequest>;
25
+ /** Checks if a payload was ever submitted to governance via submitRoundWinner. */
26
+ hasPayloadBeenProposed(payload: Hex, fromBlock: bigint): Promise<boolean>;
25
27
  }
26
28
 
27
29
  export function encodeSignal(payload: Hex): Hex {
@@ -6,7 +6,6 @@ import { EmpireSlashingProposerAbi } from '@aztec/l1-artifacts/EmpireSlashingPro
6
6
 
7
7
  import EventEmitter from 'events';
8
8
  import {
9
- type EncodeFunctionDataParameters,
10
9
  type GetContractReturnType,
11
10
  type Hex,
12
11
  type Log,
@@ -100,6 +99,7 @@ export class EmpireSlashingProposerContract extends EventEmitter implements IEmp
100
99
  public createSignalRequest(payload: Hex): L1TxRequest {
101
100
  return {
102
101
  to: this.address.toString(),
102
+ abi: EmpireSlashingProposerAbi,
103
103
  data: encodeSignal(payload),
104
104
  };
105
105
  }
@@ -121,10 +121,17 @@ export class EmpireSlashingProposerContract extends EventEmitter implements IEmp
121
121
  );
122
122
  return {
123
123
  to: this.address.toString(),
124
+ abi: EmpireSlashingProposerAbi,
124
125
  data: encodeSignalWithSignature(payload, signature),
125
126
  };
126
127
  }
127
128
 
129
+ /** Checks if a payload was ever submitted to governance via submitRoundWinner. */
130
+ public async hasPayloadBeenProposed(payload: Hex, fromBlock: bigint): Promise<boolean> {
131
+ const events = await this.proposer.getEvents.PayloadSubmitted({ payload }, { fromBlock, strict: true });
132
+ return events.length > 0;
133
+ }
134
+
128
135
  public listenToSubmittablePayloads(callback: (args: { payload: `0x${string}`; round: bigint }) => unknown) {
129
136
  return this.proposer.watchEvent.PayloadSubmittable(
130
137
  {},
@@ -180,6 +187,7 @@ export class EmpireSlashingProposerContract extends EventEmitter implements IEmp
180
187
  public buildExecuteRoundRequest(round: bigint): L1TxRequest {
181
188
  return {
182
189
  to: this.address.toString(),
190
+ abi: EmpireSlashingProposerAbi,
183
191
  data: encodeFunctionData({
184
192
  abi: EmpireSlashingProposerAbi,
185
193
  functionName: 'submitRoundWinner',
@@ -222,24 +230,13 @@ export class EmpireSlashingProposerContract extends EventEmitter implements IEmp
222
230
  if (typeof round === 'number') {
223
231
  round = BigInt(round);
224
232
  }
225
- const args: EncodeFunctionDataParameters<typeof EmpireSlashingProposerAbi, 'submitRoundWinner'> = {
226
- abi: EmpireSlashingProposerAbi,
227
- functionName: 'submitRoundWinner',
228
- args: [round],
229
- };
230
- const data = encodeFunctionData(args);
233
+ const request = this.buildExecuteRoundRequest(round);
231
234
  const response = await txUtils
232
- .sendAndMonitorTransaction(
233
- {
234
- to: this.address.toString(),
235
- data,
236
- },
237
- {
238
- // Gas estimation is way off for this, likely because we are creating the contract/selector to call
239
- // for the actual slashing dynamically.
240
- gasLimitBufferPercentage: 50, // +50% gas
241
- },
242
- )
235
+ .sendAndMonitorTransaction(request, {
236
+ // Gas estimation is way off for this, likely because we are creating the contract/selector to call
237
+ // for the actual slashing dynamically.
238
+ gasLimitBufferPercentage: 50, // +50% gas
239
+ })
243
240
  .catch(err => {
244
241
  if (err instanceof FormattedViemError && err.message.includes('ProposalAlreadyExecuted')) {
245
242
  throw new ProposalAlreadyExecutedError(round);
@@ -248,15 +245,13 @@ export class EmpireSlashingProposerContract extends EventEmitter implements IEmp
248
245
  });
249
246
 
250
247
  if (response.receipt.status === 'reverted') {
251
- const error = await txUtils.tryGetErrorFromRevertedTx(
252
- data,
253
- {
254
- ...args,
255
- address: this.address.toString(),
256
- },
257
- undefined,
258
- [],
259
- );
248
+ const args = {
249
+ abi: EmpireSlashingProposerAbi,
250
+ functionName: 'submitRoundWinner' as const,
251
+ args: [round] as const,
252
+ address: this.address.toString(),
253
+ };
254
+ const error = await txUtils.tryGetErrorFromRevertedTx(request.data!, args, undefined, []);
260
255
  if (error?.includes('ProposalAlreadyExecuted')) {
261
256
  throw new ProposalAlreadyExecutedError(round);
262
257
  }
@@ -4,13 +4,14 @@ import { FeeAssetHandlerAbi } from '@aztec/l1-artifacts/FeeAssetHandlerAbi';
4
4
  import { type Hex, encodeFunctionData, getContract } from 'viem';
5
5
 
6
6
  import type { L1TxUtils } from '../l1_tx_utils/index.js';
7
+ import type { ViemClient } from '../types.js';
7
8
 
8
9
  export class FeeAssetHandlerContract {
9
10
  public address: EthAddress;
10
11
 
11
12
  constructor(
13
+ public readonly client: ViemClient,
12
14
  address: Hex | EthAddress,
13
- public readonly txUtils: L1TxUtils,
14
15
  ) {
15
16
  if (address instanceof EthAddress) {
16
17
  address = address.toString();
@@ -22,7 +23,7 @@ export class FeeAssetHandlerContract {
22
23
  const contract = getContract({
23
24
  abi: FeeAssetHandlerAbi,
24
25
  address: this.address.toString(),
25
- client: this.txUtils.client,
26
+ client: this.client,
26
27
  });
27
28
  return EthAddress.fromString(await contract.read.owner());
28
29
  }
@@ -31,17 +32,18 @@ export class FeeAssetHandlerContract {
31
32
  const contract = getContract({
32
33
  abi: FeeAssetHandlerAbi,
33
34
  address: this.address.toString(),
34
- client: this.txUtils.client,
35
+ client: this.client,
35
36
  });
36
37
  return contract.read.mintAmount();
37
38
  }
38
39
 
39
- public mint(recipient: Hex | EthAddress) {
40
+ public mint(txUtils: L1TxUtils, recipient: Hex | EthAddress) {
40
41
  if (recipient instanceof EthAddress) {
41
42
  recipient = recipient.toString();
42
43
  }
43
- return this.txUtils.sendAndMonitorTransaction({
44
+ return txUtils.sendAndMonitorTransaction({
44
45
  to: this.address.toString(),
46
+ abi: FeeAssetHandlerAbi,
45
47
  data: encodeFunctionData({
46
48
  abi: FeeAssetHandlerAbi,
47
49
  functionName: 'mint',
@@ -50,9 +52,10 @@ export class FeeAssetHandlerContract {
50
52
  });
51
53
  }
52
54
 
53
- public setMintAmount(amount: bigint) {
54
- return this.txUtils.sendAndMonitorTransaction({
55
+ public setMintAmount(txUtils: L1TxUtils, amount: bigint) {
56
+ return txUtils.sendAndMonitorTransaction({
55
57
  to: this.address.toString(),
58
+ abi: FeeAssetHandlerAbi,
56
59
  data: encodeFunctionData({
57
60
  abi: FeeAssetHandlerAbi,
58
61
  functionName: 'setMintAmount',