@aztec/p2p 0.0.1-commit.c7c42ec → 0.0.1-commit.f295ac2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (188) hide show
  1. package/dest/client/interface.d.ts +18 -5
  2. package/dest/client/interface.d.ts.map +1 -1
  3. package/dest/client/p2p_client.d.ts +10 -13
  4. package/dest/client/p2p_client.d.ts.map +1 -1
  5. package/dest/client/p2p_client.js +449 -118
  6. package/dest/config.js +2 -2
  7. package/dest/mem_pools/attestation_pool/attestation_pool.d.ts +61 -42
  8. package/dest/mem_pools/attestation_pool/attestation_pool.d.ts.map +1 -1
  9. package/dest/mem_pools/attestation_pool/attestation_pool_test_suite.d.ts +1 -1
  10. package/dest/mem_pools/attestation_pool/attestation_pool_test_suite.d.ts.map +1 -1
  11. package/dest/mem_pools/attestation_pool/attestation_pool_test_suite.js +237 -263
  12. package/dest/mem_pools/attestation_pool/kv_attestation_pool.d.ts +21 -18
  13. package/dest/mem_pools/attestation_pool/kv_attestation_pool.d.ts.map +1 -1
  14. package/dest/mem_pools/attestation_pool/kv_attestation_pool.js +113 -108
  15. package/dest/mem_pools/attestation_pool/memory_attestation_pool.d.ts +17 -16
  16. package/dest/mem_pools/attestation_pool/memory_attestation_pool.d.ts.map +1 -1
  17. package/dest/mem_pools/attestation_pool/memory_attestation_pool.js +89 -128
  18. package/dest/mem_pools/attestation_pool/mocks.d.ts +9 -6
  19. package/dest/mem_pools/attestation_pool/mocks.d.ts.map +1 -1
  20. package/dest/mem_pools/attestation_pool/mocks.js +16 -12
  21. package/dest/mem_pools/instrumentation.d.ts +1 -1
  22. package/dest/mem_pools/instrumentation.d.ts.map +1 -1
  23. package/dest/mem_pools/instrumentation.js +4 -13
  24. package/dest/mem_pools/tx_pool/aztec_kv_tx_pool.d.ts +13 -8
  25. package/dest/mem_pools/tx_pool/aztec_kv_tx_pool.d.ts.map +1 -1
  26. package/dest/mem_pools/tx_pool/aztec_kv_tx_pool.js +91 -50
  27. package/dest/mem_pools/tx_pool/eviction/eviction_manager.d.ts +17 -4
  28. package/dest/mem_pools/tx_pool/eviction/eviction_manager.d.ts.map +1 -1
  29. package/dest/mem_pools/tx_pool/eviction/eviction_manager.js +59 -3
  30. package/dest/mem_pools/tx_pool/eviction/eviction_strategy.d.ts +77 -4
  31. package/dest/mem_pools/tx_pool/eviction/eviction_strategy.d.ts.map +1 -1
  32. package/dest/mem_pools/tx_pool/eviction/eviction_strategy.js +47 -0
  33. package/dest/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.d.ts +16 -0
  34. package/dest/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.d.ts.map +1 -0
  35. package/dest/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.js +115 -0
  36. package/dest/mem_pools/tx_pool/eviction/invalid_txs_after_mining_rule.d.ts +2 -2
  37. package/dest/mem_pools/tx_pool/eviction/invalid_txs_after_mining_rule.d.ts.map +1 -1
  38. package/dest/mem_pools/tx_pool/eviction/invalid_txs_after_reorg_rule.d.ts +2 -2
  39. package/dest/mem_pools/tx_pool/eviction/invalid_txs_after_reorg_rule.d.ts.map +1 -1
  40. package/dest/mem_pools/tx_pool/eviction/low_priority_eviction_rule.d.ts +2 -2
  41. package/dest/mem_pools/tx_pool/eviction/low_priority_eviction_rule.d.ts.map +1 -1
  42. package/dest/mem_pools/tx_pool/eviction/nullifier_conflict_pre_add_rule.d.ts +25 -0
  43. package/dest/mem_pools/tx_pool/eviction/nullifier_conflict_pre_add_rule.d.ts.map +1 -0
  44. package/dest/mem_pools/tx_pool/eviction/nullifier_conflict_pre_add_rule.js +57 -0
  45. package/dest/msg_validators/attestation_validator/attestation_validator.d.ts +4 -4
  46. package/dest/msg_validators/attestation_validator/attestation_validator.d.ts.map +1 -1
  47. package/dest/msg_validators/attestation_validator/attestation_validator.js +12 -10
  48. package/dest/msg_validators/attestation_validator/fisherman_attestation_validator.d.ts +5 -5
  49. package/dest/msg_validators/attestation_validator/fisherman_attestation_validator.d.ts.map +1 -1
  50. package/dest/msg_validators/attestation_validator/fisherman_attestation_validator.js +7 -10
  51. package/dest/msg_validators/index.d.ts +2 -2
  52. package/dest/msg_validators/index.d.ts.map +1 -1
  53. package/dest/msg_validators/index.js +1 -1
  54. package/dest/msg_validators/proposal_validator/block_proposal_validator.d.ts +9 -0
  55. package/dest/msg_validators/proposal_validator/block_proposal_validator.d.ts.map +1 -0
  56. package/dest/msg_validators/proposal_validator/block_proposal_validator.js +6 -0
  57. package/dest/msg_validators/proposal_validator/checkpoint_proposal_validator.d.ts +9 -0
  58. package/dest/msg_validators/proposal_validator/checkpoint_proposal_validator.d.ts.map +1 -0
  59. package/dest/msg_validators/proposal_validator/checkpoint_proposal_validator.js +6 -0
  60. package/dest/msg_validators/proposal_validator/index.d.ts +4 -0
  61. package/dest/msg_validators/proposal_validator/index.d.ts.map +1 -0
  62. package/dest/msg_validators/proposal_validator/index.js +3 -0
  63. package/dest/msg_validators/proposal_validator/proposal_validator.d.ts +13 -0
  64. package/dest/msg_validators/proposal_validator/proposal_validator.d.ts.map +1 -0
  65. package/dest/msg_validators/{block_proposal_validator/block_proposal_validator.js → proposal_validator/proposal_validator.js} +19 -21
  66. package/dest/msg_validators/proposal_validator/proposal_validator_test_suite.d.ts +23 -0
  67. package/dest/msg_validators/proposal_validator/proposal_validator_test_suite.d.ts.map +1 -0
  68. package/dest/msg_validators/proposal_validator/proposal_validator_test_suite.js +183 -0
  69. package/dest/msg_validators/tx_validator/data_validator.d.ts +1 -1
  70. package/dest/msg_validators/tx_validator/data_validator.d.ts.map +1 -1
  71. package/dest/msg_validators/tx_validator/fee_payer_balance.d.ts +10 -0
  72. package/dest/msg_validators/tx_validator/fee_payer_balance.d.ts.map +1 -0
  73. package/dest/msg_validators/tx_validator/fee_payer_balance.js +20 -0
  74. package/dest/msg_validators/tx_validator/gas_validator.d.ts +1 -1
  75. package/dest/msg_validators/tx_validator/gas_validator.d.ts.map +1 -1
  76. package/dest/msg_validators/tx_validator/gas_validator.js +8 -14
  77. package/dest/msg_validators/tx_validator/metadata_validator.d.ts +1 -1
  78. package/dest/msg_validators/tx_validator/metadata_validator.d.ts.map +1 -1
  79. package/dest/msg_validators/tx_validator/timestamp_validator.d.ts +1 -1
  80. package/dest/msg_validators/tx_validator/timestamp_validator.d.ts.map +1 -1
  81. package/dest/services/dummy_service.d.ts +6 -2
  82. package/dest/services/dummy_service.d.ts.map +1 -1
  83. package/dest/services/dummy_service.js +3 -0
  84. package/dest/services/encoding.d.ts +1 -1
  85. package/dest/services/encoding.d.ts.map +1 -1
  86. package/dest/services/encoding.js +4 -2
  87. package/dest/services/libp2p/instrumentation.d.ts +1 -1
  88. package/dest/services/libp2p/instrumentation.d.ts.map +1 -1
  89. package/dest/services/libp2p/instrumentation.js +20 -73
  90. package/dest/services/libp2p/libp2p_service.d.ts +27 -10
  91. package/dest/services/libp2p/libp2p_service.d.ts.map +1 -1
  92. package/dest/services/libp2p/libp2p_service.js +696 -137
  93. package/dest/services/peer-manager/metrics.d.ts +1 -1
  94. package/dest/services/peer-manager/metrics.d.ts.map +1 -1
  95. package/dest/services/peer-manager/metrics.js +6 -26
  96. package/dest/services/peer-manager/peer_manager.d.ts +2 -2
  97. package/dest/services/peer-manager/peer_manager.d.ts.map +1 -1
  98. package/dest/services/peer-manager/peer_manager.js +0 -10
  99. package/dest/services/peer-manager/peer_scoring.d.ts +1 -1
  100. package/dest/services/peer-manager/peer_scoring.d.ts.map +1 -1
  101. package/dest/services/peer-manager/peer_scoring.js +2 -5
  102. package/dest/services/reqresp/connection-sampler/connection_sampler.d.ts +1 -1
  103. package/dest/services/reqresp/connection-sampler/connection_sampler.d.ts.map +1 -1
  104. package/dest/services/reqresp/constants.d.ts +12 -0
  105. package/dest/services/reqresp/constants.d.ts.map +1 -0
  106. package/dest/services/reqresp/constants.js +7 -0
  107. package/dest/services/reqresp/interface.d.ts +3 -3
  108. package/dest/services/reqresp/interface.d.ts.map +1 -1
  109. package/dest/services/reqresp/interface.js +2 -2
  110. package/dest/services/reqresp/metrics.d.ts +1 -1
  111. package/dest/services/reqresp/metrics.d.ts.map +1 -1
  112. package/dest/services/reqresp/metrics.js +5 -21
  113. package/dest/services/reqresp/protocols/block_txs/bitvector.d.ts +1 -1
  114. package/dest/services/reqresp/protocols/block_txs/bitvector.d.ts.map +1 -1
  115. package/dest/services/reqresp/protocols/block_txs/bitvector.js +7 -0
  116. package/dest/services/reqresp/protocols/status.d.ts +1 -1
  117. package/dest/services/reqresp/protocols/status.d.ts.map +1 -1
  118. package/dest/services/reqresp/protocols/status.js +4 -1
  119. package/dest/services/reqresp/reqresp.js +402 -24
  120. package/dest/services/service.d.ts +16 -3
  121. package/dest/services/service.d.ts.map +1 -1
  122. package/dest/services/tx_collection/instrumentation.d.ts +1 -1
  123. package/dest/services/tx_collection/instrumentation.d.ts.map +1 -1
  124. package/dest/services/tx_collection/instrumentation.js +4 -14
  125. package/dest/services/tx_provider_instrumentation.d.ts +1 -1
  126. package/dest/services/tx_provider_instrumentation.d.ts.map +1 -1
  127. package/dest/services/tx_provider_instrumentation.js +6 -19
  128. package/dest/testbench/p2p_client_testbench_worker.js +27 -12
  129. package/dest/testbench/worker_client_manager.d.ts +1 -1
  130. package/dest/testbench/worker_client_manager.d.ts.map +1 -1
  131. package/dest/testbench/worker_client_manager.js +6 -1
  132. package/package.json +16 -16
  133. package/src/client/interface.ts +19 -4
  134. package/src/client/p2p_client.ts +78 -128
  135. package/src/config.ts +2 -2
  136. package/src/mem_pools/attestation_pool/attestation_pool.ts +68 -41
  137. package/src/mem_pools/attestation_pool/attestation_pool_test_suite.ts +239 -287
  138. package/src/mem_pools/attestation_pool/kv_attestation_pool.ts +162 -140
  139. package/src/mem_pools/attestation_pool/memory_attestation_pool.ts +141 -164
  140. package/src/mem_pools/attestation_pool/mocks.ts +19 -13
  141. package/src/mem_pools/instrumentation.ts +9 -18
  142. package/src/mem_pools/tx_pool/README.md +28 -13
  143. package/src/mem_pools/tx_pool/aztec_kv_tx_pool.ts +128 -73
  144. package/src/mem_pools/tx_pool/eviction/eviction_manager.ts +64 -4
  145. package/src/mem_pools/tx_pool/eviction/eviction_strategy.ts +117 -3
  146. package/src/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.ts +159 -0
  147. package/src/mem_pools/tx_pool/eviction/nullifier_conflict_pre_add_rule.ts +75 -0
  148. package/src/msg_validators/attestation_validator/attestation_validator.ts +16 -13
  149. package/src/msg_validators/attestation_validator/fisherman_attestation_validator.ts +9 -12
  150. package/src/msg_validators/index.ts +1 -1
  151. package/src/msg_validators/proposal_validator/block_proposal_validator.ts +10 -0
  152. package/src/msg_validators/proposal_validator/checkpoint_proposal_validator.ts +13 -0
  153. package/src/msg_validators/proposal_validator/index.ts +3 -0
  154. package/src/msg_validators/{block_proposal_validator/block_proposal_validator.ts → proposal_validator/proposal_validator.ts} +23 -28
  155. package/src/msg_validators/proposal_validator/proposal_validator_test_suite.ts +206 -0
  156. package/src/msg_validators/tx_validator/data_validator.ts +12 -4
  157. package/src/msg_validators/tx_validator/fee_payer_balance.ts +40 -0
  158. package/src/msg_validators/tx_validator/gas_validator.ts +8 -25
  159. package/src/msg_validators/tx_validator/metadata_validator.ts +12 -4
  160. package/src/msg_validators/tx_validator/timestamp_validator.ts +3 -1
  161. package/src/services/dummy_service.ts +6 -0
  162. package/src/services/encoding.ts +3 -1
  163. package/src/services/libp2p/instrumentation.ts +19 -73
  164. package/src/services/libp2p/libp2p_service.ts +326 -102
  165. package/src/services/peer-manager/metrics.ts +5 -26
  166. package/src/services/peer-manager/peer_manager.ts +1 -2
  167. package/src/services/peer-manager/peer_scoring.ts +1 -5
  168. package/src/services/reqresp/connection-sampler/connection_sampler.ts +3 -1
  169. package/src/services/reqresp/constants.ts +14 -0
  170. package/src/services/reqresp/interface.ts +2 -2
  171. package/src/services/reqresp/metrics.ts +7 -23
  172. package/src/services/reqresp/protocols/block_txs/bitvector.ts +9 -0
  173. package/src/services/reqresp/protocols/status.ts +7 -4
  174. package/src/services/service.ts +19 -4
  175. package/src/services/tx_collection/instrumentation.ts +4 -21
  176. package/src/services/tx_provider_instrumentation.ts +11 -24
  177. package/src/testbench/p2p_client_testbench_worker.ts +35 -12
  178. package/src/testbench/worker_client_manager.ts +6 -1
  179. package/dest/mem_pools/tx_pool/eviction/insufficient_fee_payer_balance_rule.d.ts +0 -15
  180. package/dest/mem_pools/tx_pool/eviction/insufficient_fee_payer_balance_rule.d.ts.map +0 -1
  181. package/dest/mem_pools/tx_pool/eviction/insufficient_fee_payer_balance_rule.js +0 -88
  182. package/dest/msg_validators/block_proposal_validator/block_proposal_validator.d.ts +0 -12
  183. package/dest/msg_validators/block_proposal_validator/block_proposal_validator.d.ts.map +0 -1
  184. package/dest/msg_validators/block_proposal_validator/index.d.ts +0 -2
  185. package/dest/msg_validators/block_proposal_validator/index.d.ts.map +0 -1
  186. package/dest/msg_validators/block_proposal_validator/index.js +0 -1
  187. package/src/mem_pools/tx_pool/eviction/insufficient_fee_payer_balance_rule.ts +0 -108
  188. package/src/msg_validators/block_proposal_validator/index.ts +0 -1
