@aztec/slasher 0.0.1-commit.9b94fc1 → 0.0.1-commit.9badcec54
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 +28 -28
- package/dest/factory/create_facade.d.ts +5 -4
- package/dest/factory/create_facade.d.ts.map +1 -1
- package/dest/factory/create_facade.js +26 -3
- package/dest/factory/create_implementation.d.ts +7 -8
- 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 +19 -0
- package/dest/generated/slasher-defaults.d.ts.map +1 -0
- package/dest/generated/slasher-defaults.js +19 -0
- 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 -18
- 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} +30 -39
- package/dest/slasher_client_facade.d.ts +7 -9
- 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 +8 -25
- package/dest/watchers/attestations_block_watcher.d.ts +7 -6
- package/dest/watchers/attestations_block_watcher.d.ts.map +1 -1
- package/dest/watchers/attestations_block_watcher.js +40 -34
- package/dest/watchers/epoch_prune_watcher.d.ts +9 -7
- package/dest/watchers/epoch_prune_watcher.d.ts.map +1 -1
- package/dest/watchers/epoch_prune_watcher.js +59 -15
- package/package.json +16 -14
- package/src/config.ts +31 -28
- package/src/factory/create_facade.ts +35 -6
- package/src/factory/create_implementation.ts +25 -106
- package/src/factory/get_settings.ts +8 -8
- package/src/factory/index.ts +1 -1
- package/src/generated/slasher-defaults.ts +21 -0
- package/src/index.ts +1 -2
- package/src/null_slasher_client.ts +2 -6
- package/src/slash_offenses_collector.ts +16 -20
- package/src/{tally_slasher_client.ts → slasher_client.ts} +37 -48
- package/src/slasher_client_facade.ts +7 -12
- package/src/slasher_client_interface.ts +6 -21
- package/src/stores/offenses_store.ts +11 -34
- package/src/watcher.ts +1 -1
- package/src/watchers/attestations_block_watcher.ts +57 -44
- package/src/watchers/epoch_prune_watcher.ts +87 -24
- 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 -572
- 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 -125
- 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 -657
- package/src/stores/payloads_store.ts +0 -146
package/src/config.ts
CHANGED
|
@@ -1,4 +1,3 @@
|
|
|
1
|
-
import { DefaultL1ContractsConfig } from '@aztec/ethereum';
|
|
2
1
|
import type { ConfigMappingsType } from '@aztec/foundation/config';
|
|
3
2
|
import {
|
|
4
3
|
bigintConfigHelper,
|
|
@@ -9,27 +8,29 @@ import {
|
|
|
9
8
|
import { EthAddress } from '@aztec/foundation/eth-address';
|
|
10
9
|
import type { SlasherConfig } from '@aztec/stdlib/interfaces/server';
|
|
11
10
|
|
|
11
|
+
import { slasherDefaultEnv } from './generated/slasher-defaults.js';
|
|
12
|
+
|
|
12
13
|
export type { SlasherConfig };
|
|
13
14
|
|
|
14
15
|
export const DefaultSlasherConfig: SlasherConfig = {
|
|
15
16
|
slashOverridePayload: undefined,
|
|
16
|
-
slashMinPenaltyPercentage: 0.5, // 50% of penalty
|
|
17
|
-
slashMaxPenaltyPercentage: 2.0, //2x of penalty
|
|
18
17
|
slashValidatorsAlways: [], // Empty by default
|
|
19
18
|
slashValidatorsNever: [], // Empty by default
|
|
20
|
-
slashPrunePenalty:
|
|
21
|
-
slashDataWithholdingPenalty:
|
|
22
|
-
slashInactivityTargetPercentage:
|
|
23
|
-
slashInactivityConsecutiveEpochThreshold:
|
|
24
|
-
slashBroadcastedInvalidBlockPenalty:
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
19
|
+
slashPrunePenalty: BigInt(slasherDefaultEnv.SLASH_PRUNE_PENALTY),
|
|
20
|
+
slashDataWithholdingPenalty: BigInt(slasherDefaultEnv.SLASH_DATA_WITHHOLDING_PENALTY),
|
|
21
|
+
slashInactivityTargetPercentage: slasherDefaultEnv.SLASH_INACTIVITY_TARGET_PERCENTAGE,
|
|
22
|
+
slashInactivityConsecutiveEpochThreshold: slasherDefaultEnv.SLASH_INACTIVITY_CONSECUTIVE_EPOCH_THRESHOLD,
|
|
23
|
+
slashBroadcastedInvalidBlockPenalty: BigInt(slasherDefaultEnv.SLASH_INVALID_BLOCK_PENALTY),
|
|
24
|
+
slashDuplicateProposalPenalty: BigInt(slasherDefaultEnv.SLASH_DUPLICATE_PROPOSAL_PENALTY),
|
|
25
|
+
slashDuplicateAttestationPenalty: BigInt(slasherDefaultEnv.SLASH_DUPLICATE_ATTESTATION_PENALTY),
|
|
26
|
+
slashInactivityPenalty: BigInt(slasherDefaultEnv.SLASH_INACTIVITY_PENALTY),
|
|
27
|
+
slashProposeInvalidAttestationsPenalty: BigInt(slasherDefaultEnv.SLASH_PROPOSE_INVALID_ATTESTATIONS_PENALTY),
|
|
28
|
+
slashAttestDescendantOfInvalidPenalty: BigInt(slasherDefaultEnv.SLASH_ATTEST_DESCENDANT_OF_INVALID_PENALTY),
|
|
29
|
+
slashUnknownPenalty: BigInt(slasherDefaultEnv.SLASH_UNKNOWN_PENALTY),
|
|
30
|
+
slashOffenseExpirationRounds: slasherDefaultEnv.SLASH_OFFENSE_EXPIRATION_ROUNDS,
|
|
31
|
+
slashMaxPayloadSize: slasherDefaultEnv.SLASH_MAX_PAYLOAD_SIZE,
|
|
32
|
+
slashGracePeriodL2Slots: slasherDefaultEnv.SLASH_GRACE_PERIOD_L2_SLOTS,
|
|
33
|
+
slashExecuteRoundsLookBack: slasherDefaultEnv.SLASH_EXECUTE_ROUNDS_LOOK_BACK,
|
|
33
34
|
slashSelfAllowed: false,
|
|
34
35
|
};
|
|
35
36
|
|
|
@@ -37,19 +38,9 @@ export const slasherConfigMappings: ConfigMappingsType<SlasherConfig> = {
|
|
|
37
38
|
slashOverridePayload: {
|
|
38
39
|
env: 'SLASH_OVERRIDE_PAYLOAD',
|
|
39
40
|
description: 'An Ethereum address for a slash payload to vote for unconditionally.',
|
|
40
|
-
parseEnv: (val: string) =>
|
|
41
|
+
parseEnv: (val: string) => EthAddress.fromString(val),
|
|
41
42
|
defaultValue: DefaultSlasherConfig.slashOverridePayload,
|
|
42
43
|
},
|
|
43
|
-
slashMinPenaltyPercentage: {
|
|
44
|
-
env: 'SLASH_MIN_PENALTY_PERCENTAGE',
|
|
45
|
-
description: 'Minimum penalty percentage for slashing offenses (0.1 is 10%).',
|
|
46
|
-
...floatConfigHelper(DefaultSlasherConfig.slashMinPenaltyPercentage),
|
|
47
|
-
},
|
|
48
|
-
slashMaxPenaltyPercentage: {
|
|
49
|
-
env: 'SLASH_MAX_PENALTY_PERCENTAGE',
|
|
50
|
-
description: 'Maximum penalty percentage for slashing offenses (2.0 is 200%).',
|
|
51
|
-
...floatConfigHelper(DefaultSlasherConfig.slashMaxPenaltyPercentage),
|
|
52
|
-
},
|
|
53
44
|
slashValidatorsAlways: {
|
|
54
45
|
env: 'SLASH_VALIDATORS_ALWAYS',
|
|
55
46
|
description: 'Comma-separated list of validator addresses that should always be slashed.',
|
|
@@ -87,6 +78,17 @@ export const slasherConfigMappings: ConfigMappingsType<SlasherConfig> = {
|
|
|
87
78
|
description: 'Penalty amount for slashing a validator for an invalid block proposed via p2p.',
|
|
88
79
|
...bigintConfigHelper(DefaultSlasherConfig.slashBroadcastedInvalidBlockPenalty),
|
|
89
80
|
},
|
|
81
|
+
slashDuplicateProposalPenalty: {
|
|
82
|
+
env: 'SLASH_DUPLICATE_PROPOSAL_PENALTY',
|
|
83
|
+
description: 'Penalty amount for slashing a validator for sending duplicate proposals.',
|
|
84
|
+
...bigintConfigHelper(DefaultSlasherConfig.slashDuplicateProposalPenalty),
|
|
85
|
+
},
|
|
86
|
+
slashDuplicateAttestationPenalty: {
|
|
87
|
+
env: 'SLASH_DUPLICATE_ATTESTATION_PENALTY',
|
|
88
|
+
description:
|
|
89
|
+
'Penalty amount for slashing a validator for signing attestations for different proposals at the same slot.',
|
|
90
|
+
...bigintConfigHelper(DefaultSlasherConfig.slashDuplicateAttestationPenalty),
|
|
91
|
+
},
|
|
90
92
|
slashInactivityTargetPercentage: {
|
|
91
93
|
env: 'SLASH_INACTIVITY_TARGET_PERCENTAGE',
|
|
92
94
|
description:
|
|
@@ -141,7 +143,8 @@ export const slasherConfigMappings: ConfigMappingsType<SlasherConfig> = {
|
|
|
141
143
|
...numberConfigHelper(DefaultSlasherConfig.slashMaxPayloadSize),
|
|
142
144
|
},
|
|
143
145
|
slashGracePeriodL2Slots: {
|
|
144
|
-
description:
|
|
146
|
+
description:
|
|
147
|
+
'Number of L2 slots after the network upgrade during which slashing offenses are ignored. The upgrade time is determined from the CanonicalRollupUpdated event.',
|
|
145
148
|
env: 'SLASH_GRACE_PERIOD_L2_SLOTS',
|
|
146
149
|
...numberConfigHelper(DefaultSlasherConfig.slashGracePeriodL2Slots),
|
|
147
150
|
},
|
|
@@ -1,13 +1,16 @@
|
|
|
1
1
|
import { EpochCache } from '@aztec/epoch-cache';
|
|
2
|
-
import
|
|
3
|
-
import {
|
|
2
|
+
import { RegistryContract, RollupContract } from '@aztec/ethereum/contracts';
|
|
3
|
+
import type { L1ReaderConfig } from '@aztec/ethereum/l1-reader';
|
|
4
|
+
import type { ViemClient } from '@aztec/ethereum/types';
|
|
5
|
+
import { SlotNumber } from '@aztec/foundation/branded-types';
|
|
4
6
|
import { unique } from '@aztec/foundation/collection';
|
|
5
7
|
import { EthAddress } from '@aztec/foundation/eth-address';
|
|
6
8
|
import { createLogger } from '@aztec/foundation/log';
|
|
7
9
|
import { DateProvider } from '@aztec/foundation/timer';
|
|
8
|
-
import type { DataStoreConfig } from '@aztec/kv-store/config';
|
|
9
10
|
import { createStore } from '@aztec/kv-store/lmdb-v2';
|
|
11
|
+
import { getSlotAtTimestamp } from '@aztec/stdlib/epoch-helpers';
|
|
10
12
|
import type { SlasherConfig } from '@aztec/stdlib/interfaces/server';
|
|
13
|
+
import type { DataStoreConfig } from '@aztec/stdlib/kv-store';
|
|
11
14
|
|
|
12
15
|
import { SlasherClientFacade } from '../slasher_client_facade.js';
|
|
13
16
|
import type { SlasherClientInterface } from '../slasher_client_interface.js';
|
|
@@ -17,7 +20,7 @@ import type { Watcher } from '../watcher.js';
|
|
|
17
20
|
/** Creates a slasher client facade that updates itself whenever the rollup slasher changes */
|
|
18
21
|
export async function createSlasherFacade(
|
|
19
22
|
config: SlasherConfig & DataStoreConfig & { ethereumSlotDuration: number },
|
|
20
|
-
l1Contracts: Pick<L1ReaderConfig['l1Contracts'], 'rollupAddress' | '
|
|
23
|
+
l1Contracts: Pick<L1ReaderConfig['l1Contracts'], 'rollupAddress' | 'registryAddress'>,
|
|
21
24
|
l1Client: ViemClient,
|
|
22
25
|
watchers: Watcher[],
|
|
23
26
|
dateProvider: DateProvider,
|
|
@@ -30,9 +33,35 @@ export async function createSlasherFacade(
|
|
|
30
33
|
throw new Error('Cannot initialize SlasherClient without a Rollup address');
|
|
31
34
|
}
|
|
32
35
|
|
|
33
|
-
const kvStore = await createStore('slasher', SCHEMA_VERSION, config,
|
|
36
|
+
const kvStore = await createStore('slasher', SCHEMA_VERSION, config, logger.getBindings());
|
|
34
37
|
const rollup = new RollupContract(l1Client, l1Contracts.rollupAddress);
|
|
35
38
|
|
|
39
|
+
// Compute and cache the L2 slot at which the rollup was registered as canonical
|
|
40
|
+
const settingsMap = kvStore.openMap<string, number>('slasher-settings');
|
|
41
|
+
const cacheKey = `registeredSlot:${l1Contracts.rollupAddress}`;
|
|
42
|
+
let rollupRegisteredAtL2Slot = (await settingsMap.getAsync(cacheKey)) as SlotNumber | undefined;
|
|
43
|
+
|
|
44
|
+
if (rollupRegisteredAtL2Slot === undefined) {
|
|
45
|
+
const registry = new RegistryContract(l1Client, l1Contracts.registryAddress);
|
|
46
|
+
const l1StartBlock = await rollup.getL1StartBlock();
|
|
47
|
+
const registrationTimestamp = await registry.getCanonicalRollupRegistrationTimestamp(
|
|
48
|
+
l1Contracts.rollupAddress,
|
|
49
|
+
l1StartBlock,
|
|
50
|
+
);
|
|
51
|
+
if (registrationTimestamp !== undefined) {
|
|
52
|
+
const l1GenesisTime = await rollup.getL1GenesisTime();
|
|
53
|
+
const slotDuration = await rollup.getSlotDuration();
|
|
54
|
+
rollupRegisteredAtL2Slot = getSlotAtTimestamp(registrationTimestamp, {
|
|
55
|
+
l1GenesisTime,
|
|
56
|
+
slotDuration: Number(slotDuration),
|
|
57
|
+
});
|
|
58
|
+
} else {
|
|
59
|
+
rollupRegisteredAtL2Slot = SlotNumber(0);
|
|
60
|
+
}
|
|
61
|
+
await settingsMap.set(cacheKey, rollupRegisteredAtL2Slot);
|
|
62
|
+
logger.info(`Canonical rollup registered at L2 slot ${rollupRegisteredAtL2Slot}`);
|
|
63
|
+
}
|
|
64
|
+
|
|
36
65
|
const slashValidatorsNever = config.slashSelfAllowed
|
|
37
66
|
? config.slashValidatorsNever
|
|
38
67
|
: unique([...config.slashValidatorsNever, ...validatorAddresses].map(a => a.toString())).map(EthAddress.fromString);
|
|
@@ -42,11 +71,11 @@ export async function createSlasherFacade(
|
|
|
42
71
|
updatedConfig,
|
|
43
72
|
rollup,
|
|
44
73
|
l1Client,
|
|
45
|
-
l1Contracts.slashFactoryAddress,
|
|
46
74
|
watchers,
|
|
47
75
|
epochCache,
|
|
48
76
|
dateProvider,
|
|
49
77
|
kvStore,
|
|
78
|
+
rollupRegisteredAtL2Slot,
|
|
50
79
|
logger,
|
|
51
80
|
);
|
|
52
81
|
}
|
|
@@ -1,142 +1,61 @@
|
|
|
1
1
|
import { EpochCache } from '@aztec/epoch-cache';
|
|
2
|
-
import
|
|
3
|
-
import {
|
|
4
|
-
|
|
5
|
-
RollupContract,
|
|
6
|
-
TallySlashingProposerContract,
|
|
7
|
-
} from '@aztec/ethereum/contracts';
|
|
8
|
-
import { EthAddress } from '@aztec/foundation/eth-address';
|
|
2
|
+
import { RollupContract, SlashingProposerContract } from '@aztec/ethereum/contracts';
|
|
3
|
+
import type { ViemClient } from '@aztec/ethereum/types';
|
|
4
|
+
import type { SlotNumber } from '@aztec/foundation/branded-types';
|
|
9
5
|
import { createLogger } from '@aztec/foundation/log';
|
|
10
6
|
import { DateProvider } from '@aztec/foundation/timer';
|
|
11
|
-
import type { DataStoreConfig } from '@aztec/kv-store/config';
|
|
12
7
|
import { AztecLMDBStoreV2 } from '@aztec/kv-store/lmdb-v2';
|
|
13
8
|
import type { SlasherConfig } from '@aztec/stdlib/interfaces/server';
|
|
14
|
-
import {
|
|
9
|
+
import type { DataStoreConfig } from '@aztec/stdlib/kv-store';
|
|
15
10
|
|
|
16
|
-
import { EmpireSlasherClient, type EmpireSlasherSettings } from '../empire_slasher_client.js';
|
|
17
11
|
import { NullSlasherClient } from '../null_slasher_client.js';
|
|
12
|
+
import { SlasherClient } from '../slasher_client.js';
|
|
18
13
|
import { SlasherOffensesStore } from '../stores/offenses_store.js';
|
|
19
|
-
import { SlasherPayloadsStore } from '../stores/payloads_store.js';
|
|
20
|
-
import { TallySlasherClient } from '../tally_slasher_client.js';
|
|
21
14
|
import type { Watcher } from '../watcher.js';
|
|
22
|
-
import {
|
|
15
|
+
import { getSlasherSettings } from './get_settings.js';
|
|
23
16
|
|
|
24
|
-
/** Creates a slasher client implementation
|
|
17
|
+
/** Creates a slasher client implementation based on the slasher proposer type in the rollup */
|
|
25
18
|
export async function createSlasherImplementation(
|
|
26
19
|
config: SlasherConfig & DataStoreConfig & { ethereumSlotDuration: number },
|
|
27
20
|
rollup: RollupContract,
|
|
28
21
|
l1Client: ViemClient,
|
|
29
|
-
slashFactoryAddress: EthAddress | undefined,
|
|
30
22
|
watchers: Watcher[],
|
|
31
23
|
epochCache: EpochCache,
|
|
32
24
|
dateProvider: DateProvider,
|
|
33
25
|
kvStore: AztecLMDBStoreV2,
|
|
26
|
+
rollupRegisteredAtL2Slot: SlotNumber,
|
|
34
27
|
logger = createLogger('slasher'),
|
|
35
28
|
) {
|
|
36
29
|
const proposer = await rollup.getSlashingProposer();
|
|
37
30
|
if (!proposer) {
|
|
38
31
|
return new NullSlasherClient(config);
|
|
39
|
-
} else if (proposer.type === 'tally') {
|
|
40
|
-
return createTallySlasher(config, rollup, proposer, watchers, dateProvider, epochCache, kvStore, logger);
|
|
41
32
|
} else {
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
|
|
33
|
+
return createSlasher(
|
|
34
|
+
config,
|
|
35
|
+
rollup,
|
|
36
|
+
proposer,
|
|
37
|
+
watchers,
|
|
38
|
+
dateProvider,
|
|
39
|
+
epochCache,
|
|
40
|
+
kvStore,
|
|
41
|
+
rollupRegisteredAtL2Slot,
|
|
42
|
+
logger,
|
|
43
|
+
);
|
|
47
44
|
}
|
|
48
45
|
}
|
|
49
46
|
|
|
50
|
-
async function
|
|
51
|
-
config: SlasherConfig & DataStoreConfig & { ethereumSlotDuration: number },
|
|
52
|
-
rollup: RollupContract,
|
|
53
|
-
slashingProposer: EmpireSlashingProposerContract,
|
|
54
|
-
slashFactoryContract: SlashFactoryContract,
|
|
55
|
-
watchers: Watcher[],
|
|
56
|
-
dateProvider: DateProvider,
|
|
57
|
-
kvStore: AztecLMDBStoreV2,
|
|
58
|
-
logger = createLogger('slasher'),
|
|
59
|
-
): Promise<EmpireSlasherClient> {
|
|
60
|
-
if (slashingProposer.type !== 'empire') {
|
|
61
|
-
throw new Error('Slashing proposer contract is not of type Empire');
|
|
62
|
-
}
|
|
63
|
-
|
|
64
|
-
const [
|
|
65
|
-
slashingExecutionDelayInRounds,
|
|
66
|
-
slashingPayloadLifetimeInRounds,
|
|
67
|
-
slashingRoundSize,
|
|
68
|
-
slashingQuorumSize,
|
|
69
|
-
epochDuration,
|
|
70
|
-
proofSubmissionEpochs,
|
|
71
|
-
l1GenesisTime,
|
|
72
|
-
slotDuration,
|
|
73
|
-
l1StartBlock,
|
|
74
|
-
slasher,
|
|
75
|
-
] = await Promise.all([
|
|
76
|
-
slashingProposer.getExecutionDelayInRounds(),
|
|
77
|
-
slashingProposer.getLifetimeInRounds(),
|
|
78
|
-
slashingProposer.getRoundSize(),
|
|
79
|
-
slashingProposer.getQuorumSize(),
|
|
80
|
-
rollup.getEpochDuration(),
|
|
81
|
-
rollup.getProofSubmissionEpochs(),
|
|
82
|
-
rollup.getL1GenesisTime(),
|
|
83
|
-
rollup.getSlotDuration(),
|
|
84
|
-
rollup.getL1StartBlock(),
|
|
85
|
-
rollup.getSlasherContract(),
|
|
86
|
-
]);
|
|
87
|
-
|
|
88
|
-
const settings: EmpireSlasherSettings = {
|
|
89
|
-
slashingExecutionDelayInRounds: Number(slashingExecutionDelayInRounds),
|
|
90
|
-
slashingPayloadLifetimeInRounds: Number(slashingPayloadLifetimeInRounds),
|
|
91
|
-
slashingRoundSize: Number(slashingRoundSize),
|
|
92
|
-
slashingQuorumSize: Number(slashingQuorumSize),
|
|
93
|
-
epochDuration: Number(epochDuration),
|
|
94
|
-
proofSubmissionEpochs: Number(proofSubmissionEpochs),
|
|
95
|
-
l1GenesisTime: l1GenesisTime,
|
|
96
|
-
slotDuration: Number(slotDuration),
|
|
97
|
-
l1StartBlock,
|
|
98
|
-
ethereumSlotDuration: config.ethereumSlotDuration,
|
|
99
|
-
slashingAmounts: undefined,
|
|
100
|
-
};
|
|
101
|
-
|
|
102
|
-
const payloadsStore = new SlasherPayloadsStore(kvStore, {
|
|
103
|
-
slashingPayloadLifetimeInRounds: settings.slashingPayloadLifetimeInRounds,
|
|
104
|
-
});
|
|
105
|
-
const offensesStore = new SlasherOffensesStore(kvStore, {
|
|
106
|
-
...settings,
|
|
107
|
-
slashOffenseExpirationRounds: config.slashOffenseExpirationRounds,
|
|
108
|
-
});
|
|
109
|
-
|
|
110
|
-
return new EmpireSlasherClient(
|
|
111
|
-
config,
|
|
112
|
-
settings,
|
|
113
|
-
slashFactoryContract,
|
|
114
|
-
slashingProposer,
|
|
115
|
-
slasher!,
|
|
116
|
-
rollup,
|
|
117
|
-
watchers,
|
|
118
|
-
dateProvider,
|
|
119
|
-
offensesStore,
|
|
120
|
-
payloadsStore,
|
|
121
|
-
logger,
|
|
122
|
-
);
|
|
123
|
-
}
|
|
124
|
-
|
|
125
|
-
async function createTallySlasher(
|
|
47
|
+
async function createSlasher(
|
|
126
48
|
config: SlasherConfig & DataStoreConfig,
|
|
127
49
|
rollup: RollupContract,
|
|
128
|
-
slashingProposer:
|
|
50
|
+
slashingProposer: SlashingProposerContract,
|
|
129
51
|
watchers: Watcher[],
|
|
130
52
|
dateProvider: DateProvider,
|
|
131
53
|
epochCache: EpochCache,
|
|
132
54
|
kvStore: AztecLMDBStoreV2,
|
|
55
|
+
rollupRegisteredAtL2Slot: SlotNumber,
|
|
133
56
|
logger = createLogger('slasher'),
|
|
134
|
-
): Promise<
|
|
135
|
-
|
|
136
|
-
throw new Error('Slashing proposer contract is not of type tally');
|
|
137
|
-
}
|
|
138
|
-
|
|
139
|
-
const settings = await getTallySlasherSettings(rollup, slashingProposer);
|
|
57
|
+
): Promise<SlasherClient> {
|
|
58
|
+
const settings = { ...(await getSlasherSettings(rollup, slashingProposer)), rollupRegisteredAtL2Slot };
|
|
140
59
|
const slasher = await rollup.getSlasherContract();
|
|
141
60
|
|
|
142
61
|
const offensesStore = new SlasherOffensesStore(kvStore, {
|
|
@@ -144,7 +63,7 @@ async function createTallySlasher(
|
|
|
144
63
|
slashOffenseExpirationRounds: config.slashOffenseExpirationRounds,
|
|
145
64
|
});
|
|
146
65
|
|
|
147
|
-
return new
|
|
66
|
+
return new SlasherClient(
|
|
148
67
|
config,
|
|
149
68
|
settings,
|
|
150
69
|
slashingProposer,
|
|
@@ -1,15 +1,15 @@
|
|
|
1
|
-
import type { RollupContract,
|
|
1
|
+
import type { RollupContract, SlashingProposerContract } from '@aztec/ethereum/contracts';
|
|
2
2
|
|
|
3
|
-
import type {
|
|
3
|
+
import type { SlasherSettings } from '../slasher_client.js';
|
|
4
4
|
|
|
5
|
-
export async function
|
|
5
|
+
export async function getSlasherSettings(
|
|
6
6
|
rollup: RollupContract,
|
|
7
|
-
slashingProposer?:
|
|
8
|
-
): Promise<
|
|
7
|
+
slashingProposer?: SlashingProposerContract,
|
|
8
|
+
): Promise<Omit<SlasherSettings, 'rollupRegisteredAtL2Slot'>> {
|
|
9
9
|
if (!slashingProposer) {
|
|
10
10
|
const rollupSlashingProposer = await rollup.getSlashingProposer();
|
|
11
|
-
if (!rollupSlashingProposer
|
|
12
|
-
throw new Error('Rollup slashing proposer
|
|
11
|
+
if (!rollupSlashingProposer) {
|
|
12
|
+
throw new Error('Rollup slashing proposer not found');
|
|
13
13
|
}
|
|
14
14
|
slashingProposer = rollupSlashingProposer;
|
|
15
15
|
}
|
|
@@ -40,7 +40,7 @@ export async function getTallySlasherSettings(
|
|
|
40
40
|
rollup.getTargetCommitteeSize(),
|
|
41
41
|
]);
|
|
42
42
|
|
|
43
|
-
const settings:
|
|
43
|
+
const settings: Omit<SlasherSettings, 'rollupRegisteredAtL2Slot'> = {
|
|
44
44
|
slashingExecutionDelayInRounds: Number(slashingExecutionDelayInRounds),
|
|
45
45
|
slashingRoundSize: Number(slashingRoundSize),
|
|
46
46
|
slashingRoundSizeInEpochs: Number(slashingRoundSizeInEpochs),
|
package/src/factory/index.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
1
|
export { createSlasherFacade as createSlasher } from './create_facade.js';
|
|
2
|
-
export {
|
|
2
|
+
export { getSlasherSettings } from './get_settings.js';
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
// Auto-generated from spartan/environments/network-defaults.yml
|
|
2
|
+
// Do not edit manually - run yarn generate to regenerate
|
|
3
|
+
|
|
4
|
+
/** Default slasher configuration values from network-defaults.yml */
|
|
5
|
+
export const slasherDefaultEnv = {
|
|
6
|
+
SLASH_OFFENSE_EXPIRATION_ROUNDS: 4,
|
|
7
|
+
SLASH_MAX_PAYLOAD_SIZE: 80,
|
|
8
|
+
SLASH_EXECUTE_ROUNDS_LOOK_BACK: 4,
|
|
9
|
+
SLASH_PRUNE_PENALTY: 10000000000000000000,
|
|
10
|
+
SLASH_DATA_WITHHOLDING_PENALTY: 10000000000000000000,
|
|
11
|
+
SLASH_INACTIVITY_TARGET_PERCENTAGE: 0.9,
|
|
12
|
+
SLASH_INACTIVITY_CONSECUTIVE_EPOCH_THRESHOLD: 1,
|
|
13
|
+
SLASH_INACTIVITY_PENALTY: 10000000000000000000,
|
|
14
|
+
SLASH_PROPOSE_INVALID_ATTESTATIONS_PENALTY: 10000000000000000000,
|
|
15
|
+
SLASH_ATTEST_DESCENDANT_OF_INVALID_PENALTY: 10000000000000000000,
|
|
16
|
+
SLASH_DUPLICATE_PROPOSAL_PENALTY: 0,
|
|
17
|
+
SLASH_DUPLICATE_ATTESTATION_PENALTY: 0,
|
|
18
|
+
SLASH_UNKNOWN_PENALTY: 10000000000000000000,
|
|
19
|
+
SLASH_INVALID_BLOCK_PENALTY: 10000000000000000000,
|
|
20
|
+
SLASH_GRACE_PERIOD_L2_SLOTS: 0,
|
|
21
|
+
} as const;
|
package/src/index.ts
CHANGED
|
@@ -1,8 +1,7 @@
|
|
|
1
1
|
export * from './config.js';
|
|
2
2
|
export * from './watchers/epoch_prune_watcher.js';
|
|
3
3
|
export * from './watchers/attestations_block_watcher.js';
|
|
4
|
-
export * from './
|
|
5
|
-
export * from './tally_slasher_client.js';
|
|
4
|
+
export * from './slasher_client.js';
|
|
6
5
|
export * from './slash_offenses_collector.js';
|
|
7
6
|
export * from './slasher_client_interface.js';
|
|
8
7
|
export * from './factory/index.js';
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import type { SlotNumber } from '@aztec/foundation/branded-types';
|
|
2
|
-
import type { Offense, ProposerSlashAction
|
|
2
|
+
import type { Offense, ProposerSlashAction } from '@aztec/stdlib/slashing';
|
|
3
3
|
|
|
4
4
|
import type { SlasherConfig } from './config.js';
|
|
5
5
|
import type { SlasherClientInterface } from './slasher_client_interface.js';
|
|
@@ -15,15 +15,11 @@ export class NullSlasherClient implements SlasherClientInterface {
|
|
|
15
15
|
return Promise.resolve();
|
|
16
16
|
}
|
|
17
17
|
|
|
18
|
-
public getSlashPayloads(): Promise<SlashPayloadRound[]> {
|
|
19
|
-
return Promise.resolve([]);
|
|
20
|
-
}
|
|
21
|
-
|
|
22
18
|
public gatherOffensesForRound(_round?: bigint): Promise<Offense[]> {
|
|
23
19
|
return Promise.resolve([]);
|
|
24
20
|
}
|
|
25
21
|
|
|
26
|
-
public
|
|
22
|
+
public getOffenses(): Promise<Offense[]> {
|
|
27
23
|
return Promise.resolve([]);
|
|
28
24
|
}
|
|
29
25
|
|
|
@@ -1,15 +1,20 @@
|
|
|
1
|
+
import type { SlotNumber } from '@aztec/foundation/branded-types';
|
|
1
2
|
import { createLogger } from '@aztec/foundation/log';
|
|
2
3
|
import type { Prettify } from '@aztec/foundation/types';
|
|
3
4
|
import type { L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
|
|
4
5
|
import type { SlasherConfig } from '@aztec/stdlib/interfaces/server';
|
|
5
|
-
import { type Offense,
|
|
6
|
+
import { type Offense, getSlotForOffense } from '@aztec/stdlib/slashing';
|
|
6
7
|
|
|
7
8
|
import type { SlasherOffensesStore } from './stores/offenses_store.js';
|
|
8
9
|
import { WANT_TO_SLASH_EVENT, type WantToSlashArgs, type Watcher } from './watcher.js';
|
|
9
10
|
|
|
10
11
|
export type SlashOffensesCollectorConfig = Prettify<Pick<SlasherConfig, 'slashGracePeriodL2Slots'>>;
|
|
11
12
|
export type SlashOffensesCollectorSettings = Prettify<
|
|
12
|
-
Pick<L1RollupConstants, 'epochDuration'> & {
|
|
13
|
+
Pick<L1RollupConstants, 'epochDuration'> & {
|
|
14
|
+
slashingAmounts: [bigint, bigint, bigint] | undefined;
|
|
15
|
+
/** L2 slot at which the rollup was registered as canonical in the Registry. Used to anchor the slash grace period. */
|
|
16
|
+
rollupRegisteredAtL2Slot: SlotNumber;
|
|
17
|
+
}
|
|
13
18
|
>;
|
|
14
19
|
|
|
15
20
|
/**
|
|
@@ -61,20 +66,20 @@ export class SlashOffensesCollector {
|
|
|
61
66
|
*/
|
|
62
67
|
public async handleWantToSlash(args: WantToSlashArgs[]) {
|
|
63
68
|
for (const arg of args) {
|
|
64
|
-
const
|
|
69
|
+
const offense: Offense = {
|
|
65
70
|
validator: arg.validator,
|
|
66
71
|
amount: arg.amount,
|
|
67
72
|
offenseType: arg.offenseType,
|
|
68
73
|
epochOrSlot: arg.epochOrSlot,
|
|
69
74
|
};
|
|
70
75
|
|
|
71
|
-
if (this.shouldSkipOffense(
|
|
72
|
-
this.log.verbose('Skipping offense during grace period',
|
|
76
|
+
if (this.shouldSkipOffense(offense)) {
|
|
77
|
+
this.log.verbose('Skipping offense during grace period', offense);
|
|
73
78
|
continue;
|
|
74
79
|
}
|
|
75
80
|
|
|
76
|
-
if (await this.offensesStore.hasOffense(
|
|
77
|
-
this.log.debug('Skipping repeated offense',
|
|
81
|
+
if (await this.offensesStore.hasOffense(offense)) {
|
|
82
|
+
this.log.debug('Skipping repeated offense', offense);
|
|
78
83
|
continue;
|
|
79
84
|
}
|
|
80
85
|
|
|
@@ -85,8 +90,8 @@ export class SlashOffensesCollector {
|
|
|
85
90
|
}
|
|
86
91
|
}
|
|
87
92
|
|
|
88
|
-
this.log.info(`Adding pending offense for validator ${arg.validator}`,
|
|
89
|
-
await this.offensesStore.
|
|
93
|
+
this.log.info(`Adding pending offense for validator ${arg.validator}`, offense);
|
|
94
|
+
await this.offensesStore.addOffense(offense);
|
|
90
95
|
}
|
|
91
96
|
}
|
|
92
97
|
|
|
@@ -101,18 +106,9 @@ export class SlashOffensesCollector {
|
|
|
101
106
|
}
|
|
102
107
|
}
|
|
103
108
|
|
|
104
|
-
/**
|
|
105
|
-
* Marks offenses as slashed (no longer pending)
|
|
106
|
-
* @param offenses - The offenses to mark as slashed
|
|
107
|
-
*/
|
|
108
|
-
public markAsSlashed(offenses: OffenseIdentifier[]) {
|
|
109
|
-
this.log.verbose(`Marking offenses as slashed`, { offenses });
|
|
110
|
-
return this.offensesStore.markAsSlashed(offenses);
|
|
111
|
-
}
|
|
112
|
-
|
|
113
|
-
/** Returns whether to skip an offense if it happened during the grace period at the beginning of the chain */
|
|
109
|
+
/** Returns whether to skip an offense if it happened during the grace period after the network upgrade */
|
|
114
110
|
private shouldSkipOffense(offense: Offense): boolean {
|
|
115
111
|
const offenseSlot = getSlotForOffense(offense, this.settings);
|
|
116
|
-
return offenseSlot < this.config.slashGracePeriodL2Slots;
|
|
112
|
+
return offenseSlot < this.settings.rollupRegisteredAtL2Slot + this.config.slashGracePeriodL2Slots;
|
|
117
113
|
}
|
|
118
114
|
}
|