@aztec/wallet-sdk 0.0.1-commit.f295ac2 → 0.0.1-commit.f8ca9b2f3
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/README.md +217 -294
- package/dest/base-wallet/base_wallet.d.ts +38 -8
- package/dest/base-wallet/base_wallet.d.ts.map +1 -1
- package/dest/base-wallet/base_wallet.js +81 -18
- package/dest/base-wallet/index.d.ts +2 -1
- package/dest/base-wallet/index.d.ts.map +1 -1
- package/dest/base-wallet/index.js +1 -0
- package/dest/base-wallet/utils.d.ts +48 -0
- package/dest/base-wallet/utils.d.ts.map +1 -0
- package/dest/base-wallet/utils.js +128 -0
- package/dest/crypto.d.ts +59 -50
- package/dest/crypto.d.ts.map +1 -1
- package/dest/crypto.js +202 -108
- package/dest/emoji_alphabet.d.ts +35 -0
- package/dest/emoji_alphabet.d.ts.map +1 -0
- package/dest/emoji_alphabet.js +299 -0
- package/dest/extension/handlers/background_connection_handler.d.ts +158 -0
- package/dest/extension/handlers/background_connection_handler.d.ts.map +1 -0
- package/dest/extension/handlers/background_connection_handler.js +258 -0
- package/dest/extension/handlers/content_script_connection_handler.d.ts +56 -0
- package/dest/extension/handlers/content_script_connection_handler.d.ts.map +1 -0
- package/dest/extension/handlers/content_script_connection_handler.js +174 -0
- package/dest/extension/handlers/index.d.ts +12 -0
- package/dest/extension/handlers/index.d.ts.map +1 -0
- package/dest/extension/handlers/index.js +10 -0
- package/dest/extension/handlers/internal_message_types.d.ts +63 -0
- package/dest/extension/handlers/internal_message_types.d.ts.map +1 -0
- package/dest/extension/handlers/internal_message_types.js +22 -0
- package/dest/extension/provider/extension_provider.d.ts +107 -0
- package/dest/extension/provider/extension_provider.d.ts.map +1 -0
- package/dest/extension/provider/extension_provider.js +160 -0
- package/dest/extension/provider/extension_wallet.d.ts +131 -0
- package/dest/extension/provider/extension_wallet.d.ts.map +1 -0
- package/dest/{providers/extension → extension/provider}/extension_wallet.js +48 -95
- package/dest/extension/provider/index.d.ts +3 -0
- package/dest/extension/provider/index.d.ts.map +1 -0
- package/dest/{providers/extension → extension/provider}/index.js +0 -2
- package/dest/manager/index.d.ts +2 -8
- package/dest/manager/index.d.ts.map +1 -1
- package/dest/manager/index.js +0 -6
- package/dest/manager/types.d.ts +88 -6
- package/dest/manager/types.d.ts.map +1 -1
- package/dest/manager/types.js +17 -1
- package/dest/manager/wallet_manager.d.ts +50 -7
- package/dest/manager/wallet_manager.d.ts.map +1 -1
- package/dest/manager/wallet_manager.js +174 -44
- package/dest/types.d.ts +43 -12
- package/dest/types.d.ts.map +1 -1
- package/dest/types.js +3 -2
- package/package.json +17 -10
- package/src/base-wallet/base_wallet.ts +122 -35
- package/src/base-wallet/index.ts +1 -0
- package/src/base-wallet/utils.ts +229 -0
- package/src/crypto.ts +237 -113
- package/src/emoji_alphabet.ts +317 -0
- package/src/extension/handlers/background_connection_handler.ts +423 -0
- package/src/extension/handlers/content_script_connection_handler.ts +246 -0
- package/src/extension/handlers/index.ts +25 -0
- package/src/extension/handlers/internal_message_types.ts +69 -0
- package/src/extension/provider/extension_provider.ts +233 -0
- package/src/{providers/extension → extension/provider}/extension_wallet.ts +52 -110
- package/src/extension/provider/index.ts +7 -0
- package/src/manager/index.ts +2 -10
- package/src/manager/types.ts +91 -5
- package/src/manager/wallet_manager.ts +192 -46
- package/src/types.ts +44 -10
- package/dest/providers/extension/extension_provider.d.ts +0 -63
- package/dest/providers/extension/extension_provider.d.ts.map +0 -1
- package/dest/providers/extension/extension_provider.js +0 -124
- package/dest/providers/extension/extension_wallet.d.ts +0 -155
- package/dest/providers/extension/extension_wallet.d.ts.map +0 -1
- package/dest/providers/extension/index.d.ts +0 -6
- package/dest/providers/extension/index.d.ts.map +0 -1
- package/src/providers/extension/extension_provider.ts +0 -167
- package/src/providers/extension/index.ts +0 -5
package/package.json
CHANGED
|
@@ -1,19 +1,26 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/wallet-sdk",
|
|
3
3
|
"homepage": "https://github.com/AztecProtocol/aztec-packages/tree/master/yarn-project/wallet-sdk",
|
|
4
|
-
"version": "0.0.1-commit.
|
|
4
|
+
"version": "0.0.1-commit.f8ca9b2f3",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"exports": {
|
|
7
7
|
"./base-wallet": "./dest/base-wallet/index.js",
|
|
8
|
-
"./
|
|
8
|
+
"./extension/handlers": "./dest/extension/handlers/index.js",
|
|
9
|
+
"./extension/provider": "./dest/extension/provider/index.js",
|
|
9
10
|
"./crypto": "./dest/crypto.js",
|
|
10
11
|
"./types": "./dest/types.js",
|
|
11
12
|
"./manager": "./dest/manager/index.js"
|
|
12
13
|
},
|
|
13
14
|
"typedocOptions": {
|
|
14
15
|
"entryPoints": [
|
|
15
|
-
"./src/index.ts"
|
|
16
|
+
"./src/base-wallet/index.ts",
|
|
17
|
+
"./src/extension/handlers/index.ts",
|
|
18
|
+
"./src/extension/provider/index.ts",
|
|
19
|
+
"./src/crypto.ts",
|
|
20
|
+
"./src/types.ts",
|
|
21
|
+
"./src/manager/index.ts"
|
|
16
22
|
],
|
|
23
|
+
"name": "Wallet SDK",
|
|
17
24
|
"tsconfig": "./tsconfig.json"
|
|
18
25
|
},
|
|
19
26
|
"scripts": {
|
|
@@ -64,15 +71,15 @@
|
|
|
64
71
|
]
|
|
65
72
|
},
|
|
66
73
|
"dependencies": {
|
|
67
|
-
"@aztec/aztec.js": "0.0.1-commit.
|
|
68
|
-
"@aztec/constants": "0.0.1-commit.
|
|
69
|
-
"@aztec/entrypoints": "0.0.1-commit.
|
|
70
|
-
"@aztec/foundation": "0.0.1-commit.
|
|
71
|
-
"@aztec/pxe": "0.0.1-commit.
|
|
72
|
-
"@aztec/stdlib": "0.0.1-commit.
|
|
74
|
+
"@aztec/aztec.js": "0.0.1-commit.f8ca9b2f3",
|
|
75
|
+
"@aztec/constants": "0.0.1-commit.f8ca9b2f3",
|
|
76
|
+
"@aztec/entrypoints": "0.0.1-commit.f8ca9b2f3",
|
|
77
|
+
"@aztec/foundation": "0.0.1-commit.f8ca9b2f3",
|
|
78
|
+
"@aztec/pxe": "0.0.1-commit.f8ca9b2f3",
|
|
79
|
+
"@aztec/stdlib": "0.0.1-commit.f8ca9b2f3"
|
|
73
80
|
},
|
|
74
81
|
"devDependencies": {
|
|
75
|
-
"@aztec/noir-contracts.js": "0.0.1-commit.
|
|
82
|
+
"@aztec/noir-contracts.js": "0.0.1-commit.f8ca9b2f3",
|
|
76
83
|
"@jest/globals": "^30.0.0",
|
|
77
84
|
"@types/jest": "^30.0.0",
|
|
78
85
|
"@types/node": "^22.15.17",
|
|
@@ -1,8 +1,11 @@
|
|
|
1
1
|
import type { Account } from '@aztec/aztec.js/account';
|
|
2
2
|
import type { CallIntent, IntentInnerHash } from '@aztec/aztec.js/authorization';
|
|
3
|
+
import { type InteractionWaitOptions, NO_WAIT, type SendReturn } from '@aztec/aztec.js/contracts';
|
|
3
4
|
import type { FeePaymentMethod } from '@aztec/aztec.js/fee';
|
|
5
|
+
import { waitForTx } from '@aztec/aztec.js/node';
|
|
4
6
|
import type {
|
|
5
7
|
Aliased,
|
|
8
|
+
AppCapabilities,
|
|
6
9
|
BatchResults,
|
|
7
10
|
BatchedMethod,
|
|
8
11
|
PrivateEvent,
|
|
@@ -11,6 +14,7 @@ import type {
|
|
|
11
14
|
SendOptions,
|
|
12
15
|
SimulateOptions,
|
|
13
16
|
Wallet,
|
|
17
|
+
WalletCapabilities,
|
|
14
18
|
} from '@aztec/aztec.js/wallet';
|
|
15
19
|
import {
|
|
16
20
|
GAS_ESTIMATION_DA_GAS_LIMIT,
|
|
@@ -41,18 +45,19 @@ import { SimulationError } from '@aztec/stdlib/errors';
|
|
|
41
45
|
import { Gas, GasSettings } from '@aztec/stdlib/gas';
|
|
42
46
|
import { siloNullifier } from '@aztec/stdlib/hash';
|
|
43
47
|
import type { AztecNode } from '@aztec/stdlib/interfaces/client';
|
|
44
|
-
import
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
TxProfileResult,
|
|
48
|
-
TxReceipt,
|
|
48
|
+
import {
|
|
49
|
+
BlockHeader,
|
|
50
|
+
type TxExecutionRequest,
|
|
51
|
+
type TxProfileResult,
|
|
49
52
|
TxSimulationResult,
|
|
50
|
-
UtilitySimulationResult,
|
|
53
|
+
type UtilitySimulationResult,
|
|
51
54
|
} from '@aztec/stdlib/tx';
|
|
52
55
|
import { ExecutionPayload, mergeExecutionPayloads } from '@aztec/stdlib/tx';
|
|
53
56
|
|
|
54
57
|
import { inspect } from 'util';
|
|
55
58
|
|
|
59
|
+
import { buildMergedSimulationResult, extractOptimizablePublicStaticCalls, simulateViaNode } from './utils.js';
|
|
60
|
+
|
|
56
61
|
/**
|
|
57
62
|
* Options to configure fee payment for a transaction
|
|
58
63
|
*/
|
|
@@ -72,8 +77,6 @@ export type FeeOptions = {
|
|
|
72
77
|
* A base class for Wallet implementations
|
|
73
78
|
*/
|
|
74
79
|
export abstract class BaseWallet implements Wallet {
|
|
75
|
-
protected log = createLogger('wallet-sdk:base_wallet');
|
|
76
|
-
|
|
77
80
|
protected minFeePadding = 0.5;
|
|
78
81
|
protected cancellableTransactions = false;
|
|
79
82
|
|
|
@@ -81,6 +84,7 @@ export abstract class BaseWallet implements Wallet {
|
|
|
81
84
|
protected constructor(
|
|
82
85
|
protected readonly pxe: PXE,
|
|
83
86
|
protected readonly aztecNode: AztecNode,
|
|
87
|
+
protected log = createLogger('wallet-sdk:base_wallet'),
|
|
84
88
|
) {}
|
|
85
89
|
|
|
86
90
|
protected abstract getAccountFromAddress(address: AztecAddress): Promise<Account>;
|
|
@@ -119,15 +123,39 @@ export abstract class BaseWallet implements Wallet {
|
|
|
119
123
|
? mergeExecutionPayloads([feeExecutionPayload, executionPayload])
|
|
120
124
|
: executionPayload;
|
|
121
125
|
const fromAccount = await this.getAccountFromAddress(from);
|
|
122
|
-
|
|
126
|
+
const chainInfo = await this.getChainInfo();
|
|
127
|
+
return fromAccount.createTxExecutionRequest(
|
|
128
|
+
finalExecutionPayload,
|
|
129
|
+
feeOptions.gasSettings,
|
|
130
|
+
chainInfo,
|
|
131
|
+
executionOptions,
|
|
132
|
+
);
|
|
123
133
|
}
|
|
124
134
|
|
|
125
135
|
public async createAuthWit(
|
|
126
136
|
from: AztecAddress,
|
|
127
|
-
messageHashOrIntent:
|
|
137
|
+
messageHashOrIntent: IntentInnerHash | CallIntent,
|
|
128
138
|
): Promise<AuthWitness> {
|
|
129
139
|
const account = await this.getAccountFromAddress(from);
|
|
130
|
-
|
|
140
|
+
const chainInfo = await this.getChainInfo();
|
|
141
|
+
return account.createAuthWit(messageHashOrIntent, chainInfo);
|
|
142
|
+
}
|
|
143
|
+
|
|
144
|
+
/**
|
|
145
|
+
* Request capabilities from the wallet.
|
|
146
|
+
*
|
|
147
|
+
* This method is wallet-implementation-dependent and must be provided by classes extending BaseWallet.
|
|
148
|
+
* Embedded wallets typically don't support capability-based authorization (no user authorization flow),
|
|
149
|
+
* while external wallets (browser extensions, hardware wallets) implement this to reduce authorization
|
|
150
|
+
* friction by allowing apps to request permissions upfront.
|
|
151
|
+
*
|
|
152
|
+
* TODO: Consider making it abstract so implementing it is a conscious decision. Leaving it as-is
|
|
153
|
+
* while the feature stabilizes.
|
|
154
|
+
*
|
|
155
|
+
* @param _manifest - Application capability manifest declaring what operations the app needs
|
|
156
|
+
*/
|
|
157
|
+
public requestCapabilities(_manifest: AppCapabilities): Promise<WalletCapabilities> {
|
|
158
|
+
throw new Error('Not implemented');
|
|
131
159
|
}
|
|
132
160
|
|
|
133
161
|
public async batch<const T extends readonly BatchedMethod[]>(methods: T): Promise<BatchResults<T>> {
|
|
@@ -256,26 +284,89 @@ export abstract class BaseWallet implements Wallet {
|
|
|
256
284
|
return instance;
|
|
257
285
|
}
|
|
258
286
|
|
|
287
|
+
/**
|
|
288
|
+
* Simulates calls through the standard PXE path (account entrypoint).
|
|
289
|
+
* @param executionPayload - The execution payload to simulate.
|
|
290
|
+
* @param from - The sender address.
|
|
291
|
+
* @param feeOptions - Fee options for the transaction.
|
|
292
|
+
* @param skipTxValidation - Whether to skip tx validation.
|
|
293
|
+
* @param skipFeeEnforcement - Whether to skip fee enforcement.
|
|
294
|
+
*/
|
|
295
|
+
protected async simulateViaEntrypoint(
|
|
296
|
+
executionPayload: ExecutionPayload,
|
|
297
|
+
from: AztecAddress,
|
|
298
|
+
feeOptions: FeeOptions,
|
|
299
|
+
skipTxValidation?: boolean,
|
|
300
|
+
skipFeeEnforcement?: boolean,
|
|
301
|
+
) {
|
|
302
|
+
const txRequest = await this.createTxExecutionRequestFromPayloadAndFee(executionPayload, from, feeOptions);
|
|
303
|
+
return this.pxe.simulateTx(txRequest, { simulatePublic: true, skipTxValidation, skipFeeEnforcement });
|
|
304
|
+
}
|
|
305
|
+
|
|
306
|
+
/**
|
|
307
|
+
* Simulates a transaction, optimizing leading public static calls by running them directly
|
|
308
|
+
* on the node while sending the remaining calls through the standard PXE path.
|
|
309
|
+
* Return values from both paths are merged back in original call order.
|
|
310
|
+
* @param executionPayload - The execution payload to simulate.
|
|
311
|
+
* @param opts - Simulation options (from address, fee settings, etc.).
|
|
312
|
+
* @returns The merged simulation result.
|
|
313
|
+
*/
|
|
259
314
|
async simulateTx(executionPayload: ExecutionPayload, opts: SimulateOptions): Promise<TxSimulationResult> {
|
|
260
315
|
const feeOptions = opts.fee?.estimateGas
|
|
261
316
|
? await this.completeFeeOptionsForEstimation(opts.from, executionPayload.feePayer, opts.fee?.gasSettings)
|
|
262
317
|
: await this.completeFeeOptions(opts.from, executionPayload.feePayer, opts.fee?.gasSettings);
|
|
263
|
-
const
|
|
264
|
-
|
|
265
|
-
|
|
266
|
-
|
|
267
|
-
|
|
268
|
-
|
|
269
|
-
|
|
318
|
+
const { optimizableCalls, remainingCalls } = extractOptimizablePublicStaticCalls(executionPayload);
|
|
319
|
+
const remainingPayload = { ...executionPayload, calls: remainingCalls };
|
|
320
|
+
|
|
321
|
+
const chainInfo = await this.getChainInfo();
|
|
322
|
+
let blockHeader: BlockHeader;
|
|
323
|
+
// PXE might not be synced yet, so we pull the latest header from the node
|
|
324
|
+
// To keep things consistent, we'll always try with PXE first
|
|
325
|
+
try {
|
|
326
|
+
blockHeader = await this.pxe.getSyncedBlockHeader();
|
|
327
|
+
} catch {
|
|
328
|
+
blockHeader = (await this.aztecNode.getBlockHeader())!;
|
|
329
|
+
}
|
|
330
|
+
|
|
331
|
+
const [optimizedResults, normalResult] = await Promise.all([
|
|
332
|
+
optimizableCalls.length > 0
|
|
333
|
+
? simulateViaNode(
|
|
334
|
+
this.aztecNode,
|
|
335
|
+
optimizableCalls,
|
|
336
|
+
opts.from,
|
|
337
|
+
chainInfo,
|
|
338
|
+
feeOptions.gasSettings,
|
|
339
|
+
blockHeader,
|
|
340
|
+
opts.skipFeeEnforcement ?? true,
|
|
341
|
+
)
|
|
342
|
+
: Promise.resolve([]),
|
|
343
|
+
remainingCalls.length > 0
|
|
344
|
+
? this.simulateViaEntrypoint(
|
|
345
|
+
remainingPayload,
|
|
346
|
+
opts.from,
|
|
347
|
+
feeOptions,
|
|
348
|
+
opts.skipTxValidation,
|
|
349
|
+
opts.skipFeeEnforcement ?? true,
|
|
350
|
+
)
|
|
351
|
+
: Promise.resolve(null),
|
|
352
|
+
]);
|
|
353
|
+
|
|
354
|
+
return buildMergedSimulationResult(optimizedResults, normalResult);
|
|
270
355
|
}
|
|
271
356
|
|
|
272
357
|
async profileTx(executionPayload: ExecutionPayload, opts: ProfileOptions): Promise<TxProfileResult> {
|
|
273
358
|
const feeOptions = await this.completeFeeOptions(opts.from, executionPayload.feePayer, opts.fee?.gasSettings);
|
|
274
359
|
const txRequest = await this.createTxExecutionRequestFromPayloadAndFee(executionPayload, opts.from, feeOptions);
|
|
275
|
-
return this.pxe.profileTx(txRequest,
|
|
360
|
+
return this.pxe.profileTx(txRequest, {
|
|
361
|
+
profileMode: opts.profileMode,
|
|
362
|
+
skipProofGeneration: opts.skipProofGeneration ?? true,
|
|
363
|
+
});
|
|
276
364
|
}
|
|
277
365
|
|
|
278
|
-
async sendTx
|
|
366
|
+
public async sendTx<W extends InteractionWaitOptions = undefined>(
|
|
367
|
+
executionPayload: ExecutionPayload,
|
|
368
|
+
opts: SendOptions<W>,
|
|
369
|
+
): Promise<SendReturn<W>> {
|
|
279
370
|
const feeOptions = await this.completeFeeOptions(opts.from, executionPayload.feePayer, opts.fee?.gasSettings);
|
|
280
371
|
const txRequest = await this.createTxExecutionRequestFromPayloadAndFee(executionPayload, opts.from, feeOptions);
|
|
281
372
|
const provenTx = await this.pxe.proveTx(txRequest);
|
|
@@ -289,7 +380,15 @@ export abstract class BaseWallet implements Wallet {
|
|
|
289
380
|
throw this.contextualizeError(err, inspect(tx));
|
|
290
381
|
});
|
|
291
382
|
this.log.info(`Sent transaction ${txHash}`);
|
|
292
|
-
|
|
383
|
+
|
|
384
|
+
// If wait is NO_WAIT, return txHash immediately
|
|
385
|
+
if (opts.wait === NO_WAIT) {
|
|
386
|
+
return txHash as SendReturn<W>;
|
|
387
|
+
}
|
|
388
|
+
|
|
389
|
+
// Otherwise, wait for the full receipt (default behavior on wait: undefined)
|
|
390
|
+
const waitOpts = typeof opts.wait === 'object' ? opts.wait : undefined;
|
|
391
|
+
return (await waitForTx(this.aztecNode, txHash, waitOpts)) as SendReturn<W>;
|
|
293
392
|
}
|
|
294
393
|
|
|
295
394
|
protected contextualizeError(err: Error, ...context: string[]): Error {
|
|
@@ -307,11 +406,7 @@ export abstract class BaseWallet implements Wallet {
|
|
|
307
406
|
}
|
|
308
407
|
|
|
309
408
|
simulateUtility(call: FunctionCall, authwits?: AuthWitness[]): Promise<UtilitySimulationResult> {
|
|
310
|
-
return this.pxe.simulateUtility(call, authwits);
|
|
311
|
-
}
|
|
312
|
-
|
|
313
|
-
getTxReceipt(txHash: TxHash): Promise<TxReceipt> {
|
|
314
|
-
return this.aztecNode.getTxReceipt(txHash);
|
|
409
|
+
return this.pxe.simulateUtility(call, { authwits });
|
|
315
410
|
}
|
|
316
411
|
|
|
317
412
|
async getPrivateEvents<T>(
|
|
@@ -338,14 +433,7 @@ export abstract class BaseWallet implements Wallet {
|
|
|
338
433
|
const instance = await this.pxe.getContractInstance(address);
|
|
339
434
|
const initNullifier = await siloNullifier(address, address.toField());
|
|
340
435
|
const publiclyRegisteredContract = await this.aztecNode.getContract(address);
|
|
341
|
-
const
|
|
342
|
-
this.aztecNode.getNullifierMembershipWitness('latest', initNullifier),
|
|
343
|
-
publiclyRegisteredContract
|
|
344
|
-
? this.aztecNode.getContractClass(
|
|
345
|
-
publiclyRegisteredContract.currentContractClassId || instance?.currentContractClassId,
|
|
346
|
-
)
|
|
347
|
-
: undefined,
|
|
348
|
-
]);
|
|
436
|
+
const initNullifierMembershipWitness = await this.aztecNode.getNullifierMembershipWitness('latest', initNullifier);
|
|
349
437
|
const isContractUpdated =
|
|
350
438
|
publiclyRegisteredContract &&
|
|
351
439
|
!publiclyRegisteredContract.currentContractClassId.equals(publiclyRegisteredContract.originalContractClassId);
|
|
@@ -353,7 +441,6 @@ export abstract class BaseWallet implements Wallet {
|
|
|
353
441
|
instance: instance ?? undefined,
|
|
354
442
|
isContractInitialized: !!initNullifierMembershipWitness,
|
|
355
443
|
isContractPublished: !!publiclyRegisteredContract,
|
|
356
|
-
isContractClassPubliclyRegistered: !!publiclyRegisteredContractClass,
|
|
357
444
|
isContractUpdated: !!isContractUpdated,
|
|
358
445
|
updatedContractClassId: isContractUpdated ? publiclyRegisteredContract.currentContractClassId : undefined,
|
|
359
446
|
};
|
package/src/base-wallet/index.ts
CHANGED
|
@@ -0,0 +1,229 @@
|
|
|
1
|
+
import type { AztecNode } from '@aztec/aztec.js/node';
|
|
2
|
+
import { MAX_ENQUEUED_CALLS_PER_CALL } from '@aztec/constants';
|
|
3
|
+
import type { ChainInfo } from '@aztec/entrypoints/interfaces';
|
|
4
|
+
import { makeTuple } from '@aztec/foundation/array';
|
|
5
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
6
|
+
import type { Tuple } from '@aztec/foundation/serialize';
|
|
7
|
+
import { generateSimulatedProvingResult } from '@aztec/pxe/simulator';
|
|
8
|
+
import { type FunctionCall, FunctionSelector } from '@aztec/stdlib/abi';
|
|
9
|
+
import type { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
10
|
+
import type { GasSettings } from '@aztec/stdlib/gas';
|
|
11
|
+
import {
|
|
12
|
+
ClaimedLengthArray,
|
|
13
|
+
CountedPublicCallRequest,
|
|
14
|
+
PrivateCircuitPublicInputs,
|
|
15
|
+
PublicCallRequest,
|
|
16
|
+
} from '@aztec/stdlib/kernel';
|
|
17
|
+
import { ChonkProof } from '@aztec/stdlib/proofs';
|
|
18
|
+
import {
|
|
19
|
+
type BlockHeader,
|
|
20
|
+
type ExecutionPayload,
|
|
21
|
+
HashedValues,
|
|
22
|
+
PrivateCallExecutionResult,
|
|
23
|
+
PrivateExecutionResult,
|
|
24
|
+
PublicSimulationOutput,
|
|
25
|
+
Tx,
|
|
26
|
+
TxContext,
|
|
27
|
+
TxSimulationResult,
|
|
28
|
+
} from '@aztec/stdlib/tx';
|
|
29
|
+
|
|
30
|
+
/**
|
|
31
|
+
* Splits an execution payload into a leading prefix of public static calls
|
|
32
|
+
* (eligible for direct node simulation) and the remaining calls.
|
|
33
|
+
*
|
|
34
|
+
* Only a leading run of public static calls is eligible for optimization.
|
|
35
|
+
* Any non-public-static call may enqueue public state mutations
|
|
36
|
+
* (e.g. private calls can enqueue public calls), so all calls that follow
|
|
37
|
+
* must go through the normal simulation path to see the correct state.
|
|
38
|
+
*
|
|
39
|
+
*/
|
|
40
|
+
export function extractOptimizablePublicStaticCalls(payload: ExecutionPayload): {
|
|
41
|
+
/** Leading public static calls eligible for direct node simulation. */
|
|
42
|
+
optimizableCalls: FunctionCall[];
|
|
43
|
+
/** All remaining calls. */
|
|
44
|
+
remainingCalls: FunctionCall[];
|
|
45
|
+
} {
|
|
46
|
+
const splitIndex = payload.calls.findIndex(call => !call.isPublicStatic());
|
|
47
|
+
const boundary = splitIndex === -1 ? payload.calls.length : splitIndex;
|
|
48
|
+
return {
|
|
49
|
+
optimizableCalls: payload.calls.slice(0, boundary),
|
|
50
|
+
remainingCalls: payload.calls.slice(boundary),
|
|
51
|
+
};
|
|
52
|
+
}
|
|
53
|
+
|
|
54
|
+
/**
|
|
55
|
+
* Simulates a batch of public static calls by bypassing account entrypoint and private execution,
|
|
56
|
+
* directly constructing a minimal Tx and calling node.simulatePublicCalls.
|
|
57
|
+
*
|
|
58
|
+
* @param node - The Aztec node to simulate on.
|
|
59
|
+
* @param publicStaticCalls - Array of public static function calls (max MAX_ENQUEUED_CALLS_PER_CALL).
|
|
60
|
+
* @param from - The account address making the calls.
|
|
61
|
+
* @param chainInfo - Chain information (chainId and version).
|
|
62
|
+
* @param gasSettings - Gas settings for the transaction.
|
|
63
|
+
* @param blockHeader - Block header to use as anchor.
|
|
64
|
+
* @param skipFeeEnforcement - Whether to skip fee enforcement during simulation.
|
|
65
|
+
* @returns TxSimulationResult with public return values.
|
|
66
|
+
*/
|
|
67
|
+
async function simulateBatchViaNode(
|
|
68
|
+
node: AztecNode,
|
|
69
|
+
publicStaticCalls: FunctionCall[],
|
|
70
|
+
from: AztecAddress,
|
|
71
|
+
chainInfo: ChainInfo,
|
|
72
|
+
gasSettings: GasSettings,
|
|
73
|
+
blockHeader: BlockHeader,
|
|
74
|
+
skipFeeEnforcement: boolean,
|
|
75
|
+
): Promise<TxSimulationResult> {
|
|
76
|
+
const txContext = new TxContext(chainInfo.chainId, chainInfo.version, gasSettings);
|
|
77
|
+
|
|
78
|
+
const publicFunctionCalldata: HashedValues[] = [];
|
|
79
|
+
for (const call of publicStaticCalls) {
|
|
80
|
+
const calldata = await HashedValues.fromCalldata([call.selector.toField(), ...call.args]);
|
|
81
|
+
publicFunctionCalldata.push(calldata);
|
|
82
|
+
}
|
|
83
|
+
|
|
84
|
+
const publicCallRequests = makeTuple(MAX_ENQUEUED_CALLS_PER_CALL, i => {
|
|
85
|
+
const call = publicStaticCalls[i];
|
|
86
|
+
if (!call) {
|
|
87
|
+
return CountedPublicCallRequest.empty();
|
|
88
|
+
}
|
|
89
|
+
const publicCallRequest = new PublicCallRequest(from, call.to, call.isStatic, publicFunctionCalldata[i]!.hash);
|
|
90
|
+
// Counter starts at 1 (minRevertibleSideEffectCounter) so all calls are revertible
|
|
91
|
+
return new CountedPublicCallRequest(publicCallRequest, i + 1);
|
|
92
|
+
});
|
|
93
|
+
|
|
94
|
+
const publicCallRequestsArray: ClaimedLengthArray<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_CALL> =
|
|
95
|
+
new ClaimedLengthArray(
|
|
96
|
+
publicCallRequests as Tuple<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_CALL>,
|
|
97
|
+
publicStaticCalls.length,
|
|
98
|
+
);
|
|
99
|
+
|
|
100
|
+
const publicInputs = PrivateCircuitPublicInputs.from({
|
|
101
|
+
...PrivateCircuitPublicInputs.empty(),
|
|
102
|
+
anchorBlockHeader: blockHeader,
|
|
103
|
+
txContext: txContext,
|
|
104
|
+
publicCallRequests: publicCallRequestsArray,
|
|
105
|
+
startSideEffectCounter: new Fr(0),
|
|
106
|
+
endSideEffectCounter: new Fr(publicStaticCalls.length + 1),
|
|
107
|
+
});
|
|
108
|
+
|
|
109
|
+
// Minimal entrypoint structure — no real private execution, just public call requests
|
|
110
|
+
const emptyEntrypoint = new PrivateCallExecutionResult(
|
|
111
|
+
Buffer.alloc(0),
|
|
112
|
+
Buffer.alloc(0),
|
|
113
|
+
new Map(),
|
|
114
|
+
publicInputs,
|
|
115
|
+
[],
|
|
116
|
+
new Map(),
|
|
117
|
+
[],
|
|
118
|
+
[],
|
|
119
|
+
[],
|
|
120
|
+
[],
|
|
121
|
+
[],
|
|
122
|
+
);
|
|
123
|
+
|
|
124
|
+
const privateResult = new PrivateExecutionResult(emptyEntrypoint, Fr.random(), publicFunctionCalldata);
|
|
125
|
+
|
|
126
|
+
const provingResult = await generateSimulatedProvingResult(
|
|
127
|
+
privateResult,
|
|
128
|
+
(_contractAddress: AztecAddress, _functionSelector: FunctionSelector) => Promise.resolve(''),
|
|
129
|
+
1, // minRevertibleSideEffectCounter
|
|
130
|
+
);
|
|
131
|
+
|
|
132
|
+
provingResult.publicInputs.feePayer = from;
|
|
133
|
+
|
|
134
|
+
const tx = await Tx.create({
|
|
135
|
+
data: provingResult.publicInputs,
|
|
136
|
+
chonkProof: ChonkProof.empty(),
|
|
137
|
+
contractClassLogFields: [],
|
|
138
|
+
publicFunctionCalldata: publicFunctionCalldata,
|
|
139
|
+
});
|
|
140
|
+
|
|
141
|
+
const publicOutput = await node.simulatePublicCalls(tx, skipFeeEnforcement);
|
|
142
|
+
|
|
143
|
+
if (publicOutput.revertReason) {
|
|
144
|
+
throw publicOutput.revertReason;
|
|
145
|
+
}
|
|
146
|
+
|
|
147
|
+
return new TxSimulationResult(privateResult, provingResult.publicInputs, publicOutput, undefined);
|
|
148
|
+
}
|
|
149
|
+
|
|
150
|
+
/**
|
|
151
|
+
* Simulates public static calls by splitting them into batches of MAX_ENQUEUED_CALLS_PER_CALL
|
|
152
|
+
* and sending each batch directly to the node.
|
|
153
|
+
*
|
|
154
|
+
* @param node - The Aztec node to simulate on.
|
|
155
|
+
* @param publicStaticCalls - Array of public static function calls to optimize.
|
|
156
|
+
* @param from - The account address making the calls.
|
|
157
|
+
* @param chainInfo - Chain information (chainId and version).
|
|
158
|
+
* @param gasSettings - Gas settings for the transaction.
|
|
159
|
+
* @param blockHeader - Block header to use as anchor.
|
|
160
|
+
* @param skipFeeEnforcement - Whether to skip fee enforcement during simulation.
|
|
161
|
+
* @returns Array of TxSimulationResult, one per batch.
|
|
162
|
+
*/
|
|
163
|
+
export async function simulateViaNode(
|
|
164
|
+
node: AztecNode,
|
|
165
|
+
publicStaticCalls: FunctionCall[],
|
|
166
|
+
from: AztecAddress,
|
|
167
|
+
chainInfo: ChainInfo,
|
|
168
|
+
gasSettings: GasSettings,
|
|
169
|
+
blockHeader: BlockHeader,
|
|
170
|
+
skipFeeEnforcement: boolean = true,
|
|
171
|
+
): Promise<TxSimulationResult[]> {
|
|
172
|
+
const batches: FunctionCall[][] = [];
|
|
173
|
+
|
|
174
|
+
for (let i = 0; i < publicStaticCalls.length; i += MAX_ENQUEUED_CALLS_PER_CALL) {
|
|
175
|
+
batches.push(publicStaticCalls.slice(i, i + MAX_ENQUEUED_CALLS_PER_CALL));
|
|
176
|
+
}
|
|
177
|
+
|
|
178
|
+
const results: TxSimulationResult[] = [];
|
|
179
|
+
|
|
180
|
+
for (const batch of batches) {
|
|
181
|
+
const result = await simulateBatchViaNode(
|
|
182
|
+
node,
|
|
183
|
+
batch,
|
|
184
|
+
from,
|
|
185
|
+
chainInfo,
|
|
186
|
+
gasSettings,
|
|
187
|
+
blockHeader,
|
|
188
|
+
skipFeeEnforcement,
|
|
189
|
+
);
|
|
190
|
+
results.push(result);
|
|
191
|
+
}
|
|
192
|
+
|
|
193
|
+
return results;
|
|
194
|
+
}
|
|
195
|
+
|
|
196
|
+
/**
|
|
197
|
+
* Merges simulation results from the optimized (public static) and normal paths.
|
|
198
|
+
* Since optimized calls are always a leading prefix, return values are simply
|
|
199
|
+
* concatenated: optimized first, then normal.
|
|
200
|
+
* Stats are taken from the normal result only (the optimized path doesn't produce them).
|
|
201
|
+
*
|
|
202
|
+
* @param optimizedResults - Results from optimized public static call batches.
|
|
203
|
+
* @param normalResult - Result from normal simulation (null if all calls were optimized).
|
|
204
|
+
* @returns A single TxSimulationResult with return values in original call order.
|
|
205
|
+
*/
|
|
206
|
+
export function buildMergedSimulationResult(
|
|
207
|
+
optimizedResults: TxSimulationResult[],
|
|
208
|
+
normalResult: TxSimulationResult | null,
|
|
209
|
+
): TxSimulationResult {
|
|
210
|
+
const optimizedReturnValues = optimizedResults.flatMap(r => r.publicOutput?.publicReturnValues ?? []);
|
|
211
|
+
const normalReturnValues = normalResult?.publicOutput?.publicReturnValues ?? [];
|
|
212
|
+
const allReturnValues = [...optimizedReturnValues, ...normalReturnValues];
|
|
213
|
+
|
|
214
|
+
const baseResult = normalResult ?? optimizedResults[0];
|
|
215
|
+
|
|
216
|
+
const mergedPublicOutput: PublicSimulationOutput | undefined = baseResult.publicOutput
|
|
217
|
+
? {
|
|
218
|
+
...baseResult.publicOutput,
|
|
219
|
+
publicReturnValues: allReturnValues,
|
|
220
|
+
}
|
|
221
|
+
: undefined;
|
|
222
|
+
|
|
223
|
+
return new TxSimulationResult(
|
|
224
|
+
baseResult.privateExecutionResult,
|
|
225
|
+
baseResult.publicInputs,
|
|
226
|
+
mergedPublicOutput,
|
|
227
|
+
normalResult?.stats,
|
|
228
|
+
);
|
|
229
|
+
}
|