@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/schemas/schemas.js

@@ -0,0 +1,47 @@
+import { schemas as foundationSchemas } from '@aztec-labs/foundation/schemas';
+import { z } from 'zod';
+import { EventSelector } from '../abi/event_selector.js';
+import { FunctionSelector } from '../abi/function_selector.js';
+import { NoteSelector } from '../abi/note_selector.js';
+import { AztecAddress } from '../aztec-address/index.js';
+import { Gas } from '../gas/gas.js';
+/**
+ * Validation schemas for common types. Every schema must match its toJSON.
+ * Foundation schemas are repeated here to aid type inference
+ * */ export const schemas = {
+    /** Accepts a hex string. */ EthAddress: foundationSchemas.EthAddress,
+    /** Accepts a hex string. */ Fr: foundationSchemas.Fr,
+    /** Accepts a hex string. */ Fq: foundationSchemas.Fq,
+    /** Point. Serialized as a hex string. */ Point: foundationSchemas.Point,
+    /** Coerces any input to bigint. */ BigInt: foundationSchemas.BigInt,
+    /** Coerces any input to integer number. */ Integer: foundationSchemas.Integer,
+    /** Coerces input to UInt32. */ UInt32: foundationSchemas.UInt32,
+    /** Coerces input to UInt64. */ UInt64: foundationSchemas.UInt64,
+    /** Accepts a hex string as a Buffer32 type. */ Buffer32: foundationSchemas.Buffer32,
+    /** Accepts a base64 string or an object `{ type: 'Buffer', data: [byte, byte...] }` as a buffer. */ Buffer: foundationSchemas.Buffer,
+    /** Accepts a hex string as a buffer. */ BufferHex: foundationSchemas.BufferHex,
+    /** Hex string with an optional 0x prefix which gets removed as part of the parsing. */ HexString: foundationSchemas.HexString,
+    /** Schema for secret config value */ SecretValue: foundationSchemas.SecretValue,
+    /** Accepts a hex string. */ AztecAddress: AztecAddress.schema,
+    /** Accepts a hex string. */ NoteSelector: NoteSelector.schema,
+    /** Accepts a hex string. */ FunctionSelector: FunctionSelector.schema,
+    /** Accepts a hex string. */ EventSelector: EventSelector.schema,
+    /** Accepts a number, bigint, or string and coerces to SlotNumber. */ SlotNumber: foundationSchemas.SlotNumber,
+    /** Accepts a number, bigint, or string and coerces to EpochNumber. */ EpochNumber: foundationSchemas.EpochNumber,
+    GasUsed: z.object({
+        totalGas: Gas.schema,
+        teardownGas: Gas.schema,
+        publicGas: Gas.schema,
+        billedGas: Gas.schema
+    })
+};
+export const AbiDecodedSchema = z.union([
+    schemas.BigInt,
+    z.boolean(),
+    schemas.AztecAddress,
+    z.array(z.lazy(()=>AbiDecodedSchema)),
+    z.record(z.string(), z.lazy(()=>AbiDecodedSchema))
+]);
+// C++ only supports null values, which we want to convert to undefined.
+export const NullishToUndefined = (schema)=>schema.nullish().transform((x)=>x ?? undefined);
+export { zodFor, bufferSchema, hexSchema, hexSchemaFor, bufferSchemaFor, getSchemaParameters, getSchemaReturnType, optional, mapSchema, pickFromSchema } from '@aztec-labs/foundation/schemas';

package/dest/slashing/helpers.d.ts

