@aztec/ethereum 0.0.1-commit.2eb6648a → 0.0.1-commit.2f68f620
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.
- package/dest/client.d.ts +25 -3
- package/dest/client.d.ts.map +1 -1
- package/dest/client.js +60 -8
- package/dest/config.d.ts +8 -6
- package/dest/config.d.ts.map +1 -1
- package/dest/config.js +15 -11
- package/dest/contracts/chain_state_override.d.ts +78 -0
- package/dest/contracts/chain_state_override.d.ts.map +1 -0
- package/dest/contracts/chain_state_override.js +137 -0
- package/dest/contracts/fee_asset_price_oracle.d.ts +105 -0
- package/dest/contracts/fee_asset_price_oracle.d.ts.map +1 -0
- package/dest/contracts/fee_asset_price_oracle.js +656 -0
- package/dest/contracts/governance.d.ts +108 -33
- package/dest/contracts/governance.d.ts.map +1 -1
- package/dest/contracts/governance.js +196 -15
- package/dest/contracts/governance_proposer.d.ts +33 -1
- package/dest/contracts/governance_proposer.d.ts.map +1 -1
- package/dest/contracts/governance_proposer.js +53 -2
- package/dest/contracts/inbox.d.ts +3 -3
- package/dest/contracts/inbox.d.ts.map +1 -1
- package/dest/contracts/inbox.js +12 -7
- package/dest/contracts/index.d.ts +4 -3
- package/dest/contracts/index.d.ts.map +1 -1
- package/dest/contracts/index.js +3 -2
- package/dest/contracts/multicall.d.ts +127 -12
- package/dest/contracts/multicall.d.ts.map +1 -1
- package/dest/contracts/multicall.js +201 -94
- package/dest/contracts/outbox.d.ts +27 -4
- package/dest/contracts/outbox.d.ts.map +1 -1
- package/dest/contracts/outbox.js +34 -7
- package/dest/contracts/registry.d.ts +3 -1
- package/dest/contracts/registry.d.ts.map +1 -1
- package/dest/contracts/registry.js +30 -1
- package/dest/contracts/rollup.d.ts +5259 -29
- package/dest/contracts/rollup.d.ts.map +1 -1
- package/dest/contracts/rollup.js +388 -71
- package/dest/contracts/{tally_slashing_proposer.d.ts → slashing_proposer.d.ts} +3 -4
- package/dest/contracts/slashing_proposer.d.ts.map +1 -0
- package/dest/contracts/{tally_slashing_proposer.js → slashing_proposer.js} +13 -15
- package/dest/deploy_aztec_l1_contracts.d.ts +8 -11
- package/dest/deploy_aztec_l1_contracts.d.ts.map +1 -1
- package/dest/deploy_aztec_l1_contracts.js +42 -31
- package/dest/deploy_l1_contract.js +3 -3
- package/dest/generated/l1-contracts-defaults.d.ts +2 -2
- package/dest/generated/l1-contracts-defaults.js +2 -2
- package/dest/l1_artifacts.d.ts +14259 -15724
- package/dest/l1_artifacts.d.ts.map +1 -1
- package/dest/l1_artifacts.js +9 -24
- package/dest/l1_contract_addresses.d.ts +61 -65
- package/dest/l1_contract_addresses.d.ts.map +1 -1
- package/dest/l1_contract_addresses.js +101 -82
- package/dest/l1_reader.d.ts +5 -5
- package/dest/l1_reader.d.ts.map +1 -1
- package/dest/l1_reader.js +9 -7
- package/dest/l1_tx_utils/config.d.ts +7 -1
- package/dest/l1_tx_utils/config.d.ts.map +1 -1
- package/dest/l1_tx_utils/config.js +14 -1
- package/dest/l1_tx_utils/factory.d.ts +18 -10
- package/dest/l1_tx_utils/factory.d.ts.map +1 -1
- package/dest/l1_tx_utils/factory.js +17 -7
- package/dest/l1_tx_utils/fee-strategies/p75_competitive.js +1 -1
- package/dest/l1_tx_utils/fee-strategies/p75_competitive_blob_txs_only.js +1 -1
- package/dest/l1_tx_utils/forwarder_l1_tx_utils.d.ts +15 -15
- package/dest/l1_tx_utils/forwarder_l1_tx_utils.d.ts.map +1 -1
- package/dest/l1_tx_utils/forwarder_l1_tx_utils.js +9 -15
- package/dest/l1_tx_utils/index-blobs.d.ts +3 -3
- package/dest/l1_tx_utils/index-blobs.d.ts.map +1 -1
- package/dest/l1_tx_utils/index-blobs.js +2 -2
- package/dest/l1_tx_utils/index.d.ts +2 -1
- package/dest/l1_tx_utils/index.d.ts.map +1 -1
- package/dest/l1_tx_utils/index.js +1 -0
- package/dest/l1_tx_utils/l1_tx_utils.d.ts +26 -7
- package/dest/l1_tx_utils/l1_tx_utils.d.ts.map +1 -1
- package/dest/l1_tx_utils/l1_tx_utils.js +95 -60
- package/dest/l1_tx_utils/readonly_l1_tx_utils.d.ts +1 -1
- package/dest/l1_tx_utils/readonly_l1_tx_utils.d.ts.map +1 -1
- package/dest/l1_tx_utils/readonly_l1_tx_utils.js +10 -5
- package/dest/l1_tx_utils/tx_delayer.d.ts +58 -0
- package/dest/l1_tx_utils/tx_delayer.d.ts.map +1 -0
- package/dest/{test → l1_tx_utils}/tx_delayer.js +67 -37
- package/dest/publisher_manager.d.ts +21 -7
- package/dest/publisher_manager.d.ts.map +1 -1
- package/dest/publisher_manager.js +81 -7
- package/dest/queries.d.ts +13 -2
- package/dest/queries.d.ts.map +1 -1
- package/dest/queries.js +62 -3
- package/dest/test/chain_monitor.d.ts +23 -3
- package/dest/test/chain_monitor.d.ts.map +1 -1
- package/dest/test/chain_monitor.js +38 -2
- package/dest/test/eth_cheat_codes.d.ts +12 -4
- package/dest/test/eth_cheat_codes.d.ts.map +1 -1
- package/dest/test/eth_cheat_codes.js +17 -4
- package/dest/test/index.d.ts +1 -3
- package/dest/test/index.d.ts.map +1 -1
- package/dest/test/index.js +0 -2
- package/dest/test/rollup_cheat_codes.d.ts +31 -3
- package/dest/test/rollup_cheat_codes.d.ts.map +1 -1
- package/dest/test/rollup_cheat_codes.js +59 -7
- package/dest/test/start_anvil.d.ts +23 -3
- package/dest/test/start_anvil.d.ts.map +1 -1
- package/dest/test/start_anvil.js +143 -29
- package/dest/test/upgrade_utils.js +2 -2
- package/dest/utils.d.ts +9 -2
- package/dest/utils.d.ts.map +1 -1
- package/dest/utils.js +48 -16
- package/package.json +6 -8
- package/src/client.ts +66 -2
- package/src/config.ts +24 -15
- package/src/contracts/chain_state_override.ts +200 -0
- package/src/contracts/fee_asset_price_oracle.ts +285 -0
- package/src/contracts/governance.ts +269 -12
- package/src/contracts/governance_proposer.ts +54 -1
- package/src/contracts/inbox.ts +13 -5
- package/src/contracts/index.ts +3 -2
- package/src/contracts/multicall.ts +243 -105
- package/src/contracts/outbox.ts +42 -8
- package/src/contracts/registry.ts +31 -1
- package/src/contracts/rollup.ts +439 -73
- package/src/contracts/{tally_slashing_proposer.ts → slashing_proposer.ts} +14 -16
- package/src/deploy_aztec_l1_contracts.ts +65 -42
- package/src/deploy_l1_contract.ts +3 -3
- package/src/generated/l1-contracts-defaults.ts +2 -2
- package/src/l1_artifacts.ts +12 -35
- package/src/l1_contract_addresses.ts +120 -94
- package/src/l1_reader.ts +17 -10
- package/src/l1_tx_utils/config.ts +20 -0
- package/src/l1_tx_utils/factory.ts +31 -31
- package/src/l1_tx_utils/fee-strategies/p75_competitive.ts +1 -1
- package/src/l1_tx_utils/fee-strategies/p75_competitive_blob_txs_only.ts +1 -1
- package/src/l1_tx_utils/forwarder_l1_tx_utils.ts +43 -54
- package/src/l1_tx_utils/index-blobs.ts +2 -2
- package/src/l1_tx_utils/index.ts +1 -0
- package/src/l1_tx_utils/l1_tx_utils.ts +93 -42
- package/src/l1_tx_utils/readonly_l1_tx_utils.ts +10 -5
- package/src/{test → l1_tx_utils}/tx_delayer.ts +93 -56
- package/src/publisher_manager.ts +105 -10
- package/src/queries.ts +70 -4
- package/src/test/chain_monitor.ts +65 -3
- package/src/test/eth_cheat_codes.ts +16 -4
- package/src/test/index.ts +0 -2
- package/src/test/rollup_cheat_codes.ts +64 -6
- package/src/test/start_anvil.ts +177 -29
- package/src/test/upgrade_utils.ts +2 -2
- package/src/utils.ts +45 -18
- package/dest/contracts/empire_slashing_proposer.d.ts +0 -67
- package/dest/contracts/empire_slashing_proposer.d.ts.map +0 -1
- package/dest/contracts/empire_slashing_proposer.js +0 -207
- package/dest/contracts/tally_slashing_proposer.d.ts.map +0 -1
- package/dest/l1_tx_utils/l1_tx_utils_with_blobs.d.ts +0 -26
- package/dest/l1_tx_utils/l1_tx_utils_with_blobs.d.ts.map +0 -1
- package/dest/l1_tx_utils/l1_tx_utils_with_blobs.js +0 -26
- package/dest/test/delayed_tx_utils.d.ts +0 -13
- package/dest/test/delayed_tx_utils.d.ts.map +0 -1
- package/dest/test/delayed_tx_utils.js +0 -28
- package/dest/test/tx_delayer.d.ts +0 -36
- package/dest/test/tx_delayer.d.ts.map +0 -1
- package/src/contracts/empire_slashing_proposer.ts +0 -259
- package/src/l1_tx_utils/l1_tx_utils_with_blobs.ts +0 -77
- package/src/test/delayed_tx_utils.ts +0 -52
|
@@ -1,8 +1,10 @@
|
|
|
1
|
+
import type { BlobKzgInstance } from '@aztec/blob-lib/types';
|
|
1
2
|
import { maxBigint } from '@aztec/foundation/bigint';
|
|
2
3
|
import { merge, pick } from '@aztec/foundation/collection';
|
|
3
4
|
import { InterruptError, TimeoutError } from '@aztec/foundation/error';
|
|
4
5
|
import { EthAddress } from '@aztec/foundation/eth-address';
|
|
5
|
-
import { type Logger, createLogger } from '@aztec/foundation/log';
|
|
6
|
+
import { type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
|
|
7
|
+
import { Semaphore } from '@aztec/foundation/queue';
|
|
6
8
|
import { retryUntil } from '@aztec/foundation/retry';
|
|
7
9
|
import { sleep } from '@aztec/foundation/sleep';
|
|
8
10
|
import { DateProvider } from '@aztec/foundation/timer';
|
|
@@ -13,16 +15,13 @@ import {
|
|
|
13
15
|
type Abi,
|
|
14
16
|
type BlockOverrides,
|
|
15
17
|
type Hex,
|
|
16
|
-
type NonceManager,
|
|
17
18
|
type PrepareTransactionRequestRequest,
|
|
18
19
|
type StateOverride,
|
|
19
20
|
type TransactionReceipt,
|
|
20
21
|
type TransactionSerializable,
|
|
21
|
-
createNonceManager,
|
|
22
22
|
formatGwei,
|
|
23
23
|
serializeTransaction,
|
|
24
24
|
} from 'viem';
|
|
25
|
-
import { jsonRpc } from 'viem/nonce';
|
|
26
25
|
|
|
27
26
|
import type { ViemClient } from '../types.js';
|
|
28
27
|
import { formatViemError } from '../utils.js';
|
|
@@ -30,6 +29,7 @@ import { type L1TxUtilsConfig, l1TxUtilsConfigMappings } from './config.js';
|
|
|
30
29
|
import { MAX_L1_TX_LIMIT } from './constants.js';
|
|
31
30
|
import type { IL1TxMetrics, IL1TxStore } from './interfaces.js';
|
|
32
31
|
import { ReadOnlyL1TxUtils } from './readonly_l1_tx_utils.js';
|
|
32
|
+
import { Delayer, createDelayer, wrapClientWithDelayer } from './tx_delayer.js';
|
|
33
33
|
import {
|
|
34
34
|
DroppedTransactionError,
|
|
35
35
|
type L1BlobInputs,
|
|
@@ -45,8 +45,15 @@ import {
|
|
|
45
45
|
const MAX_L1_TX_STATES = 32;
|
|
46
46
|
|
|
47
47
|
export class L1TxUtils extends ReadOnlyL1TxUtils {
|
|
48
|
-
protected nonceManager: NonceManager;
|
|
49
48
|
protected txs: L1TxState[] = [];
|
|
49
|
+
/** Last nonce successfully sent to the chain. Used as a lower bound when a fallback RPC node returns a stale count. */
|
|
50
|
+
private lastSentNonce: number | undefined;
|
|
51
|
+
/** Mutex to prevent concurrent sendTransaction calls from racing on the same nonce. */
|
|
52
|
+
private readonly sendMutex = new Semaphore(1);
|
|
53
|
+
/** Tx delayer for testing. Only set when enableDelayer config is true. */
|
|
54
|
+
public delayer?: Delayer;
|
|
55
|
+
/** KZG instance for blob operations. */
|
|
56
|
+
protected kzg?: BlobKzgInstance;
|
|
50
57
|
|
|
51
58
|
constructor(
|
|
52
59
|
public override client: ViemClient,
|
|
@@ -58,9 +65,25 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
|
|
|
58
65
|
debugMaxGasLimit: boolean = false,
|
|
59
66
|
protected store?: IL1TxStore,
|
|
60
67
|
protected metrics?: IL1TxMetrics,
|
|
68
|
+
kzg?: BlobKzgInstance,
|
|
69
|
+
delayer?: Delayer,
|
|
61
70
|
) {
|
|
62
71
|
super(client, logger, dateProvider, config, debugMaxGasLimit);
|
|
63
|
-
this.
|
|
72
|
+
this.kzg = kzg;
|
|
73
|
+
|
|
74
|
+
// Set up delayer: use provided one or create new
|
|
75
|
+
if (config?.enableDelayer && config?.ethereumSlotDuration) {
|
|
76
|
+
this.delayer =
|
|
77
|
+
delayer ?? this.createDelayer({ ethereumSlotDuration: config.ethereumSlotDuration }, logger.getBindings());
|
|
78
|
+
this.client = wrapClientWithDelayer(this.client, this.delayer);
|
|
79
|
+
if (config.txDelayerMaxInclusionTimeIntoSlot !== undefined) {
|
|
80
|
+
this.delayer.setMaxInclusionTimeIntoSlot(config.txDelayerMaxInclusionTimeIntoSlot);
|
|
81
|
+
}
|
|
82
|
+
} else if (delayer) {
|
|
83
|
+
// Delayer provided but enableDelayer not set — just store it without wrapping
|
|
84
|
+
logger.warn('Delayer provided but enableDelayer config is not set; delayer will not be used');
|
|
85
|
+
this.delayer = delayer;
|
|
86
|
+
}
|
|
64
87
|
}
|
|
65
88
|
|
|
66
89
|
public get state() {
|
|
@@ -87,6 +110,11 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
|
|
|
87
110
|
this.metrics?.recordMinedTx(l1TxState, new Date(l1Timestamp));
|
|
88
111
|
} else if (newState === TxUtilsState.NOT_MINED) {
|
|
89
112
|
this.metrics?.recordDroppedTx(l1TxState);
|
|
113
|
+
// The tx was dropped: the chain nonce reverted to l1TxState.nonce, so our lower bound is
|
|
114
|
+
// no longer valid. Clear it so the next send fetches the real nonce from the chain.
|
|
115
|
+
if (this.lastSentNonce === l1TxState.nonce) {
|
|
116
|
+
this.lastSentNonce = undefined;
|
|
117
|
+
}
|
|
90
118
|
}
|
|
91
119
|
|
|
92
120
|
// Update state in the store
|
|
@@ -103,6 +131,14 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
|
|
|
103
131
|
);
|
|
104
132
|
}
|
|
105
133
|
|
|
134
|
+
/**
|
|
135
|
+
* Clears the cached `lastSentNonce` so the next `sendTransaction` call fetches the real
|
|
136
|
+
* nonce from the chain. Call this after an L1 reorg to prevent stale nonce references.
|
|
137
|
+
*/
|
|
138
|
+
public resetNonce(): void {
|
|
139
|
+
this.lastSentNonce = undefined;
|
|
140
|
+
}
|
|
141
|
+
|
|
106
142
|
public getSenderAddress() {
|
|
107
143
|
return this.address;
|
|
108
144
|
}
|
|
@@ -185,6 +221,19 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
|
|
|
185
221
|
return await this.signTransaction(txRequest as TransactionSerializable);
|
|
186
222
|
}
|
|
187
223
|
|
|
224
|
+
private async checkInterruptedOrTimedOut(gasConfig: Pick<L1TxConfig, 'txTimeoutAt'>): Promise<Date> {
|
|
225
|
+
if (this.interrupted) {
|
|
226
|
+
throw new InterruptError(`Transaction sending is interrupted`);
|
|
227
|
+
}
|
|
228
|
+
const now = new Date(await this.getL1Timestamp());
|
|
229
|
+
if (gasConfig.txTimeoutAt && now > gasConfig.txTimeoutAt) {
|
|
230
|
+
throw new TimeoutError(
|
|
231
|
+
`Transaction timed out before sending (now ${now.toISOString()} > timeoutAt ${gasConfig.txTimeoutAt.toISOString()})`,
|
|
232
|
+
);
|
|
233
|
+
}
|
|
234
|
+
return now;
|
|
235
|
+
}
|
|
236
|
+
|
|
188
237
|
/**
|
|
189
238
|
* Sends a transaction with gas estimation and pricing
|
|
190
239
|
* @param request - The transaction request (to, data, value)
|
|
@@ -197,14 +246,15 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
|
|
|
197
246
|
blobInputs?: L1BlobInputs,
|
|
198
247
|
stateChange: TxUtilsState = TxUtilsState.SENT,
|
|
199
248
|
): Promise<{ txHash: Hex; state: L1TxState }> {
|
|
200
|
-
if (this.interrupted) {
|
|
201
|
-
throw new InterruptError(`Transaction sending is interrupted`);
|
|
202
|
-
}
|
|
203
|
-
|
|
204
249
|
try {
|
|
205
250
|
const gasConfig = merge(this.config, gasConfigOverrides);
|
|
206
251
|
const account = this.getSenderAddress().toString();
|
|
207
252
|
|
|
253
|
+
// Fail fast before doing any work (gas estimation, balance check) if we've been interrupted
|
|
254
|
+
// or if the caller's deadline has already passed. The same check is repeated after gas
|
|
255
|
+
// estimation in case it took long enough to push us past the deadline.
|
|
256
|
+
await this.checkInterruptedOrTimedOut(gasConfig);
|
|
257
|
+
|
|
208
258
|
let gasLimit: bigint;
|
|
209
259
|
if (this.debugMaxGasLimit) {
|
|
210
260
|
gasLimit = MAX_L1_TX_LIMIT;
|
|
@@ -217,34 +267,34 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
|
|
|
217
267
|
|
|
218
268
|
const gasPrice = await this.getGasPrice(gasConfig, !!blobInputs);
|
|
219
269
|
|
|
220
|
-
|
|
221
|
-
throw new InterruptError(`Transaction sending is interrupted`);
|
|
222
|
-
}
|
|
223
|
-
|
|
224
|
-
const nonce = await this.nonceManager.consume({
|
|
225
|
-
client: this.client,
|
|
226
|
-
address: account,
|
|
227
|
-
chainId: this.client.chain.id,
|
|
228
|
-
});
|
|
270
|
+
const now = await this.checkInterruptedOrTimedOut(gasConfig);
|
|
229
271
|
|
|
230
|
-
|
|
231
|
-
|
|
272
|
+
let txHash: Hex;
|
|
273
|
+
let nonce: number;
|
|
274
|
+
let baseState: Pick<L1TxState, 'request' | 'gasLimit' | 'blobInputs' | 'gasPrice' | 'nonce'>;
|
|
232
275
|
|
|
233
|
-
|
|
234
|
-
|
|
235
|
-
|
|
236
|
-
|
|
237
|
-
|
|
276
|
+
await this.sendMutex.acquire();
|
|
277
|
+
try {
|
|
278
|
+
const chainNonce = await this.client.getTransactionCount({ address: account, blockTag: 'pending' });
|
|
279
|
+
// If a fallback RPC node returns a stale count (lower than what we last sent), use our
|
|
280
|
+
// local lower bound to avoid sending a duplicate of an already-pending transaction.
|
|
281
|
+
nonce =
|
|
282
|
+
this.lastSentNonce !== undefined && chainNonce <= this.lastSentNonce ? this.lastSentNonce + 1 : chainNonce;
|
|
283
|
+
|
|
284
|
+
baseState = { request, gasLimit, blobInputs, gasPrice, nonce };
|
|
285
|
+
const txData = this.makeTxData(baseState, { isCancelTx: false });
|
|
286
|
+
|
|
287
|
+
const signedRequest = await this.prepareSignedTransaction(txData);
|
|
288
|
+
txHash = await this.client.sendRawTransaction({ serializedTransaction: signedRequest });
|
|
289
|
+
this.lastSentNonce = nonce;
|
|
290
|
+
} finally {
|
|
291
|
+
this.sendMutex.release();
|
|
238
292
|
}
|
|
239
293
|
|
|
240
|
-
// Send the new tx
|
|
241
|
-
const signedRequest = await this.prepareSignedTransaction(txData);
|
|
242
|
-
const txHash = await this.client.sendRawTransaction({ serializedTransaction: signedRequest });
|
|
243
|
-
|
|
244
294
|
// Create the new state for monitoring
|
|
245
295
|
const l1TxState: L1TxState = {
|
|
246
296
|
...baseState,
|
|
247
|
-
id: (await this.store?.consumeNextStateId(account)) ?? Math.max(...this.txs.map(tx => tx.id),
|
|
297
|
+
id: (await this.store?.consumeNextStateId(account)) ?? Math.max(...this.txs.map(tx => tx.id), -1) + 1,
|
|
248
298
|
txHashes: [txHash],
|
|
249
299
|
cancelTxHashes: [],
|
|
250
300
|
status: TxUtilsState.IDLE,
|
|
@@ -423,7 +473,6 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
|
|
|
423
473
|
{ nonce, account, pendingNonce, timePassed },
|
|
424
474
|
);
|
|
425
475
|
await this.updateState(state, TxUtilsState.NOT_MINED);
|
|
426
|
-
this.nonceManager.reset({ address: account, chainId: this.client.chain.id });
|
|
427
476
|
throw new DroppedTransactionError(nonce, account);
|
|
428
477
|
}
|
|
429
478
|
|
|
@@ -515,12 +564,7 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
|
|
|
515
564
|
|
|
516
565
|
// Oh no, the transaction has timed out!
|
|
517
566
|
if (isCancelTx || !gasConfig.cancelTxOnTimeout) {
|
|
518
|
-
// If this was already a cancellation tx, or we are configured to not cancel txs, we just mark it as NOT_MINED
|
|
519
|
-
// and reset the nonce manager, so the next tx that comes along can reuse the nonce if/when this tx gets dropped.
|
|
520
|
-
// This is the nastiest scenario for us, since the new tx could acquire the next nonce, but then this tx is dropped,
|
|
521
|
-
// and the new tx would never get mined. Eventually, the new tx would also drop.
|
|
522
567
|
await this.updateState(state, TxUtilsState.NOT_MINED);
|
|
523
|
-
this.nonceManager.reset({ address: account, chainId: this.client.chain.id });
|
|
524
568
|
} else {
|
|
525
569
|
// Otherwise we fire the cancellation without awaiting to avoid blocking the caller,
|
|
526
570
|
// and monitor it in the background so we can speed it up as needed.
|
|
@@ -659,7 +703,6 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
|
|
|
659
703
|
{ nonce, account },
|
|
660
704
|
);
|
|
661
705
|
await this.updateState(state, TxUtilsState.NOT_MINED);
|
|
662
|
-
this.nonceManager.reset({ address: account, chainId: this.client.chain.id });
|
|
663
706
|
return;
|
|
664
707
|
}
|
|
665
708
|
|
|
@@ -671,7 +714,6 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
|
|
|
671
714
|
{ nonce, account, currentNonce },
|
|
672
715
|
);
|
|
673
716
|
await this.updateState(state, TxUtilsState.NOT_MINED);
|
|
674
|
-
this.nonceManager.reset({ address: account, chainId: this.client.chain.id });
|
|
675
717
|
return;
|
|
676
718
|
}
|
|
677
719
|
|
|
@@ -731,8 +773,17 @@ export class L1TxUtils extends ReadOnlyL1TxUtils {
|
|
|
731
773
|
return Number(timestamp) * 1000;
|
|
732
774
|
}
|
|
733
775
|
|
|
734
|
-
/** Makes empty blob inputs for the cancellation tx.
|
|
735
|
-
protected makeEmptyBlobInputs(
|
|
736
|
-
|
|
776
|
+
/** Makes empty blob inputs for the cancellation tx. */
|
|
777
|
+
protected makeEmptyBlobInputs(maxFeePerBlobGas: bigint): Required<L1BlobInputs> {
|
|
778
|
+
if (!this.kzg) {
|
|
779
|
+
throw new Error('Cannot make empty blob inputs for cancellation without kzg');
|
|
780
|
+
}
|
|
781
|
+
const blobData = new Uint8Array(131072).fill(0);
|
|
782
|
+
return { blobs: [blobData], kzg: this.kzg, maxFeePerBlobGas };
|
|
783
|
+
}
|
|
784
|
+
|
|
785
|
+
/** Creates a new delayer instance. */
|
|
786
|
+
protected createDelayer(opts: { ethereumSlotDuration: bigint | number }, bindings: LoggerBindings): Delayer {
|
|
787
|
+
return createDelayer(this.dateProvider, opts, bindings);
|
|
737
788
|
}
|
|
738
789
|
}
|
|
@@ -3,6 +3,7 @@ import type { EthAddress } from '@aztec/foundation/eth-address';
|
|
|
3
3
|
import { type Logger, createLogger } from '@aztec/foundation/log';
|
|
4
4
|
import { makeBackoff, retry } from '@aztec/foundation/retry';
|
|
5
5
|
import { DateProvider } from '@aztec/foundation/timer';
|
|
6
|
+
import { getErrorCause } from '@aztec/foundation/types';
|
|
6
7
|
import { RollupAbi } from '@aztec/l1-artifacts/RollupAbi';
|
|
7
8
|
|
|
8
9
|
import pickBy from 'lodash.pickby';
|
|
@@ -130,9 +131,10 @@ export class ReadOnlyL1TxUtils {
|
|
|
130
131
|
const numBlocks = Math.ceil(gasConfig.stallTimeMs! / BLOCK_TIME_MS);
|
|
131
132
|
for (let i = 0; i < numBlocks; i++) {
|
|
132
133
|
// each block can go up 12.5% from previous baseFee
|
|
133
|
-
|
|
134
|
+
// ceil, (a+b-1)/b, to avoid truncation at small values (e.g. 1 wei blob base fee)
|
|
135
|
+
maxFeePerGas = (maxFeePerGas * (1_000n + 125n) + 999n) / 1_000n;
|
|
134
136
|
// same for blob gas fee
|
|
135
|
-
maxFeePerBlobGas = (maxFeePerBlobGas * (1_000n + 125n)) / 1_000n;
|
|
137
|
+
maxFeePerBlobGas = (maxFeePerBlobGas * (1_000n + 125n) + 999n) / 1_000n;
|
|
136
138
|
}
|
|
137
139
|
|
|
138
140
|
if (attempt > 0) {
|
|
@@ -242,13 +244,16 @@ export class ReadOnlyL1TxUtils {
|
|
|
242
244
|
const gasConfig = { ...this.config, ..._gasConfig };
|
|
243
245
|
let initialEstimate = 0n;
|
|
244
246
|
if (_blobInputs) {
|
|
245
|
-
// @note requests with blobs also require maxFeePerBlobGas to be set
|
|
247
|
+
// @note requests with blobs also require maxFeePerBlobGas to be set.
|
|
248
|
+
// Use 2x buffer for maxFeePerBlobGas to avoid stale fees and to pass EIP-4844 validation (even if it is a gas estimation call).
|
|
249
|
+
// 1. maxFeePerBlobGas >= blobBaseFee
|
|
250
|
+
// 2. account balance >= gas * maxFeePerGas + maxFeePerBlobGas * blobCount + value
|
|
246
251
|
const gasPrice = await this.getGasPrice(gasConfig, true, 0);
|
|
247
252
|
initialEstimate = await this.client.estimateGas({
|
|
248
253
|
account,
|
|
249
254
|
...request,
|
|
250
255
|
..._blobInputs,
|
|
251
|
-
maxFeePerBlobGas: gasPrice.maxFeePerBlobGas
|
|
256
|
+
maxFeePerBlobGas: gasPrice.maxFeePerBlobGas! * 2n,
|
|
252
257
|
gas: MAX_L1_TX_LIMIT,
|
|
253
258
|
blockTag: 'latest',
|
|
254
259
|
});
|
|
@@ -391,7 +396,7 @@ export class ReadOnlyL1TxUtils {
|
|
|
391
396
|
this.logger?.debug(`L1 transaction simulation succeeded`, { ...result[0].calls[0] });
|
|
392
397
|
return { gasUsed: result[0].gasUsed, result: result[0].calls[0].data as `0x${string}` };
|
|
393
398
|
} catch (err) {
|
|
394
|
-
if (err
|
|
399
|
+
if (getErrorCause(err, MethodNotFoundRpcError) || getErrorCause(err, MethodNotSupportedRpcError)) {
|
|
395
400
|
if (gasConfig.fallbackGasEstimate) {
|
|
396
401
|
this.logger?.warn(
|
|
397
402
|
`Node does not support eth_simulateV1 API. Using fallback gas estimate: ${gasConfig.fallbackGasEstimate}`,
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { omit } from '@aztec/foundation/collection';
|
|
2
|
-
import { type Logger, createLogger } from '@aztec/foundation/log';
|
|
2
|
+
import { type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
|
|
3
3
|
import { retryUntil } from '@aztec/foundation/retry';
|
|
4
4
|
import type { DateProvider } from '@aztec/foundation/timer';
|
|
5
5
|
|
|
@@ -9,14 +9,16 @@ import {
|
|
|
9
9
|
type Hex,
|
|
10
10
|
type PublicClient,
|
|
11
11
|
type TransactionSerializableEIP4844,
|
|
12
|
+
type TransactionSerialized,
|
|
12
13
|
keccak256,
|
|
13
14
|
parseTransaction,
|
|
14
15
|
publicActions,
|
|
16
|
+
recoverTransactionAddress,
|
|
15
17
|
serializeTransaction,
|
|
16
18
|
walletActions,
|
|
17
19
|
} from 'viem';
|
|
18
20
|
|
|
19
|
-
import {
|
|
21
|
+
import type { ExtendedViemWalletClient, ViemClient } from '../types.js';
|
|
20
22
|
|
|
21
23
|
const MAX_WAIT_TIME_SECONDS = 180;
|
|
22
24
|
|
|
@@ -73,82 +75,102 @@ export function waitUntilL1Timestamp<T extends Client>(
|
|
|
73
75
|
);
|
|
74
76
|
}
|
|
75
77
|
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
|
|
79
|
-
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
|
|
89
|
-
* since the last L1 block was mined, then any tx will not be mined in the current
|
|
90
|
-
* L1 slot but will be deferred for the next one.
|
|
91
|
-
*/
|
|
92
|
-
setMaxInclusionTimeIntoSlot(seconds: number | bigint | undefined): void;
|
|
93
|
-
}
|
|
78
|
+
/** Manages tx delaying for testing, intercepting sendRawTransaction calls to delay or cancel them. */
|
|
79
|
+
export class Delayer {
|
|
80
|
+
private logger: Logger;
|
|
81
|
+
|
|
82
|
+
public maxInclusionTimeIntoSlot: number | undefined = undefined;
|
|
83
|
+
public ethereumSlotDuration: bigint;
|
|
84
|
+
public nextWait:
|
|
85
|
+
| { l1Timestamp: bigint; timeoutSeconds?: number }
|
|
86
|
+
| { l1BlockNumber: bigint; timeoutSeconds?: number }
|
|
87
|
+
| { indefinitely: true }
|
|
88
|
+
| undefined = undefined;
|
|
89
|
+
public sentTxHashes: Hex[] = [];
|
|
90
|
+
public cancelledTxs: Hex[] = [];
|
|
94
91
|
|
|
95
|
-
class DelayerImpl implements Delayer {
|
|
96
|
-
private logger = createLogger('ethereum:tx_delayer');
|
|
97
92
|
constructor(
|
|
98
93
|
public dateProvider: DateProvider,
|
|
99
94
|
opts: { ethereumSlotDuration: bigint | number },
|
|
95
|
+
bindings: LoggerBindings,
|
|
100
96
|
) {
|
|
101
97
|
this.ethereumSlotDuration = BigInt(opts.ethereumSlotDuration);
|
|
98
|
+
this.logger = createLogger('ethereum:tx_delayer', bindings);
|
|
102
99
|
}
|
|
103
100
|
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
|
|
107
|
-
|
|
108
|
-
public cancelledTxs: Hex[] = [];
|
|
101
|
+
/** Returns the logger instance used by this delayer. */
|
|
102
|
+
getLogger(): Logger {
|
|
103
|
+
return this.logger;
|
|
104
|
+
}
|
|
109
105
|
|
|
106
|
+
/** Returns the hashes of all effectively sent txs. */
|
|
110
107
|
getSentTxHashes() {
|
|
111
108
|
return this.sentTxHashes;
|
|
112
109
|
}
|
|
113
110
|
|
|
111
|
+
/** Returns the raw hex for all cancelled txs. */
|
|
114
112
|
getCancelledTxs(): Hex[] {
|
|
115
113
|
return this.cancelledTxs;
|
|
116
114
|
}
|
|
117
115
|
|
|
118
|
-
|
|
119
|
-
|
|
116
|
+
/** Delays the next tx to be sent so it lands on the given L1 block number. */
|
|
117
|
+
pauseNextTxUntilBlock(l1BlockNumber: number | bigint, timeoutSeconds?: number) {
|
|
118
|
+
this.nextWait = { l1BlockNumber: BigInt(l1BlockNumber), timeoutSeconds };
|
|
120
119
|
}
|
|
121
120
|
|
|
122
|
-
|
|
123
|
-
|
|
121
|
+
/** Delays the next tx to be sent so it lands on the given timestamp. */
|
|
122
|
+
pauseNextTxUntilTimestamp(l1Timestamp: number | bigint, timeoutSeconds?: number) {
|
|
123
|
+
this.nextWait = { l1Timestamp: BigInt(l1Timestamp), timeoutSeconds };
|
|
124
124
|
}
|
|
125
125
|
|
|
126
|
+
/** Delays the next tx to be sent indefinitely. */
|
|
126
127
|
cancelNextTx() {
|
|
127
128
|
this.nextWait = { indefinitely: true };
|
|
128
129
|
}
|
|
129
130
|
|
|
131
|
+
/**
|
|
132
|
+
* Sets max inclusion time into slot. If more than this many seconds have passed
|
|
133
|
+
* since the last L1 block was mined, then any tx will not be mined in the current
|
|
134
|
+
* L1 slot but will be deferred for the next one.
|
|
135
|
+
*/
|
|
130
136
|
setMaxInclusionTimeIntoSlot(seconds: number | undefined) {
|
|
131
137
|
this.maxInclusionTimeIntoSlot = seconds;
|
|
132
138
|
}
|
|
133
139
|
}
|
|
134
140
|
|
|
135
141
|
/**
|
|
136
|
-
*
|
|
137
|
-
*
|
|
138
|
-
* TODO(#10824): This doesn't play along well with blob txs for some reason.
|
|
142
|
+
* Creates a new Delayer instance. Exposed so callers can create a single shared delayer
|
|
143
|
+
* and pass it to multiple `wrapClientWithDelayer` calls.
|
|
139
144
|
*/
|
|
140
|
-
export function
|
|
141
|
-
client: T,
|
|
145
|
+
export function createDelayer(
|
|
142
146
|
dateProvider: DateProvider,
|
|
143
147
|
opts: { ethereumSlotDuration: bigint | number },
|
|
144
|
-
|
|
145
|
-
|
|
146
|
-
|
|
148
|
+
bindings: LoggerBindings,
|
|
149
|
+
): Delayer {
|
|
150
|
+
return new Delayer(dateProvider, opts, bindings);
|
|
151
|
+
}
|
|
152
|
+
|
|
153
|
+
/** Tries to recover the sender address from a serialized signed transaction. */
|
|
154
|
+
async function tryRecoverSender(serializedTransaction: Hex): Promise<string | undefined> {
|
|
155
|
+
try {
|
|
156
|
+
return await recoverTransactionAddress({
|
|
157
|
+
serializedTransaction: serializedTransaction as TransactionSerialized,
|
|
158
|
+
});
|
|
159
|
+
} catch {
|
|
160
|
+
return undefined;
|
|
147
161
|
}
|
|
148
|
-
|
|
149
|
-
const delayer = new DelayerImpl(dateProvider, opts);
|
|
162
|
+
}
|
|
150
163
|
|
|
151
|
-
|
|
164
|
+
/**
|
|
165
|
+
* Wraps a viem client with tx delaying logic. Returns the wrapped client.
|
|
166
|
+
* The delayer intercepts sendRawTransaction calls and delays them based on the delayer's state.
|
|
167
|
+
*/
|
|
168
|
+
export function wrapClientWithDelayer<T extends ViemClient>(client: T, delayer: Delayer): T {
|
|
169
|
+
const logger = delayer.getLogger();
|
|
170
|
+
|
|
171
|
+
// Cast to ExtendedViemWalletClient for the extend chain since it has sendRawTransaction.
|
|
172
|
+
// The sendRawTransaction override is applied to all clients regardless of type.
|
|
173
|
+
const withRawTx = (client as unknown as ExtendedViemWalletClient)
|
|
152
174
|
// Tweak sendRawTransaction so it uses the delay defined in the delayer.
|
|
153
175
|
// Note that this will only work with local accounts (ie accounts for which we have the private key).
|
|
154
176
|
// Transactions signed by the node will not be delayed since they use sendTransaction directly,
|
|
@@ -160,6 +182,7 @@ export function withDelayer<T extends ViemClient>(
|
|
|
160
182
|
|
|
161
183
|
const { serializedTransaction } = args[0];
|
|
162
184
|
const publicClient = client as unknown as PublicClient;
|
|
185
|
+
const sender = await tryRecoverSender(serializedTransaction);
|
|
163
186
|
|
|
164
187
|
if (delayer.nextWait !== undefined) {
|
|
165
188
|
// Check if we have been instructed to delay the next tx.
|
|
@@ -171,7 +194,7 @@ export function withDelayer<T extends ViemClient>(
|
|
|
171
194
|
|
|
172
195
|
// Cancel tx outright if instructed
|
|
173
196
|
if ('indefinitely' in waitUntil && waitUntil.indefinitely) {
|
|
174
|
-
logger.info(`Cancelling tx ${txHash}
|
|
197
|
+
logger.info(`Cancelling tx ${txHash}`, { sender });
|
|
175
198
|
delayer.cancelledTxs.push(serializedTransaction);
|
|
176
199
|
return Promise.resolve(txHash);
|
|
177
200
|
}
|
|
@@ -179,12 +202,18 @@ export function withDelayer<T extends ViemClient>(
|
|
|
179
202
|
// Or wait until the desired block number or timestamp
|
|
180
203
|
wait =
|
|
181
204
|
'l1BlockNumber' in waitUntil
|
|
182
|
-
? waitUntilBlock(publicClient, waitUntil.l1BlockNumber - 1n, logger)
|
|
205
|
+
? waitUntilBlock(publicClient, waitUntil.l1BlockNumber - 1n, logger, waitUntil.timeoutSeconds)
|
|
183
206
|
: 'l1Timestamp' in waitUntil
|
|
184
|
-
? waitUntilL1Timestamp(
|
|
207
|
+
? waitUntilL1Timestamp(
|
|
208
|
+
publicClient,
|
|
209
|
+
waitUntil.l1Timestamp - delayer.ethereumSlotDuration,
|
|
210
|
+
logger,
|
|
211
|
+
waitUntil.timeoutSeconds,
|
|
212
|
+
)
|
|
185
213
|
: undefined;
|
|
186
214
|
|
|
187
215
|
logger.info(`Delaying tx ${txHash} until ${inspect(waitUntil)}`, {
|
|
216
|
+
sender,
|
|
188
217
|
argsLen: args.length,
|
|
189
218
|
...omit(parseTransaction(serializedTransaction), 'data', 'sidecars'),
|
|
190
219
|
});
|
|
@@ -196,6 +225,7 @@ export function withDelayer<T extends ViemClient>(
|
|
|
196
225
|
|
|
197
226
|
txHash = computeTxHash(serializedTransaction);
|
|
198
227
|
const logData = {
|
|
228
|
+
sender,
|
|
199
229
|
...omit(parseTransaction(serializedTransaction), 'data', 'sidecars'),
|
|
200
230
|
lastBlockTimestamp,
|
|
201
231
|
now,
|
|
@@ -225,28 +255,35 @@ export function withDelayer<T extends ViemClient>(
|
|
|
225
255
|
computedTxHash: txHash,
|
|
226
256
|
});
|
|
227
257
|
}
|
|
228
|
-
logger.info(`Sent previously delayed tx ${clientTxHash}
|
|
258
|
+
logger.info(`Sent previously delayed tx ${clientTxHash}`, { sender });
|
|
229
259
|
delayer.sentTxHashes.push(clientTxHash);
|
|
230
260
|
})
|
|
231
261
|
.catch(err => logger.error(`Error sending tx after delay`, err));
|
|
232
262
|
return Promise.resolve(txHash!);
|
|
233
263
|
} else {
|
|
234
264
|
const txHash = await client.sendRawTransaction(...args);
|
|
235
|
-
logger.debug(`Sent tx immediately ${txHash}
|
|
265
|
+
logger.debug(`Sent tx immediately ${txHash}`, { sender });
|
|
236
266
|
delayer.sentTxHashes.push(txHash);
|
|
237
267
|
return txHash;
|
|
238
268
|
}
|
|
239
269
|
},
|
|
240
|
-
}))
|
|
241
|
-
|
|
242
|
-
|
|
243
|
-
|
|
244
|
-
|
|
245
|
-
|
|
246
|
-
|
|
247
|
-
|
|
270
|
+
}));
|
|
271
|
+
|
|
272
|
+
// Only re-bind wallet actions (sendTransaction, writeContract, deployContract) for wallet clients.
|
|
273
|
+
// This is needed for tests that use wallet actions directly rather than sendRawTransaction.
|
|
274
|
+
const isWalletClient = 'account' in client && client.account !== undefined;
|
|
275
|
+
const extended = isWalletClient
|
|
276
|
+
? withRawTx
|
|
277
|
+
// Re-extend with sendTransaction so it uses the modified sendRawTransaction.
|
|
278
|
+
.extend(client => ({ sendTransaction: walletActions(client).sendTransaction }))
|
|
279
|
+
// And with the actions that depend on the modified sendTransaction
|
|
280
|
+
.extend(client => ({
|
|
281
|
+
writeContract: walletActions(client).writeContract,
|
|
282
|
+
deployContract: walletActions(client).deployContract,
|
|
283
|
+
}))
|
|
284
|
+
: withRawTx;
|
|
248
285
|
|
|
249
|
-
return
|
|
286
|
+
return extended as T;
|
|
250
287
|
}
|
|
251
288
|
|
|
252
289
|
/**
|