@aztec/validator-client 6.0.0-nightly.20260604 → 6.0.0-nightly.20260721
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 +2 -0
- package/dest/checkpoint_builder.d.ts +6 -4
- package/dest/checkpoint_builder.d.ts.map +1 -1
- package/dest/checkpoint_builder.js +16 -8
- package/dest/config.d.ts +9 -3
- package/dest/config.d.ts.map +1 -1
- package/dest/config.js +9 -1
- package/dest/factory.d.ts +1 -1
- package/dest/factory.d.ts.map +1 -1
- package/dest/factory.js +10 -3
- package/dest/key_store/web3signer_key_store.d.ts +10 -2
- package/dest/key_store/web3signer_key_store.d.ts.map +1 -1
- package/dest/key_store/web3signer_key_store.js +32 -41
- package/dest/proposal_handler.d.ts +37 -6
- package/dest/proposal_handler.d.ts.map +1 -1
- package/dest/proposal_handler.js +182 -47
- package/dest/validator.d.ts +11 -5
- package/dest/validator.d.ts.map +1 -1
- package/dest/validator.js +51 -42
- package/package.json +19 -19
- package/src/checkpoint_builder.ts +16 -7
- package/src/config.ts +16 -3
- package/src/factory.ts +9 -1
- package/src/key_store/web3signer_key_store.ts +43 -59
- package/src/proposal_handler.ts +203 -50
- package/src/validator.ts +61 -46
package/dest/proposal_handler.js
CHANGED
|
@@ -65,17 +65,17 @@ function _ts_dispose_resources(env) {
|
|
|
65
65
|
}
|
|
66
66
|
import { encodeCheckpointBlobDataFromBlocks, getBlobsPerL1Block } from '@aztec/blob-lib';
|
|
67
67
|
import { INITIAL_L2_BLOCK_NUM } from '@aztec/constants';
|
|
68
|
-
import { PROPOSER_PIPELINING_SLOT_OFFSET } from '@aztec/epoch-cache';
|
|
69
68
|
import { validateFeeAssetPriceModifier } from '@aztec/ethereum/contracts';
|
|
70
|
-
import { BlockNumber, CheckpointNumber
|
|
69
|
+
import { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
|
|
71
70
|
import { pick } from '@aztec/foundation/collection';
|
|
72
71
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
73
72
|
import { TimeoutError } from '@aztec/foundation/error';
|
|
73
|
+
import { FifoSet } from '@aztec/foundation/fifo-set';
|
|
74
74
|
import { createLogger } from '@aztec/foundation/log';
|
|
75
75
|
import { retryUntil } from '@aztec/foundation/retry';
|
|
76
76
|
import { DateProvider, Timer } from '@aztec/foundation/timer';
|
|
77
77
|
import { getPreviousCheckpointOutHashes, validateCheckpoint } from '@aztec/stdlib/checkpoint';
|
|
78
|
-
import { getEpochAtSlot
|
|
78
|
+
import { getEpochAtSlot } from '@aztec/stdlib/epoch-helpers';
|
|
79
79
|
import { Gas } from '@aztec/stdlib/gas';
|
|
80
80
|
import { accumulateCheckpointOutHashes, computeInHashFromL1ToL2Messages } from '@aztec/stdlib/messaging';
|
|
81
81
|
import { MerkleTreeId } from '@aztec/stdlib/trees';
|
|
@@ -99,7 +99,40 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
99
99
|
out_hash_mismatch: 'invalid',
|
|
100
100
|
checkpoint_validation_failed: 'invalid'
|
|
101
101
|
};
|
|
102
|
-
|
|
102
|
+
const MAX_TRACKED_INVALID_PROPOSAL_SLOTS = 1000;
|
|
103
|
+
/** Block-proposal validation failures that constitute a slashable invalid-block offense. */ export const SLASHABLE_BLOCK_PROPOSAL_VALIDATION_RESULT = [
|
|
104
|
+
'state_mismatch',
|
|
105
|
+
'failed_txs',
|
|
106
|
+
'global_variables_mismatch',
|
|
107
|
+
'invalid_proposal',
|
|
108
|
+
'parent_block_wrong_slot',
|
|
109
|
+
'in_hash_mismatch'
|
|
110
|
+
];
|
|
111
|
+
/** Checkpoint-proposal validation failures that constitute a slashable invalid-checkpoint offense. */ export const SLASHABLE_CHECKPOINT_PROPOSAL_VALIDATION_RESULT = {
|
|
112
|
+
// enabled
|
|
113
|
+
['invalid_fee_asset_price_modifier']: true,
|
|
114
|
+
['checkpoint_header_mismatch']: true,
|
|
115
|
+
// These late mismatches should normally be caught by earlier checks, but if reached after validating the local
|
|
116
|
+
// checkpoint inputs, the proposer-signed payload disagrees with deterministic recomputation.
|
|
117
|
+
['archive_mismatch']: true,
|
|
118
|
+
['out_hash_mismatch']: true,
|
|
119
|
+
['no_blocks_for_slot']: true,
|
|
120
|
+
['too_many_blocks_in_checkpoint']: true,
|
|
121
|
+
['checkpoint_validation_failed']: true,
|
|
122
|
+
['last_block_archive_mismatch']: true,
|
|
123
|
+
// disabled
|
|
124
|
+
['invalid_signature']: false,
|
|
125
|
+
['last_block_not_found']: false,
|
|
126
|
+
['block_fetch_error']: false,
|
|
127
|
+
['checkpoint_already_published']: false
|
|
128
|
+
};
|
|
129
|
+
/**
|
|
130
|
+
* Handles block and checkpoint proposals for both validator and non-validator nodes. Also tracks which slots
|
|
131
|
+
* had a slashable invalid proposal or a proposal equivocation, exposing them via the
|
|
132
|
+
* `InvalidProposalSlotSource` interface consumed by the attested-invalid-proposal slashing watcher. The
|
|
133
|
+
* tracking is populated as a side effect of validating/re-executing proposals, so any node that re-executes
|
|
134
|
+
* proposals (the default) can serve it — not only validators.
|
|
135
|
+
*/ export class ProposalHandler {
|
|
103
136
|
checkpointsBuilder;
|
|
104
137
|
worldState;
|
|
105
138
|
blockSource;
|
|
@@ -107,6 +140,7 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
107
140
|
txProvider;
|
|
108
141
|
blockProposalValidator;
|
|
109
142
|
epochCache;
|
|
143
|
+
timetable;
|
|
110
144
|
config;
|
|
111
145
|
blobClient;
|
|
112
146
|
reexecutionTracker;
|
|
@@ -121,7 +155,9 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
121
155
|
/** Returns current validator addresses for own-proposal detection. Set via register(). */ getOwnValidatorAddresses;
|
|
122
156
|
/** P2P proposal pool access for deciding when retained proposals should block archiver processing. */ p2pClient;
|
|
123
157
|
checkpointProposalValidationFailureCallback;
|
|
124
|
-
|
|
158
|
+
/** Slots at which a slashable invalid block or checkpoint proposal was observed. */ slotsWithInvalidProposals;
|
|
159
|
+
/** Slots at which a proposal equivocation was observed; suppresses attested-to-invalid-proposal slashing. */ slotsWithProposalEquivocation;
|
|
160
|
+
constructor(checkpointsBuilder, worldState, blockSource, l1ToL2MessageSource, txProvider, blockProposalValidator, epochCache, timetable, config, blobClient, reexecutionTracker, metrics, dateProvider = new DateProvider(), telemetry = getTelemetryClient(), log = createLogger('validator:proposal-handler')){
|
|
125
161
|
this.checkpointsBuilder = checkpointsBuilder;
|
|
126
162
|
this.worldState = worldState;
|
|
127
163
|
this.blockSource = blockSource;
|
|
@@ -129,12 +165,15 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
129
165
|
this.txProvider = txProvider;
|
|
130
166
|
this.blockProposalValidator = blockProposalValidator;
|
|
131
167
|
this.epochCache = epochCache;
|
|
168
|
+
this.timetable = timetable;
|
|
132
169
|
this.config = config;
|
|
133
170
|
this.blobClient = blobClient;
|
|
134
171
|
this.reexecutionTracker = reexecutionTracker;
|
|
135
172
|
this.metrics = metrics;
|
|
136
173
|
this.dateProvider = dateProvider;
|
|
137
174
|
this.log = log;
|
|
175
|
+
this.slotsWithInvalidProposals = FifoSet.withLimit(MAX_TRACKED_INVALID_PROPOSAL_SLOTS);
|
|
176
|
+
this.slotsWithProposalEquivocation = FifoSet.withLimit(MAX_TRACKED_INVALID_PROPOSAL_SLOTS);
|
|
138
177
|
if (config.fishermanMode) {
|
|
139
178
|
this.log = this.log.createChild('[FISHERMAN]');
|
|
140
179
|
}
|
|
@@ -162,6 +201,18 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
162
201
|
*/ recordOwnCheckpointProposalAsValid(slot, archive, checkpointNumber) {
|
|
163
202
|
this.reexecutionTracker.recordOutcome(slot, archive, 'valid', checkpointNumber);
|
|
164
203
|
}
|
|
204
|
+
/** Whether a slashable invalid block or checkpoint proposal was observed at the given slot (InvalidProposalSlotSource). */ hasInvalidProposals(slotNumber) {
|
|
205
|
+
return this.slotsWithInvalidProposals.has(slotNumber);
|
|
206
|
+
}
|
|
207
|
+
/** Whether a proposal equivocation was observed at the given slot (InvalidProposalSlotSource). */ hasProposalEquivocation(slotNumber) {
|
|
208
|
+
return this.slotsWithProposalEquivocation.has(slotNumber);
|
|
209
|
+
}
|
|
210
|
+
/** Records a slot as having a slashable invalid proposal, for offense observers (sentinel/slasher watchers). */ markInvalidProposalSlot(slotNumber) {
|
|
211
|
+
this.slotsWithInvalidProposals.add(slotNumber);
|
|
212
|
+
}
|
|
213
|
+
/** Records a slot as having a proposal equivocation, which suppresses attested-to-invalid-proposal slashing. */ markProposalEquivocation(slotNumber) {
|
|
214
|
+
this.slotsWithProposalEquivocation.add(slotNumber);
|
|
215
|
+
}
|
|
165
216
|
/**
|
|
166
217
|
* Registers handlers for block and checkpoint proposals on the p2p client.
|
|
167
218
|
* Records the p2p client so validation can inspect retained proposals.
|
|
@@ -190,6 +241,15 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
190
241
|
});
|
|
191
242
|
return true;
|
|
192
243
|
} else {
|
|
244
|
+
// Track invalid proposals / equivocations so offense observers (the attested-invalid-proposal
|
|
245
|
+
// watcher) work on non-validator nodes too. Validators populate these via their own handlers.
|
|
246
|
+
// Skip invalid-proposal marking while the escape hatch is open, matching the validator path,
|
|
247
|
+
// which intentionally disables invalid-block slashing then.
|
|
248
|
+
if (result.reason === 'checkpoint_proposal_equivocation') {
|
|
249
|
+
this.markProposalEquivocation(slotNumber);
|
|
250
|
+
} else if (SLASHABLE_BLOCK_PROPOSAL_VALIDATION_RESULT.includes(result.reason) && !await this.epochCache.isEscapeHatchOpenAtSlot(slotNumber)) {
|
|
251
|
+
this.markInvalidProposalSlot(slotNumber);
|
|
252
|
+
}
|
|
193
253
|
this.log.warn(`Non-validator block proposal ${blockNumber} at slot ${slotNumber} failed processing with ${result.reason}`, {
|
|
194
254
|
blockNumber: result.blockNumber,
|
|
195
255
|
slotNumber,
|
|
@@ -203,6 +263,10 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
203
263
|
}
|
|
204
264
|
};
|
|
205
265
|
p2pClient.registerBlockProposalHandler(blockHandler);
|
|
266
|
+
// p2p detects duplicate (equivocated) proposals without routing them through the handlers above, so mark
|
|
267
|
+
// the slot as equivocated here. This suppresses false-positive attested-to-invalid-proposal slashing on
|
|
268
|
+
// non-validator offense collectors. Validators overwrite this with their own richer handler.
|
|
269
|
+
p2pClient.registerDuplicateProposalCallback((info)=>this.markProposalEquivocation(info.slot));
|
|
206
270
|
// All-nodes checkpoint proposal handler: validates, caches, and sets proposed checkpoint for pipelining.
|
|
207
271
|
// Runs for all nodes (validators and non-validators). Validators get the cached result in the
|
|
208
272
|
// validator-specific callback (attestToCheckpointProposal) which runs after this one.
|
|
@@ -222,23 +286,35 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
222
286
|
this.log.warn(`Escape hatch open for slot ${proposal.slotNumber}, skipping checkpoint proposal validation`, proposalInfo);
|
|
223
287
|
return undefined;
|
|
224
288
|
}
|
|
225
|
-
//
|
|
226
|
-
//
|
|
227
|
-
//
|
|
228
|
-
//
|
|
229
|
-
//
|
|
289
|
+
// A proposal is "own" when it was signed by a validator key this node also owns. The true local
|
|
290
|
+
// proposer already built, validated, and stored this checkpoint before broadcasting, so a matching
|
|
291
|
+
// proposed checkpoint is already in its archiver — skip the redundant re-validation. An HA peer that
|
|
292
|
+
// shares the proposer's keys sees the same "own" proposal over gossip but never built it, so it has
|
|
293
|
+
// nothing stored; it falls through to the normal validate-and-persist path below to hydrate the
|
|
294
|
+
// proposed-checkpoint metadata it needs to build the next slot on top of this checkpoint.
|
|
230
295
|
const proposer = proposal.getSender();
|
|
231
296
|
const ownAddresses = this.getOwnValidatorAddresses?.();
|
|
232
297
|
const isOwnProposal = proposer && ownAddresses?.some((addr)=>addr === proposer.toString());
|
|
233
298
|
if (isOwnProposal) {
|
|
234
|
-
|
|
235
|
-
|
|
299
|
+
const existing = await this.archiver?.getProposedCheckpointData({
|
|
300
|
+
slot: proposal.slotNumber
|
|
301
|
+
});
|
|
302
|
+
if (existing?.archive.root.equals(proposal.archive)) {
|
|
303
|
+
this.log.debug(`Skipping sync for existing own checkpoint proposal at slot ${proposal.slotNumber}`);
|
|
304
|
+
return undefined;
|
|
305
|
+
}
|
|
236
306
|
}
|
|
237
307
|
const result = await this.handleCheckpointProposal(proposal, proposalInfo);
|
|
238
308
|
if (!result.isValid) {
|
|
309
|
+
// Track invalid checkpoint proposals so offense observers (the attested-invalid-proposal watcher)
|
|
310
|
+
// work on non-validator nodes too. This handler runs for all nodes; validators also mark via the
|
|
311
|
+
// failure callback below (idempotent).
|
|
312
|
+
if (SLASHABLE_CHECKPOINT_PROPOSAL_VALIDATION_RESULT[result.reason]) {
|
|
313
|
+
this.markInvalidProposalSlot(proposal.slotNumber);
|
|
314
|
+
}
|
|
239
315
|
await this.checkpointProposalValidationFailureCallback?.(proposal, result, proposalInfo);
|
|
240
316
|
} else if (this.archiver) {
|
|
241
|
-
const set = await this.
|
|
317
|
+
const set = await this.setProposedCheckpoint(proposal);
|
|
242
318
|
if (set) {
|
|
243
319
|
this.metrics?.recordCheckpointProposalToPipelinedStateDuration(pipeliningTimer.ms());
|
|
244
320
|
}
|
|
@@ -256,7 +332,6 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
256
332
|
async handleBlockProposal(proposal, proposalSender, shouldReexecute) {
|
|
257
333
|
const slotNumber = proposal.slotNumber;
|
|
258
334
|
const proposer = proposal.getSender();
|
|
259
|
-
const config = this.checkpointsBuilder.getConfig();
|
|
260
335
|
// Reject proposals with invalid signatures
|
|
261
336
|
if (!proposer) {
|
|
262
337
|
this.log.warn(`Received proposal with invalid signature for slot ${slotNumber}`);
|
|
@@ -327,10 +402,12 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
327
402
|
// Compute the block number based on the parent block
|
|
328
403
|
const blockNumber = parentBlock === 'genesis' ? BlockNumber(INITIAL_L2_BLOCK_NUM) : BlockNumber(parentBlock.header.getBlockNumber() + 1);
|
|
329
404
|
proposalInfo.blockNumber = blockNumber;
|
|
330
|
-
// Check that this block number does not exist already
|
|
331
|
-
|
|
332
|
-
|
|
333
|
-
|
|
405
|
+
// Check that this block number does not exist already. During a reorg the archiver can still hold a
|
|
406
|
+
// stale block at this number (a different archive, about to be pruned) while the proposal carries the
|
|
407
|
+
// rebuilt replacement; resolveExistingBlockAtNumber waits for the local prune in that case so the
|
|
408
|
+
// rebuilt block is processed in time to attest, rather than being permanently dropped on a bare
|
|
409
|
+
// number collision.
|
|
410
|
+
const existingBlock = await this.resolveExistingBlockAtNumber(blockNumber, proposal.archive, slotNumber);
|
|
334
411
|
if (existingBlock) {
|
|
335
412
|
this.log.warn(`Block number ${blockNumber} already exists, skipping processing`, proposalInfo);
|
|
336
413
|
return {
|
|
@@ -343,7 +420,7 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
343
420
|
// and we do it even if we don't plan to re-execute the txs, so that we have them if another node needs them.
|
|
344
421
|
const { txs, missingTxs } = await this.txProvider.getTxsForBlockProposal(proposal, blockNumber, {
|
|
345
422
|
pinnedPeer: proposalSender,
|
|
346
|
-
deadline: this.getReexecutionDeadline(slotNumber
|
|
423
|
+
deadline: this.getReexecutionDeadline(slotNumber)
|
|
347
424
|
});
|
|
348
425
|
// Record the tx-collection outcome on the re-execution tracker
|
|
349
426
|
this.reexecutionTracker.recordTxsCollected(slotNumber, proposal.indexWithinCheckpoint, missingTxs.length === 0);
|
|
@@ -422,7 +499,7 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
422
499
|
};
|
|
423
500
|
}
|
|
424
501
|
// If we succeeded, push this block into the archiver (unless disabled)
|
|
425
|
-
if (reexecutionResult?.block && this.config.skipPushProposedBlocksToArchiver
|
|
502
|
+
if (reexecutionResult?.block && !this.config.skipPushProposedBlocksToArchiver) {
|
|
426
503
|
await this.blockSource.addBlock(reexecutionResult.block);
|
|
427
504
|
}
|
|
428
505
|
this.log.info(`Successfully re-executed block ${blockNumber} proposal at index ${proposal.indexWithinCheckpoint} on slot ${slotNumber}`, {
|
|
@@ -464,20 +541,21 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
464
541
|
}
|
|
465
542
|
async getParentBlock(proposal) {
|
|
466
543
|
const parentArchive = proposal.blockHeader.lastArchive.root;
|
|
467
|
-
const config = this.checkpointsBuilder.getConfig();
|
|
468
544
|
const { genesisArchiveRoot } = await this.blockSource.getGenesisValues();
|
|
469
545
|
if (parentArchive.equals(genesisArchiveRoot)) {
|
|
470
546
|
return 'genesis';
|
|
471
547
|
}
|
|
472
|
-
const deadline = this.getReexecutionDeadline(proposal.slotNumber
|
|
473
|
-
const
|
|
474
|
-
const timeoutDurationMs = deadline.getTime() - currentTime;
|
|
548
|
+
const deadline = this.getReexecutionDeadline(proposal.slotNumber);
|
|
549
|
+
const timeoutDurationMs = deadline.getTime() - this.dateProvider.now();
|
|
475
550
|
try {
|
|
476
551
|
return await this.blockSource.getBlockData({
|
|
477
552
|
archive: parentArchive
|
|
478
553
|
}) ?? (timeoutDurationMs <= 0 ? undefined : await retryUntil(()=>this.blockSource.syncImmediate().then(()=>this.blockSource.getBlockData({
|
|
479
554
|
archive: parentArchive
|
|
480
|
-
})), 'force archiver sync',
|
|
555
|
+
})), 'force archiver sync', {
|
|
556
|
+
deadline,
|
|
557
|
+
dateProvider: this.dateProvider
|
|
558
|
+
}, 0.5));
|
|
481
559
|
} catch (err) {
|
|
482
560
|
if (err instanceof TimeoutError) {
|
|
483
561
|
this.log.debug(`Timed out getting parent block by archive root`, {
|
|
@@ -491,6 +569,60 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
491
569
|
return undefined;
|
|
492
570
|
}
|
|
493
571
|
}
|
|
572
|
+
/**
|
|
573
|
+
* Resolves whether a block genuinely already exists at `blockNumber`. Returns the existing block only if
|
|
574
|
+
* it is a true duplicate of the proposal (matching archive). During a reorg the archiver can still hold a
|
|
575
|
+
* stale fork at this number (different archive) that is about to be pruned; in that case this forces L1
|
|
576
|
+
* sync and waits, bounded by the re-execution deadline, for the prune to land, then returns `undefined` so
|
|
577
|
+
* the rebuilt block proposal can be processed in time to attest. If the prune does not complete before the
|
|
578
|
+
* deadline it returns the stale block, so the caller falls back to the safe `block_number_already_exists`
|
|
579
|
+
* rejection.
|
|
580
|
+
*/ async resolveExistingBlockAtNumber(blockNumber, proposalArchive, slotNumber) {
|
|
581
|
+
const existingBlock = await this.blockSource.getBlockData({
|
|
582
|
+
number: blockNumber
|
|
583
|
+
});
|
|
584
|
+
if (!existingBlock || existingBlock.archive.root.equals(proposalArchive)) {
|
|
585
|
+
return existingBlock;
|
|
586
|
+
}
|
|
587
|
+
// A different block already occupies this number: it may be a stale fork being pruned during a reorg, not a
|
|
588
|
+
// genuine duplicate. Wait for the local prune rather than permanently rejecting the proposal.
|
|
589
|
+
const deadline = this.getReexecutionDeadline(slotNumber);
|
|
590
|
+
if (deadline.getTime() - this.dateProvider.now() <= 0) {
|
|
591
|
+
return existingBlock;
|
|
592
|
+
}
|
|
593
|
+
this.log.warn(`Block number ${blockNumber} already exists, awaiting potential prune`, {
|
|
594
|
+
blockNumber,
|
|
595
|
+
existingArchive: existingBlock.archive.root.toString(),
|
|
596
|
+
proposalArchive: proposalArchive.toString()
|
|
597
|
+
});
|
|
598
|
+
try {
|
|
599
|
+
const { block } = await retryUntil(async ()=>{
|
|
600
|
+
await this.blockSource.syncImmediate();
|
|
601
|
+
const block = await this.blockSource.getBlockData({
|
|
602
|
+
number: blockNumber
|
|
603
|
+
});
|
|
604
|
+
// Resolve once the existing block is gone (pruned) or has been replaced by one matching the
|
|
605
|
+
// proposal — the same condition as the early return above. A matching block is returned so the
|
|
606
|
+
// caller still treats it as a genuine duplicate; an `undefined` (pruned) block lets the proposal
|
|
607
|
+
// be processed. Wrap in an object so the `undefined` case is still a truthy retry result.
|
|
608
|
+
return block === undefined || block.archive.root.equals(proposalArchive) ? {
|
|
609
|
+
block
|
|
610
|
+
} : undefined;
|
|
611
|
+
}, `prune of stale block ${blockNumber}`, {
|
|
612
|
+
deadline,
|
|
613
|
+
dateProvider: this.dateProvider
|
|
614
|
+
}, 0.5);
|
|
615
|
+
return block;
|
|
616
|
+
} catch (err) {
|
|
617
|
+
if (err instanceof TimeoutError) {
|
|
618
|
+
this.log.warn(`Timed out waiting for stale block ${blockNumber} to be pruned`, {
|
|
619
|
+
blockNumber
|
|
620
|
+
});
|
|
621
|
+
return existingBlock;
|
|
622
|
+
}
|
|
623
|
+
throw err;
|
|
624
|
+
}
|
|
625
|
+
}
|
|
494
626
|
computeCheckpointNumber(proposal, parentBlock, proposalInfo) {
|
|
495
627
|
if (parentBlock === 'genesis') {
|
|
496
628
|
// First block is in checkpoint 1
|
|
@@ -619,12 +751,13 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
619
751
|
}
|
|
620
752
|
return undefined;
|
|
621
753
|
}
|
|
622
|
-
|
|
623
|
-
|
|
624
|
-
|
|
625
|
-
|
|
626
|
-
|
|
627
|
-
|
|
754
|
+
/**
|
|
755
|
+
* Hard re-execution/validation deadline for any block or checkpoint proposal targeting `slotNumber`:
|
|
756
|
+
* the single consensus `attestation_deadline` (`target_slot_start + S - 2E`). This is the latest the
|
|
757
|
+
* checkpoint can land on L1 in the target slot; all nodes agree on it. Loosened from the previous
|
|
758
|
+
* next-wall-clock-slot-boundary bound (see the timetable spec / refactor notes).
|
|
759
|
+
*/ getReexecutionDeadline(slotNumber) {
|
|
760
|
+
return new Date(this.timetable.getAttestationDeadline(slotNumber) * 1000);
|
|
628
761
|
}
|
|
629
762
|
getReexecuteFailureReason(err) {
|
|
630
763
|
if (err instanceof TransactionsNotAvailableError) {
|
|
@@ -684,7 +817,7 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
684
817
|
// Create checkpoint builder with prior blocks
|
|
685
818
|
const checkpointBuilder = await this.checkpointsBuilder.openCheckpoint(checkpointNumber, constants, 0n, l1ToL2Messages, previousCheckpointOutHashes, fork, priorBlocks, this.log.getBindings());
|
|
686
819
|
// Build the new block
|
|
687
|
-
const deadline = this.getReexecutionDeadline(slot
|
|
820
|
+
const deadline = this.getReexecutionDeadline(slot);
|
|
688
821
|
const maxBlockGas = this.config.validateMaxL2BlockGas !== undefined || this.config.validateMaxDABlockGas !== undefined ? new Gas(this.config.validateMaxDABlockGas ?? Infinity, this.config.validateMaxL2BlockGas ?? Infinity) : undefined;
|
|
689
822
|
const result = await checkpointBuilder.buildBlock(txs, blockNumber, blockHeader.globalVariables.timestamp, {
|
|
690
823
|
isBuildingProposal: false,
|
|
@@ -807,16 +940,14 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
807
940
|
};
|
|
808
941
|
try {
|
|
809
942
|
const slot = proposal.slotNumber;
|
|
810
|
-
// Block-sync deadline = the
|
|
811
|
-
// this checkpoint and still have it land on L1 in
|
|
812
|
-
//
|
|
813
|
-
//
|
|
814
|
-
|
|
815
|
-
|
|
816
|
-
|
|
817
|
-
|
|
818
|
-
const timeoutSeconds = Math.max(1, Math.floor((deadline.getTime() - this.dateProvider.now()) / 1000));
|
|
819
|
-
// Wait for last block to sync by archive
|
|
943
|
+
// Block-sync/validation deadline = the single consensus attestation_deadline (target_slot_start + S
|
|
944
|
+
// - 2E): the latest moment the proposer can submit this checkpoint and still have it land on L1 in
|
|
945
|
+
// the target slot. Keeping validation/attestation alive until then lets validators keep attesting
|
|
946
|
+
// right up to the proposer's real publish cutoff.
|
|
947
|
+
const deadline = this.getReexecutionDeadline(slot);
|
|
948
|
+
// Wait for last block to sync by archive. The deadline is passed to retryUntil as an absolute date so
|
|
949
|
+
// the remaining budget is derived from the date provider; a deadline already in the past times out
|
|
950
|
+
// after a single attempt instead of looping (the immediate-timeout semantics of the deadline overload).
|
|
820
951
|
let lastBlockData;
|
|
821
952
|
try {
|
|
822
953
|
lastBlockData = await retryUntil(async ()=>{
|
|
@@ -824,7 +955,10 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
824
955
|
return await this.blockSource.getBlockData({
|
|
825
956
|
archive: proposal.archive
|
|
826
957
|
});
|
|
827
|
-
}, `waiting for block with archive ${proposal.archive.toString()} for slot ${slot}`,
|
|
958
|
+
}, `waiting for block with archive ${proposal.archive.toString()} for slot ${slot}`, {
|
|
959
|
+
deadline,
|
|
960
|
+
dateProvider: this.dateProvider
|
|
961
|
+
}, 0.5);
|
|
828
962
|
} catch (err) {
|
|
829
963
|
if (err instanceof TimeoutError) {
|
|
830
964
|
this.log.warn(`Timed out waiting for block with archive matching checkpoint proposal`, proposalInfo);
|
|
@@ -880,6 +1014,7 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
880
1014
|
checkpointNumber: lastBlockData.checkpointNumber
|
|
881
1015
|
};
|
|
882
1016
|
}
|
|
1017
|
+
// Note this condition should never trigger, since we dont process block proposals that exceed indexWithinCheckpoint
|
|
883
1018
|
const maxBlocksPerCheckpoint = this.config.maxBlocksPerCheckpoint;
|
|
884
1019
|
if (maxBlocksPerCheckpoint !== undefined && blocks.length > maxBlocksPerCheckpoint) {
|
|
885
1020
|
this.log.warn(`Checkpoint proposal exceeds maxBlocksPerCheckpoint`, {
|
|
@@ -1043,10 +1178,10 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
1043
1178
|
}
|
|
1044
1179
|
}
|
|
1045
1180
|
/**
|
|
1046
|
-
* Derives proposed checkpoint data from validated blocks and sets it on the archiver
|
|
1047
|
-
*
|
|
1048
|
-
*
|
|
1049
|
-
*/ async
|
|
1181
|
+
* Derives proposed checkpoint data from validated blocks and sets it on the archiver, so this node can
|
|
1182
|
+
* pipeline building on top of the checkpoint. Does not retry, since validation already waited for the
|
|
1183
|
+
* last block to sync.
|
|
1184
|
+
*/ async setProposedCheckpoint(proposal) {
|
|
1050
1185
|
if (!this.archiver) {
|
|
1051
1186
|
return false;
|
|
1052
1187
|
}
|
package/dest/validator.d.ts
CHANGED
|
@@ -3,7 +3,7 @@ import type { EpochCache } from '@aztec/epoch-cache';
|
|
|
3
3
|
import { CheckpointNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec/foundation/branded-types';
|
|
4
4
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
5
5
|
import type { EthAddress } from '@aztec/foundation/eth-address';
|
|
6
|
-
import
|
|
6
|
+
import { Signature } from '@aztec/foundation/eth-signature';
|
|
7
7
|
import { type LogData, type Logger } from '@aztec/foundation/log';
|
|
8
8
|
import { DateProvider } from '@aztec/foundation/timer';
|
|
9
9
|
import type { KeystoreManager } from '@aztec/node-keystore';
|
|
@@ -14,7 +14,7 @@ import type { CommitteeAttestationsAndSigners, L2BlockSink, L2BlockSource } from
|
|
|
14
14
|
import type { CheckpointReexecutionTracker } from '@aztec/stdlib/checkpoint';
|
|
15
15
|
import type { ITxProvider, Validator, ValidatorClientFullConfig, WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
|
|
16
16
|
import type { L1ToL2MessageSource } from '@aztec/stdlib/messaging';
|
|
17
|
-
import { type BlockProposal, type BlockProposalOptions,
|
|
17
|
+
import { type BlockProposal, type BlockProposalOptions, CheckpointAttestation, CheckpointProposal, type CheckpointProposalCore, type CheckpointProposalOptions } from '@aztec/stdlib/p2p';
|
|
18
18
|
import type { CheckpointHeader } from '@aztec/stdlib/rollup';
|
|
19
19
|
import type { BlockHeader, Tx } from '@aztec/stdlib/tx';
|
|
20
20
|
import { type TelemetryClient, type Tracer } from '@aztec/telemetry-client';
|
|
@@ -55,10 +55,9 @@ export declare class ValidatorClient extends ValidatorClient_base implements Val
|
|
|
55
55
|
/** Tracks the last epoch in which each attester successfully submitted at least one attestation. */
|
|
56
56
|
private lastAttestedEpochByAttester;
|
|
57
57
|
private proposersOfInvalidBlocks;
|
|
58
|
-
private slotsWithInvalidProposals;
|
|
59
58
|
private invalidCheckpointProposalOffenseKeys;
|
|
59
|
+
private oversizedProposalOffenseKeys;
|
|
60
60
|
private badAttestationOffenseKeys;
|
|
61
|
-
private slotsWithProposalEquivocation;
|
|
62
61
|
/** Tracks the last checkpoint proposal we attested to, to prevent equivocation. */
|
|
63
62
|
private lastAttestedProposal?;
|
|
64
63
|
protected constructor(keyStore: ExtendedValidatorKeyStore, epochCache: EpochCache, p2pClient: P2P, proposalHandler: ProposalHandler, blockSource: L2BlockSource, checkpointsBuilder: FullNodeCheckpointsBuilder, worldState: WorldStateSynchronizer, l1ToL2MessageSource: L1ToL2MessageSource, config: ValidatorClientFullConfig, blobClient: BlobClientInterface, slashingProtectionSigner: ValidatorHASigner, dateProvider?: DateProvider, telemetry?: TelemetryClient, log?: Logger);
|
|
@@ -109,6 +108,13 @@ export declare class ValidatorClient extends ValidatorClient_base implements Val
|
|
|
109
108
|
private markInvalidProposalSlot;
|
|
110
109
|
private handleCheckpointAttestation;
|
|
111
110
|
private slashAttestedToInvalidCheckpointProposal;
|
|
111
|
+
/**
|
|
112
|
+
* Handle detection of an oversized block proposal: one whose index within its checkpoint lands at or
|
|
113
|
+
* beyond the consensus per-checkpoint block limit. A single signed proposal at an illegal index is
|
|
114
|
+
* self-contained evidence, so emit an invalid-block-proposal slash event for the proposer, deduped per
|
|
115
|
+
* (proposer, slot) since the p2p layer reports every oversized proposal it stores.
|
|
116
|
+
*/
|
|
117
|
+
private handleOversizedProposal;
|
|
112
118
|
/**
|
|
113
119
|
* Handle detection of a duplicate proposal (equivocation).
|
|
114
120
|
* Emits a slash event when a proposer sends multiple proposals for the same position.
|
|
@@ -128,4 +134,4 @@ export declare class ValidatorClient extends ValidatorClient_base implements Val
|
|
|
128
134
|
private handleAuthRequest;
|
|
129
135
|
}
|
|
130
136
|
export {};
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
137
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmFsaWRhdG9yLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvdmFsaWRhdG9yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFckUsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDckQsT0FBTyxFQUFFLGdCQUFnQixFQUFlLHFCQUFxQixFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQ25ILE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUNoRSxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFNUQsT0FBTyxFQUFFLEtBQUssT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFnQixNQUFNLHVCQUF1QixDQUFDO0FBR2hGLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUN2RCxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUM1RCxPQUFPLEtBQUssRUFBMEUsR0FBRyxFQUFFLE1BQU0sRUFBRSxNQUFNLFlBQVksQ0FBQztBQUV0SCxPQUFPLEVBSUwsS0FBSyxPQUFPLEVBQ1osS0FBSyxjQUFjLEVBRXBCLE1BQU0sZ0JBQWdCLENBQUM7QUFDeEIsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDaEUsT0FBTyxLQUFLLEVBQUUsK0JBQStCLEVBQUUsV0FBVyxFQUFFLGFBQWEsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ3ZHLE9BQU8sS0FBSyxFQUFFLDRCQUE0QixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFN0UsT0FBTyxLQUFLLEVBQ1YsV0FBVyxFQUNYLFNBQVMsRUFDVCx5QkFBeUIsRUFDekIsc0JBQXNCLEVBQ3ZCLE1BQU0saUNBQWlDLENBQUM7QUFDekMsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNuRSxPQUFPLEVBQ0wsS0FBSyxhQUFhLEVBQ2xCLEtBQUssb0JBQW9CLEVBQ3pCLHFCQUFxQixFQUNyQixrQkFBa0IsRUFDbEIsS0FBSyxzQkFBc0IsRUFDM0IsS0FBSyx5QkFBeUIsRUFFL0IsTUFBTSxtQkFBbUIsQ0FBQztBQUMzQixPQUFPLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBRTdELE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxFQUFFLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUV4RCxPQUFPLEVBQUUsS0FBSyxlQUFlLEVBQUUsS0FBSyxNQUFNLEVBQXNCLE1BQU0seUJBQXlCLENBQUM7QUFNaEcsT0FBTyxFQUFZLEtBQUssY0FBYyxFQUFFLEtBQUssMEJBQTBCLEVBQUUsTUFBTSxrQ0FBa0MsQ0FBQztBQUNsSCxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLGdEQUFnRCxDQUFDO0FBR3hGLE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sTUFBTSxDQUFDO0FBRWhELE9BQU8sS0FBSyxFQUFFLDBCQUEwQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFJMUUsT0FBTyxLQUFLLEVBQUUseUJBQXlCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUcxRSxPQUFPLEVBR0wsZUFBZSxFQUdoQixNQUFNLHVCQUF1QixDQUFDOztBQVEvQjs7R0FFRztBQUNILHFCQUFhLGVBQWdCLFNBQVEsb0JBQTJDLFlBQVcsU0FBUyxFQUFFLE9BQU87SUE0QnpHLE9BQU8sQ0FBQyxRQUFRO0lBQ2hCLE9BQU8sQ0FBQyxVQUFVO0lBQ2xCLE9BQU8sQ0FBQyxTQUFTO0lBQ2pCLE9BQU8sQ0FBQyxlQUFlO0lBQ3ZCLE9BQU8sQ0FBQyxXQUFXO0lBQ25CLE9BQU8sQ0FBQyxrQkFBa0I7SUFDMUIsT0FBTyxDQUFDLFVBQVU7SUFDbEIsT0FBTyxDQUFDLG1CQUFtQjtJQUMzQixPQUFPLENBQUMsTUFBTTtJQUNkLE9BQU8sQ0FBQyxVQUFVO0lBQ2xCLE9BQU8sQ0FBQyx3QkFBd0I7SUFDaEMsT0FBTyxDQUFDLFlBQVk7SUF0Q3RCLFNBQWdCLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFDL0IsT0FBTyxDQUFDLGlCQUFpQixDQUFvQjtJQUM3QyxPQUFPLENBQUMsT0FBTyxDQUFtQjtJQUNsQyxPQUFPLENBQUMsR0FBRyxDQUFTO0lBRXBCLE9BQU8sQ0FBQyxxQkFBcUIsQ0FBUztJQUV0Qyx3RkFBd0Y7SUFDeEYsT0FBTyxDQUFDLGlCQUFpQixDQUFDLENBQWdCO0lBRTFDLHNEQUFzRDtJQUN0RCxPQUFPLENBQUMsc0JBQXNCLENBQUMsQ0FBcUI7SUFFcEQsT0FBTyxDQUFDLCtCQUErQixDQUEwQjtJQUNqRSxPQUFPLENBQUMsb0JBQW9CLENBQWlCO0lBQzdDLG9HQUFvRztJQUNwRyxPQUFPLENBQUMsMkJBQTJCLENBQXVDO0lBRTFFLE9BQU8sQ0FBQyx3QkFBd0IsQ0FBOEQ7SUFDOUYsT0FBTyxDQUFDLG9DQUFvQyxDQUF1RTtJQUNuSCxPQUFPLENBQUMsNEJBQTRCLENBQXVFO0lBQzNHLE9BQU8sQ0FBQyx5QkFBeUIsQ0FBMkQ7SUFFNUYsbUZBQW1GO0lBQ25GLE9BQU8sQ0FBQyxvQkFBb0IsQ0FBQyxDQUF5QjtJQUV0RCxTQUFTLGFBQ0MsUUFBUSxFQUFFLHlCQUF5QixFQUNuQyxVQUFVLEVBQUUsVUFBVSxFQUN0QixTQUFTLEVBQUUsR0FBRyxFQUNkLGVBQWUsRUFBRSxlQUFlLEVBQ2hDLFdBQVcsRUFBRSxhQUFhLEVBQzFCLGtCQUFrQixFQUFFLDBCQUEwQixFQUM5QyxVQUFVLEVBQUUsc0JBQXNCLEVBQ2xDLG1CQUFtQixFQUFFLG1CQUFtQixFQUN4QyxNQUFNLEVBQUUseUJBQXlCLEVBQ2pDLFVBQVUsRUFBRSxtQkFBbUIsRUFDL0Isd0JBQXdCLEVBQUUsaUJBQWlCLEVBQzNDLFlBQVksR0FBRSxZQUFpQyxFQUN2RCxTQUFTLEdBQUUsZUFBc0MsRUFDakQsR0FBRyxTQUE0QixFQXVCaEM7SUFFRCxPQUFjLDZCQUE2QixDQUFDLGVBQWUsRUFBRSxlQUFlLEVBQUUsTUFBTSxDQUFDLEVBQUUsTUFBTSxRQXVCNUY7WUFFYSwwQkFBMEI7SUE0QnhDLE9BQWEsR0FBRyxDQUNkLE1BQU0sRUFBRSx5QkFBeUIsRUFDakMsa0JBQWtCLEVBQUUsMEJBQTBCLEVBQzlDLFVBQVUsRUFBRSxzQkFBc0IsRUFDbEMsVUFBVSxFQUFFLFVBQVUsRUFDdEIsU0FBUyxFQUFFLEdBQUcsRUFDZCxXQUFXLEVBQUUsYUFBYSxHQUFHLFdBQVcsRUFDeEMsbUJBQW1CLEVBQUUsbUJBQW1CLEVBQ3hDLFVBQVUsRUFBRSxXQUFXLEVBQ3ZCLGVBQWUsRUFBRSxlQUFlLEVBQ2hDLFVBQVUsRUFBRSxtQkFBbUIsRUFDL0Isa0JBQWtCLEVBQUUsNEJBQTRCLEVBQ2hELFlBQVksR0FBRSxZQUFpQyxFQUMvQyxTQUFTLEdBQUUsZUFBc0MsRUFDakQsb0JBQW9CLENBQUMsRUFBRSwwQkFBMEIsNEJBa0ZsRDtJQUVNLHFCQUFxQixpQkFJM0I7SUFFTSxrQkFBa0Isb0JBRXhCO0lBRU0sZUFBZSxDQUFDLElBQUksRUFBRSxVQUFVLEVBQUUsR0FBRyxFQUFFLG1CQUFtQixFQUFFLE9BQU8sRUFBRSxjQUFjLHNCQUV6RjtJQUVELE9BQU8sQ0FBQyxtQkFBbUI7SUFPcEIsc0JBQXNCLENBQUMsUUFBUSxFQUFFLFVBQVUsR0FBRyxVQUFVLENBRTlEO0lBRU0sMEJBQTBCLENBQUMsUUFBUSxFQUFFLFVBQVUsR0FBRyxZQUFZLENBRXBFO0lBRU0sU0FBUyxJQUFJLHlCQUF5QixDQUU1QztJQUVNLHVCQUF1QixDQUFDLFVBQVUsRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUU5RDtJQUVNLG1CQUFtQixDQUFDLFVBQVUsRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUUxRDtJQUVNLFlBQVksQ0FBQyxNQUFNLEVBQUUsT0FBTyxDQUFDLHlCQUF5QixDQUFDLFFBRzdEO0lBRU0sY0FBYyxDQUFDLFVBQVUsRUFBRSxlQUFlLEdBQUcsSUFBSSxDQVF2RDtJQUVZLEtBQUssa0JBbUJqQjtJQUVZLElBQUksa0JBR2hCO0lBRUQsMENBQTBDO0lBQzdCLGdCQUFnQixrQkEyQzVCO0lBRUQ7Ozs7T0FJRztJQUNHLHFCQUFxQixDQUFDLFFBQVEsRUFBRSxhQUFhLEVBQUUsY0FBYyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDLENBdUY3RjtJQUVEOzs7OztPQUtHO0lBQ0csMEJBQTBCLENBQzlCLFFBQVEsRUFBRSxzQkFBc0IsRUFDaEMsZUFBZSxFQUFFLE1BQU0sR0FDdEIsT0FBTyxDQUFDLHFCQUFxQixFQUFFLEdBQUcsU0FBUyxDQUFDLENBNkc5QztJQUVEOzs7T0FHRztJQUNILE9BQU8sQ0FBQyxrQkFBa0I7WUFpQlosd0NBQXdDO0lBbUJ0RDs7T0FFRztJQUNILFVBQWdCLHdCQUF3QixDQUFDLFFBQVEsRUFBRSxzQkFBc0IsRUFBRSxZQUFZLEVBQUUsT0FBTyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0F3Qi9HO0lBRUQsT0FBTyxDQUFDLGlCQUFpQjtJQXFCekIsT0FBTyxDQUFDLCtCQUErQjtJQXFCdkMsT0FBTyxDQUFDLDhCQUE4QjtJQTJCdEMsT0FBTyxDQUFDLHVCQUF1QjtJQUkvQixPQUFPLENBQUMsMkJBQTJCO0lBcUJuQyxPQUFPLENBQUMsd0NBQXdDO0lBdUJoRDs7Ozs7T0FLRztJQUNILE9BQU8sQ0FBQyx1QkFBdUI7SUF3Qi9COzs7T0FHRztJQUNILE9BQU8sQ0FBQyx1QkFBdUI7SUE2Qi9COzs7T0FHRztJQUNILE9BQU8sQ0FBQywwQkFBMEI7SUFvQjVCLG1CQUFtQixDQUN2QixXQUFXLEVBQUUsV0FBVyxFQUN4QixnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMscUJBQXFCLEVBQUUscUJBQXFCLEVBQzVDLE1BQU0sRUFBRSxFQUFFLEVBQ1YsT0FBTyxFQUFFLEVBQUUsRUFDWCxHQUFHLEVBQUUsRUFBRSxFQUFFLEVBQ1QsZUFBZSxFQUFFLFVBQVUsR0FBRyxTQUFTLEVBQ3ZDLE9BQU8sR0FBRSxvQkFBeUIsR0FDakMsT0FBTyxDQUFDLGFBQWEsQ0FBQyxDQWtDeEI7SUFFSyx3QkFBd0IsQ0FDNUIsZ0JBQWdCLEVBQUUsZ0JBQWdCLEVBQ2xDLE9BQU8sRUFBRSxFQUFFLEVBQ1gsZ0JBQWdCLEVBQUUsZ0JBQWdCLEVBQ2xDLHFCQUFxQixFQUFFLE1BQU0sRUFDN0IsaUJBQWlCLEVBQUUsYUFBYSxHQUFHLFNBQVMsRUFDNUMsZUFBZSxFQUFFLFVBQVUsR0FBRyxTQUFTLEVBQ3ZDLE9BQU8sR0FBRSx5QkFBOEIsR0FDdEMsT0FBTyxDQUFDLGtCQUFrQixDQUFDLENBaUM3QjtJQUVLLHNCQUFzQixDQUFDLFFBQVEsRUFBRSxhQUFhLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUVuRTtJQUVLLDBCQUEwQixDQUM5QixzQkFBc0IsRUFBRSwrQkFBK0IsRUFDdkQsUUFBUSxFQUFFLFVBQVUsRUFDcEIsSUFBSSxFQUFFLFVBQVUsRUFDaEIsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQ2pDLE9BQU8sQ0FBQyxTQUFTLENBQUMsQ0FPcEI7SUFFSyxzQkFBc0IsQ0FDMUIsUUFBUSxFQUFFLGtCQUFrQixFQUM1QixnQkFBZ0IsRUFBRSxnQkFBZ0IsR0FDakMsT0FBTyxDQUFDLHFCQUFxQixFQUFFLENBQUMsQ0FpQmxDO0lBRUssbUJBQW1CLENBQ3ZCLFFBQVEsRUFBRSxrQkFBa0IsRUFDNUIsUUFBUSxFQUFFLE1BQU0sRUFDaEIsUUFBUSxFQUFFLElBQUksRUFDZCxnQkFBZ0IsRUFBRSxnQkFBZ0IsR0FDakMsT0FBTyxDQUFDLHFCQUFxQixFQUFFLENBQUMsQ0F1RGxDO1lBRWEsaUJBQWlCO0NBd0JoQyJ9
|
package/dest/validator.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../src/validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAErE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAe,qBAAqB,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AACnH,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,
|
|
1
|
+
{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../src/validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAErE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAe,qBAAqB,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AACnH,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAE5D,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAGhF,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAA0E,GAAG,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEtH,OAAO,EAIL,KAAK,OAAO,EACZ,KAAK,cAAc,EAEpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,+BAA+B,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACvG,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,0BAA0B,CAAC;AAE7E,OAAO,KAAK,EACV,WAAW,EACX,SAAS,EACT,yBAAyB,EACzB,sBAAsB,EACvB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EACL,KAAK,aAAa,EAClB,KAAK,oBAAoB,EACzB,qBAAqB,EACrB,kBAAkB,EAClB,KAAK,sBAAsB,EAC3B,KAAK,yBAAyB,EAE/B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAE7D,OAAO,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAExD,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,MAAM,EAAsB,MAAM,yBAAyB,CAAC;AAMhG,OAAO,EAAY,KAAK,cAAc,EAAE,KAAK,0BAA0B,EAAE,MAAM,kCAAkC,CAAC;AAClH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gDAAgD,CAAC;AAGxF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,MAAM,CAAC;AAEhD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AAI1E,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAG1E,OAAO,EAGL,eAAe,EAGhB,MAAM,uBAAuB,CAAC;;AAQ/B;;GAEG;AACH,qBAAa,eAAgB,SAAQ,oBAA2C,YAAW,SAAS,EAAE,OAAO;IA4BzG,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,eAAe;IACvB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,mBAAmB;IAC3B,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,wBAAwB;IAChC,OAAO,CAAC,YAAY;IAtCtB,SAAgB,MAAM,EAAE,MAAM,CAAC;IAC/B,OAAO,CAAC,iBAAiB,CAAoB;IAC7C,OAAO,CAAC,OAAO,CAAmB;IAClC,OAAO,CAAC,GAAG,CAAS;IAEpB,OAAO,CAAC,qBAAqB,CAAS;IAEtC,wFAAwF;IACxF,OAAO,CAAC,iBAAiB,CAAC,CAAgB;IAE1C,sDAAsD;IACtD,OAAO,CAAC,sBAAsB,CAAC,CAAqB;IAEpD,OAAO,CAAC,+BAA+B,CAA0B;IACjE,OAAO,CAAC,oBAAoB,CAAiB;IAC7C,oGAAoG;IACpG,OAAO,CAAC,2BAA2B,CAAuC;IAE1E,OAAO,CAAC,wBAAwB,CAA8D;IAC9F,OAAO,CAAC,oCAAoC,CAAuE;IACnH,OAAO,CAAC,4BAA4B,CAAuE;IAC3G,OAAO,CAAC,yBAAyB,CAA2D;IAE5F,mFAAmF;IACnF,OAAO,CAAC,oBAAoB,CAAC,CAAyB;IAEtD,SAAS,aACC,QAAQ,EAAE,yBAAyB,EACnC,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,GAAG,EACd,eAAe,EAAE,eAAe,EAChC,WAAW,EAAE,aAAa,EAC1B,kBAAkB,EAAE,0BAA0B,EAC9C,UAAU,EAAE,sBAAsB,EAClC,mBAAmB,EAAE,mBAAmB,EACxC,MAAM,EAAE,yBAAyB,EACjC,UAAU,EAAE,mBAAmB,EAC/B,wBAAwB,EAAE,iBAAiB,EAC3C,YAAY,GAAE,YAAiC,EACvD,SAAS,GAAE,eAAsC,EACjD,GAAG,SAA4B,EAuBhC;IAED,OAAc,6BAA6B,CAAC,eAAe,EAAE,eAAe,EAAE,MAAM,CAAC,EAAE,MAAM,QAuB5F;YAEa,0BAA0B;IA4BxC,OAAa,GAAG,CACd,MAAM,EAAE,yBAAyB,EACjC,kBAAkB,EAAE,0BAA0B,EAC9C,UAAU,EAAE,sBAAsB,EAClC,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,GAAG,EACd,WAAW,EAAE,aAAa,GAAG,WAAW,EACxC,mBAAmB,EAAE,mBAAmB,EACxC,UAAU,EAAE,WAAW,EACvB,eAAe,EAAE,eAAe,EAChC,UAAU,EAAE,mBAAmB,EAC/B,kBAAkB,EAAE,4BAA4B,EAChD,YAAY,GAAE,YAAiC,EAC/C,SAAS,GAAE,eAAsC,EACjD,oBAAoB,CAAC,EAAE,0BAA0B,4BAkFlD;IAEM,qBAAqB,iBAI3B;IAEM,kBAAkB,oBAExB;IAEM,eAAe,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,mBAAmB,EAAE,OAAO,EAAE,cAAc,sBAEzF;IAED,OAAO,CAAC,mBAAmB;IAOpB,sBAAsB,CAAC,QAAQ,EAAE,UAAU,GAAG,UAAU,CAE9D;IAEM,0BAA0B,CAAC,QAAQ,EAAE,UAAU,GAAG,YAAY,CAEpE;IAEM,SAAS,IAAI,yBAAyB,CAE5C;IAEM,uBAAuB,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAE9D;IAEM,mBAAmB,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAE1D;IAEM,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,yBAAyB,CAAC,QAG7D;IAEM,cAAc,CAAC,UAAU,EAAE,eAAe,GAAG,IAAI,CAQvD;IAEY,KAAK,kBAmBjB;IAEY,IAAI,kBAGhB;IAED,0CAA0C;IAC7B,gBAAgB,kBA2C5B;IAED;;;;OAIG;IACG,qBAAqB,CAAC,QAAQ,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAuF7F;IAED;;;;;OAKG;IACG,0BAA0B,CAC9B,QAAQ,EAAE,sBAAsB,EAChC,eAAe,EAAE,MAAM,GACtB,OAAO,CAAC,qBAAqB,EAAE,GAAG,SAAS,CAAC,CA6G9C;IAED;;;OAGG;IACH,OAAO,CAAC,kBAAkB;YAiBZ,wCAAwC;IAmBtD;;OAEG;IACH,UAAgB,wBAAwB,CAAC,QAAQ,EAAE,sBAAsB,EAAE,YAAY,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAwB/G;IAED,OAAO,CAAC,iBAAiB;IAqBzB,OAAO,CAAC,+BAA+B;IAqBvC,OAAO,CAAC,8BAA8B;IA2BtC,OAAO,CAAC,uBAAuB;IAI/B,OAAO,CAAC,2BAA2B;IAqBnC,OAAO,CAAC,wCAAwC;IAuBhD;;;;;OAKG;IACH,OAAO,CAAC,uBAAuB;IAwB/B;;;OAGG;IACH,OAAO,CAAC,uBAAuB;IA6B/B;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IAoB5B,mBAAmB,CACvB,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,gBAAgB,EAClC,qBAAqB,EAAE,qBAAqB,EAC5C,MAAM,EAAE,EAAE,EACV,OAAO,EAAE,EAAE,EACX,GAAG,EAAE,EAAE,EAAE,EACT,eAAe,EAAE,UAAU,GAAG,SAAS,EACvC,OAAO,GAAE,oBAAyB,GACjC,OAAO,CAAC,aAAa,CAAC,CAkCxB;IAEK,wBAAwB,CAC5B,gBAAgB,EAAE,gBAAgB,EAClC,OAAO,EAAE,EAAE,EACX,gBAAgB,EAAE,gBAAgB,EAClC,qBAAqB,EAAE,MAAM,EAC7B,iBAAiB,EAAE,aAAa,GAAG,SAAS,EAC5C,eAAe,EAAE,UAAU,GAAG,SAAS,EACvC,OAAO,GAAE,yBAA8B,GACtC,OAAO,CAAC,kBAAkB,CAAC,CAiC7B;IAEK,sBAAsB,CAAC,QAAQ,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAEnE;IAEK,0BAA0B,CAC9B,sBAAsB,EAAE,+BAA+B,EACvD,QAAQ,EAAE,UAAU,EACpB,IAAI,EAAE,UAAU,EAChB,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,SAAS,CAAC,CAOpB;IAEK,sBAAsB,CAC1B,QAAQ,EAAE,kBAAkB,EAC5B,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAiBlC;IAEK,mBAAmB,CACvB,QAAQ,EAAE,kBAAkB,EAC5B,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,IAAI,EACd,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAuDlC;YAEa,iBAAiB;CAwBhC"}
|