@@ -0,0 +1,36 @@
+import { EpochNumber, SlotNumber } from '@aztec-labs/foundation/branded-types';
+import { type L1RollupConstants } from '../epoch-helpers/index.js';
+import type { SlasherConfig } from '../interfaces/slasher.js';
+import { type Offense, OffenseType } from './types.js';
+/** Returns the voting round number and voting slot within the round for a given L2 slot. */
+export declare function getRoundForSlot(slot: SlotNumber, constants: {
+    slashingRoundSize: number;
+}): {
+    round: bigint;
+    votingSlot: SlotNumber;
+};
+/** Returns the voting round(s) lower and upper bounds (inclusive) covered by the given epoch */
+export declare function getRoundsForEpoch(epoch: EpochNumber, constants: {
+    slashingRoundSize: number;
+    epochDuration: number;
+}): [bigint, bigint];
+/** Returns the epochs spanned during a given slashing round */
+export declare function getEpochsForRound(round: bigint, constants: {
+    slashingRoundSize: number;
+    epochDuration: number;
+}): EpochNumber[];
+/** Reads the configured penalty for a given offense type from a slasher config struct */
+export declare function getPenaltyForOffense(offense: OffenseType, config: Pick<SlasherConfig, 'slashProposeDescendantOfCheckpointWithInvalidAttestationsPenalty' | 'slashBroadcastedInvalidBlockPenalty' | 'slashBroadcastedInvalidCheckpointProposalPenalty' | 'slashDuplicateProposalPenalty' | 'slashDuplicateAttestationPenalty' | 'slashAttestInvalidCheckpointProposalPenalty' | 'slashDataWithholdingPenalty' | 'slashUnknownPenalty' | 'slashInactivityPenalty' | 'slashProposeInvalidAttestationsPenalty'>): bigint;
+/** Returns whether the `epochOrSlot` field for an offense references an epoch or a slot */
+export declare function getTimeUnitForOffense(offense: OffenseType): 'epoch' | 'slot';
+/** Returns the slot for a given offense. If the offense references an epoch, returns the first slot of the epoch. */
+export declare function getSlotForOffense(offense: Pick<Offense, 'epochOrSlot' | 'offenseType'>, constants: Pick<L1RollupConstants, 'epochDuration'>): SlotNumber;
+/** Returns the epoch for a given offense. If the offense type or epoch is not defined, returns undefined. */
+export declare function getEpochForOffense(offense: Pick<Offense, 'epochOrSlot' | 'offenseType'>, constants: Pick<L1RollupConstants, 'epochDuration'>): bigint;
+export declare function getEpochForOffense(offense: Partial<Pick<Offense, 'epochOrSlot' | 'offenseType'>>, constants: Pick<L1RollupConstants, 'epochDuration'>): bigint | undefined;
+/** Returns the slashing round in which a given offense occurred. */
+export declare function getRoundForOffense(offense: Pick<Offense, 'epochOrSlot' | 'offenseType'>, constants: {
+    slashingRoundSize: number;
+    epochDuration: number;
+}): bigint;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaGVscGVycy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NsYXNoaW5nL2hlbHBlcnMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFdBQVcsRUFBRSxVQUFVLEVBQUUsTUFBTSxzQ0FBc0MsQ0FBQztBQUUvRSxPQUFPLEVBQUUsS0FBSyxpQkFBaUIsRUFBd0MsTUFBTSwyQkFBMkIsQ0FBQztBQUN6RyxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUM5RCxPQUFPLEVBQUUsS0FBSyxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sWUFBWSxDQUFDO0FBRXZELDRGQUE0RjtBQUM1Rix3QkFBZ0IsZUFBZSxDQUM3QixJQUFJLEVBQUUsVUFBVSxFQUNoQixTQUFTLEVBQUU7SUFBRSxpQkFBaUIsRUFBRSxNQUFNLENBQUE7Q0FBRSxHQUN2QztJQUFFLEtBQUssRUFBRSxNQUFNLENBQUM7SUFBQyxVQUFVLEVBQUUsVUFBVSxDQUFBO0NBQUUsQ0FNM0M7QUFFRCxnR0FBZ0c7QUFDaEcsd0JBQWdCLGlCQUFpQixDQUMvQixLQUFLLEVBQUUsV0FBVyxFQUNsQixTQUFTLEVBQUU7SUFBRSxpQkFBaUIsRUFBRSxNQUFNLENBQUM7SUFBQyxhQUFhLEVBQUUsTUFBTSxDQUFBO0NBQUUsR0FDOUQsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDLENBS2xCO0FBRUQsK0RBQStEO0FBQy9ELHdCQUFnQixpQkFBaUIsQ0FDL0IsS0FBSyxFQUFFLE1BQU0sRUFDYixTQUFTLEVBQUU7SUFBRSxpQkFBaUIsRUFBRSxNQUFNLENBQUM7SUFBQyxhQUFhLEVBQUUsTUFBTSxDQUFBO0NBQUUsR0FDOUQsV0FBVyxFQUFFLENBVWY7QUFFRCx5RkFBeUY7QUFDekYsd0JBQWdCLG9CQUFvQixDQUNsQyxPQUFPLEVBQUUsV0FBVyxFQUNwQixNQUFNLEVBQUUsSUFBSSxDQUNWLGFBQWEsRUFDWCxrRUFBa0UsR0FDbEUscUNBQXFDLEdBQ3JDLGtEQUFrRCxHQUNsRCwrQkFBK0IsR0FDL0Isa0NBQWtDLEdBQ2xDLDZDQUE2QyxHQUM3Qyw2QkFBNkIsR0FDN0IscUJBQXFCLEdBQ3JCLHdCQUF3QixHQUN4Qix3Q0FBd0MsQ0FDM0MsVUE2QkY7QUFFRCwyRkFBMkY7QUFDM0Ysd0JBQWdCLHFCQUFxQixDQUFDLE9BQU8sRUFBRSxXQUFXLEdBQUcsT0FBTyxHQUFHLE1BQU0sQ0FvQjVFO0FBRUQscUhBQXFIO0FBQ3JILHdCQUFnQixpQkFBaUIsQ0FDL0IsT0FBTyxFQUFFLElBQUksQ0FBQyxPQUFPLEVBQUUsYUFBYSxHQUFHLGFBQWEsQ0FBQyxFQUNyRCxTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsQ0FBQyxHQUNsRCxVQUFVLENBS1o7QUFFRCw2R0FBNkc7QUFDN0csd0JBQWdCLGtCQUFrQixDQUNoQyxPQUFPLEVBQUUsSUFBSSxDQUFDLE9BQU8sRUFBRSxhQUFhLEdBQUcsYUFBYSxDQUFDLEVBQ3JELFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxDQUFDLEdBQ2xELE1BQU0sQ0FBQztBQUNWLHdCQUFnQixrQkFBa0IsQ0FDaEMsT0FBTyxFQUFFLE9BQU8sQ0FBQyxJQUFJLENBQUMsT0FBTyxFQUFFLGFBQWEsR0FBRyxhQUFhLENBQUMsQ0FBQyxFQUM5RCxTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsQ0FBQyxHQUNsRCxNQUFNLEdBQUcsU0FBUyxDQUFDO0FBWXRCLG9FQUFvRTtBQUNwRSx3QkFBZ0Isa0JBQWtCLENBQ2hDLE9BQU8sRUFBRSxJQUFJLENBQUMsT0FBTyxFQUFFLGFBQWEsR0FBRyxhQUFhLENBQUMsRUFDckQsU0FBUyxFQUFFO0lBQUUsaUJBQWlCLEVBQUUsTUFBTSxDQUFDO0lBQUMsYUFBYSxFQUFFLE1BQU0sQ0FBQTtDQUFFLEdBQzlELE1BQU0sQ0FHUiJ9

package/dest/slashing/helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../src/slashing/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AAE/E,OAAO,EAAE,KAAK,iBAAiB,EAAwC,MAAM,2BAA2B,CAAC;AACzG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,KAAK,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEvD,4FAA4F;AAC5F,wBAAgB,eAAe,CAC7B,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE;IAAE,iBAAiB,EAAE,MAAM,CAAA;CAAE,GACvC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,UAAU,CAAA;CAAE,CAM3C;AAED,gGAAgG;AAChG,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,WAAW,EAClB,SAAS,EAAE;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,GAC9D,CAAC,MAAM,EAAE,MAAM,CAAC,CAKlB;AAED,+DAA+D;AAC/D,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,EACb,SAAS,EAAE;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,GAC9D,WAAW,EAAE,CAUf;AAED,yFAAyF;AACzF,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,WAAW,EACpB,MAAM,EAAE,IAAI,CACV,aAAa,EACX,kEAAkE,GAClE,qCAAqC,GACrC,kDAAkD,GAClD,+BAA+B,GAC/B,kCAAkC,GAClC,6CAA6C,GAC7C,6BAA6B,GAC7B,qBAAqB,GACrB,wBAAwB,GACxB,wCAAwC,CAC3C,UA6BF;AAED,2FAA2F;AAC3F,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,GAAG,MAAM,CAoB5E;AAED,qHAAqH;AACrH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,aAAa,GAAG,aAAa,CAAC,EACrD,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,GAClD,UAAU,CAKZ;AAED,6GAA6G;AAC7G,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,aAAa,GAAG,aAAa,CAAC,EACrD,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,GAClD,MAAM,CAAC;AACV,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,GAAG,aAAa,CAAC,CAAC,EAC9D,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,GAClD,MAAM,GAAG,SAAS,CAAC;AAYtB,oEAAoE;AACpE,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,aAAa,GAAG,aAAa,CAAC,EACrD,SAAS,EAAE;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,GAC9D,MAAM,CAGR"}

package/dest/slashing/helpers.js

