@aztec/stdlib 1.0.0-nightly.20250801 → 1.0.0-nightly.20250805

package/dest/block/l2_block_source.d.ts

@@ -3,6 +3,7 @@ import { type ZodFor } from '@aztec/foundation/schemas';
 import type { TypedEventEmitter } from '@aztec/foundation/types';
 import { z } from 'zod';
 import type { L1RollupConstants } from '../epoch-helpers/index.js';
+import { BlockAttestation } from '../p2p/block_attestation.js';
 import type { BlockHeader } from '../tx/block_header.js';
 import type { IndexedTxEffect } from '../tx/indexed_tx_effect.js';
 import type { TxHash } from '../tx/tx_hash.js';
@@ -108,29 +109,36 @@ export interface L2BlockSource {
      */
     isPendingChainInvalid(): Promise<boolean>;
     /**
-     * Returns the status of the pending chain validation.
-     * This includes whether the chain is valid, and if not, the reason for invalidation.
+     * Returns the status of the pending chain validation. If the chain is invalid, reports the earliest consecutive block
+     * that is invalid, along with the reason for being invalid, which can be used to trigger an invalidation.
      */
     getPendingChainValidationStatus(): Promise<ValidateBlockResult>;
     /** Force a sync. */
     syncImmediate(): Promise<void>;
 }