@@ -0,0 +1,206 @@
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, PeerErrorSeverity } from '@aztec/stdlib/p2p';
5
+ import type { TxHash } from '@aztec/stdlib/tx';
6
+
7
+ import type { MockProxy } from 'jest-mock-extended';
8
+
9
+ export interface ProposalValidatorTestParams<TProposal extends BlockProposal | CheckpointProposal> {
10
+ validatorFactory: (
11
+ epochCache: EpochCacheInterface,
12
+ opts: { txsPermitted: boolean },
13
+ ) => { validate: (proposal: TProposal) => Promise<PeerErrorSeverity | undefined> };
14
+ makeProposal: (options?: any) => Promise<TProposal>;
15
+ makeHeader: (epochNumber: number | bigint, slotNumber: number | bigint, blockNumber: number | bigint) => any;
16
+ getSigner: () => Secp256k1Signer;
17
+ getAddress: (signer?: Secp256k1Signer) => EthAddress;
18
+ getSlot: (slot: number | bigint) => any;
19
+ getTxHashes: (n: number) => TxHash[];
20
+ getTxs: () => any[];
21
+ epochCacheMock: () => MockProxy<EpochCacheInterface>;
22
+ }
23
+
24
+ export function sharedProposalValidatorTests<TProposal extends BlockProposal | CheckpointProposal>(
25
+ params: ProposalValidatorTestParams<TProposal>,
26
+ ) {
27
+ const { validatorFactory, makeProposal, makeHeader, getSigner, getAddress, getSlot, getTxHashes, epochCacheMock } =
28
+ params;
29
+
30
+ describe('shared proposal validation logic', () => {
31
+ let epochCache: MockProxy<EpochCacheInterface>;
32
+ let validator: { validate: (proposal: TProposal) => Promise<PeerErrorSeverity | undefined> };
33
+
34
+ beforeEach(() => {
35
+ epochCache = epochCacheMock();
36
+ validator = validatorFactory(epochCache, { txsPermitted: true });
37
+ });
38
+
39
+ it('returns high tolerance error if slot number is not current or next slot', async () => {
40
+ const header = makeHeader(1, 97, 97);
41
+ const mockProposal = await makeProposal({ blockHeader: header, lastBlockHeader: header });
42
+ epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
43
+ currentSlot: getSlot(98),
44
+ nextSlot: getSlot(99),
45
+ currentProposer: getAddress(),
46
+ nextProposer: getAddress(),
47
+ });
48
+ const result = await validator.validate(mockProposal);
49
+ expect(result).toBe(PeerErrorSeverity.HighToleranceError);
50
+ });
51
+
52
+ it('returns mid tolerance error if proposer is not current proposer for current slot', async () => {
53
+ const currentProposer = getSigner();
54
+ const nextProposer = getSigner();
55
+ const invalidProposer = getSigner();
56
+ const header = makeHeader(1, 100, 100);
57
+ const mockProposal = await makeProposal({
58
+ blockHeader: header,
59
+ lastBlockHeader: header,
60
+ signer: invalidProposer,
61
+ });
62
+ epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
63
+ currentSlot: getSlot(100),
64
+ nextSlot: getSlot(101),
65
+ currentProposer: getAddress(currentProposer),
66
+ nextProposer: getAddress(nextProposer),
67
+ });
68
+ const result = await validator.validate(mockProposal);
69
+ expect(result).toBe(PeerErrorSeverity.MidToleranceError);
70
+ });
71
+
72
+ it('returns mid tolerance error if proposer is not next proposer for next slot', async () => {
73
+ const currentProposer = getSigner();
74
+ const nextProposer = getSigner();
75
+ const invalidProposer = getSigner();
76
+ const header = makeHeader(1, 101, 101);
77
+ const mockProposal = await makeProposal({
78
+ blockHeader: header,
79
+ lastBlockHeader: header,
80
+ signer: invalidProposer,
81
+ });
82
+ epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
83
+ currentSlot: getSlot(100),
84
+ nextSlot: getSlot(101),
85
+ currentProposer: getAddress(currentProposer),
86
+ nextProposer: getAddress(nextProposer),
87
+ });
88
+ const result = await validator.validate(mockProposal);
89
+ expect(result).toBe(PeerErrorSeverity.MidToleranceError);
90
+ });
91
+
92
+ it('returns mid tolerance error if proposer is current proposer but proposal is for next slot', async () => {
93
+ const currentProposer = getSigner();
94
+ const nextProposer = getSigner();
95
+ const header = makeHeader(1, 101, 101);
96
+ const mockProposal = await makeProposal({
97
+ blockHeader: header,
98
+ lastBlockHeader: header,
99
+ signer: currentProposer,
100
+ });
101
+ epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
102
+ currentSlot: getSlot(100),
103
+ nextSlot: getSlot(101),
104
+ currentProposer: getAddress(currentProposer),
105
+ nextProposer: getAddress(nextProposer),
106
+ });
107
+ const result = await validator.validate(mockProposal);
108
+ expect(result).toBe(PeerErrorSeverity.MidToleranceError);
109
+ });
110
+
111
+ it('returns undefined if proposal is valid for current slot and proposer', async () => {
112
+ const currentProposer = getSigner();
113
+ const nextProposer = getSigner();
114
+ const header = makeHeader(1, 100, 100);
115
+ const mockProposal = await makeProposal({
116
+ blockHeader: header,
117
+ lastBlockHeader: header,
118
+ signer: currentProposer,
119
+ });
120
+ epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
121
+ currentSlot: getSlot(100),
122
+ nextSlot: getSlot(101),
123
+ currentProposer: getAddress(currentProposer),
124
+ nextProposer: getAddress(nextProposer),
125
+ });
126
+ const result = await validator.validate(mockProposal);
127
+ expect(result).toBeUndefined();
128
+ });
129
+
130
+ it('returns undefined if proposal is valid for next slot and proposer', async () => {
131
+ const currentProposer = getSigner();
132
+ const nextProposer = getSigner();
133
+ const header = makeHeader(1, 101, 101);
134
+ const mockProposal = await makeProposal({ blockHeader: header, lastBlockHeader: header, signer: nextProposer });
135
+ epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
136
+ currentSlot: getSlot(100),
137
+ nextSlot: getSlot(101),
138
+ currentProposer: getAddress(currentProposer),
139
+ nextProposer: getAddress(nextProposer),
140
+ });
141
+ const result = await validator.validate(mockProposal);
142
+ expect(result).toBeUndefined();
143
+ });
144
+
145
+ describe('transaction permission validation', () => {
146
+ it('returns mid tolerance error if txs not permitted and proposal contains txHashes', async () => {
147
+ const currentProposer = getSigner();
148
+ const validatorWithTxsDisabled = validatorFactory(epochCache, { txsPermitted: false });
149
+ const header = makeHeader(1, 100, 100);
150
+ const mockProposal = await makeProposal({
151
+ blockHeader: header,
152
+ lastBlockHeader: header,
153
+ signer: currentProposer,
154
+ txHashes: getTxHashes(2),
155
+ });
156
+ epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
157
+ currentSlot: getSlot(100),
158
+ nextSlot: getSlot(101),
159
+ currentProposer: getAddress(currentProposer),
160
+ nextProposer: getAddress(),
161
+ });
162
+ const result = await validatorWithTxsDisabled.validate(mockProposal);
163
+ expect(result).toBe(PeerErrorSeverity.MidToleranceError);
164
+ });
165
+
166
+ it('returns undefined if txs not permitted but proposal has no txHashes', async () => {
167
+ const currentProposer = getSigner();
168
+ const validatorWithTxsDisabled = validatorFactory(epochCache, { txsPermitted: false });
169
+ const header = makeHeader(1, 100, 100);
170
+ const mockProposal = await makeProposal({
171
+ blockHeader: header,
172
+ lastBlockHeader: header,
173
+ signer: currentProposer,
174
+ txHashes: getTxHashes(0),
175
+ });
176
+ epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
177
+ currentSlot: getSlot(100),
178
+ nextSlot: getSlot(101),
179
+ currentProposer: getAddress(currentProposer),
180
+ nextProposer: getAddress(),
181
+ });
182
+ const result = await validatorWithTxsDisabled.validate(mockProposal);
183
+ expect(result).toBeUndefined();
184
+ });
185
+
186
+ it('returns undefined if txs permitted and proposal contains txHashes', async () => {
187
+ const currentProposer = getSigner();
188
+ const header = makeHeader(1, 100, 100);
189
+ const mockProposal = await makeProposal({
190
+ blockHeader: header,
191
+ lastBlockHeader: header,
192
+ signer: currentProposer,
193
+ txHashes: getTxHashes(2),
194
+ });
195
+ epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
196
+ currentSlot: getSlot(100),
197
+ nextSlot: getSlot(101),
198
+ currentProposer: getAddress(currentProposer),
199
+ nextProposer: getAddress(),
200
+ });
201
+ const result = await validator.validate(mockProposal);
202
+ expect(result).toBeUndefined();
203
+ });
204
+ });
205
+ });
206
+ }
@@ -31,7 +31,9 @@ export class DataTxValidator implements TxValidator<Tx> {
31
31
  if (!tx.getTxHash().equals(expected)) {
32
32
  const reason = TX_ERROR_INCORRECT_HASH;
33
33
  this.#log.verbose(
34
- `Rejecting tx ${tx.getTxHash().toString()}. Reason: ${reason}. Expected hash ${expected.toString()}. Got ${tx.getTxHash().toString()}.`,
34
+ `Rejecting tx ${tx.getTxHash().toString()}. Reason: ${reason}. Expected hash ${expected.toString()}. Got ${tx
35
+ .getTxHash()
36
+ .toString()}.`,
35
37
  );
36
38
  return reason;
37
39
  }