@@ -0,0 +1,100 @@
+import { EpochNumber, SlotNumber } from '@aztec-labs/foundation/branded-types';
+import { getEpochAtSlot, getSlotRangeForEpoch } from '../epoch-helpers/index.js';
+import { OffenseType } from './types.js';
+/** Returns the voting round number and voting slot within the round for a given L2 slot. */ export function getRoundForSlot(slot, constants) {
+    const roundSize = BigInt(constants.slashingRoundSize);
+    const slotBigInt = BigInt(slot);
+    const round = slotBigInt / roundSize;
+    const votingSlot = SlotNumber.fromBigInt(slotBigInt % roundSize);
+    return {
+        round,
+        votingSlot
+    };
+}
+/** Returns the voting round(s) lower and upper bounds (inclusive) covered by the given epoch */ export function getRoundsForEpoch(epoch, constants) {
+    const [start, end] = getSlotRangeForEpoch(epoch, constants);
+    const startRound = getRoundForSlot(start, constants).round;
+    const endRound = getRoundForSlot(end, constants).round;
+    return [
+        startRound,
+        endRound
+    ];
+}
+/** Returns the epochs spanned during a given slashing round */ export function getEpochsForRound(round, constants) {
+    const epochs = [];
+    const firstSlot = SlotNumber.fromBigInt(round * BigInt(constants.slashingRoundSize));
+    const lastSlot = SlotNumber(firstSlot + constants.slashingRoundSize - 1);
+    const startEpoch = getEpochAtSlot(firstSlot, constants);
+    const endEpoch = getEpochAtSlot(lastSlot, constants);
+    for(let epoch = startEpoch; epoch <= endEpoch; epoch = EpochNumber(epoch + 1)){
+        epochs.push(epoch);
+    }
+    return epochs;
+}
+/** Reads the configured penalty for a given offense type from a slasher config struct */ export function getPenaltyForOffense(offense, config) {
+    switch(offense){
+        case OffenseType.DATA_WITHHOLDING:
+            return config.slashDataWithholdingPenalty;
+        case OffenseType.INACTIVITY:
+            return config.slashInactivityPenalty;
+        case OffenseType.PROPOSED_INSUFFICIENT_ATTESTATIONS:
+        case OffenseType.PROPOSED_INCORRECT_ATTESTATIONS:
+            return config.slashProposeInvalidAttestationsPenalty;
+        case OffenseType.PROPOSED_DESCENDANT_OF_CHECKPOINT_WITH_INVALID_ATTESTATIONS:
+            return config.slashProposeDescendantOfCheckpointWithInvalidAttestationsPenalty;
+        case OffenseType.BROADCASTED_INVALID_BLOCK_PROPOSAL:
+            return config.slashBroadcastedInvalidBlockPenalty;
+        case OffenseType.BROADCASTED_INVALID_CHECKPOINT_PROPOSAL:
+            return config.slashBroadcastedInvalidCheckpointProposalPenalty;
+        case OffenseType.DUPLICATE_PROPOSAL:
+            return config.slashDuplicateProposalPenalty;
+        case OffenseType.DUPLICATE_ATTESTATION:
+            return config.slashDuplicateAttestationPenalty;
+        case OffenseType.ATTESTED_TO_INVALID_CHECKPOINT_PROPOSAL:
+            return config.slashAttestInvalidCheckpointProposalPenalty;
+        case OffenseType.UNKNOWN:
+            return config.slashUnknownPenalty;
+        default:
+            {
+                const _exhaustiveCheck = offense;
+                throw new Error(`Unknown offense type: ${_exhaustiveCheck}`);
+            }
+    }
+}
+/** Returns whether the `epochOrSlot` field for an offense references an epoch or a slot */ export function getTimeUnitForOffense(offense) {
+    switch(offense){
+        case OffenseType.PROPOSED_DESCENDANT_OF_CHECKPOINT_WITH_INVALID_ATTESTATIONS:
+        case OffenseType.BROADCASTED_INVALID_BLOCK_PROPOSAL:
+        case OffenseType.DATA_WITHHOLDING:
+        case OffenseType.BROADCASTED_INVALID_CHECKPOINT_PROPOSAL:
+        case OffenseType.DUPLICATE_PROPOSAL:
+        case OffenseType.DUPLICATE_ATTESTATION:
+        case OffenseType.ATTESTED_TO_INVALID_CHECKPOINT_PROPOSAL:
+        case OffenseType.PROPOSED_INCORRECT_ATTESTATIONS:
+        case OffenseType.PROPOSED_INSUFFICIENT_ATTESTATIONS:
+            return 'slot';
+        case OffenseType.INACTIVITY:
+        case OffenseType.UNKNOWN:
+            return 'epoch';
+        default:
+            {
+                const _exhaustiveCheck = offense;
+                throw new Error(`Unknown offense type: ${_exhaustiveCheck}`);
+            }
+    }
+}
+/** Returns the slot for a given offense. If the offense references an epoch, returns the first slot of the epoch. */ export function getSlotForOffense(offense, constants) {
+    const { epochOrSlot, offenseType } = offense;
+    return getTimeUnitForOffense(offenseType) === 'epoch' ? SlotNumber.fromBigInt(epochOrSlot * BigInt(constants.epochDuration)) : SlotNumber.fromBigInt(epochOrSlot);
+}
+export function getEpochForOffense(offense, constants) {
+    const { epochOrSlot, offenseType } = offense;
+    if (epochOrSlot === undefined || offenseType === undefined) {
+        return undefined;
+    }
+    return getTimeUnitForOffense(offenseType) === 'epoch' ? epochOrSlot : epochOrSlot / BigInt(constants.epochDuration);
+}
+/** Returns the slashing round in which a given offense occurred. */ export function getRoundForOffense(offense, constants) {
+    const slot = getSlotForOffense(offense, constants);
+    return getRoundForSlot(slot, constants).round;
+}

package/dest/slashing/index.d.ts

@@ -0,0 +1,6 @@
+export * from './types.js';
+export * from './interfaces.js';
+export * from './helpers.js';
+export * from './votes.js';
+export * from './serialization.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zbGFzaGluZy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLFlBQVksQ0FBQztBQUMzQixjQUFjLGlCQUFpQixDQUFDO0FBQ2hDLGNBQWMsY0FBYyxDQUFDO0FBQzdCLGNBQWMsWUFBWSxDQUFDO0FBQzNCLGNBQWMsb0JBQW9CLENBQUMifQ==

package/dest/slashing/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/slashing/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,oBAAoB,CAAC"}

package/dest/slashing/index.js

@@ -0,0 +1,5 @@
+export * from './types.js';
+export * from './interfaces.js';
+export * from './helpers.js';
+export * from './votes.js';
+export * from './serialization.js';

