@aztec/end-to-end 4.0.0-nightly.20260113 → 4.0.0-nightly.20260115
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/bench/client_flows/client_flows_benchmark.d.ts +12 -13
- package/dest/bench/client_flows/client_flows_benchmark.d.ts.map +1 -1
- package/dest/bench/client_flows/client_flows_benchmark.js +104 -134
- package/dest/bench/utils.d.ts +1 -1
- package/dest/e2e_blacklist_token_contract/blacklist_token_contract_test.d.ts +6 -7
- package/dest/e2e_blacklist_token_contract/blacklist_token_contract_test.d.ts.map +1 -1
- package/dest/e2e_blacklist_token_contract/blacklist_token_contract_test.js +98 -113
- package/dest/e2e_cross_chain_messaging/cross_chain_messaging_test.d.ts +6 -7
- package/dest/e2e_cross_chain_messaging/cross_chain_messaging_test.d.ts.map +1 -1
- package/dest/e2e_cross_chain_messaging/cross_chain_messaging_test.js +65 -62
- package/dest/e2e_deploy_contract/deploy_test.d.ts +4 -3
- package/dest/e2e_deploy_contract/deploy_test.d.ts.map +1 -1
- package/dest/e2e_deploy_contract/deploy_test.js +18 -13
- package/dest/e2e_epochs/epochs_test.js +1 -1
- package/dest/e2e_fees/bridging_race.notest.js +2 -4
- package/dest/e2e_fees/fees_test.d.ts +13 -13
- package/dest/e2e_fees/fees_test.d.ts.map +1 -1
- package/dest/e2e_fees/fees_test.js +122 -140
- package/dest/e2e_l1_publisher/write_json.d.ts +1 -1
- package/dest/e2e_l1_publisher/write_json.d.ts.map +1 -1
- package/dest/e2e_l1_publisher/write_json.js +1 -0
- package/dest/e2e_nested_contract/nested_contract_test.d.ts +6 -9
- package/dest/e2e_nested_contract/nested_contract_test.d.ts.map +1 -1
- package/dest/e2e_nested_contract/nested_contract_test.js +32 -40
- package/dest/e2e_p2p/inactivity_slash_test.d.ts +3 -3
- package/dest/e2e_p2p/inactivity_slash_test.d.ts.map +1 -1
- package/dest/e2e_p2p/inactivity_slash_test.js +3 -3
- package/dest/e2e_p2p/p2p_network.d.ts +7 -6
- package/dest/e2e_p2p/p2p_network.d.ts.map +1 -1
- package/dest/e2e_p2p/p2p_network.js +106 -103
- package/dest/e2e_token_contract/token_contract_test.d.ts +16 -9
- package/dest/e2e_token_contract/token_contract_test.d.ts.map +1 -1
- package/dest/e2e_token_contract/token_contract_test.js +90 -92
- package/dest/fixtures/e2e_prover_test.d.ts +8 -14
- package/dest/fixtures/e2e_prover_test.d.ts.map +1 -1
- package/dest/fixtures/e2e_prover_test.js +82 -93
- package/dest/fixtures/setup.d.ts +216 -0
- package/dest/fixtures/setup.d.ts.map +1 -0
- package/dest/fixtures/setup.js +683 -0
- package/dest/fixtures/utils.d.ts +5 -191
- package/dest/fixtures/utils.d.ts.map +1 -1
- package/dest/fixtures/utils.js +4 -615
- package/dest/quality_of_service/prometheus_client.d.ts +38 -0
- package/dest/quality_of_service/prometheus_client.d.ts.map +1 -0
- package/dest/quality_of_service/prometheus_client.js +67 -0
- package/dest/shared/cross_chain_test_harness.d.ts +12 -1
- package/dest/shared/cross_chain_test_harness.d.ts.map +1 -1
- package/dest/shared/gas_portal_test_harness.d.ts +11 -1
- package/dest/shared/gas_portal_test_harness.d.ts.map +1 -1
- package/dest/simulators/lending_simulator.d.ts +5 -1
- package/dest/simulators/lending_simulator.d.ts.map +1 -1
- package/dest/spartan/tx_metrics.d.ts +4 -1
- package/dest/spartan/tx_metrics.d.ts.map +1 -1
- package/dest/spartan/tx_metrics.js +21 -1
- package/dest/spartan/utils.d.ts +5 -1
- package/dest/spartan/utils.d.ts.map +1 -1
- package/dest/spartan/utils.js +25 -8
- package/package.json +39 -39
- package/src/bench/client_flows/client_flows_benchmark.ts +142 -195
- package/src/e2e_blacklist_token_contract/blacklist_token_contract_test.ts +107 -142
- package/src/e2e_cross_chain_messaging/cross_chain_messaging_test.ts +99 -106
- package/src/e2e_deploy_contract/deploy_test.ts +21 -14
- package/src/e2e_epochs/epochs_test.ts +1 -1
- package/src/e2e_fees/bridging_race.notest.ts +2 -5
- package/src/e2e_fees/fees_test.ts +171 -213
- package/src/e2e_l1_publisher/write_json.ts +1 -0
- package/src/e2e_nested_contract/nested_contract_test.ts +35 -56
- package/src/e2e_p2p/inactivity_slash_test.ts +5 -5
- package/src/e2e_p2p/p2p_network.ts +165 -167
- package/src/e2e_token_contract/token_contract_test.ts +105 -118
- package/src/fixtures/e2e_prover_test.ts +107 -136
- package/src/fixtures/setup.ts +1009 -0
- package/src/fixtures/utils.ts +27 -901
- package/src/quality_of_service/prometheus_client.ts +113 -0
- package/src/spartan/tx_metrics.ts +21 -1
- package/src/spartan/utils.ts +26 -8
- package/dest/fixtures/snapshot_manager.d.ts +0 -93
- package/dest/fixtures/snapshot_manager.d.ts.map +0 -1
- package/dest/fixtures/snapshot_manager.js +0 -488
- package/src/fixtures/snapshot_manager.ts +0 -646
|
@@ -2,16 +2,17 @@ import { createLogger } from '@aztec/aztec.js/log';
|
|
|
2
2
|
import { TokenContract } from '@aztec/noir-contracts.js/Token';
|
|
3
3
|
import { InvalidAccountContract } from '@aztec/noir-test-contracts.js/InvalidAccount';
|
|
4
4
|
import { jest } from '@jest/globals';
|
|
5
|
-
import {
|
|
5
|
+
import { deployAccounts, publicDeployAccounts, setup, teardown } from '../fixtures/setup.js';
|
|
6
6
|
import { mintTokensToPrivate } from '../fixtures/token_utils.js';
|
|
7
7
|
import { TokenSimulator } from '../simulators/token_simulator.js';
|
|
8
|
-
const {
|
|
8
|
+
const { METRICS_PORT: metricsPort } = process.env;
|
|
9
9
|
export class TokenContractTest {
|
|
10
10
|
static TOKEN_NAME = 'USDC';
|
|
11
11
|
static TOKEN_SYMBOL = 'USD';
|
|
12
12
|
static TOKEN_DECIMALS = 18n;
|
|
13
|
-
|
|
13
|
+
context;
|
|
14
14
|
logger;
|
|
15
|
+
metricsPort;
|
|
15
16
|
asset;
|
|
16
17
|
tokenSim;
|
|
17
18
|
node;
|
|
@@ -20,107 +21,104 @@ export class TokenContractTest {
|
|
|
20
21
|
adminAddress;
|
|
21
22
|
account1Address;
|
|
22
23
|
account2Address;
|
|
24
|
+
shouldApplyBaseSetup = false;
|
|
25
|
+
shouldApplyMint = false;
|
|
23
26
|
constructor(testName){
|
|
24
27
|
this.logger = createLogger(`e2e:e2e_token_contract:${testName}`);
|
|
25
|
-
this.
|
|
26
|
-
|
|
27
|
-
|
|
28
|
+
this.metricsPort = metricsPort ? parseInt(metricsPort) : undefined;
|
|
29
|
+
}
|
|
30
|
+
/**
|
|
31
|
+
* Registers that base setup should be applied during setup().
|
|
32
|
+
* Call this before setup() to deploy 3 accounts, publicly deploy accounts, token contract and a "bad account".
|
|
33
|
+
*/ applyBaseSnapshots() {
|
|
34
|
+
this.shouldApplyBaseSetup = true;
|
|
35
|
+
}
|
|
36
|
+
/**
|
|
37
|
+
* Registers that mint should be applied during setup().
|
|
38
|
+
* Call this before setup() to mint tokens to the admin account.
|
|
39
|
+
*/ applyMintSnapshot() {
|
|
40
|
+
this.shouldApplyMint = true;
|
|
28
41
|
}
|
|
29
42
|
/**
|
|
30
|
-
*
|
|
31
|
-
|
|
32
|
-
* 2. Publicly deploy accounts, deploy token contract and a "bad account".
|
|
33
|
-
*/ async applyBaseSnapshots() {
|
|
43
|
+
* Applies base setup: deploys 3 accounts, publicly deploys accounts, token contract and a "bad account".
|
|
44
|
+
*/ async applyBaseSetup() {
|
|
34
45
|
// Adding a timeout of 2 minutes in here such that it is propagated to the underlying tests
|
|
35
46
|
jest.setTimeout(120_000);
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
this.wallet
|
|
39
|
-
|
|
40
|
-
return Promise.resolve();
|
|
47
|
+
this.logger.info('Applying base setup - deploying 3 accounts');
|
|
48
|
+
const { deployedAccounts } = await deployAccounts(3, this.logger)({
|
|
49
|
+
wallet: this.context.wallet,
|
|
50
|
+
initialFundedAccounts: this.context.initialFundedAccounts
|
|
41
51
|
});
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
this.tokenSim = new TokenSimulator(this.asset, this.wallet, this.adminAddress, this.logger, [
|
|
69
|
-
this.adminAddress,
|
|
70
|
-
this.account1Address
|
|
71
|
-
]);
|
|
72
|
-
this.badAccount = InvalidAccountContract.at(badAccountAddress, this.wallet);
|
|
73
|
-
this.logger.verbose(`Bad account address: ${this.badAccount.address}`);
|
|
74
|
-
expect(await this.asset.methods.get_admin().simulate({
|
|
75
|
-
from: this.adminAddress
|
|
76
|
-
})).toBe(this.adminAddress.toBigInt());
|
|
77
|
-
});
|
|
78
|
-
// TokenContract.artifact.functions.forEach(fn => {
|
|
79
|
-
// const sig = decodeFunctionSignature(fn.name, fn.parameters);
|
|
80
|
-
// logger.verbose(`Function ${sig} and the selector: ${FunctionSelector.fromNameAndParameters(fn.name, fn.parameters)}`);
|
|
81
|
-
// });
|
|
52
|
+
this.node = this.context.aztecNodeService;
|
|
53
|
+
this.wallet = this.context.wallet;
|
|
54
|
+
[this.adminAddress, this.account1Address, this.account2Address] = deployedAccounts.map((acc)=>acc.address);
|
|
55
|
+
this.logger.info('Applying base setup - deploying token contract');
|
|
56
|
+
this.logger.verbose(`Public deploy accounts...`);
|
|
57
|
+
await publicDeployAccounts(this.wallet, [
|
|
58
|
+
this.adminAddress,
|
|
59
|
+
this.account1Address
|
|
60
|
+
]);
|
|
61
|
+
this.logger.verbose(`Deploying TokenContract...`);
|
|
62
|
+
this.asset = await TokenContract.deploy(this.wallet, this.adminAddress, TokenContractTest.TOKEN_NAME, TokenContractTest.TOKEN_SYMBOL, TokenContractTest.TOKEN_DECIMALS).send({
|
|
63
|
+
from: this.adminAddress
|
|
64
|
+
}).deployed();
|
|
65
|
+
this.logger.verbose(`Token deployed to ${this.asset.address}`);
|
|
66
|
+
this.logger.verbose(`Deploying bad account...`);
|
|
67
|
+
this.badAccount = await InvalidAccountContract.deploy(this.wallet).send({
|
|
68
|
+
from: this.adminAddress
|
|
69
|
+
}).deployed();
|
|
70
|
+
this.logger.verbose(`Deployed to ${this.badAccount.address}.`);
|
|
71
|
+
this.tokenSim = new TokenSimulator(this.asset, this.wallet, this.adminAddress, this.logger, [
|
|
72
|
+
this.adminAddress,
|
|
73
|
+
this.account1Address
|
|
74
|
+
]);
|
|
75
|
+
expect(await this.asset.methods.get_admin().simulate({
|
|
76
|
+
from: this.adminAddress
|
|
77
|
+
})).toBe(this.adminAddress.toBigInt());
|
|
82
78
|
}
|
|
83
79
|
async setup() {
|
|
84
|
-
await
|
|
80
|
+
this.context = await setup(0, {
|
|
81
|
+
metricsPort: this.metricsPort,
|
|
82
|
+
fundSponsoredFPC: true,
|
|
83
|
+
skipAccountDeployment: true
|
|
84
|
+
});
|
|
85
|
+
if (this.shouldApplyBaseSetup) {
|
|
86
|
+
await this.applyBaseSetup();
|
|
87
|
+
}
|
|
88
|
+
if (this.shouldApplyMint) {
|
|
89
|
+
await this.applyMint();
|
|
90
|
+
}
|
|
85
91
|
}
|
|
86
|
-
snapshot = (name, apply, restore = ()=>Promise.resolve())=>this.snapshotManager.snapshot(name, apply, restore);
|
|
87
92
|
async teardown() {
|
|
88
|
-
await this.
|
|
93
|
+
await teardown(this.context);
|
|
89
94
|
}
|
|
90
|
-
async
|
|
91
|
-
|
|
92
|
-
|
|
93
|
-
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
|
|
98
|
-
|
|
99
|
-
|
|
100
|
-
|
|
101
|
-
|
|
102
|
-
|
|
103
|
-
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
|
|
107
|
-
|
|
108
|
-
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
|
|
112
|
-
|
|
113
|
-
|
|
114
|
-
from: adminAddress
|
|
115
|
-
});
|
|
116
|
-
this.logger.verbose(`Private balance of wallet 0: ${privateBalance}`);
|
|
117
|
-
expect(privateBalance).toEqual(tokenSim.balanceOfPrivate(adminAddress));
|
|
118
|
-
const totalSupply = await asset.methods.total_supply().simulate({
|
|
119
|
-
from: adminAddress
|
|
120
|
-
});
|
|
121
|
-
this.logger.verbose(`Total supply: ${totalSupply}`);
|
|
122
|
-
expect(totalSupply).toEqual(tokenSim.totalSupply);
|
|
123
|
-
return Promise.resolve();
|
|
95
|
+
async applyMint() {
|
|
96
|
+
this.logger.info('Applying mint setup');
|
|
97
|
+
const { asset, adminAddress, tokenSim } = this;
|
|
98
|
+
const amount = 10000n;
|
|
99
|
+
this.logger.verbose(`Minting ${amount} publicly...`);
|
|
100
|
+
await asset.methods.mint_to_public(adminAddress, amount).send({
|
|
101
|
+
from: adminAddress
|
|
102
|
+
}).wait();
|
|
103
|
+
tokenSim.mintPublic(adminAddress, amount);
|
|
104
|
+
const publicBalance = await asset.methods.balance_of_public(adminAddress).simulate({
|
|
105
|
+
from: adminAddress
|
|
106
|
+
});
|
|
107
|
+
this.logger.verbose(`Public balance of wallet 0: ${publicBalance}`);
|
|
108
|
+
expect(publicBalance).toEqual(this.tokenSim.balanceOfPublic(adminAddress));
|
|
109
|
+
this.logger.verbose(`Minting ${amount} privately...`);
|
|
110
|
+
await mintTokensToPrivate(asset, adminAddress, adminAddress, amount);
|
|
111
|
+
tokenSim.mintPrivate(adminAddress, amount);
|
|
112
|
+
const privateBalance = await asset.methods.balance_of_private(adminAddress).simulate({
|
|
113
|
+
from: adminAddress
|
|
114
|
+
});
|
|
115
|
+
this.logger.verbose(`Private balance of wallet 0: ${privateBalance}`);
|
|
116
|
+
expect(privateBalance).toEqual(tokenSim.balanceOfPrivate(adminAddress));
|
|
117
|
+
const totalSupply = await asset.methods.total_supply().simulate({
|
|
118
|
+
from: adminAddress
|
|
124
119
|
});
|
|
120
|
+
this.logger.verbose(`Total supply: ${totalSupply}`);
|
|
121
|
+
expect(totalSupply).toEqual(tokenSim.totalSupply);
|
|
122
|
+
this.logger.verbose(`Minting complete.`);
|
|
125
123
|
}
|
|
126
124
|
}
|
|
@@ -10,7 +10,7 @@ import type { ContractInstanceWithAddress } from '@aztec/stdlib/contract';
|
|
|
10
10
|
import type { AztecNodeAdmin } from '@aztec/stdlib/interfaces/client';
|
|
11
11
|
import { TestWallet } from '@aztec/test-wallet/server';
|
|
12
12
|
import { TokenSimulator } from '../simulators/token_simulator.js';
|
|
13
|
-
import { type
|
|
13
|
+
import { type EndToEndContext } from './setup.js';
|
|
14
14
|
/**
|
|
15
15
|
* Largely taken from the e2e_token_contract test file. We deploy 2 accounts and a token contract.
|
|
16
16
|
* However, we then setup a second PXE with a full prover instance.
|
|
@@ -18,12 +18,9 @@ import { type SubsystemsContext } from './snapshot_manager.js';
|
|
|
18
18
|
* We then prove and verify transactions created via this full prover PXE.
|
|
19
19
|
*/
|
|
20
20
|
export declare class FullProverTest {
|
|
21
|
-
private minNumberOfTxsPerBlock;
|
|
22
|
-
private realProofs;
|
|
23
21
|
static TOKEN_NAME: string;
|
|
24
22
|
static TOKEN_SYMBOL: string;
|
|
25
23
|
static TOKEN_DECIMALS: bigint;
|
|
26
|
-
private snapshotManager;
|
|
27
24
|
logger: Logger;
|
|
28
25
|
wallet: TestWallet;
|
|
29
26
|
provenWallet: TestWallet;
|
|
@@ -40,22 +37,19 @@ export declare class FullProverTest {
|
|
|
40
37
|
private acvmConfigCleanup?;
|
|
41
38
|
circuitProofVerifier?: ClientProtocolCircuitVerifier;
|
|
42
39
|
provenAsset: TokenContract;
|
|
43
|
-
|
|
40
|
+
context: EndToEndContext;
|
|
44
41
|
private proverNode;
|
|
45
42
|
private simulatedProverNode;
|
|
46
43
|
l1Contracts: DeployAztecL1ContractsReturnType;
|
|
47
44
|
proverAddress: EthAddress;
|
|
45
|
+
private minNumberOfTxsPerBlock;
|
|
46
|
+
private coinbase;
|
|
47
|
+
private realProofs;
|
|
48
48
|
constructor(testName: string, minNumberOfTxsPerBlock: number, coinbase: EthAddress, realProofs?: boolean);
|
|
49
|
-
|
|
50
|
-
* Adds two state shifts to snapshot manager.
|
|
51
|
-
* 1. Add 2 accounts.
|
|
52
|
-
* 2. Publicly deploy accounts, deploy token contract
|
|
53
|
-
*/
|
|
54
|
-
applyBaseSnapshots(): Promise<void>;
|
|
49
|
+
private applyBaseSetup;
|
|
55
50
|
setup(): Promise<this>;
|
|
56
51
|
private mintFeeJuice;
|
|
57
|
-
snapshot: <T>(name: string, apply: (context: SubsystemsContext) => Promise<T>, restore?: (snapshotData: T, context: SubsystemsContext) => Promise<void>) => Promise<void>;
|
|
58
52
|
teardown(): Promise<void>;
|
|
59
|
-
|
|
53
|
+
private applyMint;
|
|
60
54
|
}
|
|
61
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
55
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZTJlX3Byb3Zlcl90ZXN0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZml4dHVyZXMvZTJlX3Byb3Zlcl90ZXN0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFbEUsT0FBTyxFQUFFLFlBQVksRUFBRSxVQUFVLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUNyRSxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQWdCLE1BQU0scUJBQXFCLENBQUM7QUFDaEUsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDdEQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQ2xELE9BQU8sRUFFTCxLQUFLLDZCQUE2QixFQUduQyxNQUFNLGtCQUFrQixDQUFDO0FBRzFCLE9BQU8sS0FBSyxFQUFFLGdDQUFnQyxFQUFFLE1BQU0sMkNBQTJDLENBQUM7QUFJbEcsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRS9ELE9BQU8sS0FBSyxFQUFFLDJCQUEyQixFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDMUUsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDdEUsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBTXZELE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSxrQ0FBa0MsQ0FBQztBQUdsRSxPQUFPLEVBQ0wsS0FBSyxlQUFlLEVBUXJCLE1BQU0sWUFBWSxDQUFDO0FBT3BCOzs7OztHQUtHO0FBRUgscUJBQWEsY0FBYztJQUN6QixNQUFNLENBQUMsVUFBVSxTQUFVO0lBQzNCLE1BQU0sQ0FBQyxZQUFZLFNBQVM7SUFDNUIsTUFBTSxDQUFDLGNBQWMsU0FBTztJQUM1QixNQUFNLEVBQUUsTUFBTSxDQUFDO0lBQ2YsTUFBTSxFQUFHLFVBQVUsQ0FBQztJQUNwQixZQUFZLEVBQUcsVUFBVSxDQUFDO0lBQzFCLFFBQVEsRUFBRSxZQUFZLEVBQUUsQ0FBTTtJQUM5QixnQkFBZ0IsRUFBRyxrQkFBa0IsRUFBRSxDQUFDO0lBQ3hDLGVBQWUsRUFBRyxhQUFhLENBQUM7SUFDaEMsdUJBQXVCLEVBQUcsMkJBQTJCLENBQUM7SUFDdEQsUUFBUSxFQUFHLGNBQWMsQ0FBQztJQUMxQixTQUFTLEVBQUcsU0FBUyxDQUFDO0lBQ3RCLGNBQWMsRUFBRyxjQUFjLENBQUM7SUFDaEMsVUFBVSxFQUFHLFVBQVUsQ0FBQztJQUN4QixPQUFPLENBQUMsZ0JBQWdCLENBQXFCO0lBQzdDLE9BQU8sQ0FBQyxlQUFlLENBQUMsQ0FBc0I7SUFDOUMsT0FBTyxDQUFDLGlCQUFpQixDQUFDLENBQXNCO0lBQ2hELG9CQUFvQixDQUFDLEVBQUUsNkJBQTZCLENBQUM7SUFDckQsV0FBVyxFQUFHLGFBQWEsQ0FBQztJQUM1QixPQUFPLEVBQUcsZUFBZSxDQUFDO0lBQzFCLE9BQU8sQ0FBQyxVQUFVLENBQWM7SUFDaEMsT0FBTyxDQUFDLG1CQUFtQixDQUFjO0lBQ2xDLFdBQVcsRUFBRyxnQ0FBZ0MsQ0FBQztJQUMvQyxhQUFhLEVBQUcsVUFBVSxDQUFDO0lBQ2xDLE9BQU8sQ0FBQyxzQkFBc0IsQ0FBUztJQUN2QyxPQUFPLENBQUMsUUFBUSxDQUFhO0lBQzdCLE9BQU8sQ0FBQyxVQUFVLENBQVU7SUFFNUIsWUFBWSxRQUFRLEVBQUUsTUFBTSxFQUFFLHNCQUFzQixFQUFFLE1BQU0sRUFBRSxRQUFRLEVBQUUsVUFBVSxFQUFFLFVBQVUsVUFBTyxFQUtwRztZQUthLGNBQWM7SUF1Q3RCLEtBQUssa0JBZ0pWO1lBRWEsWUFBWTtJQVNwQixRQUFRLGtCQWNiO1lBRWEsU0FBUztDQXFDeEIifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"e2e_prover_test.d.ts","sourceRoot":"","sources":["../../src/fixtures/e2e_prover_test.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAElE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,qBAAqB,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAEL,KAAK,6BAA6B,EAGnC,MAAM,kBAAkB,CAAC;AAG1B,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAIlG,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAMvD,OAAO,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAGlE,OAAO,
|
|
1
|
+
{"version":3,"file":"e2e_prover_test.d.ts","sourceRoot":"","sources":["../../src/fixtures/e2e_prover_test.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAElE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,qBAAqB,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAEL,KAAK,6BAA6B,EAGnC,MAAM,kBAAkB,CAAC;AAG1B,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAIlG,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAMvD,OAAO,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAGlE,OAAO,EACL,KAAK,eAAe,EAQrB,MAAM,YAAY,CAAC;AAOpB;;;;;GAKG;AAEH,qBAAa,cAAc;IACzB,MAAM,CAAC,UAAU,SAAU;IAC3B,MAAM,CAAC,YAAY,SAAS;IAC5B,MAAM,CAAC,cAAc,SAAO;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAG,UAAU,CAAC;IACpB,YAAY,EAAG,UAAU,CAAC;IAC1B,QAAQ,EAAE,YAAY,EAAE,CAAM;IAC9B,gBAAgB,EAAG,kBAAkB,EAAE,CAAC;IACxC,eAAe,EAAG,aAAa,CAAC;IAChC,uBAAuB,EAAG,2BAA2B,CAAC;IACtD,QAAQ,EAAG,cAAc,CAAC;IAC1B,SAAS,EAAG,SAAS,CAAC;IACtB,cAAc,EAAG,cAAc,CAAC;IAChC,UAAU,EAAG,UAAU,CAAC;IACxB,OAAO,CAAC,gBAAgB,CAAqB;IAC7C,OAAO,CAAC,eAAe,CAAC,CAAsB;IAC9C,OAAO,CAAC,iBAAiB,CAAC,CAAsB;IAChD,oBAAoB,CAAC,EAAE,6BAA6B,CAAC;IACrD,WAAW,EAAG,aAAa,CAAC;IAC5B,OAAO,EAAG,eAAe,CAAC;IAC1B,OAAO,CAAC,UAAU,CAAc;IAChC,OAAO,CAAC,mBAAmB,CAAc;IAClC,WAAW,EAAG,gCAAgC,CAAC;IAC/C,aAAa,EAAG,UAAU,CAAC;IAClC,OAAO,CAAC,sBAAsB,CAAS;IACvC,OAAO,CAAC,QAAQ,CAAa;IAC7B,OAAO,CAAC,UAAU,CAAU;IAE5B,YAAY,QAAQ,EAAE,MAAM,EAAE,sBAAsB,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,UAAO,EAKpG;YAKa,cAAc;IAuCtB,KAAK,kBAgJV;YAEa,YAAY;IASpB,QAAQ,kBAcb;YAEa,SAAS;CAqCxB"}
|
|
@@ -15,25 +15,20 @@ import { privateKeyToAddress } from 'viem/accounts';
|
|
|
15
15
|
import { TokenSimulator } from '../simulators/token_simulator.js';
|
|
16
16
|
import { getACVMConfig } from './get_acvm_config.js';
|
|
17
17
|
import { getBBConfig } from './get_bb_config.js';
|
|
18
|
-
import {
|
|
19
|
-
import { getPrivateKeyFromIndex, getSponsoredFPCAddress, setupPXEAndGetWallet } from './utils.js';
|
|
20
|
-
const { E2E_DATA_PATH: dataPath } = process.env;
|
|
18
|
+
import { deployAccounts, getPrivateKeyFromIndex, getSponsoredFPCAddress, publicDeployAccounts, setup, setupPXEAndGetWallet, teardown } from './setup.js';
|
|
21
19
|
/**
|
|
22
20
|
* Largely taken from the e2e_token_contract test file. We deploy 2 accounts and a token contract.
|
|
23
21
|
* However, we then setup a second PXE with a full prover instance.
|
|
24
22
|
* We configure this instance with all of the accounts and contracts.
|
|
25
23
|
* We then prove and verify transactions created via this full prover PXE.
|
|
26
24
|
*/ export class FullProverTest {
|
|
27
|
-
minNumberOfTxsPerBlock;
|
|
28
|
-
realProofs;
|
|
29
25
|
static TOKEN_NAME = 'USDC';
|
|
30
26
|
static TOKEN_SYMBOL = 'USD';
|
|
31
27
|
static TOKEN_DECIMALS = 18n;
|
|
32
|
-
snapshotManager;
|
|
33
28
|
logger;
|
|
34
29
|
wallet;
|
|
35
30
|
provenWallet;
|
|
36
|
-
accounts;
|
|
31
|
+
accounts = [];
|
|
37
32
|
deployedAccounts;
|
|
38
33
|
fakeProofsAsset;
|
|
39
34
|
fakeProofsAssetInstance;
|
|
@@ -41,7 +36,7 @@ const { E2E_DATA_PATH: dataPath } = process.env;
|
|
|
41
36
|
aztecNode;
|
|
42
37
|
aztecNodeAdmin;
|
|
43
38
|
cheatCodes;
|
|
44
|
-
provenComponents;
|
|
39
|
+
provenComponents = [];
|
|
45
40
|
bbConfigCleanup;
|
|
46
41
|
acvmConfigCleanup;
|
|
47
42
|
circuitProofVerifier;
|
|
@@ -51,63 +46,62 @@ const { E2E_DATA_PATH: dataPath } = process.env;
|
|
|
51
46
|
simulatedProverNode;
|
|
52
47
|
l1Contracts;
|
|
53
48
|
proverAddress;
|
|
49
|
+
minNumberOfTxsPerBlock;
|
|
50
|
+
coinbase;
|
|
51
|
+
realProofs;
|
|
54
52
|
constructor(testName, minNumberOfTxsPerBlock, coinbase, realProofs = true){
|
|
53
|
+
this.logger = createLogger(`e2e:full_prover_test:${testName}`);
|
|
55
54
|
this.minNumberOfTxsPerBlock = minNumberOfTxsPerBlock;
|
|
55
|
+
this.coinbase = coinbase;
|
|
56
56
|
this.realProofs = realProofs;
|
|
57
|
-
this.accounts = [];
|
|
58
|
-
this.provenComponents = [];
|
|
59
|
-
this.snapshot = (name, apply, restore = ()=>Promise.resolve())=>this.snapshotManager.snapshot(name, apply, restore);
|
|
60
|
-
this.logger = createLogger(`e2e:full_prover_test:${testName}`);
|
|
61
|
-
this.snapshotManager = createSnapshotManager(`full_prover_integration/${testName}`, dataPath, {
|
|
62
|
-
startProverNode: true,
|
|
63
|
-
coinbase
|
|
64
|
-
}, {
|
|
65
|
-
realVerifier: realProofs
|
|
66
|
-
});
|
|
67
57
|
}
|
|
68
58
|
/**
|
|
69
|
-
*
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
this.
|
|
75
|
-
this.accounts = deployedAccounts.map((a)=>a.address);
|
|
76
|
-
this.wallet = wallet;
|
|
77
|
-
return Promise.resolve();
|
|
78
|
-
});
|
|
79
|
-
await this.snapshotManager.snapshot('client_prover_integration', async ()=>{
|
|
80
|
-
// Create the token contract state.
|
|
81
|
-
// Move this account thing to addAccounts above?
|
|
82
|
-
this.logger.verbose(`Public deploy accounts...`);
|
|
83
|
-
await publicDeployAccounts(this.wallet, this.accounts.slice(0, 2));
|
|
84
|
-
this.logger.verbose(`Deploying TokenContract...`);
|
|
85
|
-
const { contract: asset, instance } = await TokenContract.deploy(this.wallet, this.accounts[0], FullProverTest.TOKEN_NAME, FullProverTest.TOKEN_SYMBOL, FullProverTest.TOKEN_DECIMALS).send({
|
|
86
|
-
from: this.accounts[0]
|
|
87
|
-
}).wait();
|
|
88
|
-
this.logger.verbose(`Token deployed to ${asset.address}`);
|
|
89
|
-
return {
|
|
90
|
-
tokenContractAddress: asset.address,
|
|
91
|
-
tokenContractInstance: instance
|
|
92
|
-
};
|
|
93
|
-
}, async ({ tokenContractAddress, tokenContractInstance })=>{
|
|
94
|
-
// Restore the token contract state.
|
|
95
|
-
this.fakeProofsAsset = TokenContract.at(tokenContractAddress, this.wallet);
|
|
96
|
-
this.fakeProofsAssetInstance = tokenContractInstance;
|
|
97
|
-
this.logger.verbose(`Token contract address: ${this.fakeProofsAsset.address}`);
|
|
98
|
-
this.tokenSim = new TokenSimulator(this.fakeProofsAsset, this.wallet, this.accounts[0], this.logger, this.accounts);
|
|
99
|
-
expect(await this.fakeProofsAsset.methods.get_admin().simulate({
|
|
100
|
-
from: this.accounts[0]
|
|
101
|
-
})).toBe(this.accounts[0].toBigInt());
|
|
59
|
+
* Applies base setup: deploys 2 accounts and token contract.
|
|
60
|
+
*/ async applyBaseSetup() {
|
|
61
|
+
this.logger.info('Applying base setup: deploying accounts');
|
|
62
|
+
const { deployedAccounts } = await deployAccounts(2, this.logger)({
|
|
63
|
+
wallet: this.context.wallet,
|
|
64
|
+
initialFundedAccounts: this.context.initialFundedAccounts
|
|
102
65
|
});
|
|
66
|
+
this.deployedAccounts = deployedAccounts;
|
|
67
|
+
this.accounts = deployedAccounts.map((a)=>a.address);
|
|
68
|
+
this.wallet = this.context.wallet;
|
|
69
|
+
this.logger.info('Applying base setup: publicly deploying accounts');
|
|
70
|
+
await publicDeployAccounts(this.wallet, this.accounts.slice(0, 2));
|
|
71
|
+
this.logger.info('Applying base setup: deploying token contract');
|
|
72
|
+
const { contract: asset, instance } = await TokenContract.deploy(this.wallet, this.accounts[0], FullProverTest.TOKEN_NAME, FullProverTest.TOKEN_SYMBOL, FullProverTest.TOKEN_DECIMALS).send({
|
|
73
|
+
from: this.accounts[0]
|
|
74
|
+
}).wait();
|
|
75
|
+
this.logger.verbose(`Token deployed to ${asset.address}`);
|
|
76
|
+
this.fakeProofsAsset = asset;
|
|
77
|
+
this.fakeProofsAssetInstance = instance;
|
|
78
|
+
this.logger.verbose(`Token contract address: ${this.fakeProofsAsset.address}`);
|
|
79
|
+
this.tokenSim = new TokenSimulator(this.fakeProofsAsset, this.wallet, this.accounts[0], this.logger, this.accounts);
|
|
80
|
+
expect(await this.fakeProofsAsset.methods.get_admin().simulate({
|
|
81
|
+
from: this.accounts[0]
|
|
82
|
+
})).toBe(this.accounts[0].toBigInt());
|
|
103
83
|
}
|
|
104
84
|
async setup() {
|
|
105
|
-
this.
|
|
85
|
+
this.logger.info('Setting up subsystems from fresh');
|
|
86
|
+
this.context = await setup(0, {
|
|
87
|
+
startProverNode: true,
|
|
88
|
+
coinbase: this.coinbase,
|
|
89
|
+
fundSponsoredFPC: true,
|
|
90
|
+
skipAccountDeployment: true,
|
|
91
|
+
l1ContractsArgs: {
|
|
92
|
+
realVerifier: this.realProofs
|
|
93
|
+
}
|
|
94
|
+
});
|
|
95
|
+
await this.applyBaseSetup();
|
|
96
|
+
await this.applyMint();
|
|
97
|
+
this.logger.info(`Enabling proving`, {
|
|
98
|
+
realProofs: this.realProofs
|
|
99
|
+
});
|
|
106
100
|
// We don't wish to mark as proven automatically, so we set the flag to false
|
|
107
101
|
this.context.watcher.setIsMarkingAsProven(false);
|
|
108
102
|
this.simulatedProverNode = this.context.proverNode;
|
|
109
103
|
({ aztecNode: this.aztecNode, deployL1ContractsValues: this.l1Contracts, cheatCodes: this.cheatCodes } = this.context);
|
|
110
|
-
this.aztecNodeAdmin = this.context.
|
|
104
|
+
this.aztecNodeAdmin = this.context.aztecNodeService;
|
|
111
105
|
const config = this.context.aztecNodeConfig;
|
|
112
106
|
const blobClient = await createBlobClientWithFileStores(config, this.logger);
|
|
113
107
|
// Configure a full prover PXE
|
|
@@ -212,7 +206,9 @@ const { E2E_DATA_PATH: dataPath } = process.env;
|
|
|
212
206
|
prefilledPublicData
|
|
213
207
|
});
|
|
214
208
|
await this.proverNode.start();
|
|
215
|
-
this.logger.warn(`Proofs are now enabled
|
|
209
|
+
this.logger.warn(`Proofs are now enabled`, {
|
|
210
|
+
realProofs: this.realProofs
|
|
211
|
+
});
|
|
216
212
|
return this;
|
|
217
213
|
}
|
|
218
214
|
async mintFeeJuice(recipient) {
|
|
@@ -231,9 +227,7 @@ const { E2E_DATA_PATH: dataPath } = process.env;
|
|
|
231
227
|
hash
|
|
232
228
|
});
|
|
233
229
|
}
|
|
234
|
-
snapshot;
|
|
235
230
|
async teardown() {
|
|
236
|
-
await this.snapshotManager.teardown();
|
|
237
231
|
// Cleanup related to the full prover PXEs
|
|
238
232
|
for(let i = 0; i < this.provenComponents.length; i++){
|
|
239
233
|
await this.provenComponents[i].teardown();
|
|
@@ -243,44 +237,39 @@ const { E2E_DATA_PATH: dataPath } = process.env;
|
|
|
243
237
|
await Barretenberg.destroySingleton();
|
|
244
238
|
await this.bbConfigCleanup?.();
|
|
245
239
|
await this.acvmConfigCleanup?.();
|
|
240
|
+
await teardown(this.context);
|
|
246
241
|
}
|
|
247
|
-
async
|
|
248
|
-
|
|
249
|
-
|
|
250
|
-
|
|
251
|
-
|
|
252
|
-
|
|
253
|
-
|
|
254
|
-
|
|
255
|
-
|
|
256
|
-
|
|
257
|
-
|
|
258
|
-
|
|
259
|
-
|
|
260
|
-
|
|
261
|
-
|
|
262
|
-
|
|
263
|
-
|
|
264
|
-
|
|
265
|
-
|
|
266
|
-
|
|
267
|
-
|
|
268
|
-
|
|
269
|
-
|
|
270
|
-
|
|
271
|
-
|
|
272
|
-
|
|
273
|
-
|
|
274
|
-
|
|
275
|
-
|
|
276
|
-
this.logger.verbose(`Private balance of wallet 0: ${privateBalance}`);
|
|
277
|
-
expect(privateBalance).toEqual(tokenSim.balanceOfPrivate(address));
|
|
278
|
-
const totalSupply = await asset.methods.total_supply().simulate({
|
|
279
|
-
from: address
|
|
280
|
-
});
|
|
281
|
-
this.logger.verbose(`Total supply: ${totalSupply}`);
|
|
282
|
-
expect(totalSupply).toEqual(tokenSim.totalSupply);
|
|
283
|
-
return Promise.resolve();
|
|
242
|
+
async applyMint() {
|
|
243
|
+
this.logger.info('Applying mint setup');
|
|
244
|
+
const { fakeProofsAsset: asset, accounts } = this;
|
|
245
|
+
const privateAmount = 10000n;
|
|
246
|
+
const publicAmount = 10000n;
|
|
247
|
+
this.logger.verbose(`Minting ${privateAmount + publicAmount} publicly...`);
|
|
248
|
+
await asset.methods.mint_to_public(accounts[0], privateAmount + publicAmount).send({
|
|
249
|
+
from: accounts[0]
|
|
250
|
+
}).wait();
|
|
251
|
+
this.logger.verbose(`Transferring ${privateAmount} to private...`);
|
|
252
|
+
await asset.methods.transfer_to_private(accounts[0], privateAmount).send({
|
|
253
|
+
from: accounts[0]
|
|
254
|
+
}).wait();
|
|
255
|
+
this.logger.info(`Minting complete`);
|
|
256
|
+
const { fakeProofsAsset, accounts: [address], tokenSim } = this;
|
|
257
|
+
tokenSim.mintPublic(address, publicAmount);
|
|
258
|
+
const publicBalance = await fakeProofsAsset.methods.balance_of_public(address).simulate({
|
|
259
|
+
from: address
|
|
260
|
+
});
|
|
261
|
+
this.logger.verbose(`Public balance of wallet 0: ${publicBalance}`);
|
|
262
|
+
expect(publicBalance).toEqual(this.tokenSim.balanceOfPublic(address));
|
|
263
|
+
tokenSim.mintPrivate(address, publicAmount);
|
|
264
|
+
const privateBalance = await fakeProofsAsset.methods.balance_of_private(address).simulate({
|
|
265
|
+
from: address
|
|
266
|
+
});
|
|
267
|
+
this.logger.verbose(`Private balance of wallet 0: ${privateBalance}`);
|
|
268
|
+
expect(privateBalance).toEqual(tokenSim.balanceOfPrivate(address));
|
|
269
|
+
const totalSupply = await fakeProofsAsset.methods.total_supply().simulate({
|
|
270
|
+
from: address
|
|
284
271
|
});
|
|
272
|
+
this.logger.verbose(`Total supply: ${totalSupply}`);
|
|
273
|
+
expect(totalSupply).toEqual(tokenSim.totalSupply);
|
|
285
274
|
}
|
|
286
275
|
}
|