@@ -52,7 +54,9 @@ export class DataTxValidator implements TxValidator<Tx> {
52
54
  if (tx.getTotalPublicCalldataCount() > MAX_FR_CALLDATA_TO_ALL_ENQUEUED_CALLS) {
53
55
  const reason = TX_ERROR_CALLDATA_COUNT_TOO_LARGE;
54
56
  this.#log.verbose(
55
- `Rejecting tx ${tx.getTxHash().toString()}. Reason: ${reason}. Expected no greater than ${MAX_FR_CALLDATA_TO_ALL_ENQUEUED_CALLS} fields. Got ${tx.getTotalPublicCalldataCount()}.`,
57
+ `Rejecting tx ${tx
58
+ .getTxHash()
59
+ .toString()}. Reason: ${reason}. Expected no greater than ${MAX_FR_CALLDATA_TO_ALL_ENQUEUED_CALLS} fields. Got ${tx.getTotalPublicCalldataCount()}.`,
56
60
  );
57
61
  return reason;
58
62
  }
@@ -89,7 +93,9 @@ export class DataTxValidator implements TxValidator<Tx> {
89
93
  if (expectedHashes.some(h => logHash.value.equals(h))) {
90
94
  const matchingLogIndex = expectedHashes.findIndex(l => logHash.value.equals(l));
91
95
  this.#log.verbose(
92
- `Rejecting tx ${tx.getTxHash().toString()} because of mismatched contract class logs indices. Expected ${i} from the kernel's log hashes. Got ${matchingLogIndex} in the tx.`,
96
+ `Rejecting tx ${tx
97
+ .getTxHash()
98
+ .toString()} because of mismatched contract class logs indices. Expected ${i} from the kernel's log hashes. Got ${matchingLogIndex} in the tx.`,
93
99
  );
94
100
  return TX_ERROR_CONTRACT_CLASS_LOG_SORTING;
95
101
  } else {
@@ -105,7 +111,9 @@ export class DataTxValidator implements TxValidator<Tx> {
105
111
  const expectedMinLength = 1 + tx.contractClassLogFields[i].fields.findLastIndex(f => !f.isZero());
106
112
  if (logHash.logHash.length < expectedMinLength) {
107
113
  this.#log.verbose(
108
- `Rejecting tx ${tx.getTxHash().toString()} because of incorrect contract class log length. Expected the length to be at least ${expectedMinLength}. Got ${
114
+ `Rejecting tx ${tx
115
+ .getTxHash()
116
+ .toString()} because of incorrect contract class log length. Expected the length to be at least ${expectedMinLength}. Got ${
109
117
  logHash.logHash.length
110
118
  }.`,
111
119
  );
@@ -0,0 +1,40 @@
1
+ import { getCallRequestsWithCalldataByPhase } from '@aztec/simulator/server';
2
+ import { FunctionSelector } from '@aztec/stdlib/abi';
3
+ import type { AztecAddress } from '@aztec/stdlib/aztec-address';
4
+ import { type Tx, TxExecutionPhase } from '@aztec/stdlib/tx';
5
+
6
+ export type FeePayerBalanceDelta = {
7
+ feeLimit: bigint;
8
+ claimAmount: bigint;
9
+ };
10
+
11
+ const increasePublicBalanceSelectorPromise = FunctionSelector.fromSignature('_increase_public_balance((Field),u128)');
12
+
13
+ export function getTxFeeLimit(tx: Tx): bigint {
14
+ return tx.data.constants.txContext.gasSettings.getFeeLimit().toBigInt();
15
+ }
16
+
17
+ export async function getFeePayerClaimAmount(tx: Tx, feeJuiceAddress: AztecAddress): Promise<bigint> {
18
+ const setupFns = getCallRequestsWithCalldataByPhase(tx, TxExecutionPhase.SETUP);
19
+ const increasePublicBalanceSelector = await increasePublicBalanceSelectorPromise;
20
+ const feePayer = tx.data.feePayer;
21
+
22
+ const claimFunctionCall = setupFns.find(
23
+ fn =>
24
+ fn.request.contractAddress.equals(feeJuiceAddress) &&
25
+ fn.request.msgSender.equals(feeJuiceAddress) &&
26
+ fn.calldata.length > 2 &&
27
+ fn.functionSelector.equals(increasePublicBalanceSelector) &&
28
+ fn.args[0].equals(feePayer.toField()) &&
29
+ !fn.request.isStaticCall,
30
+ );
31
+
32
+ return claimFunctionCall ? claimFunctionCall.args[1].toBigInt() : 0n;
33
+ }
34
+
35
+ export async function getFeePayerBalanceDelta(tx: Tx, feeJuiceAddress: AztecAddress): Promise<FeePayerBalanceDelta> {
36
+ return {
37
+ feeLimit: getTxFeeLimit(tx),
38
+ claimAmount: await getFeePayerClaimAmount(tx, feeJuiceAddress),
39
+ };
40
+ }
@@ -1,8 +1,6 @@
1
1
  import { AVM_MAX_PROCESSABLE_L2_GAS, FIXED_DA_GAS, FIXED_L2_GAS } from '@aztec/constants';
2
2
  import { createLogger } from '@aztec/foundation/log';
3
3
  import { computeFeePayerBalanceStorageSlot } from '@aztec/protocol-contracts/fee-juice';
4
- import { getCallRequestsWithCalldataByPhase } from '@aztec/simulator/server';
5
- import { FunctionSelector } from '@aztec/stdlib/abi';
6
4
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
7
5
  import { Gas, GasFees } from '@aztec/stdlib/gas';
8
6
  import type { PublicStateSource } from '@aztec/stdlib/trees';
@@ -12,11 +10,12 @@ import {
12
10
  TX_ERROR_INSUFFICIENT_FEE_PER_GAS,
13
11
  TX_ERROR_INSUFFICIENT_GAS_LIMIT,
14
12
  type Tx,
15
- TxExecutionPhase,
16
13
  type TxValidationResult,
17
14
  type TxValidator,
18
15
  } from '@aztec/stdlib/tx';
19
16
 
17
+ import { getFeePayerClaimAmount, getTxFeeLimit } from './fee_payer_balance.js';
18
+
20
19
  export class GasTxValidator implements TxValidator<Tx> {
21
20
  #log = createLogger('sequencer:tx_validator:tx_gas');
22
21
  #publicDataSource: PublicStateSource;
@@ -93,7 +92,7 @@ export class GasTxValidator implements TxValidator<Tx> {
93
92
  const feePayer = tx.data.feePayer;
94
93
 
95
94
  // Compute the maximum fee that this tx may pay, based on its gasLimits and maxFeePerGas
96
- const feeLimit = tx.data.constants.txContext.gasSettings.getFeeLimit();
95
+ const feeLimit = getTxFeeLimit(tx);
97
96
 
98
97
  // Read current balance of the feePayer
99
98
  const initialBalance = await this.#publicDataSource.storageRead(
@@ -102,30 +101,14 @@ export class GasTxValidator implements TxValidator<Tx> {
102
101
  );
103
102
 
104
103
  // If there is a claim in this tx that increases the fee payer balance in Fee Juice, add it to balance
105
- const setupFns = getCallRequestsWithCalldataByPhase(tx, TxExecutionPhase.SETUP);
106
- const increasePublicBalanceSelector = await FunctionSelector.fromSignature(
107
- '_increase_public_balance((Field),u128)',
108
- );
109
-
110
- // Arguments of the claim function call:
111
- // - args[0]: Amount recipient.
112
- // - args[1]: Amount being claimed.
113
- const claimFunctionCall = setupFns.find(
114
- fn =>
115
- fn.request.contractAddress.equals(this.#feeJuiceAddress) &&
116
- fn.request.msgSender.equals(this.#feeJuiceAddress) &&
117
- fn.calldata.length > 2 &&
118
- fn.functionSelector.equals(increasePublicBalanceSelector) &&
119
- fn.args[0].equals(feePayer.toField()) &&
120
- !fn.request.isStaticCall,
121
- );
104
+ const claimAmount = await getFeePayerClaimAmount(tx, this.#feeJuiceAddress);
105
+ const balance = initialBalance.toBigInt() + claimAmount;
122
106
 
123
- const balance = claimFunctionCall ? initialBalance.add(claimFunctionCall.args[1]) : initialBalance;
124
- if (balance.lt(feeLimit)) {
107
+ if (balance < feeLimit) {
125
108
  this.#log.verbose(`Rejecting transaction due to not enough fee payer balance`, {
126
109
  feePayer,
127
- balance: balance.toBigInt(),
128
- feeLimit: feeLimit.toBigInt(),
110
+ balance,
111
+ feeLimit,
129
112
  });
130
113
  return { result: 'invalid', reason: [TX_ERROR_INSUFFICIENT_FEE_PAYER_BALANCE] };
131
114
  }
@@ -43,7 +43,9 @@ export class MetadataTxValidator<T extends AnyTx> implements TxValidator<T> {
43
43
  // This gets implicitly tested in the proof validator, but we can get a much cheaper check here by looking early at the vk.
44
44
  if (!tx.data.constants.vkTreeRoot.equals(this.values.vkTreeRoot)) {
45
45
  this.#log.verbose(
46
- `Rejecting tx ${'txHash' in tx ? tx.txHash : tx.hash} because of incorrect vk tree root ${tx.data.constants.vkTreeRoot.toString()} != ${this.values.vkTreeRoot.toString()}`,
46
+ `Rejecting tx ${
47
+ 'txHash' in tx ? tx.txHash : tx.hash
48
+ } because of incorrect vk tree root ${tx.data.constants.vkTreeRoot.toString()} != ${this.values.vkTreeRoot.toString()}`,
47
49
  );
48
50
  return false;
49
51
  } else {
@@ -54,7 +56,9 @@ export class MetadataTxValidator<T extends AnyTx> implements TxValidator<T> {
54
56
  #hasCorrectprotocolContractsHash(tx: T): boolean {
55
57
  if (!tx.data.constants.protocolContractsHash.equals(this.values.protocolContractsHash)) {
56
58
  this.#log.verbose(
57
- `Rejecting tx ${'txHash' in tx ? tx.txHash : tx.hash} because of incorrect protocol contracts hash ${tx.data.constants.protocolContractsHash.toString()} != ${this.values.protocolContractsHash.toString()}`,
59
+ `Rejecting tx ${
60
+ 'txHash' in tx ? tx.txHash : tx.hash
61
+ } because of incorrect protocol contracts hash ${tx.data.constants.protocolContractsHash.toString()} != ${this.values.protocolContractsHash.toString()}`,
58
62
  );
59
63
  return false;
60
64
  }
@@ -64,7 +68,9 @@ export class MetadataTxValidator<T extends AnyTx> implements TxValidator<T> {
64
68
  #hasCorrectL1ChainId(tx: T): boolean {
65
69
  if (!tx.data.constants.txContext.chainId.equals(this.values.l1ChainId)) {
66
70
  this.#log.verbose(
67
- `Rejecting tx ${'txHash' in tx ? tx.txHash : tx.hash} because of incorrect L1 chain ${tx.data.constants.txContext.chainId.toNumber()} != ${this.values.l1ChainId.toNumber()}`,
71
+ `Rejecting tx ${
72
+ 'txHash' in tx ? tx.txHash : tx.hash
73
+ } because of incorrect L1 chain ${tx.data.constants.txContext.chainId.toNumber()} != ${this.values.l1ChainId.toNumber()}`,
68
74
  );
69
75
  return false;
70
76
  } else {
@@ -75,7 +81,9 @@ export class MetadataTxValidator<T extends AnyTx> implements TxValidator<T> {
75
81
  #hasCorrectRollupVersion(tx: T): boolean {
76
82
  if (!tx.data.constants.txContext.version.equals(this.values.rollupVersion)) {
77
83
  this.#log.verbose(
78
- `Rejecting tx ${'txHash' in tx ? tx.txHash : tx.hash} because of incorrect rollup version ${tx.data.constants.txContext.version.toNumber()} != ${this.values.rollupVersion.toNumber()}`,
84
+ `Rejecting tx ${
85
+ 'txHash' in tx ? tx.txHash : tx.hash
86
+ } because of incorrect rollup version ${tx.data.constants.txContext.version.toNumber()} != ${this.values.rollupVersion.toNumber()}`,
79
87
  );
80
88
  return false;
81
89
  } else {
@@ -35,7 +35,9 @@ export class TimestampTxValidator<T extends AnyTx> implements TxValidator<T> {
35
35
  );
36
36
  }
37
37
  this.#log.verbose(
38
- `Rejecting tx ${getTxHash(tx)} for low expiration timestamp. Tx expiration timestamp: ${includeByTimestamp}, timestamp: ${
38
+ `Rejecting tx ${getTxHash(
39
+ tx,
40
+ )} for low expiration timestamp. Tx expiration timestamp: ${includeByTimestamp}, timestamp: ${
39
41
  this.values.timestamp
40
42
  }.`,
41
43
  );
@@ -23,6 +23,7 @@ import type { GoodByeReason } from './reqresp/protocols/goodbye.js';
23
23
  import { ReqRespStatus } from './reqresp/status.js';
24
24
  import {
25
25
  type P2PBlockReceivedCallback,
26
+ type P2PCheckpointReceivedCallback,
26
27
  type P2PService,
27
28
  type PeerDiscoveryService,
28
29
  PeerDiscoveryState,
@@ -74,6 +75,11 @@ export class DummyP2PService implements P2PService {
74
75
  */
75
76
  public registerBlockReceivedCallback(_callback: P2PBlockReceivedCallback) {}
76
77
 
78
+ /**
79
+ * Register a callback into the validator client for when a checkpoint proposal is received
80
+ */
81
+ public registerCheckpointReceivedCallback(_callback: P2PCheckpointReceivedCallback) {}
82
+
77
83
  /**
78
84
  * Sends a request to a peer.
79
85
  * @param _protocol - The protocol to send the request on.
@@ -55,10 +55,12 @@ const DefaultMaxSizesKb: Record<TopicType, number> = {
55
55
  // Tx effects should not exceed 128kb, so 512kb for the full tx obj should be sufficient
56
56
  [TopicType.tx]: 512,
57
57
  // An attestation has roughly 30 fields, which is 1kb, so 5x is plenty
58
- [TopicType.block_attestation]: 5,
58
+ [TopicType.checkpoint_attestation]: 5,
59
59
  // Proposals may carry some tx objects, so we allow a larger size capped at 10mb
60
60
  // Note this may not be enough for carrying all tx objects in a block
61
61
  [TopicType.block_proposal]: 1024 * 10,
62
+ // TODO(palla/mbps): Check size for checkpoint proposal
63
+ [TopicType.checkpoint_proposal]: 1024 * 10,
62
64
  };
63
65
 
64
66
  /**
@@ -8,7 +8,6 @@ import {
8
8
  type ObservableGauge,
9
9
  type TelemetryClient,
10
10
  type UpDownCounter,
11
- ValueType,
12
11
  } from '@aztec/telemetry-client';
13
12
 
14
13
  import { type RecordableHistogram, createHistogram } from 'node:perf_hooks';
@@ -28,81 +27,28 @@ export class P2PInstrumentation {
28
27
  constructor(client: TelemetryClient, name: string) {
29
28
  const meter = client.getMeter(name);
30
29
 
31
- this.messageValidationDuration = meter.createHistogram(Metrics.P2P_GOSSIP_MESSAGE_VALIDATION_DURATION, {
32
- unit: 'ms',
33
- description: 'How long validating a gossiped message takes',
34
- valueType: ValueType.INT,
35
- });
30
+ this.messageValidationDuration = meter.createHistogram(Metrics.P2P_GOSSIP_MESSAGE_VALIDATION_DURATION);
36
31
 
37
- this.messagePrevalidationCount = meter.createUpDownCounter(Metrics.P2P_GOSSIP_MESSAGE_PREVALIDATION_COUNT, {
38
- description: 'How many message pass/fail prevalidation',
39
- valueType: ValueType.INT,
40
- });
32
+ this.messagePrevalidationCount = meter.createUpDownCounter(Metrics.P2P_GOSSIP_MESSAGE_PREVALIDATION_COUNT);
41
33
 
42
- this.messageLatency = meter.createHistogram(Metrics.P2P_GOSSIP_MESSAGE_LATENCY, {
43
- unit: 'ms',
44
- description: 'P2P message latency',
45
- valueType: ValueType.INT,
46
- });
34
+ this.messageLatency = meter.createHistogram(Metrics.P2P_GOSSIP_MESSAGE_LATENCY);
47
35
 
48
- this.txReceivedCount = meter.createUpDownCounter(Metrics.P2P_GOSSIP_TX_RECEIVED_COUNT, {
49
- description: 'The number of txs received from the p2p network',
50
- });
36
+ this.txReceivedCount = meter.createUpDownCounter(Metrics.P2P_GOSSIP_TX_RECEIVED_COUNT);
51
37
 
52
38
  this.aggLatencyMetrics = {
53
- avg: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_LATENCY_AVG, {
54
- valueType: ValueType.DOUBLE,
55
- description: 'AVG msg latency',
56
- unit: 'ms',
57
- }),
58
- max: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_LATENCY_MAX, {
59
- valueType: ValueType.DOUBLE,
60
- description: 'MAX msg latency',
61
- unit: 'ms',
62
- }),
63
- min: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_LATENCY_MIN, {
64
- valueType: ValueType.DOUBLE,
65
- description: 'MIN msg latency',
66
- unit: 'ms',
67
- }),
68
- p50: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_LATENCY_P50, {
69
- valueType: ValueType.DOUBLE,
70
- description: 'P50 msg latency',
71
- unit: 'ms',
72
- }),
73
- p90: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_LATENCY_P90, {
74
- valueType: ValueType.DOUBLE,
75
- description: 'P90 msg latency',
76
- unit: 'ms',
77
- }),
39
+ avg: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_LATENCY_AVG),
40
+ max: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_LATENCY_MAX),
41
+ min: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_LATENCY_MIN),
42
+ p50: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_LATENCY_P50),
43
+ p90: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_LATENCY_P90),
78
44
  };
79
45
 
80
46
  this.aggValidationMetrics = {
81
- avg: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_VALIDATION_DURATION_AVG, {
82
- valueType: ValueType.DOUBLE,
83
- description: 'AVG msg validation',
84
- unit: 'ms',
85
- }),
86
- max: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_VALIDATION_DURATION_MAX, {
87
- valueType: ValueType.DOUBLE,
88
- description: 'MAX msg validation',
89
- unit: 'ms',
90
- }),
91
- min: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_VALIDATION_DURATION_MIN, {
92
- valueType: ValueType.DOUBLE,
93
- description: 'MIN msg validation',
94
- unit: 'ms',
95
- }),
96
- p50: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_VALIDATION_DURATION_P50, {
97
- valueType: ValueType.DOUBLE,
98
- description: 'P50 msg validation',
99
- unit: 'ms',
100
- }),
101
- p90: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_VALIDATION_DURATION_P90, {
102
- valueType: ValueType.DOUBLE,
103
- description: 'P90 msg validation',
104
- unit: 'ms',
105
- }),
47
+ avg: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_VALIDATION_DURATION_AVG),
48
+ max: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_VALIDATION_DURATION_MAX),
49
+ min: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_VALIDATION_DURATION_MIN),
50
+ p50: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_VALIDATION_DURATION_P50),
51
+ p90: meter.createObservableGauge(Metrics.P2P_GOSSIP_AGG_MESSAGE_VALIDATION_DURATION_P90),
106
52
  };
107
53
 
108
54
  meter.addBatchObservableCallback(this.aggregate, [
@@ -156,11 +102,11 @@ export class P2PInstrumentation {
156
102
  continue;
157
103
  }
158
104
 
159
- res.observe(metrics.avg, histogram.mean, { [Attributes.TOPIC_NAME]: topicName });
160
- res.observe(metrics.max, histogram.max, { [Attributes.TOPIC_NAME]: topicName });
161
- res.observe(metrics.min, histogram.min, { [Attributes.TOPIC_NAME]: topicName });
162
- res.observe(metrics.p50, histogram.percentile(50), { [Attributes.TOPIC_NAME]: topicName });
163
- res.observe(metrics.p90, histogram.percentile(90), { [Attributes.TOPIC_NAME]: topicName });
105
+ res.observe(metrics.avg, Math.ceil(histogram.mean), { [Attributes.TOPIC_NAME]: topicName });
106
+ res.observe(metrics.max, Math.ceil(histogram.max), { [Attributes.TOPIC_NAME]: topicName });
107
+ res.observe(metrics.min, Math.ceil(histogram.min), { [Attributes.TOPIC_NAME]: topicName });
108
+ res.observe(metrics.p50, Math.ceil(histogram.percentile(50)), { [Attributes.TOPIC_NAME]: topicName });
109
+ res.observe(metrics.p90, Math.ceil(histogram.percentile(90)), { [Attributes.TOPIC_NAME]: topicName });
164
110
  }
165
111
  }
166
112
  };