package/dest/slashing/interfaces.d.ts

@@ -0,0 +1,12 @@
+import type { SlotNumber } from '@aztec-labs/foundation/branded-types';
+import type { ProposerSlashAction } from './types.js';
+export interface ProposerSlashActionProvider {
+    /**
+     * Returns the actions to take for the proposer in the current slot.
+     * This can include creating a slash payload or other actions.
+     * @param slotNumber - The current slot number
+     * @returns The actions to take
+     */
+    getProposerActions(slotNumber: SlotNumber): Promise<ProposerSlashAction[]>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW50ZXJmYWNlcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NsYXNoaW5nL2ludGVyZmFjZXMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sc0NBQXNDLENBQUM7QUFFdkUsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSxZQUFZLENBQUM7QUFFdEQsTUFBTSxXQUFXLDJCQUEyQjtJQUMxQzs7Ozs7T0FLRztJQUNILGtCQUFrQixDQUFDLFVBQVUsRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLG1CQUFtQixFQUFFLENBQUMsQ0FBQztDQUM1RSJ9

package/dest/slashing/interfaces.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"interfaces.d.ts","sourceRoot":"","sources":["../../src/slashing/interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AAEvE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEtD,MAAM,WAAW,2BAA2B;IAC1C;;;;;OAKG;IACH,kBAAkB,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;CAC5E"}

package/dest/slashing/interfaces.js

@@ -0,0 +1 @@
+export { };

package/dest/slashing/serialization.d.ts

@@ -0,0 +1,4 @@
+import type { Offense } from './types.js';
+export declare function serializeOffense(offense: Offense): Buffer;
+export declare function deserializeOffense(buffer: Buffer): Offense;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VyaWFsaXphdGlvbi5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NsYXNoaW5nL3NlcmlhbGl6YXRpb24udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBR0EsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFlLE1BQU0sWUFBWSxDQUFDO0FBRXZELHdCQUFnQixnQkFBZ0IsQ0FBQyxPQUFPLEVBQUUsT0FBTyxHQUFHLE1BQU0sQ0FPekQ7QUFFRCx3QkFBZ0Isa0JBQWtCLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBUTFEIn0=

package/dest/slashing/serialization.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialization.d.ts","sourceRoot":"","sources":["../../src/slashing/serialization.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAe,MAAM,YAAY,CAAC;AAEvD,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAOzD;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAQ1D"}

package/dest/slashing/serialization.js

@@ -0,0 +1,18 @@
+import { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { BufferReader, bigintToUInt64BE, bigintToUInt128BE, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+export function serializeOffense(offense) {
+    return serializeToBuffer(offense.validator, bigintToUInt128BE(offense.amount), offense.offenseType, bigintToUInt64BE(offense.epochOrSlot));
+}
+export function deserializeOffense(buffer) {
+    const reader = BufferReader.asReader(buffer);
+    const validator = reader.readObject(EthAddress);
+    const amount = reader.readUInt128();
+    const offense = reader.readNumber();
+    const epochOrSlot = reader.readUInt64();
+    return {
+        validator,
+        amount,
+        offenseType: offense,
+        epochOrSlot
+    };
+}

package/dest/slashing/types.d.ts

@@ -0,0 +1,71 @@
+import { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { z } from 'zod';
+export declare enum OffenseType {
+    UNKNOWN = 0,
+    /** The data for the txs in a published checkpoint was not available within the tolerance window, we slash the checkpoint's attesters */
+    DATA_WITHHOLDING = 1,
+    /** A proposer failed to attest or propose during an epoch according to the Sentinel */
+    INACTIVITY = 3,
+    /** A proposer sent an invalid block proposal over the p2p network to the committee */
+    BROADCASTED_INVALID_BLOCK_PROPOSAL = 4,
+    /** A proposer pushed to L1 a block with insufficient committee attestations */
+    PROPOSED_INSUFFICIENT_ATTESTATIONS = 5,
+    /** A proposer pushed to L1 a block with incorrect committee attestations (ie signature from a non-committee member) */
+    PROPOSED_INCORRECT_ATTESTATIONS = 6,
+    /** A proposer published a checkpoint to L1 that builds on an invalid checkpoint (as in a checkpoint with invalid or insufficient attestations) */
+    PROPOSED_DESCENDANT_OF_CHECKPOINT_WITH_INVALID_ATTESTATIONS = 7,
+    /** A proposer sent duplicate proposals for the same position (slot, indexWithinCheckpoint for blocks or slot for checkpoints) */
+    DUPLICATE_PROPOSAL = 8,
+    /** A validator signed attestations for different proposals at the same slot (equivocation) */
+    DUPLICATE_ATTESTATION = 9,
+    /** A committee member attested to a checkpoint proposal in a slot with an invalid block proposal */
+    ATTESTED_TO_INVALID_CHECKPOINT_PROPOSAL = 10,
+    /** A proposer broadcast an invalid checkpoint proposal, detected by retained evidence or deterministic recomputation */
+    BROADCASTED_INVALID_CHECKPOINT_PROPOSAL = 11
+}
+export declare function getOffenseTypeName(offense: OffenseType): "attested_to_invalid_checkpoint_proposal" | "broadcasted_invalid_block_proposal" | "broadcasted_invalid_checkpoint_proposal" | "data_withholding" | "duplicate_attestation" | "duplicate_proposal" | "inactivity" | "proposed_descendant_of_checkpoint_with_invalid_attestations" | "proposed_incorrect_attestations" | "proposed_insufficient_attestations" | "unknown";
+export declare const OffenseTypeSchema: z.ZodEnum<typeof OffenseType>;
+export declare const OffenseToBigInt: Record<OffenseType, bigint>;
+export declare function bigIntToOffense(offense: bigint): OffenseType;
+export type Offense = {
+    validator: EthAddress;
+    amount: bigint;
+    offenseType: OffenseType;
+    epochOrSlot: bigint;
+};
+export type OffenseIdentifier = Pick<Offense, 'validator' | 'offenseType' | 'epochOrSlot'>;
+export declare const OffenseSchema: z.ZodObject<{
+    validator: import("../schemas/index.js").ZodFor<EthAddress>;
+    amount: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    offenseType: z.ZodEnum<typeof OffenseType>;
+    epochOrSlot: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+}, z.core.$strip>;
+/** Offense by a validator in the context of a slash payload */
+export type ValidatorSlashOffense = {
+    epochOrSlot: bigint;
+    offenseType: OffenseType;
+};
+/** Slashed amount and total offenses by a validator in the context of a slash payload */
+export type ValidatorSlash = {
+    validator: EthAddress;
+    amount: bigint;
+    offenses: ValidatorSlashOffense[];
+};
+/** Votes for a validator slash in the slashing proposer */
+export type ValidatorSlashVote = number;
+export type ProposerSlashAction = 
+/** Vote for offenses on the slashing proposer */
+{
+    type: 'vote-offenses';
+    votes: ValidatorSlashVote[];
+    committees: EthAddress[][];
+    round: bigint;
+}
+/** Execute a slashing round on the slashing proposer */
+ | {
+    type: 'execute-slash';
+    committees: EthAddress[][];
+    round: bigint;
+};
+export type ProposerSlashActionType = ProposerSlashAction['type'];
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHlwZXMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zbGFzaGluZy90eXBlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFDaEUsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUl4QixvQkFBWSxXQUFXO0lBQ3JCLE9BQU8sSUFBSTtJQUNYLHdJQUF3STtJQUN4SSxnQkFBZ0IsSUFBSTtJQUNwQix1RkFBdUY7SUFDdkYsVUFBVSxJQUFJO0lBQ2Qsc0ZBQXNGO0lBQ3RGLGtDQUFrQyxJQUFJO0lBQ3RDLCtFQUErRTtJQUMvRSxrQ0FBa0MsSUFBSTtJQUN0Qyx1SEFBdUg7SUFDdkgsK0JBQStCLElBQUk7SUFDbkMsa0pBQWtKO0lBQ2xKLDJEQUEyRCxJQUFJO0lBQy9ELGlJQUFpSTtJQUNqSSxrQkFBa0IsSUFBSTtJQUN0Qiw4RkFBOEY7SUFDOUYscUJBQXFCLElBQUk7SUFDekIsb0dBQW9HO0lBQ3BHLHVDQUF1QyxLQUFLO0lBQzVDLHdIQUF3SDtJQUN4SCx1Q0FBdUMsS0FBSztDQUM3QztBQUVELHdCQUFnQixrQkFBa0IsQ0FBQyxPQUFPLEVBQUUsV0FBVyw0V0EyQnREO0FBRUQsZUFBTyxNQUFNLGlCQUFpQiwrQkFBNEIsQ0FBQztBQUUzRCxlQUFPLE1BQU0sZUFBZSxFQUFFLE1BQU0sQ0FBQyxXQUFXLEVBQUUsTUFBTSxDQVl2RCxDQUFDO0FBRUYsd0JBQWdCLGVBQWUsQ0FBQyxPQUFPLEVBQUUsTUFBTSxHQUFHLFdBQVcsQ0EyQjVEO0FBRUQsTUFBTSxNQUFNLE9BQU8sR0FBRztJQUNwQixTQUFTLEVBQUUsVUFBVSxDQUFDO0lBQ3RCLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFDZixXQUFXLEVBQUUsV0FBVyxDQUFDO0lBQ3pCLFdBQVcsRUFBRSxNQUFNLENBQUM7Q0FDckIsQ0FBQztBQUVGLE1BQU0sTUFBTSxpQkFBaUIsR0FBRyxJQUFJLENBQUMsT0FBTyxFQUFFLFdBQVcsR0FBRyxhQUFhLEdBQUcsYUFBYSxDQUFDLENBQUM7QUFFM0YsZUFBTyxNQUFNLGFBQWE7Ozs7O2lCQU96QixDQUFDO0FBRUYsK0RBQStEO0FBQy9ELE1BQU0sTUFBTSxxQkFBcUIsR0FBRztJQUNsQyxXQUFXLEVBQUUsTUFBTSxDQUFDO0lBQ3BCLFdBQVcsRUFBRSxXQUFXLENBQUM7Q0FDMUIsQ0FBQztBQUVGLHlGQUF5RjtBQUN6RixNQUFNLE1BQU0sY0FBYyxHQUFHO0lBQzNCLFNBQVMsRUFBRSxVQUFVLENBQUM7SUFDdEIsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUNmLFFBQVEsRUFBRSxxQkFBcUIsRUFBRSxDQUFDO0NBQ25DLENBQUM7QUFFRiwyREFBMkQ7QUFDM0QsTUFBTSxNQUFNLGtCQUFrQixHQUFHLE1BQU0sQ0FBQztBQUV4QyxNQUFNLE1BQU0sbUJBQW1CO0FBQzdCLGlEQUFpRDtBQUMvQztJQUFFLElBQUksRUFBRSxlQUFlLENBQUM7SUFBQyxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsQ0FBQztJQUFDLFVBQVUsRUFBRSxVQUFVLEVBQUUsRUFBRSxDQUFDO0lBQUMsS0FBSyxFQUFFLE1BQU0sQ0FBQTtDQUFFO0FBQ25HLHdEQUF3RDtHQUN0RDtJQUFFLElBQUksRUFBRSxlQUFlLENBQUM7SUFBQyxVQUFVLEVBQUUsVUFBVSxFQUFFLEVBQUUsQ0FBQztJQUFDLEtBQUssRUFBRSxNQUFNLENBQUE7Q0FBRSxDQUFDO0FBRXpFLE1BQU0sTUFBTSx1QkFBdUIsR0FBRyxtQkFBbUIsQ0FBQyxNQUFNLENBQUMsQ0FBQyJ9

package/dest/slashing/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/slashing/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAChE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,oBAAY,WAAW;IACrB,OAAO,IAAI;IACX,wIAAwI;IACxI,gBAAgB,IAAI;IACpB,uFAAuF;IACvF,UAAU,IAAI;IACd,sFAAsF;IACtF,kCAAkC,IAAI;IACtC,+EAA+E;IAC/E,kCAAkC,IAAI;IACtC,uHAAuH;IACvH,+BAA+B,IAAI;IACnC,kJAAkJ;IAClJ,2DAA2D,IAAI;IAC/D,iIAAiI;IACjI,kBAAkB,IAAI;IACtB,8FAA8F;IAC9F,qBAAqB,IAAI;IACzB,oGAAoG;IACpG,uCAAuC,KAAK;IAC5C,wHAAwH;IACxH,uCAAuC,KAAK;CAC7C;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,WAAW,4WA2BtD;AAED,eAAO,MAAM,iBAAiB,+BAA4B,CAAC;AAE3D,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,WAAW,EAAE,MAAM,CAYvD,CAAC;AAEF,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,WAAW,CA2B5D;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,SAAS,EAAE,UAAU,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,WAAW,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,IAAI,CAAC,OAAO,EAAE,WAAW,GAAG,aAAa,GAAG,aAAa,CAAC,CAAC;AAE3F,eAAO,MAAM,aAAa;;;;;iBAOzB,CAAC;AAEF,+DAA+D;AAC/D,MAAM,MAAM,qBAAqB,GAAG;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,WAAW,CAAC;CAC1B,CAAC;AAEF,yFAAyF;AACzF,MAAM,MAAM,cAAc,GAAG;IAC3B,SAAS,EAAE,UAAU,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,qBAAqB,EAAE,CAAC;CACnC,CAAC;AAEF,2DAA2D;AAC3D,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC;AAExC,MAAM,MAAM,mBAAmB;AAC7B,iDAAiD;AAC/C;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,kBAAkB,EAAE,CAAC;IAAC,UAAU,EAAE,UAAU,EAAE,EAAE,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AACnG,wDAAwD;GACtD;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,UAAU,EAAE,UAAU,EAAE,EAAE,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzE,MAAM,MAAM,uBAAuB,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC"}

package/dest/slashing/types.js

@@ -0,0 +1,92 @@
+import { z } from 'zod';
+import { schemas, zodFor } from '../schemas/index.js';
+export var OffenseType = /*#__PURE__*/ function(OffenseType) {
+    OffenseType[OffenseType["UNKNOWN"] = 0] = "UNKNOWN";
+    /** The data for the txs in a published checkpoint was not available within the tolerance window, we slash the checkpoint's attesters */ OffenseType[OffenseType["DATA_WITHHOLDING"] = 1] = "DATA_WITHHOLDING";
+    /** A proposer failed to attest or propose during an epoch according to the Sentinel */ OffenseType[OffenseType["INACTIVITY"] = 3] = "INACTIVITY";
+    /** A proposer sent an invalid block proposal over the p2p network to the committee */ OffenseType[OffenseType["BROADCASTED_INVALID_BLOCK_PROPOSAL"] = 4] = "BROADCASTED_INVALID_BLOCK_PROPOSAL";
+    /** A proposer pushed to L1 a block with insufficient committee attestations */ OffenseType[OffenseType["PROPOSED_INSUFFICIENT_ATTESTATIONS"] = 5] = "PROPOSED_INSUFFICIENT_ATTESTATIONS";
+    /** A proposer pushed to L1 a block with incorrect committee attestations (ie signature from a non-committee member) */ OffenseType[OffenseType["PROPOSED_INCORRECT_ATTESTATIONS"] = 6] = "PROPOSED_INCORRECT_ATTESTATIONS";
+    /** A proposer published a checkpoint to L1 that builds on an invalid checkpoint (as in a checkpoint with invalid or insufficient attestations) */ OffenseType[OffenseType["PROPOSED_DESCENDANT_OF_CHECKPOINT_WITH_INVALID_ATTESTATIONS"] = 7] = "PROPOSED_DESCENDANT_OF_CHECKPOINT_WITH_INVALID_ATTESTATIONS";
+    /** A proposer sent duplicate proposals for the same position (slot, indexWithinCheckpoint for blocks or slot for checkpoints) */ OffenseType[OffenseType["DUPLICATE_PROPOSAL"] = 8] = "DUPLICATE_PROPOSAL";
+    /** A validator signed attestations for different proposals at the same slot (equivocation) */ OffenseType[OffenseType["DUPLICATE_ATTESTATION"] = 9] = "DUPLICATE_ATTESTATION";
+    /** A committee member attested to a checkpoint proposal in a slot with an invalid block proposal */ OffenseType[OffenseType["ATTESTED_TO_INVALID_CHECKPOINT_PROPOSAL"] = 10] = "ATTESTED_TO_INVALID_CHECKPOINT_PROPOSAL";
+    /** A proposer broadcast an invalid checkpoint proposal, detected by retained evidence or deterministic recomputation */ OffenseType[OffenseType["BROADCASTED_INVALID_CHECKPOINT_PROPOSAL"] = 11] = "BROADCASTED_INVALID_CHECKPOINT_PROPOSAL";
+    return OffenseType;
+}({});
+export function getOffenseTypeName(offense) {
+    switch(offense){
+        case 0:
+            return 'unknown';
+        case 1:
+            return 'data_withholding';
+        case 3:
+            return 'inactivity';
+        case 4:
+            return 'broadcasted_invalid_block_proposal';
+        case 5:
+            return 'proposed_insufficient_attestations';
+        case 6:
+            return 'proposed_incorrect_attestations';
+        case 7:
+            return 'proposed_descendant_of_checkpoint_with_invalid_attestations';
+        case 8:
+            return 'duplicate_proposal';
+        case 9:
+            return 'duplicate_attestation';
+        case 10:
+            return 'attested_to_invalid_checkpoint_proposal';
+        case 11:
+            return 'broadcasted_invalid_checkpoint_proposal';
+        default:
+            throw new Error(`Unknown offense type: ${offense}`);
+    }
+}
+export const OffenseTypeSchema = z.nativeEnum(OffenseType);
+export const OffenseToBigInt = {
+    [0]: 0n,
+    [1]: 1n,
+    [3]: 3n,
+    [4]: 4n,
+    [5]: 5n,
+    [6]: 6n,
+    [7]: 7n,
+    [8]: 8n,
+    [9]: 9n,
+    [10]: 10n,
+    [11]: 11n
+};
+export function bigIntToOffense(offense) {
+    switch(offense){
+        case 0n:
+            return 0;
+        case 1n:
+            return 1;
+        case 3n:
+            return 3;
+        case 4n:
+            return 4;
+        case 5n:
+            return 5;
+        case 6n:
+            return 6;
+        case 7n:
+            return 7;
+        case 8n:
+            return 8;
+        case 9n:
+            return 9;
+        case 10n:
+            return 10;
+        case 11n:
+            return 11;
+        default:
+            throw new Error(`Unknown offense: ${offense}`);
+    }
+}
+export const OffenseSchema = zodFor()(z.object({
+    validator: schemas.EthAddress,
+    amount: schemas.BigInt,
+    offenseType: OffenseTypeSchema,
+    epochOrSlot: schemas.BigInt
+}));

package/dest/slashing/votes.d.ts

@@ -0,0 +1,29 @@
+import { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { type Logger } from '@aztec-labs/foundation/log';
+import type { PartialBy } from '@aztec-labs/foundation/types';
+import type { Offense, ValidatorSlashVote } from './types.js';
+/**
+ * Creates a consensus-slash vote for a given set of committees based on a set of Offenses
+ * @param offenses - Array of offenses to consider
+ * @param committees - Array of committees (each containing array of validator addresses)
+ * @param epochsForCommittees - Array of epochs corresponding to each committee
+ * @param settings - Settings including slashingAmounts and optional validator override lists
+ * @param settings.maxSlashedValidators - If set, limits the total number of [validator, epoch] pairs
+ *   with non-zero votes. The lowest-vote pairs are zeroed out to stay within the limit.
+ * @param logger - Logger, logs which validators were dropped.
+ * @returns Array of ValidatorSlashVote, where each vote is how many slash units the validator in that position should be slashed
+ */
+export declare function getSlashConsensusVotesFromOffenses(offenses: PartialBy<Offense, 'epochOrSlot'>[], committees: EthAddress[][], epochsForCommittees: bigint[], settings: {
+    slashingAmounts: [bigint, bigint, bigint];
+    epochDuration: number;
+    targetCommitteeSize: number;
+    maxSlashedValidators?: number;
+}, logger?: Logger): ValidatorSlashVote[];
+/**
+ * Encodes a set of slash votes into a Buffer for use in a consensus slashing vote transaction.
+ * Each vote is represented as a 2-bit value, which represents how many slashing units the validator should be slashed.
+ * @param votes - The array of slash votes to encode
+ * @returns A Buffer containing the encoded slash votes
+ */
+export declare function encodeSlashConsensusVotes(votes: ValidatorSlashVote[]): Buffer;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidm90ZXMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zbGFzaGluZy92b3Rlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFFQSxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFDaEUsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFnQixNQUFNLDRCQUE0QixDQUFDO0FBQ3ZFLE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBRzlELE9BQU8sS0FBSyxFQUFFLE9BQU8sRUFBRSxrQkFBa0IsRUFBRSxNQUFNLFlBQVksQ0FBQztBQUU5RDs7Ozs7Ozs7OztHQVVHO0FBQ0gsd0JBQWdCLGtDQUFrQyxDQUNoRCxRQUFRLEVBQUUsU0FBUyxDQUFDLE9BQU8sRUFBRSxhQUFhLENBQUMsRUFBRSxFQUM3QyxVQUFVLEVBQUUsVUFBVSxFQUFFLEVBQUUsRUFDMUIsbUJBQW1CLEVBQUUsTUFBTSxFQUFFLEVBQzdCLFFBQVEsRUFBRTtJQUNSLGVBQWUsRUFBRSxDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsTUFBTSxDQUFDLENBQUM7SUFDMUMsYUFBYSxFQUFFLE1BQU0sQ0FBQztJQUN0QixtQkFBbUIsRUFBRSxNQUFNLENBQUM7SUFDNUIsb0JBQW9CLENBQUMsRUFBRSxNQUFNLENBQUM7Q0FDL0IsRUFDRCxNQUFNLEdBQUUsTUFBc0MsR0FDN0Msa0JBQWtCLEVBQUUsQ0EwRHRCO0FBZUQ7Ozs7O0dBS0c7QUFDSCx3QkFBZ0IseUJBQXlCLENBQUMsS0FBSyxFQUFFLGtCQUFrQixFQUFFLEdBQUcsTUFBTSxDQWU3RSJ9

package/dest/slashing/votes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"votes.d.ts","sourceRoot":"","sources":["../../src/slashing/votes.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAChE,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,4BAA4B,CAAC;AACvE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAG9D,OAAO,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAE9D;;;;;;;;;;GAUG;AACH,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,SAAS,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,EAC7C,UAAU,EAAE,UAAU,EAAE,EAAE,EAC1B,mBAAmB,EAAE,MAAM,EAAE,EAC7B,QAAQ,EAAE;IACR,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1C,aAAa,EAAE,MAAM,CAAC;IACtB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,oBAAoB,CAAC,EAAE,MAAM,CAAC;CAC/B,EACD,MAAM,GAAE,MAAsC,GAC7C,kBAAkB,EAAE,CA0DtB;AAeD;;;;;GAKG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,kBAAkB,EAAE,GAAG,MAAM,CAe7E"}

package/dest/slashing/votes.js

@@ -0,0 +1,92 @@
+import { sumBigint } from '@aztec-labs/foundation/bigint';
+import { padArrayEnd } from '@aztec-labs/foundation/collection';
+import { createLogger } from '@aztec-labs/foundation/log';
+import { getEpochForOffense } from './helpers.js';
+/**
+ * Creates a consensus-slash vote for a given set of committees based on a set of Offenses
+ * @param offenses - Array of offenses to consider
+ * @param committees - Array of committees (each containing array of validator addresses)
+ * @param epochsForCommittees - Array of epochs corresponding to each committee
+ * @param settings - Settings including slashingAmounts and optional validator override lists
+ * @param settings.maxSlashedValidators - If set, limits the total number of [validator, epoch] pairs
+ *   with non-zero votes. The lowest-vote pairs are zeroed out to stay within the limit.
+ * @param logger - Logger, logs which validators were dropped.
+ * @returns Array of ValidatorSlashVote, where each vote is how many slash units the validator in that position should be slashed
+ */ export function getSlashConsensusVotesFromOffenses(offenses, committees, epochsForCommittees, settings, logger = createLogger('slasher:votes')) {
+    const { slashingAmounts, targetCommitteeSize, maxSlashedValidators } = settings;
+    if (committees.length !== epochsForCommittees.length) {
+        throw new Error('committees and epochsForCommittees must have the same length');
+    }
+    const votes = committees.flatMap((committee, committeeIndex)=>{
+        const committeeEpoch = epochsForCommittees[committeeIndex];
+        // Map over actual committee members, then pad to targetCommitteeSize.
+        // Padding handles cases where committees may be empty (e.g., when there aren't enough validators to fill the committee size during network startup).
+        const votes = committee.map((validator)=>{
+            // Find offenses for this validator in this specific epoch.
+            // If an offense has no epoch, it is considered for all epochs due to a slashAlways setting.
+            const validatorOffenses = offenses.filter((o)=>o.validator.equals(validator) && (o.epochOrSlot === undefined || getEpochForOffense(o, settings) === committeeEpoch));
+            // Sum up the penalties for this validator in this epoch
+            const slashAmount = sumBigint(validatorOffenses.map((o)=>o.amount));
+            const slashUnits = getSlashUnitsForAmount(slashAmount, slashingAmounts);
+            return Number(slashUnits);
+        });
+        return padArrayEnd(votes, 0, targetCommitteeSize);
+    });
+    // if a cap is set, zero out the lowest-vote [validator, epoch] pairs so that the most severe slashes stay.
+    if (maxSlashedValidators === undefined) {
+        return votes;
+    }
+    const nonZeroByDescendingVote = [
+        ...votes.entries()
+    ].filter(([, vote])=>vote > 0).sort(([, a], [, b])=>b - a);
+    const toTruncate = nonZeroByDescendingVote.slice(maxSlashedValidators);
+    for (const [idx] of toTruncate){
+        votes[idx] = 0;
+    }
+    if (toTruncate.length > 0) {
+        const truncated = toTruncate.map(([idx])=>{
+            const committeeIndex = Math.floor(idx / targetCommitteeSize);
+            const positionInCommittee = idx % targetCommitteeSize;
+            return {
+                validator: committees[committeeIndex][positionInCommittee].toString(),
+                epoch: epochsForCommittees[committeeIndex]
+            };
+        });
+        logger.warn(`Truncated ${toTruncate.length} validator-epoch pairs to stay within limit of ${maxSlashedValidators}`, {
+            truncated
+        });
+    }
+    return votes;
+}
+/** Returns the slash vote for the given amount to slash. */ function getSlashUnitsForAmount(amountToSlash, slashingAmounts) {
+    if (amountToSlash >= slashingAmounts[2]) {
+        return 3;
+    } else if (amountToSlash >= slashingAmounts[1]) {
+        return 2;
+    } else if (amountToSlash >= slashingAmounts[0]) {
+        return 1;
+    } else {
+        return 0;
+    }
+}
+/**
+ * Encodes a set of slash votes into a Buffer for use in a consensus slashing vote transaction.
+ * Each vote is represented as a 2-bit value, which represents how many slashing units the validator should be slashed.
+ * @param votes - The array of slash votes to encode
+ * @returns A Buffer containing the encoded slash votes
+ */ export function encodeSlashConsensusVotes(votes) {
+    if (votes.length % 4 !== 0) {
+        throw new Error('Votes array must have a length that is a multiple of 4');
+    }
+    const buffer = Buffer.alloc(votes.length / 4);
+    for(let i = 0; i < votes.length; i += 4){
+        // Encode votes to match Solidity's bit order (LSB to MSB)
+        // Bits 0-1: validator at index i
+        // Bits 2-3: validator at index i+1
+        // Bits 4-5: validator at index i+2
+        // Bits 6-7: validator at index i+3
+        const voteByte = votes[i] | votes[i + 1] << 2 | votes[i + 2] << 4 | votes[i + 3] << 6;
+        buffer.writeUInt8(voteByte, i / 4);
+    }
+    return buffer;
+}

package/dest/snapshots/download.d.ts

@@ -0,0 +1,9 @@
+import type { ReadOnlyFileStore } from '@aztec-labs/stdlib/file-store';
+import { SnapshotDataKeys, type SnapshotDataUrls, type SnapshotMetadata, type SnapshotsIndex, type SnapshotsIndexMetadata } from './types.js';
+export declare function getSnapshotIndex(metadata: SnapshotsIndexMetadata, store: ReadOnlyFileStore): Promise<SnapshotsIndex | undefined>;
+export declare function getLatestSnapshotMetadata(metadata: SnapshotsIndexMetadata, store: ReadOnlyFileStore): Promise<SnapshotMetadata | undefined>;
+export declare function getBasePath(metadata: SnapshotsIndexMetadata): string;
+export declare function getSnapshotIndexPath(metadata: SnapshotsIndexMetadata): string;
+export declare function makeSnapshotPaths(baseDir: string): SnapshotDataUrls;
+export declare function downloadSnapshot(snapshot: Pick<SnapshotMetadata, 'dataUrls'>, localPaths: Record<SnapshotDataKeys, string>, store: ReadOnlyFileStore): Promise<void>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZG93bmxvYWQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zbmFwc2hvdHMvZG93bmxvYWQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBRUEsT0FBTyxLQUFLLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQU92RSxPQUFPLEVBQ0wsZ0JBQWdCLEVBQ2hCLEtBQUssZ0JBQWdCLEVBQ3JCLEtBQUssZ0JBQWdCLEVBQ3JCLEtBQUssY0FBYyxFQUNuQixLQUFLLHNCQUFzQixFQUU1QixNQUFNLFlBQVksQ0FBQztBQUVwQix3QkFBc0IsZ0JBQWdCLENBQ3BDLFFBQVEsRUFBRSxzQkFBc0IsRUFDaEMsS0FBSyxFQUFFLGlCQUFpQixHQUN2QixPQUFPLENBQUMsY0FBYyxHQUFHLFNBQVMsQ0FBQyxDQWNyQztBQUVELHdCQUFzQix5QkFBeUIsQ0FDN0MsUUFBUSxFQUFFLHNCQUFzQixFQUNoQyxLQUFLLEVBQUUsaUJBQWlCLEdBQ3ZCLE9BQU8sQ0FBQyxnQkFBZ0IsR0FBRyxTQUFTLENBQUMsQ0FHdkM7QUFFRCx3QkFBZ0IsV0FBVyxDQUFDLFFBQVEsRUFBRSxzQkFBc0IsR0FBRyxNQUFNLENBRXBFO0FBRUQsd0JBQWdCLG9CQUFvQixDQUFDLFFBQVEsRUFBRSxzQkFBc0IsR0FBRyxNQUFNLENBRTdFO0FBRUQsd0JBQWdCLGlCQUFpQixDQUFDLE9BQU8sRUFBRSxNQUFNLEdBQUcsZ0JBQWdCLENBR25FO0FBb0NELHdCQUFzQixnQkFBZ0IsQ0FDcEMsUUFBUSxFQUFFLElBQUksQ0FBQyxnQkFBZ0IsRUFBRSxVQUFVLENBQUMsRUFDNUMsVUFBVSxFQUFFLE1BQU0sQ0FBQyxnQkFBZ0IsRUFBRSxNQUFNLENBQUMsRUFDNUMsS0FBSyxFQUFFLGlCQUFpQixHQUN2QixPQUFPLENBQUMsSUFBSSxDQUFDLENBeUJmIn0=

package/dest/snapshots/download.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"download.d.ts","sourceRoot":"","sources":["../../src/snapshots/download.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAOvE,OAAO,EACL,gBAAgB,EAChB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,sBAAsB,EAE5B,MAAM,YAAY,CAAC;AAEpB,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,sBAAsB,EAChC,KAAK,EAAE,iBAAiB,GACvB,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC,CAcrC;AAED,wBAAsB,yBAAyB,CAC7C,QAAQ,EAAE,sBAAsB,EAChC,KAAK,EAAE,iBAAiB,GACvB,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAGvC;AAED,wBAAgB,WAAW,CAAC,QAAQ,EAAE,sBAAsB,GAAG,MAAM,CAEpE;AAED,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,sBAAsB,GAAG,MAAM,CAE7E;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,gBAAgB,CAGnE;AAoCD,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,IAAI,CAAC,gBAAgB,EAAE,UAAU,CAAC,EAC5C,UAAU,EAAE,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,EAC5C,KAAK,EAAE,iBAAiB,GACvB,OAAO,CAAC,IAAI,CAAC,CAyBf"}