-/** Result type for validating a block attestations */
-export type ValidateBlockResult = {
-    valid: true;
-    block?: PublishedL2Block;
-} | {
+/** Subtype for invalid block validation results */
+export type ValidateBlockNegativeResult = {
     valid: false;
     block: PublishedL2Block;
     committee: EthAddress[];
+    epoch: bigint;
+    seed: bigint;
+    attestations: BlockAttestation[];
     reason: 'insufficient-attestations';
 } | {
     valid: false;
     block: PublishedL2Block;
     committee: EthAddress[];
+    epoch: bigint;
+    seed: bigint;
     reason: 'invalid-attestation';
+    attestations: BlockAttestation[];
     invalidIndex: number;
 };
+/** Result type for validating a block attestations */
+export type ValidateBlockResult = {
+    valid: true;
+} | ValidateBlockNegativeResult;
 export declare const ValidateBlockResultSchema: z.ZodUnion<[z.ZodObject<{
     valid: z.ZodLiteral<true>;
     block: z.ZodOptional<z.ZodObject<{
@@ -346,6 +354,9 @@ export declare const ValidateBlockResultSchema: z.ZodUnion<[z.ZodObject<{
         }[];
     }>;
     committee: z.ZodArray<z.ZodType<EthAddress, any, string>, "many">;
+    epoch: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    seed: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    attestations: z.ZodArray<ZodFor<BlockAttestation>, "many">;
     reason: z.ZodLiteral<"insufficient-attestations">;
 }, "strip", z.ZodTypeAny, {
     valid: false;
@@ -358,7 +369,10 @@ export declare const ValidateBlockResultSchema: z.ZodUnion<[z.ZodObject<{
         };
         attestations: import("./index.js").CommitteeAttestation[];
     };
+    attestations: BlockAttestation[];
     committee: EthAddress[];
+    epoch: bigint;
+    seed: bigint;
     reason: "insufficient-attestations";
 }, {
     valid: false;
@@ -381,7 +395,10 @@ export declare const ValidateBlockResultSchema: z.ZodUnion<[z.ZodObject<{
             signature: string;
         }[];
     };
+    attestations: any[];
     committee: string[];
+    epoch: string | number | bigint;
+    seed: string | number | bigint;
     reason: "insufficient-attestations";
 }>, z.ZodObject<{
     valid: z.ZodLiteral<false>;
@@ -475,6 +492,9 @@ export declare const ValidateBlockResultSchema: z.ZodUnion<[z.ZodObject<{
         }[];
     }>;
     committee: z.ZodArray<z.ZodType<EthAddress, any, string>, "many">;
+    epoch: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    seed: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    attestations: z.ZodArray<ZodFor<BlockAttestation>, "many">;
     reason: z.ZodLiteral<"invalid-attestation">;
     invalidIndex: z.ZodNumber;
 }, "strip", z.ZodTypeAny, {
@@ -488,7 +508,10 @@ export declare const ValidateBlockResultSchema: z.ZodUnion<[z.ZodObject<{
         };
         attestations: import("./index.js").CommitteeAttestation[];
     };
+    attestations: BlockAttestation[];
     committee: EthAddress[];
+    epoch: bigint;
+    seed: bigint;
     reason: "invalid-attestation";
     invalidIndex: number;
 }, {
@@ -512,7 +535,10 @@ export declare const ValidateBlockResultSchema: z.ZodUnion<[z.ZodObject<{
             signature: string;
         }[];
     };
+    attestations: any[];
     committee: string[];
+    epoch: string | number | bigint;
+    seed: string | number | bigint;
     reason: "invalid-attestation";
     invalidIndex: number;
 }>]>;
@@ -523,6 +549,7 @@ export declare const ValidateBlockResultSchema: z.ZodUnion<[z.ZodObject<{
 export type ArchiverEmitter = TypedEventEmitter<{
     [L2BlockSourceEvents.L2PruneDetected]: (args: L2BlockPruneEvent) => void;
     [L2BlockSourceEvents.L2BlockProven]: (args: L2BlockProvenEvent) => void;
+    [L2BlockSourceEvents.InvalidAttestationsBlockDetected]: (args: InvalidBlockDetectedEvent) => void;
 }>;
 export interface L2BlockSourceEventEmitter extends L2BlockSource, ArchiverEmitter {
 }
@@ -663,7 +690,8 @@ export declare const L2TipsSchema: z.ZodObject<{
 }>;
 export declare enum L2BlockSourceEvents {
     L2PruneDetected = "l2PruneDetected",
-    L2BlockProven = "l2BlockProven"
+    L2BlockProven = "l2BlockProven",
+    InvalidAttestationsBlockDetected = "invalidBlockDetected"
 }
 export type L2BlockProvenEvent = {
     type: 'l2BlockProven';
@@ -676,5 +704,9 @@ export type L2BlockPruneEvent = {
     epochNumber: bigint;
     blocks: L2Block[];
 };
+export type InvalidBlockDetectedEvent = {
+    type: 'invalidBlockDetected';
+    validationResult: ValidateBlockNegativeResult;
+};
 export {};
 //# sourceMappingURL=l2_block_source.d.ts.map

package/dest/block/l2_block_source.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"l2_block_source.d.ts","sourceRoot":"","sources":["../../src/block/l2_block_source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AACjE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAEjE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAE3D;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B;;;OAGG;IACH,gBAAgB,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC;IAExC;;;OAGG;IACH,kBAAkB,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC;IAE1C;;;OAGG;IACH,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAElC;;;OAGG;IACH,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAExC;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;IAEvD;;;;OAIG;IACH,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAAC;IAE5E;;;;;;OAMG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAE7E,yDAAyD;IACzD,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAE/F;;;;OAIG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC,CAAC;IAElE;;;;OAIG;IACH,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAAC;IAEpE;;OAEG;IACH,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAEnC;;OAEG;IACH,gBAAgB,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAEpC;;;;OAIG;IACH,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAE3D;;;;OAIG;IACH,uBAAuB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAErE;;;OAGG;IACH,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAEvD;;OAEG;IACH,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAE7B;;OAEG;IACH,cAAc,IAAI,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAE7C,kCAAkC;IAClC,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAElC;;;OAGG;IACH,qBAAqB,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC;IAE1C;;;OAGG;IACH,+BAA+B,IAAI,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAEhE,oBAAoB;IACpB,aAAa,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAChC;AAED,sDAAsD;AACtD,MAAM,MAAM,mBAAmB,GAC3B;IAAE,KAAK,EAAE,IAAI,CAAC;IAAC,KAAK,CAAC,EAAE,gBAAgB,CAAA;CAAE,GACzC;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,gBAAgB,CAAC;IAAC,SAAS,EAAE,UAAU,EAAE,CAAC;IAAC,MAAM,EAAE,2BAA2B,CAAA;CAAE,GACvG;IACE,KAAK,EAAE,KAAK,CAAC;IACb,KAAK,EAAE,gBAAgB,CAAC;IACxB,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,MAAM,EAAE,qBAAqB,CAAC;IAC9B,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAeE,CAAC;AAEzC;;;GAGG;AAEH,MAAM,MAAM,eAAe,GAAG,iBAAiB,CAAC;IAC9C,CAAC,mBAAmB,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,iBAAiB,KAAK,IAAI,CAAC;IACzE,CAAC,mBAAmB,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,kBAAkB,KAAK,IAAI,CAAC;CACzE,CAAC,CAAC;AACH,MAAM,WAAW,yBAA0B,SAAQ,aAAa,EAAE,eAAe;CAAG;AAEpF;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC;AAE3D,4BAA4B;AAC5B,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AAEnD,6CAA6C;AAC7C,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,6BAA6B;AAC7B,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAKtE;AAGD,QAAA,MAAM,eAAe;;;;;;;;;;;;;;;;;;IASnB,CAAC;AAEH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIK,CAAC;AAE/B,oBAAY,mBAAmB;IAC7B,eAAe,oBAAoB;IACnC,aAAa,kBAAkB;CAChC;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,eAAe,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,iBAAiB,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,OAAO,EAAE,CAAC;CACnB,CAAC"}
+{"version":3,"file":"l2_block_source.d.ts","sourceRoot":"","sources":["../../src/block/l2_block_source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AACjE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAEjE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAE3D;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B;;;OAGG;IACH,gBAAgB,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC;IAExC;;;OAGG;IACH,kBAAkB,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC;IAE1C;;;OAGG;IACH,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAElC;;;OAGG;IACH,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAExC;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;IAEvD;;;;OAIG;IACH,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAAC;IAE5E;;;;;;OAMG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAE7E,yDAAyD;IACzD,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAE/F;;;;OAIG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC,CAAC;IAElE;;;;OAIG;IACH,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAAC;IAEpE;;OAEG;IACH,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAEnC;;OAEG;IACH,gBAAgB,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAEpC;;;;OAIG;IACH,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAE3D;;;;OAIG;IACH,uBAAuB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAErE;;;OAGG;IACH,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAEvD;;OAEG;IACH,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAE7B;;OAEG;IACH,cAAc,IAAI,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAE7C,kCAAkC;IAClC,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAElC;;;OAGG;IACH,qBAAqB,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC;IAE1C;;;OAGG;IACH,+BAA+B,IAAI,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAEhE,oBAAoB;IACpB,aAAa,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAChC;AAED,mDAAmD;AACnD,MAAM,MAAM,2BAA2B,GACnC;IACE,KAAK,EAAE,KAAK,CAAC;IACb,KAAK,EAAE,gBAAgB,CAAC;IACxB,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,gBAAgB,EAAE,CAAC;IACjC,MAAM,EAAE,2BAA2B,CAAC;CACrC,GACD;IACE,KAAK,EAAE,KAAK,CAAC;IACb,KAAK,EAAE,gBAAgB,CAAC;IACxB,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,qBAAqB,CAAC;IAC9B,YAAY,EAAE,gBAAgB,EAAE,CAAC;IACjC,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,sDAAsD;AACtD,MAAM,MAAM,mBAAmB,GAAG;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,GAAG,2BAA2B,CAAC;AAEhF,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAqBE,CAAC;AAEzC;;;GAGG;AAEH,MAAM,MAAM,eAAe,GAAG,iBAAiB,CAAC;IAC9C,CAAC,mBAAmB,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,iBAAiB,KAAK,IAAI,CAAC;IACzE,CAAC,mBAAmB,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,kBAAkB,KAAK,IAAI,CAAC;IACxE,CAAC,mBAAmB,CAAC,gCAAgC,CAAC,EAAE,CAAC,IAAI,EAAE,yBAAyB,KAAK,IAAI,CAAC;CACnG,CAAC,CAAC;AACH,MAAM,WAAW,yBAA0B,SAAQ,aAAa,EAAE,eAAe;CAAG;AAEpF;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC;AAE3D,4BAA4B;AAC5B,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AAEnD,6CAA6C;AAC7C,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,6BAA6B;AAC7B,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAKtE;AAGD,QAAA,MAAM,eAAe;;;;;;;;;;;;;;;;;;IASnB,CAAC;AAEH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIK,CAAC;AAE/B,oBAAY,mBAAmB;IAC7B,eAAe,oBAAoB;IACnC,aAAa,kBAAkB;IAC/B,gCAAgC,yBAAyB;CAC1D;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,eAAe,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,iBAAiB,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,OAAO,EAAE,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACtC,IAAI,EAAE,sBAAsB,CAAC;IAC7B,gBAAgB,EAAE,2BAA2B,CAAC;CAC/C,CAAC"}

package/dest/block/l2_block_source.js

@@ -1,5 +1,6 @@
 import { schemas } from '@aztec/foundation/schemas';
 import { z } from 'zod';
+import { BlockAttestation } from '../p2p/block_attestation.js';
 import { PublishedL2Block } from './published_l2_block.js';
 export const ValidateBlockResultSchema = z.union([
     z.object({
@@ -10,12 +11,18 @@ export const ValidateBlockResultSchema = z.union([
         valid: z.literal(false),
         block: PublishedL2Block.schema,
         committee: z.array(schemas.EthAddress),
+        epoch: schemas.BigInt,
+        seed: schemas.BigInt,
+        attestations: z.array(BlockAttestation.schema),
         reason: z.literal('insufficient-attestations')
     }),
     z.object({
         valid: z.literal(false),
         block: PublishedL2Block.schema,
         committee: z.array(schemas.EthAddress),
+        epoch: schemas.BigInt,
+        seed: schemas.BigInt,
+        attestations: z.array(BlockAttestation.schema),
         reason: z.literal('invalid-attestation'),
         invalidIndex: z.number()
     })
@@ -48,5 +55,6 @@ export const L2TipsSchema = z.object({
 export var L2BlockSourceEvents = /*#__PURE__*/ function(L2BlockSourceEvents) {
     L2BlockSourceEvents["L2PruneDetected"] = "l2PruneDetected";
     L2BlockSourceEvents["L2BlockProven"] = "l2BlockProven";
+    L2BlockSourceEvents["InvalidAttestationsBlockDetected"] = "invalidBlockDetected";
     return L2BlockSourceEvents;
 }({});

package/dest/interfaces/aztec-node-admin.d.ts

@@ -1,6 +1,7 @@
 import { defaultFetch } from '@aztec/foundation/json-rpc/client';
 import { z } from 'zod';
 import type { ApiSchemaFor } from '../schemas/schemas.js';
+import { type MonitoredSlashPayload } from '../slashing/index.js';
 import { type ComponentsVersions } from '../versioning/index.js';
 import { type SequencerConfig } from './configs.js';
 import { type ProverConfig } from './prover-client.js';
@@ -33,6 +34,8 @@ export interface AztecNodeAdmin {
     pauseSync(): Promise<void>;
     /** Resumes archiver and world state syncing. */
     resumeSync(): Promise<void>;
+    /** Returns all monitored payloads by the slasher. */
+    getSlasherMonitoredPayloads(): Promise<MonitoredSlashPayload[]>;
 }
 export type AztecNodeAdminConfig = SequencerConfig & ProverConfig & SlasherConfig & {
     maxTxPoolSize: number;
@@ -86,6 +89,8 @@ export declare const AztecNodeAdminConfigSchema: z.ZodObject<z.objectUtil.extend
     fakeProcessingDelayPerTxMs: z.ZodOptional<z.ZodNumber>;
     attestationPropagationTime: z.ZodOptional<z.ZodNumber>;
     skipCollectingAttestations: z.ZodOptional<z.ZodBoolean>;
+    secondsBeforeInvalidatingBlockAsCommitteeMember: z.ZodNumber;
+    secondsBeforeInvalidatingBlockAsNonCommitteeMember: z.ZodNumber;
 }, {
     nodeUrl: z.ZodOptional<z.ZodString>;
     realProofs: z.ZodBoolean;
@@ -109,10 +114,16 @@ export declare const AztecNodeAdminConfigSchema: z.ZodObject<z.objectUtil.extend
     slashInactivityCreatePenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
     slashInactivityMaxPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
     slashProposerRoundPollingIntervalSeconds: z.ZodNumber;
+    slashProposeInvalidAttestationsPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    slashProposeInvalidAttestationsMaxPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    slashAttestDescendantOfInvalidPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    slashAttestDescendantOfInvalidMaxPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
     slasherPrivateKey: z.ZodType<import("@aztec/foundation/config").SecretValue<string | undefined>, any, any>;
 }>, {
     maxTxPoolSize: z.ZodNumber;
 }>, "strip", z.ZodTypeAny, {
+    secondsBeforeInvalidatingBlockAsCommitteeMember: number;
+    secondsBeforeInvalidatingBlockAsNonCommitteeMember: number;
     realProofs: boolean;
     proverTestDelayType: "fixed" | "realistic";
     proverTestDelayMs: number;
@@ -131,6 +142,10 @@ export declare const AztecNodeAdminConfigSchema: z.ZodObject<z.objectUtil.extend
     slashInactivityCreatePenalty: bigint;
     slashInactivityMaxPenalty: bigint;
     slashProposerRoundPollingIntervalSeconds: number;
+    slashProposeInvalidAttestationsPenalty: bigint;
+    slashProposeInvalidAttestationsMaxPenalty: bigint;
+    slashAttestDescendantOfInvalidPenalty: bigint;
+    slashAttestDescendantOfInvalidMaxPenalty: bigint;
     slasherPrivateKey: import("@aztec/foundation/config").SecretValue<string | undefined>;
     maxTxPoolSize: number;
     coinbase?: import("@aztec/foundation/schemas").EthAddress | undefined;
@@ -165,6 +180,8 @@ export declare const AztecNodeAdminConfigSchema: z.ZodObject<z.objectUtil.extend
     nodeUrl?: string | undefined;
     slashOverridePayload?: import("@aztec/foundation/schemas").EthAddress | undefined;
 }, {
+    secondsBeforeInvalidatingBlockAsCommitteeMember: number;
+    secondsBeforeInvalidatingBlockAsNonCommitteeMember: number;
     realProofs: boolean;
     proverTestDelayType: "fixed" | "realistic";
     proverTestDelayMs: number;
@@ -183,6 +200,10 @@ export declare const AztecNodeAdminConfigSchema: z.ZodObject<z.objectUtil.extend
     slashInactivityCreatePenalty: string | number | bigint;
     slashInactivityMaxPenalty: string | number | bigint;
     slashProposerRoundPollingIntervalSeconds: number;
+    slashProposeInvalidAttestationsPenalty: string | number | bigint;
+    slashProposeInvalidAttestationsMaxPenalty: string | number | bigint;
+    slashAttestDescendantOfInvalidPenalty: string | number | bigint;
+    slashAttestDescendantOfInvalidMaxPenalty: string | number | bigint;
     maxTxPoolSize: number;
     coinbase?: any;
     feeRecipient?: any;

package/dest/interfaces/aztec-node-admin.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"aztec-node-admin.d.ts","sourceRoot":"","sources":["../../src/interfaces/aztec-node-admin.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,YAAY,EAAE,MAAM,mCAAmC,CAAC;AAE1F,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,KAAK,kBAAkB,EAAgC,MAAM,wBAAwB,CAAC;AAC/F,OAAO,EAAE,KAAK,eAAe,EAAyB,MAAM,cAAc,CAAC;AAC3E,OAAO,EAAE,KAAK,YAAY,EAAsB,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAE,KAAK,aAAa,EAAuB,MAAM,cAAc,CAAC;AAEvE;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B;;OAEG;IACH,SAAS,IAAI,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAE3C;;;OAGG;IACH,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,oBAAoB,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEhE;;;OAGG;IACH,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAErD;;;;OAIG;IACH,UAAU,CAAC,iBAAiB,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtE,+CAA+C;IAC/C,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAE3B,gDAAgD;IAChD,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC7B;AAED,MAAM,MAAM,oBAAoB,GAAG,eAAe,GAAG,YAAY,GAAG,aAAa,GAAG;IAAE,aAAa,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9G,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEU,CAAC;AAElD,eAAO,MAAM,uBAAuB,EAAE,YAAY,CAAC,cAAc,CAOhE,CAAC;AAEF,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,MAAM,EACX,QAAQ,GAAE,OAAO,CAAC,kBAAkB,CAAM,EAC1C,KAAK,sBAAe,GACnB,cAAc,CAMhB"}
+{"version":3,"file":"aztec-node-admin.d.ts","sourceRoot":"","sources":["../../src/interfaces/aztec-node-admin.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,YAAY,EAAE,MAAM,mCAAmC,CAAC;AAE1F,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,KAAK,qBAAqB,EAA+B,MAAM,sBAAsB,CAAC;AAC/F,OAAO,EAAE,KAAK,kBAAkB,EAAgC,MAAM,wBAAwB,CAAC;AAC/F,OAAO,EAAE,KAAK,eAAe,EAAyB,MAAM,cAAc,CAAC;AAC3E,OAAO,EAAE,KAAK,YAAY,EAAsB,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAE,KAAK,aAAa,EAAuB,MAAM,cAAc,CAAC;AAEvE;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B;;OAEG;IACH,SAAS,IAAI,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAE3C;;;OAGG;IACH,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,oBAAoB,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEhE;;;OAGG;IACH,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAErD;;;;OAIG;IACH,UAAU,CAAC,iBAAiB,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtE,+CAA+C;IAC/C,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAE3B,gDAAgD;IAChD,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAE5B,qDAAqD;IACrD,2BAA2B,IAAI,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC;CACjE;AAED,MAAM,MAAM,oBAAoB,GAAG,eAAe,GAAG,YAAY,GAAG,aAAa,GAAG;IAAE,aAAa,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9G,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEU,CAAC;AAElD,eAAO,MAAM,uBAAuB,EAAE,YAAY,CAAC,cAAc,CAQhE,CAAC;AAEF,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,MAAM,EACX,QAAQ,GAAE,OAAO,CAAC,kBAAkB,CAAM,EAC1C,KAAK,sBAAe,GACnB,cAAc,CAMhB"}

package/dest/interfaces/aztec-node-admin.js

@@ -1,5 +1,6 @@
 import { createSafeJsonRpcClient, defaultFetch } from '@aztec/foundation/json-rpc/client';
 import { z } from 'zod';
+import { MonitoredSlashPayloadSchema } from '../slashing/index.js';
 import { getVersioningResponseHandler } from '../versioning/index.js';
 import { SequencerConfigSchema } from './configs.js';
 import { ProverConfigSchema } from './prover-client.js';
@@ -13,7 +14,8 @@ export const AztecNodeAdminApiSchema = {
     startSnapshotUpload: z.function().args(z.string()).returns(z.void()),
     rollbackTo: z.function().args(z.number()).returns(z.void()),
     pauseSync: z.function().returns(z.void()),
-    resumeSync: z.function().returns(z.void())
+    resumeSync: z.function().returns(z.void()),
+    getSlasherMonitoredPayloads: z.function().returns(z.array(MonitoredSlashPayloadSchema))
 };
 export function createAztecNodeAdminClient(url, versions = {}, fetch = defaultFetch) {
     return createSafeJsonRpcClient(url, AztecNodeAdminApiSchema, {

package/dest/interfaces/configs.d.ts

@@ -41,8 +41,14 @@ export interface SequencerConfig {
     fakeProcessingDelayPerTxMs?: number;
     /** How many seconds it takes for proposals and attestations to travel across the p2p layer (one-way) */
     attestationPropagationTime?: number;
+    /** How many seconds before invalidating a block as a committee member (zero to never invalidate) */
+    secondsBeforeInvalidatingBlockAsCommitteeMember?: number;
+    /** How many seconds before invalidating a block as a non-committee member (zero to never invalidate) */
+    secondsBeforeInvalidatingBlockAsNonCommitteeMember?: number;
     /** Skip collecting attestations (for testing only) */
     skipCollectingAttestations?: boolean;
+    /** Do not invalidate the previous block if invalid when we are the proposer (for testing only) */
+    skipInvalidateBlockAsProposer?: boolean;
 }
 export declare const SequencerConfigSchema: z.ZodObject<{
     transactionPollingIntervalMS: z.ZodOptional<z.ZodNumber>;
@@ -93,7 +99,11 @@ export declare const SequencerConfigSchema: z.ZodObject<{
     fakeProcessingDelayPerTxMs: z.ZodOptional<z.ZodNumber>;
     attestationPropagationTime: z.ZodOptional<z.ZodNumber>;
     skipCollectingAttestations: z.ZodOptional<z.ZodBoolean>;
+    secondsBeforeInvalidatingBlockAsCommitteeMember: z.ZodNumber;
+    secondsBeforeInvalidatingBlockAsNonCommitteeMember: z.ZodNumber;
 }, "strip", z.ZodTypeAny, {
+    secondsBeforeInvalidatingBlockAsCommitteeMember: number;
+    secondsBeforeInvalidatingBlockAsNonCommitteeMember: number;
     coinbase?: EthAddress | undefined;
     feeRecipient?: AztecAddress | undefined;
     transactionPollingIntervalMS?: number | undefined;
@@ -123,6 +133,8 @@ export declare const SequencerConfigSchema: z.ZodObject<{
     attestationPropagationTime?: number | undefined;
     skipCollectingAttestations?: boolean | undefined;
 }, {
+    secondsBeforeInvalidatingBlockAsCommitteeMember: number;
+    secondsBeforeInvalidatingBlockAsNonCommitteeMember: number;
     coinbase?: any;
     feeRecipient?: any;
     transactionPollingIntervalMS?: number | undefined;

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

@@ -1 +1 @@
-{"version":3,"file":"configs.d.ts","sourceRoot":"","sources":["../../src/interfaces/configs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,KAAK,cAAc,EAAwB,MAAM,sBAAsB,CAAC;AAEjF;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,gEAAgE;IAChE,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,uDAAuD;IACvD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,uDAAuD;IACvD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sDAAsD;IACtD,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC,gCAAgC;IAChC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,gCAAgC;IAChC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,iCAAiC;IACjC,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB,+BAA+B;IAC/B,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,0DAA0D;IAC1D,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,kCAAkC;IAClC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,0DAA0D;IAC1D,sBAAsB,CAAC,EAAE,cAAc,EAAE,CAAC;IAC1C,qBAAqB;IACrB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,kCAAkC;IAClC,yBAAyB,CAAC,EAAE,UAAU,CAAC;IACvC,6DAA6D;IAC7D,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,gFAAgF;IAChF,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,0EAA0E;IAC1E,0BAA0B,CAAC,EAAE,MAAM,CAAC;IACpC,wGAAwG;IACxG,0BAA0B,CAAC,EAAE,MAAM,CAAC;IACpC,sDAAsD;IACtD,0BAA0B,CAAC,EAAE,OAAO,CAAC;CACtC;AAED,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmBE,CAAC"}
+{"version":3,"file":"configs.d.ts","sourceRoot":"","sources":["../../src/interfaces/configs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,KAAK,cAAc,EAAwB,MAAM,sBAAsB,CAAC;AAEjF;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,gEAAgE;IAChE,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,uDAAuD;IACvD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,uDAAuD;IACvD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sDAAsD;IACtD,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC,gCAAgC;IAChC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,gCAAgC;IAChC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,iCAAiC;IACjC,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB,+BAA+B;IAC/B,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,0DAA0D;IAC1D,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,kCAAkC;IAClC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,0DAA0D;IAC1D,sBAAsB,CAAC,EAAE,cAAc,EAAE,CAAC;IAC1C,qBAAqB;IACrB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,kCAAkC;IAClC,yBAAyB,CAAC,EAAE,UAAU,CAAC;IACvC,6DAA6D;IAC7D,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,gFAAgF;IAChF,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,0EAA0E;IAC1E,0BAA0B,CAAC,EAAE,MAAM,CAAC;IACpC,wGAAwG;IACxG,0BAA0B,CAAC,EAAE,MAAM,CAAC;IACpC,oGAAoG;IACpG,+CAA+C,CAAC,EAAE,MAAM,CAAC;IACzD,wGAAwG;IACxG,kDAAkD,CAAC,EAAE,MAAM,CAAC;IAC5D,sDAAsD;IACtD,0BAA0B,CAAC,EAAE,OAAO,CAAC;IACrC,kGAAkG;IAClG,6BAA6B,CAAC,EAAE,OAAO,CAAC;CACzC;AAED,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqBE,CAAC"}

package/dest/interfaces/configs.js

@@ -19,5 +19,7 @@ export const SequencerConfigSchema = z.object({
     enforceTimeTable: z.boolean().optional(),
     fakeProcessingDelayPerTxMs: z.number().optional(),
     attestationPropagationTime: z.number().optional(),
-    skipCollectingAttestations: z.boolean().optional()
+    skipCollectingAttestations: z.boolean().optional(),
+    secondsBeforeInvalidatingBlockAsCommitteeMember: z.number(),
+    secondsBeforeInvalidatingBlockAsNonCommitteeMember: z.number()
 });

package/dest/interfaces/slasher.d.ts

@@ -16,6 +16,10 @@ export interface SlasherConfig {
     slashInactivityCreatePenalty: bigint;
     slashInactivityMaxPenalty: bigint;
     slashProposerRoundPollingIntervalSeconds: number;
+    slashProposeInvalidAttestationsPenalty: bigint;
+    slashProposeInvalidAttestationsMaxPenalty: bigint;
+    slashAttestDescendantOfInvalidPenalty: bigint;
+    slashAttestDescendantOfInvalidMaxPenalty: bigint;
     slasherPrivateKey: SecretValue<string | undefined>;
 }
 export declare const SlasherConfigSchema: z.ZodObject<{
@@ -33,6 +37,10 @@ export declare const SlasherConfigSchema: z.ZodObject<{
     slashInactivityCreatePenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
     slashInactivityMaxPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
     slashProposerRoundPollingIntervalSeconds: z.ZodNumber;
+    slashProposeInvalidAttestationsPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    slashProposeInvalidAttestationsMaxPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    slashAttestDescendantOfInvalidPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    slashAttestDescendantOfInvalidMaxPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
     slasherPrivateKey: z.ZodType<SecretValue<string | undefined>, any, any>;
 }, "strip", z.ZodTypeAny, {
     slashPayloadTtlSeconds: number;
@@ -48,6 +56,10 @@ export declare const SlasherConfigSchema: z.ZodObject<{
     slashInactivityCreatePenalty: bigint;
     slashInactivityMaxPenalty: bigint;
     slashProposerRoundPollingIntervalSeconds: number;
+    slashProposeInvalidAttestationsPenalty: bigint;
+    slashProposeInvalidAttestationsMaxPenalty: bigint;
+    slashAttestDescendantOfInvalidPenalty: bigint;
+    slashAttestDescendantOfInvalidMaxPenalty: bigint;
     slasherPrivateKey: SecretValue<string | undefined>;
     slashOverridePayload?: EthAddress | undefined;
 }, {
@@ -64,6 +76,10 @@ export declare const SlasherConfigSchema: z.ZodObject<{
     slashInactivityCreatePenalty: string | number | bigint;
     slashInactivityMaxPenalty: string | number | bigint;
     slashProposerRoundPollingIntervalSeconds: number;
+    slashProposeInvalidAttestationsPenalty: string | number | bigint;
+    slashProposeInvalidAttestationsMaxPenalty: string | number | bigint;
+    slashAttestDescendantOfInvalidPenalty: string | number | bigint;
+    slashAttestDescendantOfInvalidMaxPenalty: string | number | bigint;
     slashOverridePayload?: string | undefined;
     slasherPrivateKey?: any;
 }>;

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

@@ -1 +1 @@
-{"version":3,"file":"slasher.d.ts","sourceRoot":"","sources":["../../src/interfaces/slasher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAGhE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,WAAW,aAAa;IAC5B,oBAAoB,CAAC,EAAE,UAAU,CAAC;IAClC,sBAAsB,EAAE,MAAM,CAAC;IAC/B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,wBAAwB,EAAE,OAAO,CAAC;IAClC,wBAAwB,EAAE,MAAM,CAAC;IACjC,2BAA2B,EAAE,MAAM,CAAC;IACpC,sBAAsB,EAAE,OAAO,CAAC;IAChC,qCAAqC,EAAE,MAAM,CAAC;IAC9C,qCAAqC,EAAE,MAAM,CAAC;IAC9C,4BAA4B,EAAE,MAAM,CAAC;IACrC,yBAAyB,EAAE,MAAM,CAAC;IAClC,wCAAwC,EAAE,MAAM,CAAC;IACjD,iBAAiB,EAAE,WAAW,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;CACpD;AAED,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgBE,CAAC"}
+{"version":3,"file":"slasher.d.ts","sourceRoot":"","sources":["../../src/interfaces/slasher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAGhE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,WAAW,aAAa;IAC5B,oBAAoB,CAAC,EAAE,UAAU,CAAC;IAClC,sBAAsB,EAAE,MAAM,CAAC;IAC/B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,wBAAwB,EAAE,OAAO,CAAC;IAClC,wBAAwB,EAAE,MAAM,CAAC;IACjC,2BAA2B,EAAE,MAAM,CAAC;IACpC,sBAAsB,EAAE,OAAO,CAAC;IAChC,qCAAqC,EAAE,MAAM,CAAC;IAC9C,qCAAqC,EAAE,MAAM,CAAC;IAC9C,4BAA4B,EAAE,MAAM,CAAC;IACrC,yBAAyB,EAAE,MAAM,CAAC;IAClC,wCAAwC,EAAE,MAAM,CAAC;IACjD,sCAAsC,EAAE,MAAM,CAAC;IAC/C,yCAAyC,EAAE,MAAM,CAAC;IAClD,qCAAqC,EAAE,MAAM,CAAC;IAC9C,wCAAwC,EAAE,MAAM,CAAC;IACjD,iBAAiB,EAAE,WAAW,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;CACpD;AAED,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoBE,CAAC"}

package/dest/interfaces/slasher.js

@@ -15,5 +15,9 @@ export const SlasherConfigSchema = z.object({
     slashInactivityCreatePenalty: schemas.BigInt,
     slashInactivityMaxPenalty: schemas.BigInt,
     slashProposerRoundPollingIntervalSeconds: z.number(),
+    slashProposeInvalidAttestationsPenalty: schemas.BigInt,
+    slashProposeInvalidAttestationsMaxPenalty: schemas.BigInt,
+    slashAttestDescendantOfInvalidPenalty: schemas.BigInt,
+    slashAttestDescendantOfInvalidMaxPenalty: schemas.BigInt,
     slasherPrivateKey: schemas.SecretValue(z.string().optional())
 });

package/dest/slashing/index.d.ts

@@ -0,0 +1,51 @@
+import type { EthAddress } from '@aztec/foundation/eth-address';
+import { z } from 'zod';
+import { type ZodFor } from '../schemas/index.js';
+export declare enum Offense {
+    UNKNOWN = 0,
+    DATA_WITHHOLDING = 1,
+    VALID_EPOCH_PRUNED = 2,
+    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 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
+}
+export declare const OffenseSchema: z.ZodNativeEnum<typeof Offense>;
+export type MonitoredSlashPayload = {
+    payloadAddress: EthAddress;
+    validators: readonly EthAddress[];
+    amounts: readonly bigint[];
+    offenses: readonly Offense[];
+    observedAtSeconds: number;
+    totalAmount: bigint;
+};
+export declare const MonitoredSlashPayloadSchema: z.ZodObject<{
+    payloadAddress: ZodFor<EthAddress>;
+    validators: z.ZodArray<ZodFor<EthAddress>, "many">;
+    amounts: z.ZodArray<z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>, "many">;
+    offenses: z.ZodArray<z.ZodNativeEnum<typeof Offense>, "many">;
+    observedAtSeconds: z.ZodNumber;
+    totalAmount: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+}, "strip", z.ZodTypeAny, {
+    payloadAddress: EthAddress;
+    validators: EthAddress[];
+    amounts: bigint[];
+    offenses: Offense[];
+    observedAtSeconds: number;
+    totalAmount: bigint;
+}, {
+    validators: any[];
+    amounts: (string | number | bigint)[];
+    offenses: Offense[];
+    observedAtSeconds: number;
+    totalAmount: string | number | bigint;
+    payloadAddress?: any;
+}>;
+export declare const OffenseToBigInt: Record<Offense, bigint>;
+export declare function bigIntToOffense(offense: bigint): Offense;
+//# sourceMappingURL=index.d.ts.map

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,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,qBAAqB,CAAC;AAE3D,oBAAY,OAAO;IACjB,OAAO,IAAI;IACX,gBAAgB,IAAI;IACpB,kBAAkB,IAAI;IACtB,UAAU,IAAI;IACd,sFAAsF;IACtF,kCAAkC,IAAI;IACtC,+EAA+E;IAC/E,kCAAkC,IAAI;IACtC,uHAAuH;IACvH,+BAA+B,IAAI;IACnC,0IAA0I;IAC1I,8BAA8B,IAAI;CACnC;AAED,eAAO,MAAM,aAAa,iCAAwB,CAAC;AAEnD,MAAM,MAAM,qBAAqB,GAAG;IAClC,cAAc,EAAE,UAAU,CAAC;IAC3B,UAAU,EAAE,SAAS,UAAU,EAAE,CAAC;IAClC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IAC7B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;EAOE,CAAC;AAE3C,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,CASnD,CAAC;AAEF,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAqBxD"}

package/dest/slashing/index.js

@@ -0,0 +1,54 @@
+import { z } from 'zod';
+import { schemas } from '../schemas/index.js';
+export var Offense = /*#__PURE__*/ function(Offense) {
+    Offense[Offense["UNKNOWN"] = 0] = "UNKNOWN";
+    Offense[Offense["DATA_WITHHOLDING"] = 1] = "DATA_WITHHOLDING";
+    Offense[Offense["VALID_EPOCH_PRUNED"] = 2] = "VALID_EPOCH_PRUNED";
+    Offense[Offense["INACTIVITY"] = 3] = "INACTIVITY";
+    /** A proposer sent an invalid block proposal over the p2p network to the committee */ Offense[Offense["BROADCASTED_INVALID_BLOCK_PROPOSAL"] = 4] = "BROADCASTED_INVALID_BLOCK_PROPOSAL";
+    /** A proposer pushed to L1 a block with insufficient committee attestations */ Offense[Offense["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) */ Offense[Offense["PROPOSED_INCORRECT_ATTESTATIONS"] = 6] = "PROPOSED_INCORRECT_ATTESTATIONS";
+    /** A committee member attested to a block that was built as a descendent of an invalid block (as in a block with invalid attestations) */ Offense[Offense["ATTESTED_DESCENDANT_OF_INVALID"] = 7] = "ATTESTED_DESCENDANT_OF_INVALID";
+    return Offense;
+}({});
+export const OffenseSchema = z.nativeEnum(Offense);
+export const MonitoredSlashPayloadSchema = z.object({
+    payloadAddress: schemas.EthAddress,
+    validators: z.array(schemas.EthAddress),
+    amounts: z.array(schemas.BigInt),
+    offenses: z.array(OffenseSchema),
+    observedAtSeconds: z.number(),
+    totalAmount: schemas.BigInt
+});
+export const OffenseToBigInt = {
+    [0]: 0n,
+    [1]: 1n,
+    [2]: 2n,
+    [3]: 3n,
+    [4]: 4n,
+    [5]: 5n,
+    [6]: 6n,
+    [7]: 7n
+};
+export function bigIntToOffense(offense) {
+    switch(offense){
+        case 0n:
+            return 0;
+        case 1n:
+            return 1;
+        case 2n:
+            return 2;
+        case 3n:
+            return 3;
+        case 4n:
+            return 4;
+        case 5n:
+            return 5;
+        case 6n:
+            return 6;
+        case 7n:
+            return 7;
+        default:
+            throw new Error(`Unknown offense: ${offense}`);
+    }
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/stdlib",
-  "version": "1.0.0-nightly.20250801",
+  "version": "1.0.0-nightly.20250805",
   "type": "module",
   "inherits": [
     "../package.common.json",
@@ -50,7 +50,8 @@
     "./file-store": "./dest/file-store/index.js",
     "./snapshots": "./dest/snapshots/index.js",
     "./update-checker": "./dest/update-checker/index.js",
-    "./zkpassport": "./dest/zkpassport/index.js"
+    "./zkpassport": "./dest/zkpassport/index.js",
+    "./slashing": "./dest/slashing/index.js"
   },
   "typedocOptions": {
     "entryPoints": [
@@ -67,12 +68,12 @@
     "test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}"
   },
   "dependencies": {
-    "@aztec/bb.js": "1.0.0-nightly.20250801",
-    "@aztec/blob-lib": "1.0.0-nightly.20250801",
-    "@aztec/constants": "1.0.0-nightly.20250801",
-    "@aztec/ethereum": "1.0.0-nightly.20250801",
-    "@aztec/foundation": "1.0.0-nightly.20250801",
-    "@aztec/noir-noirc_abi": "1.0.0-nightly.20250801",
+    "@aztec/bb.js": "1.0.0-nightly.20250805",
+    "@aztec/blob-lib": "1.0.0-nightly.20250805",
+    "@aztec/constants": "1.0.0-nightly.20250805",
+    "@aztec/ethereum": "1.0.0-nightly.20250805",
+    "@aztec/foundation": "1.0.0-nightly.20250805",
+    "@aztec/noir-noirc_abi": "1.0.0-nightly.20250805",
     "@google-cloud/storage": "^7.15.0",
     "axios": "^1.9.0",
     "json-stringify-deterministic": "1.0.12",

package/src/block/l2_block_source.ts

@@ -5,6 +5,7 @@ import type { TypedEventEmitter } from '@aztec/foundation/types';
 import { z } from 'zod';
 
 import type { L1RollupConstants } from '../epoch-helpers/index.js';
+import { BlockAttestation } from '../p2p/block_attestation.js';
 import type { BlockHeader } from '../tx/block_header.js';
 import type { IndexedTxEffect } from '../tx/indexed_tx_effect.js';
 import type { TxHash } from '../tx/tx_hash.js';
@@ -130,8 +131,8 @@ export interface L2BlockSource {
   isPendingChainInvalid(): Promise<boolean>;
 
   /**
-   * Returns the status of the pending chain validation.
-   * This includes whether the chain is valid, and if not, the reason for invalidation.
+   * Returns the status of the pending chain validation. If the chain is invalid, reports the earliest consecutive block
+   * that is invalid, along with the reason for being invalid, which can be used to trigger an invalidation.
    */
   getPendingChainValidationStatus(): Promise<ValidateBlockResult>;
 
@@ -139,30 +140,49 @@ export interface L2BlockSource {
   syncImmediate(): Promise<void>;
 }
 
-/** Result type for validating a block attestations */
-export type ValidateBlockResult =
-  | { valid: true; block?: PublishedL2Block }
-  | { valid: false; block: PublishedL2Block; committee: EthAddress[]; reason: 'insufficient-attestations' }
+/** Subtype for invalid block validation results */
+export type ValidateBlockNegativeResult =
+  | {
+      valid: false;
+      block: PublishedL2Block;
+      committee: EthAddress[];
+      epoch: bigint;
+      seed: bigint;
+      attestations: BlockAttestation[];
+      reason: 'insufficient-attestations';
+    }
   | {
       valid: false;
       block: PublishedL2Block;
       committee: EthAddress[];
+      epoch: bigint;
+      seed: bigint;
       reason: 'invalid-attestation';
+      attestations: BlockAttestation[];
       invalidIndex: number;
     };
 
+/** Result type for validating a block attestations */
+export type ValidateBlockResult = { valid: true } | ValidateBlockNegativeResult;
+
 export const ValidateBlockResultSchema = z.union([
   z.object({ valid: z.literal(true), block: PublishedL2Block.schema.optional() }),
   z.object({
     valid: z.literal(false),
     block: PublishedL2Block.schema,
     committee: z.array(schemas.EthAddress),
+    epoch: schemas.BigInt,
+    seed: schemas.BigInt,
+    attestations: z.array(BlockAttestation.schema),
     reason: z.literal('insufficient-attestations'),
   }),
   z.object({
     valid: z.literal(false),
     block: PublishedL2Block.schema,
     committee: z.array(schemas.EthAddress),
+    epoch: schemas.BigInt,
+    seed: schemas.BigInt,
+    attestations: z.array(BlockAttestation.schema),
     reason: z.literal('invalid-attestation'),
     invalidIndex: z.number(),
   }),
@@ -176,6 +196,7 @@ export const ValidateBlockResultSchema = z.union([
 export type ArchiverEmitter = TypedEventEmitter<{
   [L2BlockSourceEvents.L2PruneDetected]: (args: L2BlockPruneEvent) => void;
   [L2BlockSourceEvents.L2BlockProven]: (args: L2BlockProvenEvent) => void;
+  [L2BlockSourceEvents.InvalidAttestationsBlockDetected]: (args: InvalidBlockDetectedEvent) => void;
 }>;
 export interface L2BlockSourceEventEmitter extends L2BlockSource, ArchiverEmitter {}
 
@@ -222,6 +243,7 @@ export const L2TipsSchema = z.object({
 export enum L2BlockSourceEvents {
   L2PruneDetected = 'l2PruneDetected',
   L2BlockProven = 'l2BlockProven',
+  InvalidAttestationsBlockDetected = 'invalidBlockDetected',
 }
 
 export type L2BlockProvenEvent = {
@@ -236,3 +258,8 @@ export type L2BlockPruneEvent = {
   epochNumber: bigint;
   blocks: L2Block[];
 };
+
+export type InvalidBlockDetectedEvent = {
+  type: 'invalidBlockDetected';
+  validationResult: ValidateBlockNegativeResult;
+};

package/src/interfaces/aztec-node-admin.ts

@@ -3,6 +3,7 @@ import { createSafeJsonRpcClient, defaultFetch } from '@aztec/foundation/json-rp
 import { z } from 'zod';
 
 import type { ApiSchemaFor } from '../schemas/schemas.js';
+import { type MonitoredSlashPayload, MonitoredSlashPayloadSchema } from '../slashing/index.js';
 import { type ComponentsVersions, getVersioningResponseHandler } from '../versioning/index.js';
 import { type SequencerConfig, SequencerConfigSchema } from './configs.js';
 import { type ProverConfig, ProverConfigSchema } from './prover-client.js';
@@ -41,6 +42,9 @@ export interface AztecNodeAdmin {
 
   /** Resumes archiver and world state syncing. */
   resumeSync(): Promise<void>;
+
+  /** Returns all monitored payloads by the slasher. */
+  getSlasherMonitoredPayloads(): Promise<MonitoredSlashPayload[]>;
 }
 
 export type AztecNodeAdminConfig = SequencerConfig & ProverConfig & SlasherConfig & { maxTxPoolSize: number };
@@ -56,6 +60,7 @@ export const AztecNodeAdminApiSchema: ApiSchemaFor<AztecNodeAdmin> = {
   rollbackTo: z.function().args(z.number()).returns(z.void()),
   pauseSync: z.function().returns(z.void()),
   resumeSync: z.function().returns(z.void()),
+  getSlasherMonitoredPayloads: z.function().returns(z.array(MonitoredSlashPayloadSchema)),
 };
 
 export function createAztecNodeAdminClient(

package/src/interfaces/configs.ts

@@ -44,8 +44,14 @@ export interface SequencerConfig {
   fakeProcessingDelayPerTxMs?: number;
   /** How many seconds it takes for proposals and attestations to travel across the p2p layer (one-way) */
   attestationPropagationTime?: number;
+  /** How many seconds before invalidating a block as a committee member (zero to never invalidate) */
+  secondsBeforeInvalidatingBlockAsCommitteeMember?: number;
+  /** How many seconds before invalidating a block as a non-committee member (zero to never invalidate) */
+  secondsBeforeInvalidatingBlockAsNonCommitteeMember?: number;
   /** Skip collecting attestations (for testing only) */
   skipCollectingAttestations?: boolean;
+  /** Do not invalidate the previous block if invalid when we are the proposer (for testing only) */
+  skipInvalidateBlockAsProposer?: boolean;
 }
 
 export const SequencerConfigSchema = z.object({
@@ -67,4 +73,6 @@ export const SequencerConfigSchema = z.object({
   fakeProcessingDelayPerTxMs: z.number().optional(),
   attestationPropagationTime: z.number().optional(),
   skipCollectingAttestations: z.boolean().optional(),
+  secondsBeforeInvalidatingBlockAsCommitteeMember: z.number(),
+  secondsBeforeInvalidatingBlockAsNonCommitteeMember: z.number(),
 }) satisfies ZodFor<SequencerConfig>;

package/src/interfaces/slasher.ts

@@ -19,6 +19,10 @@ export interface SlasherConfig {
   slashInactivityCreatePenalty: bigint;
   slashInactivityMaxPenalty: bigint;
   slashProposerRoundPollingIntervalSeconds: number;
+  slashProposeInvalidAttestationsPenalty: bigint;
+  slashProposeInvalidAttestationsMaxPenalty: bigint;
+  slashAttestDescendantOfInvalidPenalty: bigint;
+  slashAttestDescendantOfInvalidMaxPenalty: bigint;
   slasherPrivateKey: SecretValue<string | undefined>; // Private key of the slasher account used for creating slash payloads
 }
 
@@ -37,5 +41,9 @@ export const SlasherConfigSchema = z.object({
   slashInactivityCreatePenalty: schemas.BigInt,
   slashInactivityMaxPenalty: schemas.BigInt,
   slashProposerRoundPollingIntervalSeconds: z.number(),
+  slashProposeInvalidAttestationsPenalty: schemas.BigInt,
+  slashProposeInvalidAttestationsMaxPenalty: schemas.BigInt,
+  slashAttestDescendantOfInvalidPenalty: schemas.BigInt,
+  slashAttestDescendantOfInvalidMaxPenalty: schemas.BigInt,
   slasherPrivateKey: schemas.SecretValue(z.string().optional()),
 }) satisfies ZodFor<SlasherConfig>;

package/src/slashing/index.ts

@@ -0,0 +1,74 @@
+import type { EthAddress } from '@aztec/foundation/eth-address';
+
+import { z } from 'zod';
+
+import { type ZodFor, schemas } from '../schemas/index.js';
+
+export enum Offense {
+  UNKNOWN = 0,
+  DATA_WITHHOLDING = 1,
+  VALID_EPOCH_PRUNED = 2,
+  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 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,
+}
+
+export const OffenseSchema = z.nativeEnum(Offense);
+
+export type MonitoredSlashPayload = {
+  payloadAddress: EthAddress;
+  validators: readonly EthAddress[];
+  amounts: readonly bigint[];
+  offenses: readonly Offense[];
+  observedAtSeconds: number;
+  totalAmount: bigint;
+};
+
+export const MonitoredSlashPayloadSchema = z.object({
+  payloadAddress: schemas.EthAddress,
+  validators: z.array(schemas.EthAddress),
+  amounts: z.array(schemas.BigInt),
+  offenses: z.array(OffenseSchema),
+  observedAtSeconds: z.number(),
+  totalAmount: schemas.BigInt,
+}) satisfies ZodFor<MonitoredSlashPayload>;
+
+export const OffenseToBigInt: Record<Offense, bigint> = {
+  [Offense.UNKNOWN]: 0n,
+  [Offense.DATA_WITHHOLDING]: 1n,
+  [Offense.VALID_EPOCH_PRUNED]: 2n,
+  [Offense.INACTIVITY]: 3n,
+  [Offense.BROADCASTED_INVALID_BLOCK_PROPOSAL]: 4n,
+  [Offense.PROPOSED_INSUFFICIENT_ATTESTATIONS]: 5n,
+  [Offense.PROPOSED_INCORRECT_ATTESTATIONS]: 6n,
+  [Offense.ATTESTED_DESCENDANT_OF_INVALID]: 7n,
+};
+
+export function bigIntToOffense(offense: bigint): Offense {
+  switch (offense) {
+    case 0n:
+      return Offense.UNKNOWN;
+    case 1n:
+      return Offense.DATA_WITHHOLDING;
+    case 2n:
+      return Offense.VALID_EPOCH_PRUNED;
+    case 3n:
+      return Offense.INACTIVITY;
+    case 4n:
+      return Offense.BROADCASTED_INVALID_BLOCK_PROPOSAL;
+    case 5n:
+      return Offense.PROPOSED_INSUFFICIENT_ATTESTATIONS;
+    case 6n:
+      return Offense.PROPOSED_INCORRECT_ATTESTATIONS;
+    case 7n:
+      return Offense.ATTESTED_DESCENDANT_OF_INVALID;
+    default:
+      throw new Error(`Unknown offense: ${offense}`);
+  }
+}