@aztec/stdlib 0.0.1-commit.b655e406 → 0.0.1-commit.b8a057fa

package/dest/schemas/schemas.d.ts

@@ -1,6 +1,8 @@
+import type { EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
 import type { Buffer32 } from '@aztec/foundation/buffer';
+import type { Fq, Fr } from '@aztec/foundation/curves/bn254';
+import type { Point } from '@aztec/foundation/curves/grumpkin';
 import type { EthAddress } from '@aztec/foundation/eth-address';
-import type { Fq, Fr, Point } from '@aztec/foundation/fields';
 import { type ZodFor } from '@aztec/foundation/schemas';
 import { z } from 'zod';
 import type { AbiDecoded } from '../abi/decoder.js';
@@ -8,6 +10,7 @@ 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
@@ -22,42 +25,67 @@ export declare const schemas: {
     /** Point. Serialized as a hex string. */
     Point: ZodFor<Point>;
     /** Coerces any input to bigint. */
-    BigInt: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    BigInt: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
     /** Coerces any input to integer number. */
-    Integer: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+    Integer: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
     /** Coerces input to UInt32. */
-    UInt32: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+    UInt32: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+    /** Coerces input to UInt64. */
+    UInt64: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
     /** Accepts a hex string as a Buffer32 type. */
     Buffer32: ZodFor<Buffer32>;
     /** Accepts a base64 string or an object `{ type: 'Buffer', data: [byte, byte...] }` as a buffer. */
-    Buffer: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer<ArrayBuffer>, string>, z.ZodEffects<z.ZodObject<{
-        type: z.ZodLiteral<"Buffer">;
-        data: z.ZodArray<z.ZodNumber, "many">;
-    }, "strip", z.ZodTypeAny, {
-        type: "Buffer";
-        data: number[];
-    }, {
-        type: "Buffer";
-        data: number[];
-    }>, Buffer<ArrayBuffer>, {
-        type: "Buffer";
-        data: number[];
-    }>]>;
+    Buffer: ZodFor<Buffer<ArrayBufferLike>>;
     /** Accepts a hex string as a buffer. */
-    BufferHex: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>, Buffer<ArrayBuffer>, string>;
+    BufferHex: z.ZodPipe<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>, z.ZodTransform<Buffer<ArrayBuffer>, string>>;
     /** Hex string with an optional 0x prefix which gets removed as part of the parsing. */
-    HexString: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
+    HexString: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
     /** Schema for secret config value */
     SecretValue: typeof import("@aztec/foundation/config").SecretValue.schema;
     /** Accepts a hex string. */
     AztecAddress: ZodFor<AztecAddress>;
     /** Accepts a hex string. */
-    NoteSelector: z.ZodType<NoteSelector, any, string>;
+    NoteSelector: z.ZodType<NoteSelector, string, z.core.$ZodTypeInternals<NoteSelector, string>>;
     /** Accepts a hex string. */
     FunctionSelector: ZodFor<FunctionSelector>;
     /** Accepts a hex string. */
-    EventSelector: z.ZodType<EventSelector, any, string>;
+    EventSelector: z.ZodType<EventSelector, string, z.core.$ZodTypeInternals<EventSelector, string>>;
+    /** Accepts a number, bigint, or string and coerces to SlotNumber. */
+    SlotNumber: ZodFor<SlotNumber>;
+    /** Accepts a number, bigint, or string and coerces to EpochNumber. */
+    EpochNumber: ZodFor<EpochNumber>;
+    GasUsed: z.ZodObject<{
+        totalGas: z.ZodPipe<z.ZodObject<{
+            daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<Gas, {
+            daGas: number;
+            l2Gas: number;
+        }>>;
+        teardownGas: z.ZodPipe<z.ZodObject<{
+            daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<Gas, {
+            daGas: number;
+            l2Gas: number;
+        }>>;
+        publicGas: z.ZodPipe<z.ZodObject<{
+            daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<Gas, {
+            daGas: number;
+            l2Gas: number;
+        }>>;
+        billedGas: z.ZodPipe<z.ZodObject<{
+            daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<Gas, {
+            daGas: number;
+            l2Gas: number;
+        }>>;
+    }, z.core.$strip>;
 };
 export declare const AbiDecodedSchema: ZodFor<AbiDecoded>;
-export { type ZodFor, bufferSchema, hexSchema, hexSchemaFor, bufferSchemaFor, type ApiSchemaFor, optional, mapSchema, pickFromSchema, } from '@aztec/foundation/schemas';
-//# sourceMappingURL=schemas.d.ts.map
+export declare const NullishToUndefined: (schema: ZodFor<any>) => z.ZodPipe<z.ZodOptional<z.ZodNullable<ZodFor<any>>>, z.ZodTransform<any, any>>;
+export { type ZodFor, zodFor, bufferSchema, hexSchema, hexSchemaFor, bufferSchemaFor, type ApiSchemaFor, getSchemaParameters, getSchemaReturnType, optional, mapSchema, pickFromSchema, } from '@aztec/foundation/schemas';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2NoZW1hcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NjaGVtYXMvc2NoZW1hcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDL0UsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQzdELE9BQU8sS0FBSyxFQUFFLEtBQUssRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQy9ELE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQ2hFLE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBZ0MsTUFBTSwyQkFBMkIsQ0FBQztBQUV0RixPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ3BELE9BQU8sRUFBRSxhQUFhLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUN6RCxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUMvRCxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDdkQsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3pELE9BQU8sRUFBRSxHQUFHLEVBQUUsTUFBTSxlQUFlLENBQUM7QUFFcEM7OztLQUdLO0FBQ0wsZUFBTyxNQUFNLE9BQU87SUFDbEIsNEJBQTRCOztJQUc1Qiw0QkFBNEI7O0lBRzVCLDRCQUE0Qjs7SUFHNUIseUNBQXlDOztJQUd6QyxtQ0FBbUM7O0lBR25DLDJDQUEyQzs7SUFHM0MsK0JBQStCOztJQUcvQiwrQkFBK0I7O0lBRy9CLCtDQUErQzs7SUFHL0Msb0dBQW9HOztJQUdwRyx3Q0FBd0M7O0lBR3hDLHVGQUF1Rjs7SUFHdkYscUNBQXFDOztJQUdyQyw0QkFBNEI7O0lBRzVCLDRCQUE0Qjs7SUFHNUIsNEJBQTRCOztJQUc1Qiw0QkFBNEI7O0lBRzVCLHFFQUFxRTs7SUFHckUsc0VBQXNFOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztDQVN2RSxDQUFDO0FBRUYsZUFBTyxNQUFNLGdCQUFnQixFQUFFLE1BQU0sQ0FBQyxVQUFVLENBUzlDLENBQUM7QUFHSCxlQUFPLE1BQU0sa0JBQWtCLHlHQUEyRSxDQUFDO0FBRTNHLE9BQU8sRUFDTCxLQUFLLE1BQU0sRUFDWCxNQUFNLEVBQ04sWUFBWSxFQUNaLFNBQVMsRUFDVCxZQUFZLEVBQ1osZUFBZSxFQUNmLEtBQUssWUFBWSxFQUNqQixtQkFBbUIsRUFDbkIsbUJBQW1CLEVBQ25CLFFBQVEsRUFDUixTQUFTLEVBQ1QsY0FBYyxHQUNmLE1BQU0sMkJBQTJCLENBQUMifQ==

package/dest/schemas/schemas.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schemas.d.ts","sourceRoot":"","sources":["../../src/schemas/schemas.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,KAAK,MAAM,EAAgC,MAAM,2BAA2B,CAAC;AAEtF,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD;;;KAGK;AACL,eAAO,MAAM,OAAO;IAClB,4BAA4B;gBACgB,MAAM,CAAC,UAAU,CAAC;IAE9D,4BAA4B;QACA,MAAM,CAAC,EAAE,CAAC;IAEtC,4BAA4B;QACA,MAAM,CAAC,EAAE,CAAC;IAEtC,yCAAyC;WACP,MAAM,CAAC,KAAK,CAAC;IAE/C,mCAAmC;;IAGnC,2CAA2C;;IAG3C,+BAA+B;;IAG/B,+CAA+C;cACP,MAAM,CAAC,QAAQ,CAAC;IAExD,oGAAoG;;;;;;;;;;;;;;IAGpG,wCAAwC;;IAGxC,uFAAuF;;IAGvF,qCAAqC;;IAGrC,4BAA4B;;IAG5B,4BAA4B;;IAG5B,4BAA4B;;IAG5B,4BAA4B;;CAE7B,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,UAAU,CAM9C,CAAC;AAEH,OAAO,EACL,KAAK,MAAM,EACX,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,eAAe,EACf,KAAK,YAAY,EACjB,QAAQ,EACR,SAAS,EACT,cAAc,GACf,MAAM,2BAA2B,CAAC"}
+{"version":3,"file":"schemas.d.ts","sourceRoot":"","sources":["../../src/schemas/schemas.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAC7D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAC;AAC/D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,KAAK,MAAM,EAAgC,MAAM,2BAA2B,CAAC;AAEtF,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AAEpC;;;KAGK;AACL,eAAO,MAAM,OAAO;IAClB,4BAA4B;;IAG5B,4BAA4B;;IAG5B,4BAA4B;;IAG5B,yCAAyC;;IAGzC,mCAAmC;;IAGnC,2CAA2C;;IAG3C,+BAA+B;;IAG/B,+BAA+B;;IAG/B,+CAA+C;;IAG/C,oGAAoG;;IAGpG,wCAAwC;;IAGxC,uFAAuF;;IAGvF,qCAAqC;;IAGrC,4BAA4B;;IAG5B,4BAA4B;;IAG5B,4BAA4B;;IAG5B,4BAA4B;;IAG5B,qEAAqE;;IAGrE,sEAAsE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CASvE,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,UAAU,CAS9C,CAAC;AAGH,eAAO,MAAM,kBAAkB,yGAA2E,CAAC;AAE3G,OAAO,EACL,KAAK,MAAM,EACX,MAAM,EACN,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,eAAe,EACf,KAAK,YAAY,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,QAAQ,EACR,SAAS,EACT,cAAc,GACf,MAAM,2BAA2B,CAAC"}

package/dest/schemas/schemas.js

@@ -4,6 +4,7 @@ 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
@@ -15,6 +16,7 @@ import { AztecAddress } from '../aztec-address/index.js';
     /** 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,
@@ -23,13 +25,23 @@ import { AztecAddress } from '../aztec-address/index.js';
     /** 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 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.lazy(()=>AbiDecodedSchema))
+    z.record(z.string(), z.lazy(()=>AbiDecodedSchema))
 ]);
-export { bufferSchema, hexSchema, hexSchemaFor, bufferSchemaFor, optional, mapSchema, pickFromSchema } from '@aztec/foundation/schemas';
+// 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/foundation/schemas';

package/dest/slashing/helpers.d.ts

@@ -1,15 +1,16 @@
+import { EpochNumber, SlotNumber } from '@aztec/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: bigint, constants: {
+export declare function getRoundForSlot(slot: SlotNumber, constants: {
     slashingRoundSize: number;
 }): {
     round: bigint;
-    votingSlot: bigint;
+    votingSlot: SlotNumber;
 };
 /** Returns the voting round(s) lower and upper bounds (inclusive) covered by the given epoch */
-export declare function getRoundsForEpoch(epoch: bigint, constants: {
+export declare function getRoundsForEpoch(epoch: EpochNumber, constants: {
     slashingRoundSize: number;
     epochDuration: number;
 }): [bigint, bigint];
@@ -17,13 +18,13 @@ export declare function getRoundsForEpoch(epoch: bigint, constants: {
 export declare function getEpochsForRound(round: bigint, constants: {
     slashingRoundSize: number;
     epochDuration: number;
-}): bigint[];
+}): EpochNumber[];
 /** Reads the configured penalty for a given offense type from a slasher config struct */
-export declare function getPenaltyForOffense(offense: OffenseType, config: Pick<SlasherConfig, 'slashAttestDescendantOfInvalidPenalty' | 'slashBroadcastedInvalidBlockPenalty' | 'slashPrunePenalty' | 'slashDataWithholdingPenalty' | 'slashUnknownPenalty' | 'slashInactivityPenalty' | 'slashProposeInvalidAttestationsPenalty'>): bigint;
+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'>): bigint;
+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;
@@ -32,4 +33,4 @@ export declare function getRoundForOffense(offense: Pick<Offense, 'epochOrSlot'
     slashingRoundSize: number;
     epochDuration: number;
 }): bigint;
-//# sourceMappingURL=helpers.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaGVscGVycy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NsYXNoaW5nL2hlbHBlcnMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFdBQVcsRUFBRSxVQUFVLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUUxRSxPQUFPLEVBQUUsS0FBSyxpQkFBaUIsRUFBd0MsTUFBTSwyQkFBMkIsQ0FBQztBQUN6RyxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUM5RCxPQUFPLEVBQUUsS0FBSyxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sWUFBWSxDQUFDO0FBRXZELDRGQUE0RjtBQUM1Rix3QkFBZ0IsZUFBZSxDQUM3QixJQUFJLEVBQUUsVUFBVSxFQUNoQixTQUFTLEVBQUU7SUFBRSxpQkFBaUIsRUFBRSxNQUFNLENBQUE7Q0FBRSxHQUN2QztJQUFFLEtBQUssRUFBRSxNQUFNLENBQUM7SUFBQyxVQUFVLEVBQUUsVUFBVSxDQUFBO0NBQUUsQ0FNM0M7QUFFRCxnR0FBZ0c7QUFDaEcsd0JBQWdCLGlCQUFpQixDQUMvQixLQUFLLEVBQUUsV0FBVyxFQUNsQixTQUFTLEVBQUU7SUFBRSxpQkFBaUIsRUFBRSxNQUFNLENBQUM7SUFBQyxhQUFhLEVBQUUsTUFBTSxDQUFBO0NBQUUsR0FDOUQsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDLENBS2xCO0FBRUQsK0RBQStEO0FBQy9ELHdCQUFnQixpQkFBaUIsQ0FDL0IsS0FBSyxFQUFFLE1BQU0sRUFDYixTQUFTLEVBQUU7SUFBRSxpQkFBaUIsRUFBRSxNQUFNLENBQUM7SUFBQyxhQUFhLEVBQUUsTUFBTSxDQUFBO0NBQUUsR0FDOUQsV0FBVyxFQUFFLENBVWY7QUFFRCx5RkFBeUY7QUFDekYsd0JBQWdCLG9CQUFvQixDQUNsQyxPQUFPLEVBQUUsV0FBVyxFQUNwQixNQUFNLEVBQUUsSUFBSSxDQUNWLGFBQWEsRUFDWCxrRUFBa0UsR0FDbEUscUNBQXFDLEdBQ3JDLGtEQUFrRCxHQUNsRCwrQkFBK0IsR0FDL0Isa0NBQWtDLEdBQ2xDLDZDQUE2QyxHQUM3Qyw2QkFBNkIsR0FDN0IscUJBQXFCLEdBQ3JCLHdCQUF3QixHQUN4Qix3Q0FBd0MsQ0FDM0MsVUE2QkY7QUFFRCwyRkFBMkY7QUFDM0Ysd0JBQWdCLHFCQUFxQixDQUFDLE9BQU8sRUFBRSxXQUFXLEdBQUcsT0FBTyxHQUFHLE1BQU0sQ0FvQjVFO0FBRUQscUhBQXFIO0FBQ3JILHdCQUFnQixpQkFBaUIsQ0FDL0IsT0FBTyxFQUFFLElBQUksQ0FBQyxPQUFPLEVBQUUsYUFBYSxHQUFHLGFBQWEsQ0FBQyxFQUNyRCxTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsQ0FBQyxHQUNsRCxVQUFVLENBS1o7QUFFRCw2R0FBNkc7QUFDN0csd0JBQWdCLGtCQUFrQixDQUNoQyxPQUFPLEVBQUUsSUFBSSxDQUFDLE9BQU8sRUFBRSxhQUFhLEdBQUcsYUFBYSxDQUFDLEVBQ3JELFNBQVMsRUFBRSxJQUFJLENBQUMsaUJBQWlCLEVBQUUsZUFBZSxDQUFDLEdBQ2xELE1BQU0sQ0FBQztBQUNWLHdCQUFnQixrQkFBa0IsQ0FDaEMsT0FBTyxFQUFFLE9BQU8sQ0FBQyxJQUFJLENBQUMsT0FBTyxFQUFFLGFBQWEsR0FBRyxhQUFhLENBQUMsQ0FBQyxFQUM5RCxTQUFTLEVBQUUsSUFBSSxDQUFDLGlCQUFpQixFQUFFLGVBQWUsQ0FBQyxHQUNsRCxNQUFNLEdBQUcsU0FBUyxDQUFDO0FBWXRCLG9FQUFvRTtBQUNwRSx3QkFBZ0Isa0JBQWtCLENBQ2hDLE9BQU8sRUFBRSxJQUFJLENBQUMsT0FBTyxFQUFFLGFBQWEsR0FBRyxhQUFhLENBQUMsRUFDckQsU0FBUyxFQUFFO0lBQUUsaUJBQWlCLEVBQUUsTUFBTSxDQUFDO0lBQUMsYUFBYSxFQUFFLE1BQU0sQ0FBQTtDQUFFLEdBQzlELE1BQU0sQ0FHUiJ9

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

@@ -1 +1 @@
-{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../src/slashing/helpers.ts"],"names":[],"mappings":"AAAA,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,MAAM,EACZ,SAAS,EAAE;IAAE,iBAAiB,EAAE,MAAM,CAAA;CAAE,GACvC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAKvC;AAED,gGAAgG;AAChG,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,EACb,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,MAAM,EAAE,CAUV;AAED,yFAAyF;AACzF,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,WAAW,EACpB,MAAM,EAAE,IAAI,CACV,aAAa,EACX,uCAAuC,GACvC,qCAAqC,GACrC,mBAAmB,GACnB,6BAA6B,GAC7B,qBAAqB,GACrB,wBAAwB,GACxB,wCAAwC,CAC3C,UAuBF;AAED,2FAA2F;AAC3F,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,GAAG,MAAM,CAiB5E;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,MAAM,CAGR;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"}
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../src/slashing/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE1E,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

@@ -1,9 +1,11 @@
+import { EpochNumber, SlotNumber } from '@aztec/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 round = slot / roundSize;
-    const votingSlot = slot % roundSize;
+    const slotBigInt = BigInt(slot);
+    const round = slotBigInt / roundSize;
+    const votingSlot = SlotNumber.fromBigInt(slotBigInt % roundSize);
     return {
         round,
         votingSlot
@@ -20,19 +22,17 @@ import { OffenseType } from './types.js';
 }
 /** Returns the epochs spanned during a given slashing round */ export function getEpochsForRound(round, constants) {
     const epochs = [];
-    const firstSlot = round * BigInt(constants.slashingRoundSize);
-    const lastSlot = firstSlot + BigInt(constants.slashingRoundSize) - 1n;
+    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++){
+    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.VALID_EPOCH_PRUNED:
-            return config.slashPrunePenalty;
         case OffenseType.DATA_WITHHOLDING:
             return config.slashDataWithholdingPenalty;
         case OffenseType.INACTIVITY:
@@ -40,10 +40,18 @@ import { OffenseType } from './types.js';
         case OffenseType.PROPOSED_INSUFFICIENT_ATTESTATIONS:
         case OffenseType.PROPOSED_INCORRECT_ATTESTATIONS:
             return config.slashProposeInvalidAttestationsPenalty;
-        case OffenseType.ATTESTED_DESCENDANT_OF_INVALID:
-            return config.slashAttestDescendantOfInvalidPenalty;
+        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:
@@ -55,15 +63,18 @@ import { OffenseType } from './types.js';
 }
 /** Returns whether the `epochOrSlot` field for an offense references an epoch or a slot */ export function getTimeUnitForOffense(offense) {
     switch(offense){
-        case OffenseType.ATTESTED_DESCENDANT_OF_INVALID:
+        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.DATA_WITHHOLDING:
         case OffenseType.UNKNOWN:
-        case OffenseType.VALID_EPOCH_PRUNED:
             return 'epoch';
         default:
             {
@@ -74,7 +85,7 @@ import { OffenseType } from './types.js';
 }
 /** 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' ? epochOrSlot * BigInt(constants.epochDuration) : epochOrSlot;
+    return getTimeUnitForOffense(offenseType) === 'epoch' ? SlotNumber.fromBigInt(epochOrSlot * BigInt(constants.epochDuration)) : SlotNumber.fromBigInt(epochOrSlot);
 }
 export function getEpochForOffense(offense, constants) {
     const { epochOrSlot, offenseType } = offense;

package/dest/slashing/index.d.ts

@@ -1,7 +1,6 @@
 export * from './types.js';
 export * from './interfaces.js';
 export * from './helpers.js';
-export * from './empire.js';
-export * from './tally.js';
+export * from './votes.js';
 export * from './serialization.js';
-//# sourceMappingURL=index.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zbGFzaGluZy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLFlBQVksQ0FBQztBQUMzQixjQUFjLGlCQUFpQixDQUFDO0FBQ2hDLGNBQWMsY0FBYyxDQUFDO0FBQzdCLGNBQWMsWUFBWSxDQUFDO0FBQzNCLGNBQWMsb0JBQW9CLENBQUMifQ==

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

@@ -1 +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,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,oBAAoB,CAAC"}
+{"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

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

package/dest/slashing/interfaces.d.ts

@@ -1,3 +1,4 @@
+import type { SlotNumber } from '@aztec/foundation/branded-types';
 import type { ProposerSlashAction } from './types.js';
 export interface ProposerSlashActionProvider {
     /**
@@ -6,6 +7,6 @@ export interface ProposerSlashActionProvider {
      * @param slotNumber - The current slot number
      * @returns The actions to take
      */
-    getProposerActions(slotNumber: bigint): Promise<ProposerSlashAction[]>;
+    getProposerActions(slotNumber: SlotNumber): Promise<ProposerSlashAction[]>;
 }
-//# sourceMappingURL=interfaces.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW50ZXJmYWNlcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NsYXNoaW5nL2ludGVyZmFjZXMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFbEUsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSxZQUFZLENBQUM7QUFFdEQsTUFBTSxXQUFXLDJCQUEyQjtJQUMxQzs7Ozs7T0FLRztJQUNILGtCQUFrQixDQUFDLFVBQVUsRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLG1CQUFtQixFQUFFLENBQUMsQ0FBQztDQUM1RSJ9

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

@@ -1 +1 @@
-{"version":3,"file":"interfaces.d.ts","sourceRoot":"","sources":["../../src/slashing/interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEtD,MAAM,WAAW,2BAA2B;IAC1C;;;;;OAKG;IACH,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;CACxE"}
+{"version":3,"file":"interfaces.d.ts","sourceRoot":"","sources":["../../src/slashing/interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAElE,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/serialization.d.ts

@@ -1,8 +1,4 @@
-import type { Offense, SlashPayload, SlashPayloadRound } from './types.js';
+import type { Offense } from './types.js';
 export declare function serializeOffense(offense: Offense): Buffer;
 export declare function deserializeOffense(buffer: Buffer): Offense;
-export declare function serializeSlashPayload(payload: SlashPayload): Buffer;
-export declare function deserializeSlashPayload(buffer: Buffer): SlashPayload;
-export declare function serializeSlashPayloadRound(payload: SlashPayloadRound): Buffer;
-export declare function deserializeSlashPayloadRound(buffer: Buffer): SlashPayloadRound;
-//# sourceMappingURL=serialization.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VyaWFsaXphdGlvbi5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NsYXNoaW5nL3NlcmlhbGl6YXRpb24udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBR0EsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFlLE1BQU0sWUFBWSxDQUFDO0FBRXZELHdCQUFnQixnQkFBZ0IsQ0FBQyxPQUFPLEVBQUUsT0FBTyxHQUFHLE1BQU0sQ0FPekQ7QUFFRCx3QkFBZ0Isa0JBQWtCLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBUTFEIn0=

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

@@ -1 +1 @@
-{"version":3,"file":"serialization.d.ts","sourceRoot":"","sources":["../../src/slashing/serialization.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,OAAO,EAEP,YAAY,EACZ,iBAAiB,EAGlB,MAAM,YAAY,CAAC;AAEpB,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAOzD;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAQ1D;AAiCD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAOnE;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,CAOpE;AAED,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,iBAAiB,GAAG,MAAM,CAS7E;AAED,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAU9E"}
+{"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

@@ -1,4 +1,3 @@
-import { times } from '@aztec/foundation/collection';
 import { EthAddress } from '@aztec/foundation/eth-address';
 import { BufferReader, bigintToUInt64BE, bigintToUInt128BE, serializeToBuffer } from '@aztec/foundation/serialize';
 export function serializeOffense(offense) {
@@ -17,62 +16,3 @@ export function deserializeOffense(buffer) {
         epochOrSlot
     };
 }
-function serializeValidatorSlashOffense(offense) {
-    return serializeToBuffer(bigintToUInt64BE(offense.epochOrSlot), offense.offenseType);
-}
-function deserializeValidatorSlashOffense(buffer) {
-    const reader = BufferReader.asReader(buffer);
-    return {
-        epochOrSlot: reader.readUInt64(),
-        offenseType: reader.readNumber()
-    };
-}
-function serializeValidatorSlash(slash) {
-    return serializeToBuffer(slash.validator, bigintToUInt128BE(slash.amount), slash.offenses.length, slash.offenses.map(serializeValidatorSlashOffense));
-}
-function deserializeValidatorSlash(buffer) {
-    const reader = BufferReader.asReader(buffer);
-    const validator = reader.readObject(EthAddress);
-    const amount = reader.readUInt128();
-    const offensesCount = reader.readNumber();
-    const offenses = times(offensesCount, ()=>deserializeValidatorSlashOffense(reader));
-    return {
-        validator,
-        amount,
-        offenses
-    };
-}
-export function serializeSlashPayload(payload) {
-    return serializeToBuffer(payload.address, payload.slashes.length, payload.slashes.map(serializeValidatorSlash), bigintToUInt64BE(payload.timestamp));
-}
-export function deserializeSlashPayload(buffer) {
-    const reader = BufferReader.asReader(buffer);
-    const address = reader.readObject(EthAddress);
-    const slashesCount = reader.readNumber();
-    const slashes = times(slashesCount, ()=>deserializeValidatorSlash(reader));
-    const timestamp = reader.readUInt64();
-    return {
-        address,
-        slashes,
-        timestamp
-    };
-}
-export function serializeSlashPayloadRound(payload) {
-    return serializeToBuffer(payload.address, payload.slashes.length, payload.slashes.map(serializeValidatorSlash), bigintToUInt64BE(payload.timestamp), Number(payload.votes), bigintToUInt64BE(payload.round));
-}
-export function deserializeSlashPayloadRound(buffer) {
-    const reader = BufferReader.asReader(buffer);
-    const address = reader.readObject(EthAddress);
-    const slashesCount = reader.readNumber();
-    const slashes = times(slashesCount, ()=>deserializeValidatorSlash(reader));
-    const timestamp = reader.readUInt64();
-    const votes = BigInt(reader.readNumber());
-    const round = reader.readUInt64();
-    return {
-        address,
-        slashes,
-        timestamp,
-        votes,
-        round
-    };
-}

package/dest/slashing/types.d.ts

@@ -1,12 +1,9 @@
 import { EthAddress } from '@aztec/foundation/eth-address';
 import { z } from 'zod';
-import { type ZodFor } from '../schemas/index.js';
 export declare enum OffenseType {
     UNKNOWN = 0,
-    /** The data for proving an epoch was not publicly available, we slash its committee */
+    /** 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,
-    /** An epoch was not successfully proven in time, we slash its committee */
-    VALID_EPOCH_PRUNED = 2,
     /** 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 */
@@ -15,11 +12,19 @@ export declare enum OffenseType {
     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 committee member attested to a block that was built as a descendent of an invalid block (as in a block with invalid attestations) */
-    ATTESTED_DESCENDANT_OF_INVALID = 7
+    /** 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): "unknown" | "data_withholding" | "valid_epoch_pruned" | "inactivity" | "broadcasted_invalid_block_proposal" | "proposed_insufficient_attestations" | "proposed_incorrect_attestations" | "attested_descendant_of_invalid";
-export declare const OffenseTypeSchema: z.ZodNativeEnum<typeof OffenseType>;
+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 = {
@@ -30,21 +35,11 @@ export type Offense = {
 };
 export type OffenseIdentifier = Pick<Offense, 'validator' | 'offenseType' | 'epochOrSlot'>;
 export declare const OffenseSchema: z.ZodObject<{
-    validator: ZodFor<EthAddress>;
-    amount: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-    offenseType: z.ZodNativeEnum<typeof OffenseType>;
-    epochOrSlot: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-}, "strip", z.ZodTypeAny, {
-    amount: bigint;
-    validator: EthAddress;
-    offenseType: OffenseType;
-    epochOrSlot: bigint;
-}, {
-    amount: string | number | bigint;
-    offenseType: OffenseType;
-    epochOrSlot: string | number | bigint;
-    validator?: any;
-}>;
+    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;
@@ -56,107 +51,21 @@ export type ValidatorSlash = {
     amount: bigint;
     offenses: ValidatorSlashOffense[];
 };
-/** Slash payload as published by the empire slash proposer */
-export type SlashPayload = {
-    address: EthAddress;
-    slashes: ValidatorSlash[];
-    timestamp: bigint;
-};
-/** Slash payload with round information from empire slash proposer */
-export type SlashPayloadRound = SlashPayload & {
-    votes: bigint;
-    round: bigint;
-};
-export declare const SlashPayloadRoundSchema: z.ZodObject<{
-    address: ZodFor<EthAddress>;
-    timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-    votes: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-    round: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-    slashes: z.ZodArray<z.ZodObject<{
-        validator: ZodFor<EthAddress>;
-        amount: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-        offenses: z.ZodArray<z.ZodObject<{
-            offenseType: z.ZodNativeEnum<typeof OffenseType>;
-            epochOrSlot: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-        }, "strip", z.ZodTypeAny, {
-            offenseType: OffenseType;
-            epochOrSlot: bigint;
-        }, {
-            offenseType: OffenseType;
-            epochOrSlot: string | number | bigint;
-        }>, "many">;
-    }, "strip", z.ZodTypeAny, {
-        amount: bigint;
-        validator: EthAddress;
-        offenses: {
-            offenseType: OffenseType;
-            epochOrSlot: bigint;
-        }[];
-    }, {
-        amount: string | number | bigint;
-        offenses: {
-            offenseType: OffenseType;
-            epochOrSlot: string | number | bigint;
-        }[];
-        validator?: any;
-    }>, "many">;
-}, "strip", z.ZodTypeAny, {
-    timestamp: bigint;
-    address: EthAddress;
-    votes: bigint;
-    round: bigint;
-    slashes: {
-        amount: bigint;
-        validator: EthAddress;
-        offenses: {
-            offenseType: OffenseType;
-            epochOrSlot: bigint;
-        }[];
-    }[];
-}, {
-    timestamp: string | number | bigint;
-    votes: string | number | bigint;
-    round: string | number | bigint;
-    slashes: {
-        amount: string | number | bigint;
-        offenses: {
-            offenseType: OffenseType;
-            epochOrSlot: string | number | bigint;
-        }[];
-        validator?: any;
-    }[];
-    address?: any;
-}>;
-/** Votes for a validator slash in the consensus slash proposer */
+/** Votes for a validator slash in the slashing proposer */
 export type ValidatorSlashVote = number;
 export type ProposerSlashAction = 
-/** Create a new slash payload on an empire-based slash proposer */
+/** Vote for offenses on the slashing proposer */
 {
-    type: 'create-empire-payload';
-    data: ValidatorSlash[];
-}
-/** Vote for a slashing payload on an empire-based slash proposer */
- | {
-    type: 'vote-empire-payload';
-    payload: EthAddress;
-}
-/** Execute a slashing payload on an empire-based slash proposer */
- | {
-    type: 'execute-empire-payload';
-    round: bigint;
-}
-/** Vote for offenses on a consensus slashing proposer */
- | {
     type: 'vote-offenses';
     votes: ValidatorSlashVote[];
     committees: EthAddress[][];
     round: bigint;
 }
-/** Execute a slashing round on a consensus slashing proposer */
+/** Execute a slashing round on the slashing proposer */
  | {
     type: 'execute-slash';
     committees: EthAddress[][];
     round: bigint;
 };
 export type ProposerSlashActionType = ProposerSlashAction['type'];
-//# sourceMappingURL=types.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHlwZXMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zbGFzaGluZy90eXBlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFFM0QsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUl4QixvQkFBWSxXQUFXO0lBQ3JCLE9BQU8sSUFBSTtJQUNYLHdJQUF3STtJQUN4SSxnQkFBZ0IsSUFBSTtJQUNwQix1RkFBdUY7SUFDdkYsVUFBVSxJQUFJO0lBQ2Qsc0ZBQXNGO0lBQ3RGLGtDQUFrQyxJQUFJO0lBQ3RDLCtFQUErRTtJQUMvRSxrQ0FBa0MsSUFBSTtJQUN0Qyx1SEFBdUg7SUFDdkgsK0JBQStCLElBQUk7SUFDbkMsa0pBQWtKO0lBQ2xKLDJEQUEyRCxJQUFJO0lBQy9ELGlJQUFpSTtJQUNqSSxrQkFBa0IsSUFBSTtJQUN0Qiw4RkFBOEY7SUFDOUYscUJBQXFCLElBQUk7SUFDekIsb0dBQW9HO0lBQ3BHLHVDQUF1QyxLQUFLO0lBQzVDLHdIQUF3SDtJQUN4SCx1Q0FBdUMsS0FBSztDQUM3QztBQUVELHdCQUFnQixrQkFBa0IsQ0FBQyxPQUFPLEVBQUUsV0FBVyw0V0EyQnREO0FBRUQsZUFBTyxNQUFNLGlCQUFpQiwrQkFBNEIsQ0FBQztBQUUzRCxlQUFPLE1BQU0sZUFBZSxFQUFFLE1BQU0sQ0FBQyxXQUFXLEVBQUUsTUFBTSxDQVl2RCxDQUFDO0FBRUYsd0JBQWdCLGVBQWUsQ0FBQyxPQUFPLEVBQUUsTUFBTSxHQUFHLFdBQVcsQ0EyQjVEO0FBRUQsTUFBTSxNQUFNLE9BQU8sR0FBRztJQUNwQixTQUFTLEVBQUUsVUFBVSxDQUFDO0lBQ3RCLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFDZixXQUFXLEVBQUUsV0FBVyxDQUFDO0lBQ3pCLFdBQVcsRUFBRSxNQUFNLENBQUM7Q0FDckIsQ0FBQztBQUVGLE1BQU0sTUFBTSxpQkFBaUIsR0FBRyxJQUFJLENBQUMsT0FBTyxFQUFFLFdBQVcsR0FBRyxhQUFhLEdBQUcsYUFBYSxDQUFDLENBQUM7QUFFM0YsZUFBTyxNQUFNLGFBQWE7Ozs7O2lCQU96QixDQUFDO0FBRUYsK0RBQStEO0FBQy9ELE1BQU0sTUFBTSxxQkFBcUIsR0FBRztJQUNsQyxXQUFXLEVBQUUsTUFBTSxDQUFDO0lBQ3BCLFdBQVcsRUFBRSxXQUFXLENBQUM7Q0FDMUIsQ0FBQztBQUVGLHlGQUF5RjtBQUN6RixNQUFNLE1BQU0sY0FBYyxHQUFHO0lBQzNCLFNBQVMsRUFBRSxVQUFVLENBQUM7SUFDdEIsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUNmLFFBQVEsRUFBRSxxQkFBcUIsRUFBRSxDQUFDO0NBQ25DLENBQUM7QUFFRiwyREFBMkQ7QUFDM0QsTUFBTSxNQUFNLGtCQUFrQixHQUFHLE1BQU0sQ0FBQztBQUV4QyxNQUFNLE1BQU0sbUJBQW1CO0FBQzdCLGlEQUFpRDtBQUMvQztJQUFFLElBQUksRUFBRSxlQUFlLENBQUM7SUFBQyxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsQ0FBQztJQUFDLFVBQVUsRUFBRSxVQUFVLEVBQUUsRUFBRSxDQUFDO0lBQUMsS0FBSyxFQUFFLE1BQU0sQ0FBQTtDQUFFO0FBQ25HLHdEQUF3RDtHQUN0RDtJQUFFLElBQUksRUFBRSxlQUFlLENBQUM7SUFBQyxVQUFVLEVBQUUsVUFBVSxFQUFFLEVBQUUsQ0FBQztJQUFDLEtBQUssRUFBRSxNQUFNLENBQUE7Q0FBRSxDQUFDO0FBRXpFLE1BQU0sTUFBTSx1QkFBdUIsR0FBRyxtQkFBbUIsQ0FBQyxNQUFNLENBQUMsQ0FBQyJ9