@aztec/slasher 0.0.1-commit.8afd444 → 0.0.1-commit.8cb2d04d8
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 +51 -65
- package/dest/config.d.ts +1 -1
- package/dest/config.d.ts.map +1 -1
- package/dest/config.js +14 -14
- package/dest/factory/create_facade.d.ts +3 -3
- package/dest/factory/create_facade.d.ts.map +1 -1
- package/dest/factory/create_facade.js +25 -2
- package/dest/factory/create_implementation.d.ts +6 -7
- package/dest/factory/create_implementation.d.ts.map +1 -1
- package/dest/factory/create_implementation.js +8 -56
- package/dest/factory/get_settings.d.ts +4 -4
- package/dest/factory/get_settings.d.ts.map +1 -1
- package/dest/factory/get_settings.js +3 -3
- package/dest/factory/index.d.ts +2 -2
- package/dest/factory/index.d.ts.map +1 -1
- package/dest/factory/index.js +1 -1
- package/dest/generated/slasher-defaults.d.ts +3 -3
- package/dest/generated/slasher-defaults.js +3 -3
- package/dest/index.d.ts +2 -3
- package/dest/index.d.ts.map +1 -1
- package/dest/index.js +1 -2
- package/dest/null_slasher_client.d.ts +3 -4
- package/dest/null_slasher_client.d.ts.map +1 -1
- package/dest/null_slasher_client.js +1 -4
- package/dest/slash_offenses_collector.d.ts +5 -8
- package/dest/slash_offenses_collector.d.ts.map +1 -1
- package/dest/slash_offenses_collector.js +9 -22
- package/dest/slasher_client.d.ts +112 -0
- package/dest/slasher_client.d.ts.map +1 -0
- package/dest/{tally_slasher_client.js → slasher_client.js} +26 -40
- package/dest/slasher_client_facade.d.ts +6 -8
- package/dest/slasher_client_facade.d.ts.map +1 -1
- package/dest/slasher_client_facade.js +6 -9
- package/dest/slasher_client_interface.d.ts +7 -21
- package/dest/slasher_client_interface.d.ts.map +1 -1
- package/dest/slasher_client_interface.js +1 -4
- package/dest/stores/offenses_store.d.ts +6 -12
- package/dest/stores/offenses_store.d.ts.map +1 -1
- package/dest/stores/offenses_store.js +5 -24
- package/dest/watchers/epoch_prune_watcher.d.ts +6 -5
- package/dest/watchers/epoch_prune_watcher.d.ts.map +1 -1
- package/dest/watchers/epoch_prune_watcher.js +47 -26
- package/package.json +9 -9
- package/src/config.ts +16 -14
- package/src/factory/create_facade.ts +32 -4
- package/src/factory/create_implementation.ts +24 -105
- package/src/factory/get_settings.ts +8 -8
- package/src/factory/index.ts +1 -1
- package/src/generated/slasher-defaults.ts +3 -3
- package/src/index.ts +1 -2
- package/src/null_slasher_client.ts +2 -6
- package/src/slash_offenses_collector.ts +16 -24
- package/src/{tally_slasher_client.ts → slasher_client.ts} +33 -49
- package/src/slasher_client_facade.ts +6 -11
- package/src/slasher_client_interface.ts +6 -21
- package/src/stores/offenses_store.ts +8 -33
- package/src/watchers/epoch_prune_watcher.ts +61 -26
- package/dest/empire_slasher_client.d.ts +0 -190
- package/dest/empire_slasher_client.d.ts.map +0 -1
- package/dest/empire_slasher_client.js +0 -564
- package/dest/stores/payloads_store.d.ts +0 -29
- package/dest/stores/payloads_store.d.ts.map +0 -1
- package/dest/stores/payloads_store.js +0 -128
- package/dest/tally_slasher_client.d.ts +0 -125
- package/dest/tally_slasher_client.d.ts.map +0 -1
- package/src/empire_slasher_client.ts +0 -649
- package/src/stores/payloads_store.ts +0 -149
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import { EpochCache } from '@aztec/epoch-cache';
|
|
2
|
-
import { BlockNumber,
|
|
3
|
-
import { merge, pick } from '@aztec/foundation/collection';
|
|
2
|
+
import { BlockNumber, EpochNumber } from '@aztec/foundation/branded-types';
|
|
3
|
+
import { chunkBy, merge, pick } from '@aztec/foundation/collection';
|
|
4
4
|
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
5
5
|
import { type Logger, createLogger } from '@aztec/foundation/log';
|
|
6
6
|
import {
|
|
@@ -12,6 +12,7 @@ import {
|
|
|
12
12
|
} from '@aztec/stdlib/block';
|
|
13
13
|
import { getEpochAtSlot } from '@aztec/stdlib/epoch-helpers';
|
|
14
14
|
import type {
|
|
15
|
+
ICheckpointBlockBuilder,
|
|
15
16
|
ICheckpointsBuilder,
|
|
16
17
|
ITxProvider,
|
|
17
18
|
MerkleTreeWriteOperations,
|
|
@@ -106,7 +107,7 @@ export class EpochPruneWatcher extends (EventEmitter as new () => WatcherEmitter
|
|
|
106
107
|
{ blocks: epochBlocks.map(b => b.toBlockInfo()) },
|
|
107
108
|
);
|
|
108
109
|
|
|
109
|
-
await this.validateBlocks(epochBlocks);
|
|
110
|
+
await this.validateBlocks(epochBlocks, epochNumber);
|
|
110
111
|
this.log.info(`Pruned epoch ${epochNumber} was valid. Want to slash committee for not having it proven.`);
|
|
111
112
|
await this.emitSlashForEpoch(OffenseType.VALID_EPOCH_PRUNED, epochNumber);
|
|
112
113
|
} catch (error) {
|
|
@@ -121,19 +122,32 @@ export class EpochPruneWatcher extends (EventEmitter as new () => WatcherEmitter
|
|
|
121
122
|
}
|
|
122
123
|
}
|
|
123
124
|
|
|
124
|
-
public async validateBlocks(blocks: L2Block[]): Promise<void> {
|
|
125
|
+
public async validateBlocks(blocks: L2Block[], epochNumber: EpochNumber): Promise<void> {
|
|
125
126
|
if (blocks.length === 0) {
|
|
126
127
|
return;
|
|
127
128
|
}
|
|
128
129
|
|
|
129
|
-
|
|
130
|
-
const
|
|
130
|
+
// Sort blocks by block number and group by checkpoint
|
|
131
|
+
const sortedBlocks = [...blocks].sort((a, b) => a.number - b.number);
|
|
132
|
+
const blocksByCheckpoint = chunkBy(sortedBlocks, b => b.checkpointNumber);
|
|
133
|
+
|
|
134
|
+
// Get prior checkpoints in the epoch (in case this was a partial prune) to extract the out hashes
|
|
135
|
+
const priorCheckpointOutHashes = (await this.l2BlockSource.getCheckpointsDataForEpoch(epochNumber))
|
|
136
|
+
.filter(c => c.checkpointNumber < sortedBlocks[0].checkpointNumber)
|
|
137
|
+
.map(c => c.checkpointOutHash);
|
|
138
|
+
let previousCheckpointOutHashes: Fr[] = [...priorCheckpointOutHashes];
|
|
139
|
+
|
|
140
|
+
const fork = await this.checkpointsBuilder.getFork(
|
|
141
|
+
BlockNumber(sortedBlocks[0].header.globalVariables.blockNumber - 1),
|
|
142
|
+
);
|
|
131
143
|
try {
|
|
132
|
-
for (const
|
|
133
|
-
await this.
|
|
144
|
+
for (const checkpointBlocks of blocksByCheckpoint) {
|
|
145
|
+
await this.validateCheckpoint(checkpointBlocks, previousCheckpointOutHashes, fork);
|
|
134
146
|
|
|
135
|
-
//
|
|
136
|
-
const checkpointOutHash = computeCheckpointOutHash(
|
|
147
|
+
// Compute checkpoint out hash from all blocks in this checkpoint
|
|
148
|
+
const checkpointOutHash = computeCheckpointOutHash(
|
|
149
|
+
checkpointBlocks.map(b => b.body.txEffects.map(tx => tx.l2ToL1Msgs)),
|
|
150
|
+
);
|
|
137
151
|
previousCheckpointOutHashes = [...previousCheckpointOutHashes, checkpointOutHash];
|
|
138
152
|
}
|
|
139
153
|
} finally {
|
|
@@ -141,45 +155,66 @@ export class EpochPruneWatcher extends (EventEmitter as new () => WatcherEmitter
|
|
|
141
155
|
}
|
|
142
156
|
}
|
|
143
157
|
|
|
144
|
-
|
|
145
|
-
|
|
158
|
+
private async validateCheckpoint(
|
|
159
|
+
checkpointBlocks: L2Block[],
|
|
146
160
|
previousCheckpointOutHashes: Fr[],
|
|
147
161
|
fork: MerkleTreeWriteOperations,
|
|
148
162
|
): Promise<void> {
|
|
149
|
-
|
|
150
|
-
|
|
151
|
-
// We load txs from the mempool directly, since the TxCollector running in the background has already been
|
|
152
|
-
// trying to fetch them from nodes or via reqresp. If we haven't managed to collect them by now,
|
|
153
|
-
// it's likely that they are not available in the network at all.
|
|
154
|
-
const { txs, missingTxs } = await this.txProvider.getAvailableTxs(txHashes);
|
|
155
|
-
|
|
156
|
-
if (missingTxs && missingTxs.length > 0) {
|
|
157
|
-
throw new TransactionsNotAvailableError(missingTxs);
|
|
158
|
-
}
|
|
163
|
+
const checkpointNumber = checkpointBlocks[0].checkpointNumber;
|
|
164
|
+
this.log.debug(`Validating pruned checkpoint ${checkpointNumber} with ${checkpointBlocks.length} blocks`);
|
|
159
165
|
|
|
160
|
-
|
|
166
|
+
// Get L1ToL2Messages once for the entire checkpoint
|
|
161
167
|
const l1ToL2Messages = await this.l1ToL2MessageSource.getL1ToL2Messages(checkpointNumber);
|
|
162
|
-
|
|
168
|
+
|
|
169
|
+
// Build checkpoint constants from first block's global variables
|
|
170
|
+
const gv = checkpointBlocks[0].header.globalVariables;
|
|
163
171
|
const constants: CheckpointGlobalVariables = {
|
|
164
172
|
chainId: gv.chainId,
|
|
165
173
|
version: gv.version,
|
|
166
174
|
slotNumber: gv.slotNumber,
|
|
175
|
+
timestamp: gv.timestamp,
|
|
167
176
|
coinbase: gv.coinbase,
|
|
168
177
|
feeRecipient: gv.feeRecipient,
|
|
169
178
|
gasFees: gv.gasFees,
|
|
170
179
|
};
|
|
171
180
|
|
|
172
|
-
//
|
|
181
|
+
// Start checkpoint builder once for all blocks in this checkpoint
|
|
173
182
|
const checkpointBuilder = await this.checkpointsBuilder.startCheckpoint(
|
|
174
183
|
checkpointNumber,
|
|
175
184
|
constants,
|
|
185
|
+
0n, // feeAssetPriceModifier is not used for validation of the checkpoint content
|
|
176
186
|
l1ToL2Messages,
|
|
177
187
|
previousCheckpointOutHashes,
|
|
178
188
|
fork,
|
|
179
189
|
this.log.getBindings(),
|
|
180
190
|
);
|
|
181
191
|
|
|
182
|
-
|
|
192
|
+
// Validate all blocks in the checkpoint sequentially
|
|
193
|
+
for (const block of checkpointBlocks) {
|
|
194
|
+
await this.validateBlockInCheckpoint(block, checkpointBuilder);
|
|
195
|
+
}
|
|
196
|
+
}
|
|
197
|
+
|
|
198
|
+
private async validateBlockInCheckpoint(
|
|
199
|
+
blockFromL1: L2Block,
|
|
200
|
+
checkpointBuilder: ICheckpointBlockBuilder,
|
|
201
|
+
): Promise<void> {
|
|
202
|
+
this.log.debug(`Validating pruned block ${blockFromL1.header.globalVariables.blockNumber}`);
|
|
203
|
+
const txHashes = blockFromL1.body.txEffects.map(txEffect => txEffect.txHash);
|
|
204
|
+
// We load txs from the mempool directly, since the TxCollector running in the background has already been
|
|
205
|
+
// trying to fetch them from nodes or via reqresp. If we haven't managed to collect them by now,
|
|
206
|
+
// it's likely that they are not available in the network at all.
|
|
207
|
+
const { txs, missingTxs } = await this.txProvider.getAvailableTxs(txHashes);
|
|
208
|
+
|
|
209
|
+
if (missingTxs && missingTxs.length > 0) {
|
|
210
|
+
throw new TransactionsNotAvailableError(missingTxs);
|
|
211
|
+
}
|
|
212
|
+
|
|
213
|
+
const gv = blockFromL1.header.globalVariables;
|
|
214
|
+
const { block, failedTxs, numTxs } = await checkpointBuilder.buildBlock(txs, gv.blockNumber, gv.timestamp, {
|
|
215
|
+
isBuildingProposal: false,
|
|
216
|
+
minValidTxs: 0,
|
|
217
|
+
});
|
|
183
218
|
|
|
184
219
|
if (numTxs !== txs.length) {
|
|
185
220
|
// This should be detected by state mismatch, but this makes it easier to debug.
|
|
@@ -1,190 +0,0 @@
|
|
|
1
|
-
import { EmpireSlashingProposerContract, RollupContract, SlasherContract } from '@aztec/ethereum/contracts';
|
|
2
|
-
import { SlotNumber } from '@aztec/foundation/branded-types';
|
|
3
|
-
import { EthAddress } from '@aztec/foundation/eth-address';
|
|
4
|
-
import type { DateProvider } from '@aztec/foundation/timer';
|
|
5
|
-
import type { L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
|
|
6
|
-
import type { SlasherConfig } from '@aztec/stdlib/interfaces/server';
|
|
7
|
-
import { SlashFactoryContract } from '@aztec/stdlib/l1-contracts';
|
|
8
|
-
import { type Offense, type ProposerSlashAction, type ProposerSlashActionProvider, type SlashPayload, type SlashPayloadRound } from '@aztec/stdlib/slashing';
|
|
9
|
-
import { type SlashOffensesCollectorSettings } from './slash_offenses_collector.js';
|
|
10
|
-
import type { SlasherClientInterface } from './slasher_client_interface.js';
|
|
11
|
-
import type { SlasherOffensesStore } from './stores/offenses_store.js';
|
|
12
|
-
import type { SlasherPayloadsStore } from './stores/payloads_store.js';
|
|
13
|
-
import type { Watcher } from './watcher.js';
|
|
14
|
-
/** Used to track executable payloads for each round */
|
|
15
|
-
export type PayloadWithRound = {
|
|
16
|
-
payload: EthAddress;
|
|
17
|
-
round: bigint;
|
|
18
|
-
};
|
|
19
|
-
/** Node configuration for the empire slasher */
|
|
20
|
-
export type EmpireSlasherConfig = SlasherConfig;
|
|
21
|
-
/** Settings used in the empire slasher client, loaded from the L1 contracts during initialization */
|
|
22
|
-
export type EmpireSlasherSettings = {
|
|
23
|
-
slashingExecutionDelayInRounds: number;
|
|
24
|
-
slashingPayloadLifetimeInRounds: number;
|
|
25
|
-
slashingRoundSize: number;
|
|
26
|
-
slashingQuorumSize: number;
|
|
27
|
-
} & Pick<L1RollupConstants, 'epochDuration' | 'proofSubmissionEpochs' | 'l1GenesisTime' | 'slotDuration' | 'l1StartBlock' | 'ethereumSlotDuration'> & SlashOffensesCollectorSettings;
|
|
28
|
-
/**
|
|
29
|
-
* The Empire Slasher client is responsible for managing slashable offenses and slash payloads
|
|
30
|
-
* using the Empire slashing model where fixed payloads are created and voted on.
|
|
31
|
-
*
|
|
32
|
-
* The client subscribes to several slash watchers that emit offenses and tracks them. When the slasher is the
|
|
33
|
-
* proposer, it aggregates pending offenses from previous rounds and creates slash payloads, or votes for previous
|
|
34
|
-
* slash payloads.
|
|
35
|
-
* Voting is handled by the sequencer publisher, the slasher client does not interact with L1 directly.
|
|
36
|
-
* The client also monitors slash payloads created by other nodes, and executes them when they become submittable.
|
|
37
|
-
*
|
|
38
|
-
* Payload creation and selection
|
|
39
|
-
* - At each L2 slot in a slashing round, the proposer for that L2 slot may vote for an existing slashing payload or
|
|
40
|
-
* create one of their own. Note that anyone can create a slash payload on L1, but nodes will only follow payloads
|
|
41
|
-
* from proposers; we could enforce this on L1, but we do not want to make any changes there if we can avoid it.
|
|
42
|
-
* - If it is the first L2 slot in the slashing round, there is nothing to vote for, so the proposer creates a slash
|
|
43
|
-
* payload and votes for it.
|
|
44
|
-
* - On their turn, each proposer computes a score for each payload in the round. This score is a function of the
|
|
45
|
-
* total offences slashed, how many votes it has received so far, and how far into the round we are. The score for a
|
|
46
|
-
* payload is zero if the proposer disagrees with it (see "agreement" below).
|
|
47
|
-
* - The proposer also computes the score for the payload they would create. If the resulting score is higher than
|
|
48
|
-
* any existing payload, it creates the payload. Otherwise, it votes for the one with the highest score.
|
|
49
|
-
*
|
|
50
|
-
* Collecting offences
|
|
51
|
-
* - Whenever a node spots a slashable offence, they store it and add it to a local collection of "pending
|
|
52
|
-
* offences". When a proposer needs to create a slash payload, they include all pending offences from previous
|
|
53
|
-
* rounds. This means an offence is **only slashable in the next round it happened** (or a future one).
|
|
54
|
-
* - Each offence also carries an epoch or block identifier, so we can differentiate two offences of the same kind by
|
|
55
|
-
* the same validator.
|
|
56
|
-
* - When a slash payload is flagged as executable (as in it got enough votes to be executed), nodes remove all
|
|
57
|
-
* slashed offences in the payload from their collection of pending offences.
|
|
58
|
-
* - Pending offences expire after a configurable time. This is to minimize divergences. For instance, a validator
|
|
59
|
-
* that has to be slashed due to inactivity 50 epochs ago will only be considered for slashing by nodes that were
|
|
60
|
-
* online 50 epochs ago. We propose using the validator exit window as expiration time, any value higher means that
|
|
61
|
-
* we may try slashing validators that have exited the set already.
|
|
62
|
-
*
|
|
63
|
-
* Agreement and scoring
|
|
64
|
-
* - A proposer will *agree* with a slash payload if it *agrees* with every offence in the payload, all
|
|
65
|
-
* *uncontroversial* offences from the past round are included, and it is below a configurable maximum size.
|
|
66
|
-
* - An *uncontroversial* offence is one where every node agrees that a slash is in order, regardless of any p2p
|
|
67
|
-
* network partitions. The only uncontroversial offence we have now is "proposing a block on L1 with invalid
|
|
68
|
-
* attestations".
|
|
69
|
-
* - A proposer will *agree* with a given offence if it is present in its list of "pending offences", and the
|
|
70
|
-
* slashing amount is within a configurable min-max range.
|
|
71
|
-
* - Slash payloads need a maximum size to ensure they can don't exceed the maximum L1 gas per tx when executed.
|
|
72
|
-
* This is configurable but depends on the L1 contracts implementation. When creating a payload, if there are too
|
|
73
|
-
* many pending offences to fit, proposers favor the offences with the highest slashing amount first, tie-breaking by
|
|
74
|
-
* choosing the most recent ones.
|
|
75
|
-
* - The scoring function will boost proposals with more agreed slashes, as well as proposals with more votes, and
|
|
76
|
-
* will disincentivize the creation of new proposals as the end of the round nears. This function will NOT be
|
|
77
|
-
* enforced on L1.
|
|
78
|
-
*
|
|
79
|
-
* Execution
|
|
80
|
-
* - Once a slash payload becomes executable, the next proposer is expected to execute it. If they don't, the
|
|
81
|
-
* following does, and so on. No gas rebate is given.
|
|
82
|
-
*/
|
|
83
|
-
export declare class EmpireSlasherClient implements ProposerSlashActionProvider, SlasherClientInterface {
|
|
84
|
-
private config;
|
|
85
|
-
private settings;
|
|
86
|
-
private slashFactoryContract;
|
|
87
|
-
private slashingProposer;
|
|
88
|
-
private slasher;
|
|
89
|
-
private rollup;
|
|
90
|
-
private dateProvider;
|
|
91
|
-
private offensesStore;
|
|
92
|
-
private payloadsStore;
|
|
93
|
-
private log;
|
|
94
|
-
protected executablePayloads: PayloadWithRound[];
|
|
95
|
-
private unwatchCallbacks;
|
|
96
|
-
private overridePayloadActive;
|
|
97
|
-
private offensesCollector;
|
|
98
|
-
private roundMonitor;
|
|
99
|
-
constructor(config: EmpireSlasherConfig, settings: EmpireSlasherSettings, slashFactoryContract: SlashFactoryContract, slashingProposer: EmpireSlashingProposerContract, slasher: SlasherContract, rollup: RollupContract, watchers: Watcher[], dateProvider: DateProvider, offensesStore: SlasherOffensesStore, payloadsStore: SlasherPayloadsStore, log?: import("@aztec/foundation/log").Logger);
|
|
100
|
-
start(): Promise<void>;
|
|
101
|
-
/**
|
|
102
|
-
* Allows consumers to stop the instance of the slasher client.
|
|
103
|
-
* 'ready' will now return 'false' and the running promise that keeps the client synced is interrupted.
|
|
104
|
-
*/
|
|
105
|
-
stop(): Promise<void>;
|
|
106
|
-
/** Returns the current config */
|
|
107
|
-
getConfig(): EmpireSlasherConfig;
|
|
108
|
-
/**
|
|
109
|
-
* Update the config of the slasher client
|
|
110
|
-
* @param config - The new config
|
|
111
|
-
*/
|
|
112
|
-
updateConfig(config: Partial<SlasherConfig>): void;
|
|
113
|
-
getSlashPayloads(): Promise<SlashPayloadRound[]>;
|
|
114
|
-
/**
|
|
115
|
-
* Triggered on a time basis when we enter a new slashing round.
|
|
116
|
-
* Clears expired payloads and offenses from stores.
|
|
117
|
-
*/
|
|
118
|
-
protected handleNewRound(round: bigint): Promise<void>;
|
|
119
|
-
/**
|
|
120
|
-
* Called when we see a PayloadSubmittable event on the SlashProposer.
|
|
121
|
-
* Adds the proposal to the list of executable ones.
|
|
122
|
-
*/
|
|
123
|
-
protected handleProposalExecutable(payloadAddress: EthAddress, round: bigint): Promise<void>;
|
|
124
|
-
/**
|
|
125
|
-
* Called when we see a PayloadSubmitted event on the SlashProposer.
|
|
126
|
-
* Removes the proposal from the list of executable ones.
|
|
127
|
-
*/
|
|
128
|
-
protected handleProposalExecuted(payload: EthAddress, round: bigint): Promise<void>;
|
|
129
|
-
/**
|
|
130
|
-
* Called when we see a SignalCast event on the SlashProposer.
|
|
131
|
-
* Adds a vote for the given payload in the round.
|
|
132
|
-
* Retrieves the proposal if we have not seen it before.
|
|
133
|
-
*/
|
|
134
|
-
protected handleProposalSignalled(payloadAddress: EthAddress, round: bigint, signaller: EthAddress): Promise<void>;
|
|
135
|
-
/**
|
|
136
|
-
* Create a slash payload for the given round from pending offenses
|
|
137
|
-
* @param round - The round to create the payload for, defaults to the current round
|
|
138
|
-
* @returns The payload data or undefined if no offenses to slash
|
|
139
|
-
*/
|
|
140
|
-
gatherOffensesForRound(round?: bigint): Promise<Offense[]>;
|
|
141
|
-
/** Returns all pending offenses stored */
|
|
142
|
-
getPendingOffenses(): Promise<Offense[]>;
|
|
143
|
-
/** Get uncontroversial offenses that are expected to be present on the given round. */
|
|
144
|
-
protected getPendingUncontroversialOffensesForRound(round: bigint): Promise<Offense[]>;
|
|
145
|
-
/**
|
|
146
|
-
* Calculate score for a slash payload, bumping the votes by one, so we get the score as if we voted for it.
|
|
147
|
-
* @param payload - The payload to score
|
|
148
|
-
* @param votes - Number of votes the payload has received
|
|
149
|
-
* @returns The score for the payload
|
|
150
|
-
*/
|
|
151
|
-
protected calculatePayloadScore(payload: Pick<SlashPayloadRound, 'votes' | 'slashes'>): bigint;
|
|
152
|
-
/**
|
|
153
|
-
* Get the actions the proposer should take for slashing
|
|
154
|
-
* @param slotNumber - The current slot number
|
|
155
|
-
* @returns The actions to take
|
|
156
|
-
*/
|
|
157
|
-
getProposerActions(slotNumber: SlotNumber): Promise<ProposerSlashAction[]>;
|
|
158
|
-
/** Returns an execute payload action if there are any payloads ready to be executed */
|
|
159
|
-
protected getExecutePayloadAction(slotNumber: SlotNumber): Promise<ProposerSlashAction | undefined>;
|
|
160
|
-
/** Returns a vote or create payload action based on payload scoring */
|
|
161
|
-
protected getProposePayloadActions(slotNumber: SlotNumber): Promise<ProposerSlashAction[]>;
|
|
162
|
-
/**
|
|
163
|
-
* Check if we agree with a payload:
|
|
164
|
-
* - We must agree with every offense in the payload
|
|
165
|
-
* - All uncontroversial offenses from past rounds must be included
|
|
166
|
-
* - Payload must be below maximum size
|
|
167
|
-
* - Slash amounts must be within acceptable ranges
|
|
168
|
-
*/
|
|
169
|
-
protected agreeWithPayload(payload: SlashPayload, round: bigint, cachedUncontroversialOffenses?: Offense[]): Promise<boolean>;
|
|
170
|
-
/**
|
|
171
|
-
* Returns whether the given offense can be included in the given round.
|
|
172
|
-
* Depends on the offense round range and whether we include offenses from past rounds.
|
|
173
|
-
*/
|
|
174
|
-
private isOffenseForRound;
|
|
175
|
-
/**
|
|
176
|
-
* Returns the range (inclusive) of rounds in which we could expect an offense to be found.
|
|
177
|
-
* Lower bound is determined by all offenses that should have been captured before the start of a round,
|
|
178
|
-
* which depends on the offense type (eg INACTIVITY is captured once an epoch ends, DATA_WITHHOLDING is
|
|
179
|
-
* captured after the epoch proof submission window for the epoch for which the data was withheld).
|
|
180
|
-
* Upper bound is determined by the expiration rounds for an offense, which is a config setting.
|
|
181
|
-
*/
|
|
182
|
-
private getRoundRangeForOffense;
|
|
183
|
-
/** Returns the acceptable range for slash amount given a set of offenses. */
|
|
184
|
-
private getSlashAmountValidRange;
|
|
185
|
-
/** Get minimum acceptable amount for an offense type */
|
|
186
|
-
private getMinAmountForOffense;
|
|
187
|
-
/** Get maximum acceptable amount for an offense type */
|
|
188
|
-
private getMaxAmountForOffense;
|
|
189
|
-
}
|
|
190
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZW1waXJlX3NsYXNoZXJfY2xpZW50LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvZW1waXJlX3NsYXNoZXJfY2xpZW50LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSw4QkFBOEIsRUFBRSxjQUFjLEVBQUUsZUFBZSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFNUcsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRTdELE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUUzRCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUM1RCxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ3JFLE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQ3JFLE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBQ2xFLE9BQU8sRUFDTCxLQUFLLE9BQU8sRUFHWixLQUFLLG1CQUFtQixFQUN4QixLQUFLLDJCQUEyQixFQUNoQyxLQUFLLFlBQVksRUFDakIsS0FBSyxpQkFBaUIsRUFRdkIsTUFBTSx3QkFBd0IsQ0FBQztBQUVoQyxPQUFPLEVBQTBCLEtBQUssOEJBQThCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUU1RyxPQUFPLEtBQUssRUFBRSxzQkFBc0IsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQzVFLE9BQU8sS0FBSyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFDdkUsT0FBTyxLQUFLLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUN2RSxPQUFPLEtBQUssRUFBRSxPQUFPLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFFNUMsdURBQXVEO0FBQ3ZELE1BQU0sTUFBTSxnQkFBZ0IsR0FBRztJQUM3QixPQUFPLEVBQUUsVUFBVSxDQUFDO0lBQ3BCLEtBQUssRUFBRSxNQUFNLENBQUM7Q0FDZixDQUFDO0FBRUYsZ0RBQWdEO0FBQ2hELE1BQU0sTUFBTSxtQkFBbUIsR0FBRyxhQUFhLENBQUM7QUFFaEQscUdBQXFHO0FBQ3JHLE1BQU0sTUFBTSxxQkFBcUIsR0FBRztJQUNsQyw4QkFBOEIsRUFBRSxNQUFNLENBQUM7SUFDdkMsK0JBQStCLEVBQUUsTUFBTSxDQUFDO0lBQ3hDLGlCQUFpQixFQUFFLE1BQU0sQ0FBQztJQUMxQixrQkFBa0IsRUFBRSxNQUFNLENBQUM7Q0FDNUIsR0FBRyxJQUFJLENBQ04saUJBQWlCLEVBQ2pCLGVBQWUsR0FBRyx1QkFBdUIsR0FBRyxlQUFlLEdBQUcsY0FBYyxHQUFHLGNBQWMsR0FBRyxzQkFBc0IsQ0FDdkgsR0FDQyw4QkFBOEIsQ0FBQztBQUVqQzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0dBc0RHO0FBQ0gscUJBQWEsbUJBQW9CLFlBQVcsMkJBQTJCLEVBQUUsc0JBQXNCO0lBUzNGLE9BQU8sQ0FBQyxNQUFNO0lBQ2QsT0FBTyxDQUFDLFFBQVE7SUFDaEIsT0FBTyxDQUFDLG9CQUFvQjtJQUM1QixPQUFPLENBQUMsZ0JBQWdCO0lBQ3hCLE9BQU8sQ0FBQyxPQUFPO0lBQ2YsT0FBTyxDQUFDLE1BQU07SUFFZCxPQUFPLENBQUMsWUFBWTtJQUNwQixPQUFPLENBQUMsYUFBYTtJQUNyQixPQUFPLENBQUMsYUFBYTtJQUNyQixPQUFPLENBQUMsR0FBRztJQWxCYixTQUFTLENBQUMsa0JBQWtCLEVBQUUsZ0JBQWdCLEVBQUUsQ0FBTTtJQUV0RCxPQUFPLENBQUMsZ0JBQWdCLENBQXNCO0lBQzlDLE9BQU8sQ0FBQyxxQkFBcUIsQ0FBUztJQUN0QyxPQUFPLENBQUMsaUJBQWlCLENBQXlCO0lBQ2xELE9BQU8sQ0FBQyxZQUFZLENBQW9CO0lBRXhDLFlBQ1UsTUFBTSxFQUFFLG1CQUFtQixFQUMzQixRQUFRLEVBQUUscUJBQXFCLEVBQy9CLG9CQUFvQixFQUFFLG9CQUFvQixFQUMxQyxnQkFBZ0IsRUFBRSw4QkFBOEIsRUFDaEQsT0FBTyxFQUFFLGVBQWUsRUFDeEIsTUFBTSxFQUFFLGNBQWMsRUFDOUIsUUFBUSxFQUFFLE9BQU8sRUFBRSxFQUNYLFlBQVksRUFBRSxZQUFZLEVBQzFCLGFBQWEsRUFBRSxvQkFBb0IsRUFDbkMsYUFBYSxFQUFFLG9CQUFvQixFQUNuQyxHQUFHLHlDQUFpQyxFQUs3QztJQUVZLEtBQUssa0JBNkNqQjtJQUVEOzs7T0FHRztJQUNVLElBQUksa0JBV2hCO0lBRUQsaUNBQWlDO0lBQzFCLFNBQVMsSUFBSSxtQkFBbUIsQ0FFdEM7SUFFRDs7O09BR0c7SUFDSSxZQUFZLENBQUMsTUFBTSxFQUFFLE9BQU8sQ0FBQyxhQUFhLENBQUMsUUFRakQ7SUFFTSxnQkFBZ0IsSUFBSSxPQUFPLENBQUMsaUJBQWlCLEVBQUUsQ0FBQyxDQUV0RDtJQUVEOzs7T0FHRztJQUNILFVBQWdCLGNBQWMsQ0FBQyxLQUFLLEVBQUUsTUFBTSxpQkFJM0M7SUFFRDs7O09BR0c7SUFDSCxVQUFnQix3QkFBd0IsQ0FBQyxjQUFjLEVBQUUsVUFBVSxFQUFFLEtBQUssRUFBRSxNQUFNLGlCQTRCakY7SUFFRDs7O09BR0c7SUFDSCxTQUFTLENBQUMsc0JBQXNCLENBQUMsT0FBTyxFQUFFLFVBQVUsRUFBRSxLQUFLLEVBQUUsTUFBTSxpQkFPbEU7SUFFRDs7OztPQUlHO0lBQ0gsVUFBZ0IsdUJBQXVCLENBQUMsY0FBYyxFQUFFLFVBQVUsRUFBRSxLQUFLLEVBQUUsTUFBTSxFQUFFLFNBQVMsRUFBRSxVQUFVLGlCQW9Cdkc7SUFFRDs7OztPQUlHO0lBQ1Usc0JBQXNCLENBQUMsS0FBSyxDQUFDLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxPQUFPLEVBQUUsQ0FBQyxDQWtCdEU7SUFFRCwwQ0FBMEM7SUFDbkMsa0JBQWtCLElBQUksT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBRTlDO0lBRUQsdUZBQXVGO0lBQ3ZGLFVBQWdCLHlDQUF5QyxDQUFDLEtBQUssRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBUTNGO0lBRUQ7Ozs7O09BS0c7SUFDSCxTQUFTLENBQUMscUJBQXFCLENBQUMsT0FBTyxFQUFFLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLEdBQUcsU0FBUyxDQUFDLEdBQUcsTUFBTSxDQUc3RjtJQUVEOzs7O09BSUc7SUFDVSxrQkFBa0IsQ0FBQyxVQUFVLEVBQUUsVUFBVSxHQUFHLE9BQU8sQ0FBQyxtQkFBbUIsRUFBRSxDQUFDLENBT3RGO0lBRUQsdUZBQXVGO0lBQ3ZGLFVBQWdCLHVCQUF1QixDQUFDLFVBQVUsRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLG1CQUFtQixHQUFHLFNBQVMsQ0FBQyxDQWdEeEc7SUFFRCx1RUFBdUU7SUFDdkUsVUFBZ0Isd0JBQXdCLENBQUMsVUFBVSxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsbUJBQW1CLEVBQUUsQ0FBQyxDQW1HL0Y7SUFFRDs7Ozs7O09BTUc7SUFDSCxVQUFnQixnQkFBZ0IsQ0FDOUIsT0FBTyxFQUFFLFlBQVksRUFDckIsS0FBSyxFQUFFLE1BQU0sRUFDYiw2QkFBNkIsQ0FBQyxFQUFFLE9BQU8sRUFBRSxHQUN4QyxPQUFPLENBQUMsT0FBTyxDQUFDLENBZ0VsQjtJQUVEOzs7T0FHRztJQUNILE9BQU8sQ0FBQyxpQkFBaUI7SUFVekI7Ozs7OztPQU1HO0lBQ0gsT0FBTyxDQUFDLHVCQUF1QjtJQUsvQiw2RUFBNkU7SUFDN0UsT0FBTyxDQUFDLHdCQUF3QjtJQVNoQyx3REFBd0Q7SUFDeEQsT0FBTyxDQUFDLHNCQUFzQjtJQUk5Qix3REFBd0Q7SUFDeEQsT0FBTyxDQUFDLHNCQUFzQjtDQUcvQiJ9
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"empire_slasher_client.d.ts","sourceRoot":"","sources":["../src/empire_slasher_client.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,8BAA8B,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5G,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE7D,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EACL,KAAK,OAAO,EAGZ,KAAK,mBAAmB,EACxB,KAAK,2BAA2B,EAChC,KAAK,YAAY,EACjB,KAAK,iBAAiB,EAQvB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAA0B,KAAK,8BAA8B,EAAE,MAAM,+BAA+B,CAAC;AAE5G,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AACvE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AACvE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,uDAAuD;AACvD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,OAAO,EAAE,UAAU,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,gDAAgD;AAChD,MAAM,MAAM,mBAAmB,GAAG,aAAa,CAAC;AAEhD,qGAAqG;AACrG,MAAM,MAAM,qBAAqB,GAAG;IAClC,8BAA8B,EAAE,MAAM,CAAC;IACvC,+BAA+B,EAAE,MAAM,CAAC;IACxC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;CAC5B,GAAG,IAAI,CACN,iBAAiB,EACjB,eAAe,GAAG,uBAAuB,GAAG,eAAe,GAAG,cAAc,GAAG,cAAc,GAAG,sBAAsB,CACvH,GACC,8BAA8B,CAAC;AAEjC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AACH,qBAAa,mBAAoB,YAAW,2BAA2B,EAAE,sBAAsB;IAS3F,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,oBAAoB;IAC5B,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,MAAM;IAEd,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,GAAG;IAlBb,SAAS,CAAC,kBAAkB,EAAE,gBAAgB,EAAE,CAAM;IAEtD,OAAO,CAAC,gBAAgB,CAAsB;IAC9C,OAAO,CAAC,qBAAqB,CAAS;IACtC,OAAO,CAAC,iBAAiB,CAAyB;IAClD,OAAO,CAAC,YAAY,CAAoB;IAExC,YACU,MAAM,EAAE,mBAAmB,EAC3B,QAAQ,EAAE,qBAAqB,EAC/B,oBAAoB,EAAE,oBAAoB,EAC1C,gBAAgB,EAAE,8BAA8B,EAChD,OAAO,EAAE,eAAe,EACxB,MAAM,EAAE,cAAc,EAC9B,QAAQ,EAAE,OAAO,EAAE,EACX,YAAY,EAAE,YAAY,EAC1B,aAAa,EAAE,oBAAoB,EACnC,aAAa,EAAE,oBAAoB,EACnC,GAAG,yCAAiC,EAK7C;IAEY,KAAK,kBA6CjB;IAED;;;OAGG;IACU,IAAI,kBAWhB;IAED,iCAAiC;IAC1B,SAAS,IAAI,mBAAmB,CAEtC;IAED;;;OAGG;IACI,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,QAQjD;IAEM,gBAAgB,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAEtD;IAED;;;OAGG;IACH,UAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,iBAI3C;IAED;;;OAGG;IACH,UAAgB,wBAAwB,CAAC,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,iBA4BjF;IAED;;;OAGG;IACH,SAAS,CAAC,sBAAsB,CAAC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,iBAOlE;IAED;;;;OAIG;IACH,UAAgB,uBAAuB,CAAC,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,iBAoBvG;IAED;;;;OAIG;IACU,sBAAsB,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAkBtE;IAED,0CAA0C;IACnC,kBAAkB,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC,CAE9C;IAED,uFAAuF;IACvF,UAAgB,yCAAyC,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAQ3F;IAED;;;;;OAKG;IACH,SAAS,CAAC,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,iBAAiB,EAAE,OAAO,GAAG,SAAS,CAAC,GAAG,MAAM,CAG7F;IAED;;;;OAIG;IACU,kBAAkB,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAOtF;IAED,uFAAuF;IACvF,UAAgB,uBAAuB,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAAC,mBAAmB,GAAG,SAAS,CAAC,CAgDxG;IAED,uEAAuE;IACvE,UAAgB,wBAAwB,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAmG/F;IAED;;;;;;OAMG;IACH,UAAgB,gBAAgB,CAC9B,OAAO,EAAE,YAAY,EACrB,KAAK,EAAE,MAAM,EACb,6BAA6B,CAAC,EAAE,OAAO,EAAE,GACxC,OAAO,CAAC,OAAO,CAAC,CAgElB;IAED;;;OAGG;IACH,OAAO,CAAC,iBAAiB;IAUzB;;;;;;OAMG;IACH,OAAO,CAAC,uBAAuB;IAK/B,6EAA6E;IAC7E,OAAO,CAAC,wBAAwB;IAShC,wDAAwD;IACxD,OAAO,CAAC,sBAAsB;IAI9B,wDAAwD;IACxD,OAAO,CAAC,sBAAsB;CAG/B"}
|