@aztec/p2p 4.0.0-devnet.2-patch.4 → 4.0.0-devnet.3-patch.0
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 +129 -3
- package/dest/client/factory.d.ts +4 -5
- package/dest/client/factory.d.ts.map +1 -1
- package/dest/client/factory.js +30 -28
- package/dest/client/interface.d.ts +8 -13
- package/dest/client/interface.d.ts.map +1 -1
- package/dest/client/p2p_client.d.ts +6 -13
- package/dest/client/p2p_client.d.ts.map +1 -1
- package/dest/client/p2p_client.js +22 -88
- package/dest/client/test/tx_proposal_collector/proposal_tx_collector_worker.js +2 -4
- package/dest/config.d.ts +29 -10
- package/dest/config.d.ts.map +1 -1
- package/dest/config.js +80 -31
- package/dest/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.d.ts +1 -1
- package/dest/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.js +2 -1
- package/dest/mem_pools/tx_pool/priority.d.ts +2 -2
- package/dest/mem_pools/tx_pool/priority.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool/priority.js +4 -4
- package/dest/mem_pools/tx_pool/tx_pool_test_suite.d.ts +1 -1
- package/dest/mem_pools/tx_pool/tx_pool_test_suite.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool/tx_pool_test_suite.js +3 -1
- package/dest/mem_pools/tx_pool_v2/eviction/fee_payer_balance_eviction_rule.d.ts +1 -1
- package/dest/mem_pools/tx_pool_v2/eviction/fee_payer_balance_eviction_rule.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool_v2/eviction/fee_payer_balance_eviction_rule.js +3 -2
- package/dest/mem_pools/tx_pool_v2/eviction/fee_payer_balance_pre_add_rule.d.ts +1 -1
- package/dest/mem_pools/tx_pool_v2/eviction/fee_payer_balance_pre_add_rule.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool_v2/eviction/fee_payer_balance_pre_add_rule.js +2 -0
- package/dest/mem_pools/tx_pool_v2/eviction/interfaces.d.ts +7 -1
- package/dest/mem_pools/tx_pool_v2/eviction/interfaces.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool_v2/eviction/invalid_txs_after_reorg_rule.js +2 -2
- package/dest/mem_pools/tx_pool_v2/eviction/low_priority_eviction_rule.d.ts +2 -2
- package/dest/mem_pools/tx_pool_v2/eviction/low_priority_eviction_rule.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool_v2/eviction/low_priority_eviction_rule.js +10 -6
- package/dest/mem_pools/tx_pool_v2/eviction/low_priority_pre_add_rule.d.ts +1 -1
- package/dest/mem_pools/tx_pool_v2/eviction/low_priority_pre_add_rule.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool_v2/eviction/low_priority_pre_add_rule.js +8 -6
- package/dest/mem_pools/tx_pool_v2/eviction/nullifier_conflict_rule.d.ts +2 -2
- package/dest/mem_pools/tx_pool_v2/eviction/nullifier_conflict_rule.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool_v2/eviction/nullifier_conflict_rule.js +2 -2
- package/dest/mem_pools/tx_pool_v2/index.d.ts +2 -2
- package/dest/mem_pools/tx_pool_v2/index.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool_v2/index.js +1 -1
- package/dest/mem_pools/tx_pool_v2/interfaces.d.ts +9 -5
- package/dest/mem_pools/tx_pool_v2/interfaces.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool_v2/interfaces.js +2 -1
- package/dest/mem_pools/tx_pool_v2/tx_metadata.d.ts +46 -8
- package/dest/mem_pools/tx_pool_v2/tx_metadata.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool_v2/tx_metadata.js +81 -17
- package/dest/mem_pools/tx_pool_v2/tx_pool_indices.d.ts +1 -1
- package/dest/mem_pools/tx_pool_v2/tx_pool_indices.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool_v2/tx_pool_indices.js +9 -10
- package/dest/mem_pools/tx_pool_v2/tx_pool_v2.d.ts +5 -3
- package/dest/mem_pools/tx_pool_v2/tx_pool_v2.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool_v2/tx_pool_v2.js +3 -0
- package/dest/mem_pools/tx_pool_v2/tx_pool_v2_impl.d.ts +2 -2
- package/dest/mem_pools/tx_pool_v2/tx_pool_v2_impl.d.ts.map +1 -1
- package/dest/mem_pools/tx_pool_v2/tx_pool_v2_impl.js +179 -151
- package/dest/msg_validators/proposal_validator/block_proposal_validator.d.ts +6 -4
- package/dest/msg_validators/proposal_validator/block_proposal_validator.d.ts.map +1 -1
- package/dest/msg_validators/proposal_validator/block_proposal_validator.js +10 -2
- package/dest/msg_validators/proposal_validator/checkpoint_proposal_validator.d.ts +6 -4
- package/dest/msg_validators/proposal_validator/checkpoint_proposal_validator.d.ts.map +1 -1
- package/dest/msg_validators/proposal_validator/checkpoint_proposal_validator.js +16 -2
- package/dest/msg_validators/proposal_validator/proposal_validator.d.ts +13 -8
- package/dest/msg_validators/proposal_validator/proposal_validator.d.ts.map +1 -1
- package/dest/msg_validators/proposal_validator/proposal_validator.js +48 -36
- package/dest/msg_validators/tx_validator/aggregate_tx_validator.d.ts +2 -2
- package/dest/msg_validators/tx_validator/aggregate_tx_validator.d.ts.map +1 -1
- package/dest/msg_validators/tx_validator/aggregate_tx_validator.js +3 -3
- package/dest/msg_validators/tx_validator/allowed_public_setup.d.ts +2 -1
- package/dest/msg_validators/tx_validator/allowed_public_setup.d.ts.map +1 -1
- package/dest/msg_validators/tx_validator/allowed_public_setup.js +24 -20
- package/dest/msg_validators/tx_validator/allowed_setup_helpers.d.ts +17 -0
- package/dest/msg_validators/tx_validator/allowed_setup_helpers.d.ts.map +1 -0
- package/dest/msg_validators/tx_validator/allowed_setup_helpers.js +24 -0
- package/dest/msg_validators/tx_validator/contract_instance_validator.d.ts +9 -0
- package/dest/msg_validators/tx_validator/contract_instance_validator.d.ts.map +1 -0
- package/dest/msg_validators/tx_validator/contract_instance_validator.js +48 -0
- package/dest/msg_validators/tx_validator/data_validator.d.ts +1 -1
- package/dest/msg_validators/tx_validator/data_validator.d.ts.map +1 -1
- package/dest/msg_validators/tx_validator/data_validator.js +35 -2
- package/dest/msg_validators/tx_validator/factory.d.ts +133 -6
- package/dest/msg_validators/tx_validator/factory.d.ts.map +1 -1
- package/dest/msg_validators/tx_validator/factory.js +247 -60
- package/dest/msg_validators/tx_validator/fee_payer_balance.d.ts +1 -1
- package/dest/msg_validators/tx_validator/fee_payer_balance.d.ts.map +1 -1
- package/dest/msg_validators/tx_validator/fee_payer_balance.js +6 -2
- package/dest/msg_validators/tx_validator/gas_validator.d.ts +67 -3
- package/dest/msg_validators/tx_validator/gas_validator.d.ts.map +1 -1
- package/dest/msg_validators/tx_validator/gas_validator.js +104 -37
- package/dest/msg_validators/tx_validator/index.d.ts +3 -1
- package/dest/msg_validators/tx_validator/index.d.ts.map +1 -1
- package/dest/msg_validators/tx_validator/index.js +2 -0
- package/dest/msg_validators/tx_validator/nullifier_cache.d.ts +14 -0
- package/dest/msg_validators/tx_validator/nullifier_cache.d.ts.map +1 -0
- package/dest/msg_validators/tx_validator/nullifier_cache.js +24 -0
- package/dest/msg_validators/tx_validator/phases_validator.d.ts +22 -2
- package/dest/msg_validators/tx_validator/phases_validator.d.ts.map +1 -1
- package/dest/msg_validators/tx_validator/phases_validator.js +72 -24
- package/dest/services/dummy_service.d.ts +4 -4
- package/dest/services/dummy_service.d.ts.map +1 -1
- package/dest/services/dummy_service.js +4 -4
- package/dest/services/encoding.d.ts +6 -2
- package/dest/services/encoding.d.ts.map +1 -1
- package/dest/services/encoding.js +14 -8
- package/dest/services/gossipsub/topic_score_params.d.ts +18 -6
- package/dest/services/gossipsub/topic_score_params.d.ts.map +1 -1
- package/dest/services/gossipsub/topic_score_params.js +32 -10
- package/dest/services/libp2p/libp2p_service.d.ts +16 -13
- package/dest/services/libp2p/libp2p_service.d.ts.map +1 -1
- package/dest/services/libp2p/libp2p_service.js +97 -93
- package/dest/services/reqresp/batch-tx-requester/tx_validator.js +2 -2
- package/dest/services/reqresp/rate-limiter/rate_limiter.d.ts +5 -4
- package/dest/services/reqresp/rate-limiter/rate_limiter.d.ts.map +1 -1
- package/dest/services/reqresp/rate-limiter/rate_limiter.js +10 -8
- package/dest/services/reqresp/reqresp.d.ts +1 -1
- package/dest/services/reqresp/reqresp.d.ts.map +1 -1
- package/dest/services/reqresp/reqresp.js +16 -8
- package/dest/services/service.d.ts +5 -3
- package/dest/services/service.d.ts.map +1 -1
- package/dest/services/tx_collection/file_store_tx_source.d.ts +5 -4
- package/dest/services/tx_collection/file_store_tx_source.d.ts.map +1 -1
- package/dest/services/tx_collection/file_store_tx_source.js +39 -29
- package/dest/services/tx_collection/tx_source.d.ts +6 -5
- package/dest/services/tx_collection/tx_source.d.ts.map +1 -1
- package/dest/services/tx_collection/tx_source.js +9 -7
- package/dest/services/tx_provider.d.ts +3 -3
- package/dest/services/tx_provider.d.ts.map +1 -1
- package/dest/services/tx_provider.js +4 -4
- package/dest/test-helpers/make-test-p2p-clients.d.ts +5 -6
- package/dest/test-helpers/make-test-p2p-clients.d.ts.map +1 -1
- package/dest/test-helpers/make-test-p2p-clients.js +1 -2
- package/dest/test-helpers/mock-pubsub.d.ts +4 -4
- package/dest/test-helpers/mock-pubsub.d.ts.map +1 -1
- package/dest/test-helpers/mock-pubsub.js +8 -2
- package/dest/test-helpers/reqresp-nodes.d.ts +2 -3
- package/dest/test-helpers/reqresp-nodes.d.ts.map +1 -1
- package/dest/test-helpers/reqresp-nodes.js +2 -2
- package/dest/test-helpers/testbench-utils.d.ts +2 -2
- package/dest/test-helpers/testbench-utils.d.ts.map +1 -1
- package/dest/test-helpers/testbench-utils.js +2 -1
- package/dest/testbench/p2p_client_testbench_worker.js +7 -6
- package/dest/testbench/worker_client_manager.d.ts +3 -1
- package/dest/testbench/worker_client_manager.d.ts.map +1 -1
- package/dest/testbench/worker_client_manager.js +4 -1
- package/dest/util.d.ts +2 -2
- package/dest/util.d.ts.map +1 -1
- package/package.json +14 -14
- package/src/client/factory.ts +49 -45
- package/src/client/interface.ts +8 -13
- package/src/client/p2p_client.ts +24 -117
- package/src/client/test/tx_proposal_collector/proposal_tx_collector_worker.ts +2 -3
- package/src/config.ts +115 -33
- package/src/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.ts +2 -1
- package/src/mem_pools/tx_pool/priority.ts +4 -4
- package/src/mem_pools/tx_pool/tx_pool_test_suite.ts +3 -1
- package/src/mem_pools/tx_pool_v2/README.md +9 -1
- package/src/mem_pools/tx_pool_v2/eviction/fee_payer_balance_eviction_rule.ts +3 -2
- package/src/mem_pools/tx_pool_v2/eviction/fee_payer_balance_pre_add_rule.ts +3 -0
- package/src/mem_pools/tx_pool_v2/eviction/interfaces.ts +11 -1
- package/src/mem_pools/tx_pool_v2/eviction/invalid_txs_after_reorg_rule.ts +2 -2
- package/src/mem_pools/tx_pool_v2/eviction/low_priority_eviction_rule.ts +10 -6
- package/src/mem_pools/tx_pool_v2/eviction/low_priority_pre_add_rule.ts +15 -6
- package/src/mem_pools/tx_pool_v2/eviction/nullifier_conflict_rule.ts +2 -1
- package/src/mem_pools/tx_pool_v2/index.ts +1 -1
- package/src/mem_pools/tx_pool_v2/interfaces.ts +9 -4
- package/src/mem_pools/tx_pool_v2/tx_metadata.ts +113 -18
- package/src/mem_pools/tx_pool_v2/tx_pool_indices.ts +11 -11
- package/src/mem_pools/tx_pool_v2/tx_pool_v2.ts +14 -2
- package/src/mem_pools/tx_pool_v2/tx_pool_v2_impl.ts +188 -153
- package/src/msg_validators/attestation_validator/README.md +49 -0
- package/src/msg_validators/proposal_validator/README.md +123 -0
- package/src/msg_validators/proposal_validator/block_proposal_validator.ts +14 -4
- package/src/msg_validators/proposal_validator/checkpoint_proposal_validator.ts +20 -7
- package/src/msg_validators/proposal_validator/proposal_validator.ts +63 -40
- package/src/msg_validators/tx_validator/README.md +119 -0
- package/src/msg_validators/tx_validator/aggregate_tx_validator.ts +3 -3
- package/src/msg_validators/tx_validator/allowed_public_setup.ts +22 -27
- package/src/msg_validators/tx_validator/allowed_setup_helpers.ts +31 -0
- package/src/msg_validators/tx_validator/contract_instance_validator.ts +56 -0
- package/src/msg_validators/tx_validator/data_validator.ts +42 -1
- package/src/msg_validators/tx_validator/factory.ts +394 -78
- package/src/msg_validators/tx_validator/fee_payer_balance.ts +6 -2
- package/src/msg_validators/tx_validator/gas_validator.ts +123 -27
- package/src/msg_validators/tx_validator/index.ts +2 -0
- package/src/msg_validators/tx_validator/nullifier_cache.ts +30 -0
- package/src/msg_validators/tx_validator/phases_validator.ts +82 -27
- package/src/services/dummy_service.ts +6 -6
- package/src/services/encoding.ts +14 -7
- package/src/services/gossipsub/README.md +29 -14
- package/src/services/gossipsub/topic_score_params.ts +49 -13
- package/src/services/libp2p/libp2p_service.ts +111 -101
- package/src/services/reqresp/README.md +229 -0
- package/src/services/reqresp/batch-tx-requester/tx_validator.ts +2 -2
- package/src/services/reqresp/rate-limiter/rate_limiter.ts +13 -9
- package/src/services/reqresp/reqresp.ts +18 -10
- package/src/services/service.ts +11 -2
- package/src/services/tx_collection/file_store_tx_source.ts +43 -31
- package/src/services/tx_collection/tx_source.ts +8 -7
- package/src/services/tx_provider.ts +2 -2
- package/src/test-helpers/make-test-p2p-clients.ts +0 -2
- package/src/test-helpers/mock-pubsub.ts +13 -6
- package/src/test-helpers/reqresp-nodes.ts +2 -5
- package/src/test-helpers/testbench-utils.ts +2 -1
- package/src/testbench/p2p_client_testbench_worker.ts +3 -6
- package/src/testbench/worker_client_manager.ts +11 -4
- package/src/util.ts +7 -1
- package/dest/msg_validators/proposal_validator/proposal_validator_test_suite.d.ts +0 -23
- package/dest/msg_validators/proposal_validator/proposal_validator_test_suite.d.ts.map +0 -1
- package/dest/msg_validators/proposal_validator/proposal_validator_test_suite.js +0 -212
- package/src/msg_validators/proposal_validator/proposal_validator_test_suite.ts +0 -230
|
@@ -19,7 +19,7 @@ import { protocolContractsHash } from '@aztec/protocol-contracts';
|
|
|
19
19
|
import type { L2BlockSource } from '@aztec/stdlib/block';
|
|
20
20
|
import type { ContractDataSource } from '@aztec/stdlib/contract';
|
|
21
21
|
import type { ClientProtocolCircuitVerifier, WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
|
|
22
|
-
import { type BlockProposal,
|
|
22
|
+
import { type BlockProposal, P2PMessage } from '@aztec/stdlib/p2p';
|
|
23
23
|
import { ChonkProof } from '@aztec/stdlib/proofs';
|
|
24
24
|
import { makeAztecAddress, makeBlockHeader, makeBlockProposal, mockTx } from '@aztec/stdlib/testing';
|
|
25
25
|
import { Tx, TxHash, type TxValidationResult } from '@aztec/stdlib/tx';
|
|
@@ -86,12 +86,11 @@ export interface BenchReadyMessage {
|
|
|
86
86
|
}
|
|
87
87
|
const txCache = new Map<number, Tx[]>();
|
|
88
88
|
|
|
89
|
-
class TestLibP2PService
|
|
89
|
+
class TestLibP2PService extends LibP2PService {
|
|
90
90
|
private disableTxValidation: boolean;
|
|
91
91
|
private gossipMessageCount = 0;
|
|
92
92
|
|
|
93
93
|
constructor(
|
|
94
|
-
clientType: T,
|
|
95
94
|
config: P2PConfig,
|
|
96
95
|
node: PubSubLibp2p,
|
|
97
96
|
peerDiscoveryService: PeerDiscoveryService,
|
|
@@ -107,7 +106,6 @@ class TestLibP2PService<T extends P2PClientType = P2PClientType.Full> extends Li
|
|
|
107
106
|
disableTxValidation = true,
|
|
108
107
|
) {
|
|
109
108
|
super(
|
|
110
|
-
clientType,
|
|
111
109
|
config,
|
|
112
110
|
node,
|
|
113
111
|
peerDiscoveryService,
|
|
@@ -342,6 +340,7 @@ process.on('message', async msg => {
|
|
|
342
340
|
const config: P2PConfig = {
|
|
343
341
|
...rawConfig,
|
|
344
342
|
peerIdPrivateKey: rawConfig.peerIdPrivateKey ? new SecretValue(rawConfig.peerIdPrivateKey) : undefined,
|
|
343
|
+
priceBumpPercentage: 10n,
|
|
345
344
|
} as P2PConfig;
|
|
346
345
|
|
|
347
346
|
workerConfig = config;
|
|
@@ -365,7 +364,6 @@ process.on('message', async msg => {
|
|
|
365
364
|
};
|
|
366
365
|
|
|
367
366
|
const client = await createP2PClient(
|
|
368
|
-
P2PClientType.Full,
|
|
369
367
|
config as P2PConfig & DataStoreConfig,
|
|
370
368
|
l2BlockSource,
|
|
371
369
|
proofVerifier as ClientProtocolCircuitVerifier,
|
|
@@ -378,7 +376,6 @@ process.on('message', async msg => {
|
|
|
378
376
|
);
|
|
379
377
|
|
|
380
378
|
const testService = new TestLibP2PService(
|
|
381
|
-
P2PClientType.Full,
|
|
382
379
|
config,
|
|
383
380
|
(client as any).p2pService.node,
|
|
384
381
|
(client as any).p2pService.peerDiscoveryService,
|
|
@@ -81,13 +81,15 @@ class WorkerClientManager {
|
|
|
81
81
|
* Note: We send the raw peerIdPrivateKey string instead of SecretValue
|
|
82
82
|
* because SecretValue.toJSON() returns '[Redacted]', losing the value.
|
|
83
83
|
* The worker must re-wrap it in SecretValue.
|
|
84
|
+
* We also omit priceBumpPercentage since it's a bigint and can't be
|
|
85
|
+
* serialized over IPC (which uses JSON under the hood).
|
|
84
86
|
*/
|
|
85
87
|
private createClientConfig(
|
|
86
88
|
clientIndex: number,
|
|
87
89
|
port: number,
|
|
88
90
|
otherNodes: string[],
|
|
89
|
-
): Omit<P2PConfig, 'peerIdPrivateKey'> & { peerIdPrivateKey: string } & Partial<ChainConfig> {
|
|
90
|
-
|
|
91
|
+
): Omit<P2PConfig, 'peerIdPrivateKey' | 'priceBumpPercentage'> & { peerIdPrivateKey: string } & Partial<ChainConfig> {
|
|
92
|
+
const { priceBumpPercentage: _, ...config } = {
|
|
91
93
|
...getP2PDefaultConfig(),
|
|
92
94
|
p2pEnabled: true,
|
|
93
95
|
peerIdPrivateKey: this.peerIdPrivateKeys[clientIndex],
|
|
@@ -96,7 +98,10 @@ class WorkerClientManager {
|
|
|
96
98
|
p2pPort: port,
|
|
97
99
|
bootstrapNodes: [...otherNodes],
|
|
98
100
|
...this.p2pConfig,
|
|
99
|
-
}
|
|
101
|
+
};
|
|
102
|
+
return config as Omit<P2PConfig, 'peerIdPrivateKey' | 'priceBumpPercentage'> & {
|
|
103
|
+
peerIdPrivateKey: string;
|
|
104
|
+
} & Partial<ChainConfig>;
|
|
100
105
|
}
|
|
101
106
|
|
|
102
107
|
/**
|
|
@@ -104,7 +109,9 @@ class WorkerClientManager {
|
|
|
104
109
|
* Config uses raw string for peerIdPrivateKey (not SecretValue) for IPC serialization.
|
|
105
110
|
*/
|
|
106
111
|
private spawnWorkerProcess(
|
|
107
|
-
config: Omit<P2PConfig, 'peerIdPrivateKey'> & {
|
|
112
|
+
config: Omit<P2PConfig, 'peerIdPrivateKey' | 'priceBumpPercentage'> & {
|
|
113
|
+
peerIdPrivateKey: string;
|
|
114
|
+
} & Partial<ChainConfig>,
|
|
108
115
|
clientIndex: number,
|
|
109
116
|
): [ChildProcess, Promise<void>] {
|
|
110
117
|
const useCompiled = existsSync(workerJsPath);
|
package/src/util.ts
CHANGED
|
@@ -23,7 +23,13 @@ export interface PubSubLibp2p extends Pick<Libp2p, 'status' | 'start' | 'stop' |
|
|
|
23
23
|
services: {
|
|
24
24
|
pubsub: Pick<
|
|
25
25
|
GossipSub,
|
|
26
|
-
|
|
26
|
+
| 'addEventListener'
|
|
27
|
+
| 'removeEventListener'
|
|
28
|
+
| 'publish'
|
|
29
|
+
| 'subscribe'
|
|
30
|
+
| 'reportMessageValidationResult'
|
|
31
|
+
| 'direct'
|
|
32
|
+
| 'getMeshPeers'
|
|
27
33
|
> & { score: Pick<GossipSub['score'], 'score'> };
|
|
28
34
|
};
|
|
29
35
|
}
|
|
@@ -1,23 +0,0 @@
|
|
|
1
|
-
import type { EpochCacheInterface } from '@aztec/epoch-cache';
|
|
2
|
-
import type { Secp256k1Signer } from '@aztec/foundation/crypto/secp256k1-signer';
|
|
3
|
-
import type { EthAddress } from '@aztec/foundation/eth-address';
|
|
4
|
-
import { type BlockProposal, type CheckpointProposal, type ValidationResult } from '@aztec/stdlib/p2p';
|
|
5
|
-
import type { TxHash } from '@aztec/stdlib/tx';
|
|
6
|
-
import type { MockProxy } from 'jest-mock-extended';
|
|
7
|
-
export interface ProposalValidatorTestParams<TProposal extends BlockProposal | CheckpointProposal> {
|
|
8
|
-
validatorFactory: (epochCache: EpochCacheInterface, opts: {
|
|
9
|
-
txsPermitted: boolean;
|
|
10
|
-
}) => {
|
|
11
|
-
validate: (proposal: TProposal) => Promise<ValidationResult>;
|
|
12
|
-
};
|
|
13
|
-
makeProposal: (options?: any) => Promise<TProposal>;
|
|
14
|
-
makeHeader: (epochNumber: number | bigint, slotNumber: number | bigint, blockNumber: number | bigint) => any;
|
|
15
|
-
getSigner: () => Secp256k1Signer;
|
|
16
|
-
getAddress: (signer?: Secp256k1Signer) => EthAddress;
|
|
17
|
-
getSlot: (slot: number | bigint) => any;
|
|
18
|
-
getTxHashes: (n: number) => TxHash[];
|
|
19
|
-
getTxs: () => any[];
|
|
20
|
-
epochCacheMock: () => MockProxy<EpochCacheInterface>;
|
|
21
|
-
}
|
|
22
|
-
export declare function sharedProposalValidatorTests<TProposal extends BlockProposal | CheckpointProposal>(params: ProposalValidatorTestParams<TProposal>): void;
|
|
23
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvcG9zYWxfdmFsaWRhdG9yX3Rlc3Rfc3VpdGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9tc2dfdmFsaWRhdG9ycy9wcm9wb3NhbF92YWxpZGF0b3IvcHJvcG9zYWxfdmFsaWRhdG9yX3Rlc3Rfc3VpdGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUM5RCxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSwyQ0FBMkMsQ0FBQztBQUNqRixPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUNoRSxPQUFPLEVBQ0wsS0FBSyxhQUFhLEVBQ2xCLEtBQUssa0JBQWtCLEVBRXZCLEtBQUssZ0JBQWdCLEVBQ3RCLE1BQU0sbUJBQW1CLENBQUM7QUFDM0IsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFL0MsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFcEQsTUFBTSxXQUFXLDJCQUEyQixDQUFDLFNBQVMsU0FBUyxhQUFhLEdBQUcsa0JBQWtCO0lBQy9GLGdCQUFnQixFQUFFLENBQ2hCLFVBQVUsRUFBRSxtQkFBbUIsRUFDL0IsSUFBSSxFQUFFO1FBQUUsWUFBWSxFQUFFLE9BQU8sQ0FBQTtLQUFFLEtBQzVCO1FBQUUsUUFBUSxFQUFFLENBQUMsUUFBUSxFQUFFLFNBQVMsS0FBSyxPQUFPLENBQUMsZ0JBQWdCLENBQUMsQ0FBQTtLQUFFLENBQUM7SUFDdEUsWUFBWSxFQUFFLENBQUMsT0FBTyxDQUFDLEVBQUUsR0FBRyxLQUFLLE9BQU8sQ0FBQyxTQUFTLENBQUMsQ0FBQztJQUNwRCxVQUFVLEVBQUUsQ0FBQyxXQUFXLEVBQUUsTUFBTSxHQUFHLE1BQU0sRUFBRSxVQUFVLEVBQUUsTUFBTSxHQUFHLE1BQU0sRUFBRSxXQUFXLEVBQUUsTUFBTSxHQUFHLE1BQU0sS0FBSyxHQUFHLENBQUM7SUFDN0csU0FBUyxFQUFFLE1BQU0sZUFBZSxDQUFDO0lBQ2pDLFVBQVUsRUFBRSxDQUFDLE1BQU0sQ0FBQyxFQUFFLGVBQWUsS0FBSyxVQUFVLENBQUM7SUFDckQsT0FBTyxFQUFFLENBQUMsSUFBSSxFQUFFLE1BQU0sR0FBRyxNQUFNLEtBQUssR0FBRyxDQUFDO0lBQ3hDLFdBQVcsRUFBRSxDQUFDLENBQUMsRUFBRSxNQUFNLEtBQUssTUFBTSxFQUFFLENBQUM7SUFDckMsTUFBTSxFQUFFLE1BQU0sR0FBRyxFQUFFLENBQUM7SUFDcEIsY0FBYyxFQUFFLE1BQU0sU0FBUyxDQUFDLG1CQUFtQixDQUFDLENBQUM7Q0FDdEQ7QUFFRCx3QkFBZ0IsNEJBQTRCLENBQUMsU0FBUyxTQUFTLGFBQWEsR0FBRyxrQkFBa0IsRUFDL0YsTUFBTSxFQUFFLDJCQUEyQixDQUFDLFNBQVMsQ0FBQyxRQXdNL0MifQ==
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"proposal_validator_test_suite.d.ts","sourceRoot":"","sources":["../../../src/msg_validators/proposal_validator/proposal_validator_test_suite.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EACL,KAAK,aAAa,EAClB,KAAK,kBAAkB,EAEvB,KAAK,gBAAgB,EACtB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAEpD,MAAM,WAAW,2BAA2B,CAAC,SAAS,SAAS,aAAa,GAAG,kBAAkB;IAC/F,gBAAgB,EAAE,CAChB,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE;QAAE,YAAY,EAAE,OAAO,CAAA;KAAE,KAC5B;QAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,SAAS,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAA;KAAE,CAAC;IACtE,YAAY,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC,SAAS,CAAC,CAAC;IACpD,UAAU,EAAE,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,KAAK,GAAG,CAAC;IAC7G,SAAS,EAAE,MAAM,eAAe,CAAC;IACjC,UAAU,EAAE,CAAC,MAAM,CAAC,EAAE,eAAe,KAAK,UAAU,CAAC;IACrD,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,KAAK,GAAG,CAAC;IACxC,WAAW,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,EAAE,CAAC;IACrC,MAAM,EAAE,MAAM,GAAG,EAAE,CAAC;IACpB,cAAc,EAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAC;CACtD;AAED,wBAAgB,4BAA4B,CAAC,SAAS,SAAS,aAAa,GAAG,kBAAkB,EAC/F,MAAM,EAAE,2BAA2B,CAAC,SAAS,CAAC,QAwM/C"}
|
|
@@ -1,212 +0,0 @@
|
|
|
1
|
-
import { PeerErrorSeverity } from '@aztec/stdlib/p2p';
|
|
2
|
-
export function sharedProposalValidatorTests(params) {
|
|
3
|
-
const { validatorFactory, makeProposal, makeHeader, getSigner, getAddress, getSlot, getTxHashes, epochCacheMock } = params;
|
|
4
|
-
describe('shared proposal validation logic', ()=>{
|
|
5
|
-
let epochCache;
|
|
6
|
-
let validator;
|
|
7
|
-
const previousSlot = getSlot(99);
|
|
8
|
-
const currentSlot = getSlot(100);
|
|
9
|
-
const nextSlot = getSlot(101);
|
|
10
|
-
function mockGetProposer(currentProposer, nextProposer, previousProposer) {
|
|
11
|
-
epochCache.getProposerAttesterAddressInSlot.mockImplementation((slot)=>{
|
|
12
|
-
if (slot === currentSlot) {
|
|
13
|
-
return Promise.resolve(currentProposer);
|
|
14
|
-
}
|
|
15
|
-
if (slot === nextSlot) {
|
|
16
|
-
return Promise.resolve(nextProposer);
|
|
17
|
-
}
|
|
18
|
-
if (slot === previousSlot && previousProposer) {
|
|
19
|
-
return Promise.resolve(previousProposer);
|
|
20
|
-
}
|
|
21
|
-
throw new Error('Unexpected argument');
|
|
22
|
-
});
|
|
23
|
-
}
|
|
24
|
-
beforeEach(()=>{
|
|
25
|
-
epochCache = epochCacheMock();
|
|
26
|
-
validator = validatorFactory(epochCache, {
|
|
27
|
-
txsPermitted: true
|
|
28
|
-
});
|
|
29
|
-
epochCache.getCurrentAndNextSlot.mockReturnValue({
|
|
30
|
-
currentSlot: currentSlot,
|
|
31
|
-
nextSlot: nextSlot
|
|
32
|
-
});
|
|
33
|
-
});
|
|
34
|
-
it('returns high tolerance error if slot number is not current or next slot (outside clock tolerance)', async ()=>{
|
|
35
|
-
const header = makeHeader(1, 99, 99);
|
|
36
|
-
const mockProposal = await makeProposal({
|
|
37
|
-
blockHeader: header,
|
|
38
|
-
lastBlockHeader: header
|
|
39
|
-
});
|
|
40
|
-
// Mock getEpochAndSlotNow to return time OUTSIDE clock tolerance (1000ms elapsed)
|
|
41
|
-
epochCache.getEpochAndSlotNow.mockReturnValue({
|
|
42
|
-
epoch: 1,
|
|
43
|
-
slot: currentSlot,
|
|
44
|
-
ts: 1000n,
|
|
45
|
-
nowMs: 1001000n
|
|
46
|
-
});
|
|
47
|
-
epochCache.getProposerAttesterAddressInSlot.mockResolvedValue(getAddress());
|
|
48
|
-
const result = await validator.validate(mockProposal);
|
|
49
|
-
expect(result).toEqual({
|
|
50
|
-
result: 'reject',
|
|
51
|
-
severity: PeerErrorSeverity.HighToleranceError
|
|
52
|
-
});
|
|
53
|
-
// Should not try to resolve proposers if base validation fails
|
|
54
|
-
expect(epochCache.getProposerAttesterAddressInSlot).not.toHaveBeenCalled();
|
|
55
|
-
});
|
|
56
|
-
it('returns ignore if previous slot proposal is within clock tolerance', async ()=>{
|
|
57
|
-
const previousProposer = getSigner();
|
|
58
|
-
const header = makeHeader(1, 99, 99);
|
|
59
|
-
const mockProposal = await makeProposal({
|
|
60
|
-
blockHeader: header,
|
|
61
|
-
lastBlockHeader: header,
|
|
62
|
-
signer: previousProposer
|
|
63
|
-
});
|
|
64
|
-
// Mock getEpochAndSlotNow to return time WITHIN clock tolerance (100ms elapsed)
|
|
65
|
-
epochCache.getEpochAndSlotNow.mockReturnValue({
|
|
66
|
-
epoch: 1,
|
|
67
|
-
slot: currentSlot,
|
|
68
|
-
ts: 1000n,
|
|
69
|
-
nowMs: 1000100n
|
|
70
|
-
});
|
|
71
|
-
mockGetProposer(getAddress(), getAddress(), getAddress(previousProposer));
|
|
72
|
-
const result = await validator.validate(mockProposal);
|
|
73
|
-
expect(result).toEqual({
|
|
74
|
-
result: 'ignore'
|
|
75
|
-
});
|
|
76
|
-
});
|
|
77
|
-
it('returns mid tolerance error if proposer is not current proposer for current slot', async ()=>{
|
|
78
|
-
const currentProposer = getSigner();
|
|
79
|
-
const nextProposer = getSigner();
|
|
80
|
-
const invalidProposer = getSigner();
|
|
81
|
-
const header = makeHeader(1, 100, 100);
|
|
82
|
-
const mockProposal = await makeProposal({
|
|
83
|
-
blockHeader: header,
|
|
84
|
-
lastBlockHeader: header,
|
|
85
|
-
signer: invalidProposer
|
|
86
|
-
});
|
|
87
|
-
mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
|
|
88
|
-
const result = await validator.validate(mockProposal);
|
|
89
|
-
expect(result).toEqual({
|
|
90
|
-
result: 'reject',
|
|
91
|
-
severity: PeerErrorSeverity.MidToleranceError
|
|
92
|
-
});
|
|
93
|
-
});
|
|
94
|
-
it('returns mid tolerance error if proposer is not next proposer for next slot', async ()=>{
|
|
95
|
-
const currentProposer = getSigner();
|
|
96
|
-
const nextProposer = getSigner();
|
|
97
|
-
const invalidProposer = getSigner();
|
|
98
|
-
const header = makeHeader(1, 101, 101);
|
|
99
|
-
const mockProposal = await makeProposal({
|
|
100
|
-
blockHeader: header,
|
|
101
|
-
lastBlockHeader: header,
|
|
102
|
-
signer: invalidProposer
|
|
103
|
-
});
|
|
104
|
-
mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
|
|
105
|
-
const result = await validator.validate(mockProposal);
|
|
106
|
-
expect(result).toEqual({
|
|
107
|
-
result: 'reject',
|
|
108
|
-
severity: PeerErrorSeverity.MidToleranceError
|
|
109
|
-
});
|
|
110
|
-
});
|
|
111
|
-
it('returns mid tolerance error if proposer is current proposer but proposal is for next slot', async ()=>{
|
|
112
|
-
const currentProposer = getSigner();
|
|
113
|
-
const nextProposer = getSigner();
|
|
114
|
-
const header = makeHeader(1, 101, 101);
|
|
115
|
-
const mockProposal = await makeProposal({
|
|
116
|
-
blockHeader: header,
|
|
117
|
-
lastBlockHeader: header,
|
|
118
|
-
signer: currentProposer
|
|
119
|
-
});
|
|
120
|
-
mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
|
|
121
|
-
const result = await validator.validate(mockProposal);
|
|
122
|
-
expect(result).toEqual({
|
|
123
|
-
result: 'reject',
|
|
124
|
-
severity: PeerErrorSeverity.MidToleranceError
|
|
125
|
-
});
|
|
126
|
-
});
|
|
127
|
-
it('returns undefined if proposal is valid for current slot and proposer', async ()=>{
|
|
128
|
-
const currentProposer = getSigner();
|
|
129
|
-
const nextProposer = getSigner();
|
|
130
|
-
const header = makeHeader(1, 100, 100);
|
|
131
|
-
const mockProposal = await makeProposal({
|
|
132
|
-
blockHeader: header,
|
|
133
|
-
lastBlockHeader: header,
|
|
134
|
-
signer: currentProposer
|
|
135
|
-
});
|
|
136
|
-
mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
|
|
137
|
-
const result = await validator.validate(mockProposal);
|
|
138
|
-
expect(result).toEqual({
|
|
139
|
-
result: 'accept'
|
|
140
|
-
});
|
|
141
|
-
});
|
|
142
|
-
it('returns undefined if proposal is valid for next slot and proposer', async ()=>{
|
|
143
|
-
const currentProposer = getSigner();
|
|
144
|
-
const nextProposer = getSigner();
|
|
145
|
-
const header = makeHeader(1, 101, 101);
|
|
146
|
-
const mockProposal = await makeProposal({
|
|
147
|
-
blockHeader: header,
|
|
148
|
-
lastBlockHeader: header,
|
|
149
|
-
signer: nextProposer
|
|
150
|
-
});
|
|
151
|
-
mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
|
|
152
|
-
const result = await validator.validate(mockProposal);
|
|
153
|
-
expect(result).toEqual({
|
|
154
|
-
result: 'accept'
|
|
155
|
-
});
|
|
156
|
-
});
|
|
157
|
-
describe('transaction permission validation', ()=>{
|
|
158
|
-
it('returns mid tolerance error if txs not permitted and proposal contains txHashes', async ()=>{
|
|
159
|
-
const currentProposer = getSigner();
|
|
160
|
-
const validatorWithTxsDisabled = validatorFactory(epochCache, {
|
|
161
|
-
txsPermitted: false
|
|
162
|
-
});
|
|
163
|
-
const header = makeHeader(1, 100, 100);
|
|
164
|
-
const mockProposal = await makeProposal({
|
|
165
|
-
blockHeader: header,
|
|
166
|
-
lastBlockHeader: header,
|
|
167
|
-
signer: currentProposer,
|
|
168
|
-
txHashes: getTxHashes(2)
|
|
169
|
-
});
|
|
170
|
-
mockGetProposer(getAddress(currentProposer), getAddress());
|
|
171
|
-
const result = await validatorWithTxsDisabled.validate(mockProposal);
|
|
172
|
-
expect(result).toEqual({
|
|
173
|
-
result: 'reject',
|
|
174
|
-
severity: PeerErrorSeverity.MidToleranceError
|
|
175
|
-
});
|
|
176
|
-
});
|
|
177
|
-
it('returns undefined if txs not permitted but proposal has no txHashes', async ()=>{
|
|
178
|
-
const currentProposer = getSigner();
|
|
179
|
-
const validatorWithTxsDisabled = validatorFactory(epochCache, {
|
|
180
|
-
txsPermitted: false
|
|
181
|
-
});
|
|
182
|
-
const header = makeHeader(1, 100, 100);
|
|
183
|
-
const mockProposal = await makeProposal({
|
|
184
|
-
blockHeader: header,
|
|
185
|
-
lastBlockHeader: header,
|
|
186
|
-
signer: currentProposer,
|
|
187
|
-
txHashes: getTxHashes(0)
|
|
188
|
-
});
|
|
189
|
-
mockGetProposer(getAddress(currentProposer), getAddress());
|
|
190
|
-
const result = await validatorWithTxsDisabled.validate(mockProposal);
|
|
191
|
-
expect(result).toEqual({
|
|
192
|
-
result: 'accept'
|
|
193
|
-
});
|
|
194
|
-
});
|
|
195
|
-
it('returns undefined if txs permitted and proposal contains txHashes', async ()=>{
|
|
196
|
-
const currentProposer = getSigner();
|
|
197
|
-
const header = makeHeader(1, 100, 100);
|
|
198
|
-
const mockProposal = await makeProposal({
|
|
199
|
-
blockHeader: header,
|
|
200
|
-
lastBlockHeader: header,
|
|
201
|
-
signer: currentProposer,
|
|
202
|
-
txHashes: getTxHashes(2)
|
|
203
|
-
});
|
|
204
|
-
mockGetProposer(getAddress(currentProposer), getAddress());
|
|
205
|
-
const result = await validator.validate(mockProposal);
|
|
206
|
-
expect(result).toEqual({
|
|
207
|
-
result: 'accept'
|
|
208
|
-
});
|
|
209
|
-
});
|
|
210
|
-
});
|
|
211
|
-
});
|
|
212
|
-
}
|
|
@@ -1,230 +0,0 @@
|
|
|
1
|
-
import type { EpochCacheInterface } from '@aztec/epoch-cache';
|
|
2
|
-
import type { Secp256k1Signer } from '@aztec/foundation/crypto/secp256k1-signer';
|
|
3
|
-
import type { EthAddress } from '@aztec/foundation/eth-address';
|
|
4
|
-
import {
|
|
5
|
-
type BlockProposal,
|
|
6
|
-
type CheckpointProposal,
|
|
7
|
-
PeerErrorSeverity,
|
|
8
|
-
type ValidationResult,
|
|
9
|
-
} from '@aztec/stdlib/p2p';
|
|
10
|
-
import type { TxHash } from '@aztec/stdlib/tx';
|
|
11
|
-
|
|
12
|
-
import type { MockProxy } from 'jest-mock-extended';
|
|
13
|
-
|
|
14
|
-
export interface ProposalValidatorTestParams<TProposal extends BlockProposal | CheckpointProposal> {
|
|
15
|
-
validatorFactory: (
|
|
16
|
-
epochCache: EpochCacheInterface,
|
|
17
|
-
opts: { txsPermitted: boolean },
|
|
18
|
-
) => { validate: (proposal: TProposal) => Promise<ValidationResult> };
|
|
19
|
-
makeProposal: (options?: any) => Promise<TProposal>;
|
|
20
|
-
makeHeader: (epochNumber: number | bigint, slotNumber: number | bigint, blockNumber: number | bigint) => any;
|
|
21
|
-
getSigner: () => Secp256k1Signer;
|
|
22
|
-
getAddress: (signer?: Secp256k1Signer) => EthAddress;
|
|
23
|
-
getSlot: (slot: number | bigint) => any;
|
|
24
|
-
getTxHashes: (n: number) => TxHash[];
|
|
25
|
-
getTxs: () => any[];
|
|
26
|
-
epochCacheMock: () => MockProxy<EpochCacheInterface>;
|
|
27
|
-
}
|
|
28
|
-
|
|
29
|
-
export function sharedProposalValidatorTests<TProposal extends BlockProposal | CheckpointProposal>(
|
|
30
|
-
params: ProposalValidatorTestParams<TProposal>,
|
|
31
|
-
) {
|
|
32
|
-
const { validatorFactory, makeProposal, makeHeader, getSigner, getAddress, getSlot, getTxHashes, epochCacheMock } =
|
|
33
|
-
params;
|
|
34
|
-
|
|
35
|
-
describe('shared proposal validation logic', () => {
|
|
36
|
-
let epochCache: MockProxy<EpochCacheInterface>;
|
|
37
|
-
let validator: { validate: (proposal: TProposal) => Promise<ValidationResult> };
|
|
38
|
-
const previousSlot = getSlot(99);
|
|
39
|
-
const currentSlot = getSlot(100);
|
|
40
|
-
const nextSlot = getSlot(101);
|
|
41
|
-
|
|
42
|
-
function mockGetProposer(currentProposer: EthAddress, nextProposer: EthAddress, previousProposer?: EthAddress) {
|
|
43
|
-
epochCache.getProposerAttesterAddressInSlot.mockImplementation(slot => {
|
|
44
|
-
if (slot === currentSlot) {
|
|
45
|
-
return Promise.resolve(currentProposer);
|
|
46
|
-
}
|
|
47
|
-
if (slot === nextSlot) {
|
|
48
|
-
return Promise.resolve(nextProposer);
|
|
49
|
-
}
|
|
50
|
-
if (slot === previousSlot && previousProposer) {
|
|
51
|
-
return Promise.resolve(previousProposer);
|
|
52
|
-
}
|
|
53
|
-
throw new Error('Unexpected argument');
|
|
54
|
-
});
|
|
55
|
-
}
|
|
56
|
-
|
|
57
|
-
beforeEach(() => {
|
|
58
|
-
epochCache = epochCacheMock();
|
|
59
|
-
validator = validatorFactory(epochCache, { txsPermitted: true });
|
|
60
|
-
epochCache.getCurrentAndNextSlot.mockReturnValue({
|
|
61
|
-
currentSlot: currentSlot,
|
|
62
|
-
nextSlot: nextSlot,
|
|
63
|
-
});
|
|
64
|
-
});
|
|
65
|
-
|
|
66
|
-
it('returns high tolerance error if slot number is not current or next slot (outside clock tolerance)', async () => {
|
|
67
|
-
const header = makeHeader(1, 99, 99);
|
|
68
|
-
const mockProposal = await makeProposal({ blockHeader: header, lastBlockHeader: header });
|
|
69
|
-
|
|
70
|
-
// Mock getEpochAndSlotNow to return time OUTSIDE clock tolerance (1000ms elapsed)
|
|
71
|
-
epochCache.getEpochAndSlotNow.mockReturnValue({
|
|
72
|
-
epoch: 1 as any,
|
|
73
|
-
slot: currentSlot,
|
|
74
|
-
ts: 1000n, // slot started at 1000 seconds
|
|
75
|
-
nowMs: 1001000n, // 1000ms elapsed, outside 500ms tolerance
|
|
76
|
-
});
|
|
77
|
-
|
|
78
|
-
epochCache.getProposerAttesterAddressInSlot.mockResolvedValue(getAddress());
|
|
79
|
-
const result = await validator.validate(mockProposal);
|
|
80
|
-
expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.HighToleranceError });
|
|
81
|
-
|
|
82
|
-
// Should not try to resolve proposers if base validation fails
|
|
83
|
-
expect(epochCache.getProposerAttesterAddressInSlot).not.toHaveBeenCalled();
|
|
84
|
-
});
|
|
85
|
-
|
|
86
|
-
it('returns ignore if previous slot proposal is within clock tolerance', async () => {
|
|
87
|
-
const previousProposer = getSigner();
|
|
88
|
-
const header = makeHeader(1, 99, 99);
|
|
89
|
-
const mockProposal = await makeProposal({
|
|
90
|
-
blockHeader: header,
|
|
91
|
-
lastBlockHeader: header,
|
|
92
|
-
signer: previousProposer,
|
|
93
|
-
});
|
|
94
|
-
|
|
95
|
-
// Mock getEpochAndSlotNow to return time WITHIN clock tolerance (100ms elapsed)
|
|
96
|
-
epochCache.getEpochAndSlotNow.mockReturnValue({
|
|
97
|
-
epoch: 1 as any,
|
|
98
|
-
slot: currentSlot,
|
|
99
|
-
ts: 1000n, // slot started at 1000 seconds
|
|
100
|
-
nowMs: 1000100n, // 100ms elapsed, within 500ms tolerance
|
|
101
|
-
});
|
|
102
|
-
|
|
103
|
-
mockGetProposer(getAddress(), getAddress(), getAddress(previousProposer));
|
|
104
|
-
const result = await validator.validate(mockProposal);
|
|
105
|
-
expect(result).toEqual({ result: 'ignore' });
|
|
106
|
-
});
|
|
107
|
-
|
|
108
|
-
it('returns mid tolerance error if proposer is not current proposer for current slot', async () => {
|
|
109
|
-
const currentProposer = getSigner();
|
|
110
|
-
const nextProposer = getSigner();
|
|
111
|
-
const invalidProposer = getSigner();
|
|
112
|
-
const header = makeHeader(1, 100, 100);
|
|
113
|
-
const mockProposal = await makeProposal({
|
|
114
|
-
blockHeader: header,
|
|
115
|
-
lastBlockHeader: header,
|
|
116
|
-
signer: invalidProposer,
|
|
117
|
-
});
|
|
118
|
-
|
|
119
|
-
mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
|
|
120
|
-
const result = await validator.validate(mockProposal);
|
|
121
|
-
expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.MidToleranceError });
|
|
122
|
-
});
|
|
123
|
-
|
|
124
|
-
it('returns mid tolerance error if proposer is not next proposer for next slot', async () => {
|
|
125
|
-
const currentProposer = getSigner();
|
|
126
|
-
const nextProposer = getSigner();
|
|
127
|
-
const invalidProposer = getSigner();
|
|
128
|
-
const header = makeHeader(1, 101, 101);
|
|
129
|
-
const mockProposal = await makeProposal({
|
|
130
|
-
blockHeader: header,
|
|
131
|
-
lastBlockHeader: header,
|
|
132
|
-
signer: invalidProposer,
|
|
133
|
-
});
|
|
134
|
-
|
|
135
|
-
mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
|
|
136
|
-
const result = await validator.validate(mockProposal);
|
|
137
|
-
expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.MidToleranceError });
|
|
138
|
-
});
|
|
139
|
-
|
|
140
|
-
it('returns mid tolerance error if proposer is current proposer but proposal is for next slot', async () => {
|
|
141
|
-
const currentProposer = getSigner();
|
|
142
|
-
const nextProposer = getSigner();
|
|
143
|
-
const header = makeHeader(1, 101, 101);
|
|
144
|
-
const mockProposal = await makeProposal({
|
|
145
|
-
blockHeader: header,
|
|
146
|
-
lastBlockHeader: header,
|
|
147
|
-
signer: currentProposer,
|
|
148
|
-
});
|
|
149
|
-
|
|
150
|
-
mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
|
|
151
|
-
const result = await validator.validate(mockProposal);
|
|
152
|
-
expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.MidToleranceError });
|
|
153
|
-
});
|
|
154
|
-
|
|
155
|
-
it('returns undefined if proposal is valid for current slot and proposer', async () => {
|
|
156
|
-
const currentProposer = getSigner();
|
|
157
|
-
const nextProposer = getSigner();
|
|
158
|
-
const header = makeHeader(1, 100, 100);
|
|
159
|
-
const mockProposal = await makeProposal({
|
|
160
|
-
blockHeader: header,
|
|
161
|
-
lastBlockHeader: header,
|
|
162
|
-
signer: currentProposer,
|
|
163
|
-
});
|
|
164
|
-
|
|
165
|
-
mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
|
|
166
|
-
const result = await validator.validate(mockProposal);
|
|
167
|
-
expect(result).toEqual({ result: 'accept' });
|
|
168
|
-
});
|
|
169
|
-
|
|
170
|
-
it('returns undefined if proposal is valid for next slot and proposer', async () => {
|
|
171
|
-
const currentProposer = getSigner();
|
|
172
|
-
const nextProposer = getSigner();
|
|
173
|
-
const header = makeHeader(1, 101, 101);
|
|
174
|
-
const mockProposal = await makeProposal({ blockHeader: header, lastBlockHeader: header, signer: nextProposer });
|
|
175
|
-
|
|
176
|
-
mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
|
|
177
|
-
const result = await validator.validate(mockProposal);
|
|
178
|
-
expect(result).toEqual({ result: 'accept' });
|
|
179
|
-
});
|
|
180
|
-
|
|
181
|
-
describe('transaction permission validation', () => {
|
|
182
|
-
it('returns mid tolerance error if txs not permitted and proposal contains txHashes', async () => {
|
|
183
|
-
const currentProposer = getSigner();
|
|
184
|
-
const validatorWithTxsDisabled = validatorFactory(epochCache, { txsPermitted: false });
|
|
185
|
-
const header = makeHeader(1, 100, 100);
|
|
186
|
-
const mockProposal = await makeProposal({
|
|
187
|
-
blockHeader: header,
|
|
188
|
-
lastBlockHeader: header,
|
|
189
|
-
signer: currentProposer,
|
|
190
|
-
txHashes: getTxHashes(2),
|
|
191
|
-
});
|
|
192
|
-
|
|
193
|
-
mockGetProposer(getAddress(currentProposer), getAddress());
|
|
194
|
-
const result = await validatorWithTxsDisabled.validate(mockProposal);
|
|
195
|
-
expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.MidToleranceError });
|
|
196
|
-
});
|
|
197
|
-
|
|
198
|
-
it('returns undefined if txs not permitted but proposal has no txHashes', async () => {
|
|
199
|
-
const currentProposer = getSigner();
|
|
200
|
-
const validatorWithTxsDisabled = validatorFactory(epochCache, { txsPermitted: false });
|
|
201
|
-
const header = makeHeader(1, 100, 100);
|
|
202
|
-
const mockProposal = await makeProposal({
|
|
203
|
-
blockHeader: header,
|
|
204
|
-
lastBlockHeader: header,
|
|
205
|
-
signer: currentProposer,
|
|
206
|
-
txHashes: getTxHashes(0),
|
|
207
|
-
});
|
|
208
|
-
|
|
209
|
-
mockGetProposer(getAddress(currentProposer), getAddress());
|
|
210
|
-
const result = await validatorWithTxsDisabled.validate(mockProposal);
|
|
211
|
-
expect(result).toEqual({ result: 'accept' });
|
|
212
|
-
});
|
|
213
|
-
|
|
214
|
-
it('returns undefined if txs permitted and proposal contains txHashes', async () => {
|
|
215
|
-
const currentProposer = getSigner();
|
|
216
|
-
const header = makeHeader(1, 100, 100);
|
|
217
|
-
const mockProposal = await makeProposal({
|
|
218
|
-
blockHeader: header,
|
|
219
|
-
lastBlockHeader: header,
|
|
220
|
-
signer: currentProposer,
|
|
221
|
-
txHashes: getTxHashes(2),
|
|
222
|
-
});
|
|
223
|
-
|
|
224
|
-
mockGetProposer(getAddress(currentProposer), getAddress());
|
|
225
|
-
const result = await validator.validate(mockProposal);
|
|
226
|
-
expect(result).toEqual({ result: 'accept' });
|
|
227
|
-
});
|
|
228
|
-
});
|
|
229
|
-
});
|
|
230
|
-
}
|