@aztec/stdlib 1.2.1 → 2.0.0-nightly.20250813

package/dest/vks/verification_key.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verification_key.d.ts","sourceRoot":"","sources":["../../src/vks/verification_key.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAElD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;GAEG;AACH,qBAAa,eAAe;IAC1B;;OAEG;IACI,CAAC,EAAE,EAAE,CAAC;IACb;;OAEG;IACI,CAAC,EAAE,EAAE,CAAC;gBAED,CAAC,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM;IAI1C;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;CAIlE;AAED;;;GAGG;AACH,qBAAa,aAAa;IAEtB;;OAEG;IACI,MAAM,EAAE;QAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;KAAE;;IAHlD;;OAEG;IACI,MAAM,EAAE;QAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;KAAE;IAGpD;;;OAGG;IACH,QAAQ;IAKR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,aAAa;CAIhE;AAGD,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAC7C,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC;;GAEG;AACH,qBAAa,uBAAuB;IAEzB,GAAG,EAAE,EAAE,EAAE;IACT,IAAI,EAAE,EAAE;gBADR,GAAG,EAAE,EAAE,EAAE,EACT,IAAI,EAAE,EAAE;WAGJ,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE;IAK9B,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,IAAW,WAAW,YAErB;IAED,MAAM,KAAK,MAAM,gEAGhB;IAED,MAAM;IAIN;;;OAGG;IACH,QAAQ;IAIR,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB;IAKzE;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,SAAI,GAAG,uBAAuB;IAIhE,MAAM,CAAC,YAAY,CAAC,IAAI,SAAI,GAAG,uBAAuB;IAItD,MAAM,CAAC,kBAAkB,CAAC,IAAI,SAAI,GAAG,uBAAuB;IAO5D;;;OAGG;IACH,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB;CAGxD;AAED,qBAAa,eAAe;IAExB;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,WAAW,EAAE,MAAM;IAC1B;;OAEG;IACI,eAAe,EAAE,MAAM;IAC9B;;OAEG;IACI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACnD;;OAEG;IACI,sBAAsB,EAAE,OAAO;IACtC;;OAEG;IACI,gCAAgC,EAAE,MAAM,EAAE;;IAvBjD;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,WAAW,EAAE,MAAM;IAC1B;;OAEG;IACI,eAAe,EAAE,MAAM;IAC9B;;OAEG;IACI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACnD;;OAEG;IACI,sBAAsB,EAAE,OAAO;IACtC;;OAEG;IACI,gCAAgC,EAAE,MAAM,EAAE;IAGnD;;;OAGG;IACH,QAAQ;IAWR;;;OAGG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;IAYjE;;;OAGG;IACH,MAAM,CAAC,cAAc,IAAI,eAAe;IAWxC;;;OAGG;IACH,MAAM,CAAC,QAAQ,IAAI,eAAe;CAUnC;AAED,qBAAa,mBAAmB;aAEZ,WAAW,EAAE,uBAAuB;aACpC,UAAU,EAAE,MAAM;gBADlB,WAAW,EAAE,uBAAuB,EACpC,UAAU,EAAE,MAAM;IAGpC,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,IAAW,WAAW,YAErB;IAED,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,YAAY,IAAI,mBAAmB;IAI1C,MAAM,CAAC,kBAAkB,IAAI,mBAAmB;IAOhD,MAAM,CAAC,QAAQ,CAAC,GAAG,SAAgD,GAAG,mBAAmB;IAIzF;;;OAGG;IACH,QAAQ;IAIR,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB;IAQrE,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,mBAAmB;IAI5C,KAAK;IAIZ,2DAA2D;IAC3D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,4DAEhB;CACF"}
+{"version":3,"file":"verification_key.d.ts","sourceRoot":"","sources":["../../src/vks/verification_key.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAElD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;GAEG;AACH,qBAAa,eAAe;IAC1B;;OAEG;IACI,CAAC,EAAE,EAAE,CAAC;IACb;;OAEG;IACI,CAAC,EAAE,EAAE,CAAC;gBAED,CAAC,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM;IAI1C;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;CAIlE;AAED;;;GAGG;AACH,qBAAa,aAAa;IAEtB;;OAEG;IACI,MAAM,EAAE;QAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;KAAE;;IAHlD;;OAEG;IACI,MAAM,EAAE;QAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;KAAE;IAGpD;;;OAGG;IACH,QAAQ;IAKR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,aAAa;CAIhE;AAGD,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAC7C,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC;;GAEG;AACH,qBAAa,uBAAuB;IAEzB,GAAG,EAAE,EAAE,EAAE;IACT,IAAI,EAAE,EAAE;gBADR,GAAG,EAAE,EAAE,EAAE,EACT,IAAI,EAAE,EAAE;WAGJ,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE;IAK9B,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,IAAW,WAAW,YAErB;IAED,MAAM,KAAK,MAAM,gEAGhB;IAED,MAAM;IAIN;;;OAGG;IACH,QAAQ;IAIR,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB;IAKzE;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,SAAI,GAAG,uBAAuB;IAIhE,MAAM,CAAC,YAAY,CAAC,IAAI,SAAI,GAAG,uBAAuB;IAItD,MAAM,CAAC,kBAAkB,CAAC,IAAI,SAAI,GAAG,uBAAuB;IAO5D;;;OAGG;IACH,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB;CAGxD;AAED,qBAAa,eAAe;IAExB;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,WAAW,EAAE,MAAM;IAC1B;;OAEG;IACI,eAAe,EAAE,MAAM;IAC9B;;OAEG;IACI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACnD;;OAEG;IACI,sBAAsB,EAAE,OAAO;IACtC;;OAEG;IACI,gCAAgC,EAAE,MAAM,EAAE;;IAvBjD;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,WAAW,EAAE,MAAM;IAC1B;;OAEG;IACI,eAAe,EAAE,MAAM;IAC9B;;OAEG;IACI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACnD;;OAEG;IACI,sBAAsB,EAAE,OAAO;IACtC;;OAEG;IACI,gCAAgC,EAAE,MAAM,EAAE;IAGnD;;;OAGG;IACH,QAAQ;IAWR;;;OAGG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;IAYjE;;;OAGG;IACH,MAAM,CAAC,cAAc,IAAI,eAAe;IAWxC;;;OAGG;IACH,MAAM,CAAC,QAAQ,IAAI,eAAe;CAUnC;AAED,qBAAa,mBAAmB;aAEZ,WAAW,EAAE,uBAAuB;aACpC,UAAU,EAAE,MAAM;gBADlB,WAAW,EAAE,uBAAuB,EACpC,UAAU,EAAE,MAAM;IAGpC,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,IAAW,WAAW,YAErB;IAED,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,YAAY,IAAI,mBAAmB;IAI1C,MAAM,CAAC,kBAAkB,IAAI,mBAAmB;IAOhD,MAAM,CAAC,QAAQ,CAAC,GAAG,SAA4B,GAAG,mBAAmB;IAIrE;;;OAGG;IACH,QAAQ;IAIR,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB;IAQrE,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,mBAAmB;IAI5C,KAAK;IAIZ,2DAA2D;IAC3D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,4DAEhB;CACF"}

package/dest/vks/verification_key.js

@@ -1,4 +1,4 @@
-import { HONK_VERIFICATION_KEY_LENGTH_IN_FIELDS, ROLLUP_HONK_VERIFICATION_KEY_LENGTH_IN_FIELDS } from '@aztec/constants';
+import { ULTRA_VK_LENGTH_IN_FIELDS } from '@aztec/constants';
 import { makeTuple } from '@aztec/foundation/array';
 import { times } from '@aztec/foundation/collection';
 import { Fq, Fr } from '@aztec/foundation/fields';
@@ -122,10 +122,10 @@ export const CIRCUIT_RECURSIVE_INDEX = 3;
         return new VerificationKeyAsFields(makeTuple(size, Fr.random, seed), Fr.random());
     }
     static makeFakeHonk(seed = 1) {
-        return new VerificationKeyAsFields(makeTuple(HONK_VERIFICATION_KEY_LENGTH_IN_FIELDS, Fr.random, seed), Fr.random());
+        return new VerificationKeyAsFields(makeTuple(ULTRA_VK_LENGTH_IN_FIELDS, Fr.random, seed), Fr.random());
     }
     static makeFakeRollupHonk(seed = 1) {
-        return new VerificationKeyAsFields(makeTuple(ROLLUP_HONK_VERIFICATION_KEY_LENGTH_IN_FIELDS, (i)=>new Fr(i), seed), new Fr(seed + 1));
+        return new VerificationKeyAsFields(makeTuple(ULTRA_VK_LENGTH_IN_FIELDS, (i)=>new Fr(i), seed), new Fr(seed + 1));
     }
     /**
    * Builds an 'empty' verification key
@@ -212,7 +212,7 @@ export class VerificationKeyData {
     static makeFakeRollupHonk() {
         return new VerificationKeyData(VerificationKeyAsFields.makeFakeRollupHonk(), VerificationKey.makeRollupFake().toBuffer());
     }
-    static makeFake(len = ROLLUP_HONK_VERIFICATION_KEY_LENGTH_IN_FIELDS) {
+    static makeFake(len = ULTRA_VK_LENGTH_IN_FIELDS) {
         return new VerificationKeyData(VerificationKeyAsFields.makeFake(len), VerificationKey.makeFake().toBuffer());
     }
     /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/stdlib",
-  "version": "1.2.1",
+  "version": "2.0.0-nightly.20250813",
   "type": "module",
   "inherits": [
     "../package.common.json",
@@ -24,7 +24,7 @@
     "./avm": "./dest/avm/index.js",
     "./schemas": "./dest/schemas/index.js",
     "./noir": "./dest/noir/index.js",
-    "./shared-mutable": "./dest/shared_mutable/index.js",
+    "./delayed-public-mutable": "./dest/delayed_public_mutable/index.js",
     "./parity": "./dest/parity/index.js",
     "./vks": "./dest/vks/index.js",
     "./proofs": "./dest/proofs/index.js",
@@ -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.2.1",
-    "@aztec/blob-lib": "1.2.1",
-    "@aztec/constants": "1.2.1",
-    "@aztec/ethereum": "1.2.1",
-    "@aztec/foundation": "1.2.1",
-    "@aztec/noir-noirc_abi": "1.2.1",
+    "@aztec/bb.js": "2.0.0-nightly.20250813",
+    "@aztec/blob-lib": "2.0.0-nightly.20250813",
+    "@aztec/constants": "2.0.0-nightly.20250813",
+    "@aztec/ethereum": "2.0.0-nightly.20250813",
+    "@aztec/foundation": "2.0.0-nightly.20250813",
+    "@aztec/noir-noirc_abi": "2.0.0-nightly.20250813",
     "@google-cloud/storage": "^7.15.0",
     "axios": "^1.9.0",
     "json-stringify-deterministic": "1.0.12",

package/src/abi/abi.ts

@@ -7,7 +7,6 @@ import { inflate } from 'pako';
 import { z } from 'zod';
 
 import { FunctionSelector } from './function_selector.js';
-import { NoteSelector } from './note_selector.js';
 
 /** A basic value. */
 export interface BasicValue<T extends string, V> {
@@ -313,38 +312,6 @@ export type DebugFileMap = Record<
   }
 >;
 
-/** Type representing a field of a note (e.g. `amount` in `TokenNote`). */
-export type NoteField = {
-  /** Name of the field (e.g. `amount`). */
-  name: string;
-  /** Index where the note field starts in the serialized note array. */
-  index: number;
-  /** Whether the field can be unset when creating the note (in the partial notes flow). */
-  nullable: boolean;
-};
-
-export const NoteFieldSchema = z.object({
-  name: z.string(),
-  index: z.number(),
-  nullable: z.boolean(),
-}) satisfies z.ZodType<NoteField>;
-
-/** Type representing a note in use in the contract. */
-export type ContractNote = {
-  /** Note identifier */
-  id: NoteSelector;
-  /** Type of the note (e.g., 'TransparentNote') */
-  typ: string;
-  /** Fields of the note. */
-  fields: NoteField[];
-};
-
-export const ContractNoteSchema = z.object({
-  id: NoteSelector.schema,
-  typ: z.string(),
-  fields: z.array(NoteFieldSchema),
-}) satisfies ZodFor<ContractNote>;
-
 /** Type representing a field layout in the storage of a contract. */
 export type FieldLayout = {
   /** Slot in which the field is stored. */
@@ -371,9 +338,6 @@ export interface ContractArtifact {
   /** Storage layout */
   storageLayout: Record<string, FieldLayout>;
 
-  /** The notes used in the contract. */
-  notes: Record<string, ContractNote>;
-
   /** The map of file ID to the source code and path of the file. */
   fileMap: DebugFileMap;
 }
@@ -398,7 +362,6 @@ export const ContractArtifactSchema: ZodFor<ContractArtifact> = z.object({
     globals: z.record(z.array(AbiValueSchema)),
   }),
   storageLayout: z.record(z.object({ slot: schemas.Fr })),
-  notes: z.record(ContractNoteSchema),
   fileMap: z.record(z.coerce.number(), z.object({ source: z.string(), path: z.string() })),
 });
 
@@ -567,6 +530,5 @@ export function emptyContractArtifact(): ContractArtifact {
     },
     storageLayout: {},
     fileMap: {},
-    notes: {},
   };
 }

package/src/abi/authorization_selector.ts

@@ -0,0 +1,95 @@
+import { fromHex, toBigIntBE } from '@aztec/foundation/bigint-buffer';
+import { poseidon2HashBytes, randomBytes } from '@aztec/foundation/crypto';
+import type { Fr } from '@aztec/foundation/fields';
+import { hexSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader } from '@aztec/foundation/serialize';
+
+import { Selector } from './selector.js';
+
+/* eslint-disable @typescript-eslint/no-unsafe-declaration-merging */
+
+/** Authorization selector branding */
+export interface AuthorizationSelector {
+  /** Brand. */
+  _branding: 'AuthorizationSelector';
+}
+
+/**
+ * An authorization selector is the first 4 bytes of the hash of an authorization struct signature.
+ */
+export class AuthorizationSelector extends Selector {
+  /**
+   * Deserializes from a buffer or reader, corresponding to a write in cpp.
+   * @param buffer - Buffer  or BufferReader to read from.
+   * @returns The Selector.
+   */
+  static fromBuffer(buffer: Buffer | BufferReader) {
+    const reader = BufferReader.asReader(buffer);
+    const value = Number(toBigIntBE(reader.readBytes(Selector.SIZE)));
+    return new AuthorizationSelector(value);
+  }
+
+  /**
+   * Converts a field to selector.
+   * @param fr - The field to convert.
+   * @returns The selector.
+   */
+  static fromField(fr: Fr) {
+    return new AuthorizationSelector(Number(fr.toBigInt()));
+  }
+
+  /**
+   * Creates a selector from a signature.
+   * @param signature - Signature to generate the selector for (e.g. "CallAuthorization(field,field)").
+   * @returns selector.
+   */
+  static async fromSignature(signature: string) {
+    // throw if signature contains whitespace
+    if (/\s/.test(signature)) {
+      throw new Error('Signature cannot contain whitespace');
+    }
+    const hash = await poseidon2HashBytes(Buffer.from(signature));
+    // We take the last Selector.SIZE big endian bytes
+    const bytes = hash.toBuffer().slice(-Selector.SIZE);
+    return AuthorizationSelector.fromBuffer(bytes);
+  }
+
+  /**
+   * Create a Selector instance from a hex-encoded string.
+   *
+   * @param selector - The hex-encoded string representing the Selector.
+   * @returns An Selector instance.
+   * @throws If the selector length is invalid.
+   */
+  static fromString(selector: string) {
+    const buf = fromHex(selector);
+    if (buf.length !== Selector.SIZE) {
+      throw new Error(`Invalid AuthorizationSelector length ${buf.length} (expected ${Selector.SIZE}).`);
+    }
+    return AuthorizationSelector.fromBuffer(buf);
+  }
+
+  /**
+   * Creates an empty selector.
+   * @returns An empty selector.
+   */
+  static empty() {
+    return new AuthorizationSelector(0);
+  }
+
+  /**
+   * Creates a random selector.
+   * @returns A random selector.
+   */
+  static random() {
+    return AuthorizationSelector.fromBuffer(randomBytes(Selector.SIZE));
+  }
+
+  toJSON() {
+    return this.toString();
+  }
+
+  static get schema() {
+    return hexSchemaFor(AuthorizationSelector);
+  }
+}

package/src/abi/contract_artifact.ts

@@ -7,7 +7,6 @@ import {
   type BasicValue,
   type ContractArtifact,
   ContractArtifactSchema,
-  type ContractNote,
   type FieldLayout,
   type FunctionAbi,
   type FunctionArtifact,
@@ -276,52 +275,6 @@ function getStorageLayout(input: NoirCompiledContract) {
   }, {});
 }
 
-/**
- * Generates records of the notes with note type ids of the artifact.
- * @param input - The compiled noir contract to get note types for
- * @return A record of the note types and their ids
- */
-function getNoteTypes(input: NoirCompiledContract) {
-  // The type is useless here as it does not give us any guarantee (e.g. `AbiValue` can be one of many different
-  // types) so we nuke it and later we manually check the values are as we expect.
-  const notes = input.outputs.globals.notes as any[];
-
-  if (!notes) {
-    return {};
-  }
-
-  return notes.reduce((acc: Record<string, Omit<ContractNote, 'id'> & { id: string }>, note) => {
-    const noteFields = note.fields;
-
-    // We find note type id by looking for respective kinds as each of them is unique
-    const rawNoteTypeId = noteFields.find((field: any) => field.kind === 'integer');
-    const rawName = noteFields.find((field: any) => field.kind === 'string');
-    const rawNoteFields = noteFields.find((field: any) => field.kind === 'struct');
-
-    if (!rawNoteTypeId || !rawName || !rawNoteFields) {
-      throw new Error(`Could not find note type id, name or fields for note ${note}`);
-    }
-
-    const noteTypeId = rawNoteTypeId.value as string;
-    const name = rawName.value as string;
-
-    // Note type id is encoded as a hex string
-    const fields = rawNoteFields.fields.map((field: any) => {
-      return {
-        name: field.name,
-        index: parseInt(field.value.fields[0].value.value, 16),
-        nullable: field.value.fields[1].value.value,
-      };
-    });
-    acc[name] = {
-      id: noteTypeId,
-      typ: name,
-      fields,
-    };
-    return acc;
-  }, {});
-}
-
 /**
  * Given a Nargo output generates an Aztec-compatible contract artifact.
  * Does not include public bytecode, apart from the public_dispatch function.
@@ -338,7 +291,6 @@ function generateContractArtifact(contract: NoirCompiledContract): ContractArtif
         .map(f => generateFunctionAbi(f, contract)),
       outputs: contract.outputs,
       storageLayout: getStorageLayout(contract),
-      notes: getNoteTypes(contract),
       fileMap: contract.file_map,
     });
   } catch (err) {
@@ -362,7 +314,6 @@ function generateContractArtifactForPublic(contract: NoirCompiledContract): Cont
         .map(f => generateFunctionAbi(f, contract)),
       outputs: contract.outputs,
       storageLayout: getStorageLayout(contract),
-      notes: getNoteTypes(contract),
       fileMap: contract.file_map,
     });
   } catch (err) {

package/src/abi/decoder.ts

@@ -95,13 +95,10 @@ class AbiDecoder {
    * @returns The decoded return values.
    */
   public decode(): AbiDecoded {
-    if (this.types.length > 1) {
-      throw new Error('Multiple types not supported');
+    if (this.types.length === 1) {
+      return this.decodeNext(this.types[0]);
     }
-    if (this.types.length === 0) {
-      return [];
-    }
-    return this.decodeNext(this.types[0]);
+    return this.types.map(type => this.decodeNext(type));
   }
 }
 

package/src/abi/index.ts

@@ -2,6 +2,7 @@ export * from './abi.js';
 export * from './buffer.js';
 export * from './decoder.js';
 export * from './encoder.js';
+export * from './authorization_selector.js';
 export * from './event_selector.js';
 export * from './function_selector.js';
 export * from './note_selector.js';

package/src/avm/avm.ts

@@ -388,7 +388,6 @@ export class AvmRevertCheckpointHint {
 export class AvmTxHint {
   constructor(
     public readonly hash: string,
-    public readonly globalVariables: GlobalVariables,
     public readonly gasSettings: GasSettings,
     public readonly effectiveGasFees: GasFees,
     public readonly nonRevertibleAccumulatedData: {
@@ -410,7 +409,7 @@ export class AvmTxHint {
     public readonly feePayer: AztecAddress,
   ) {}
 
-  static async fromTx(tx: Tx): Promise<AvmTxHint> {
+  static fromTx(tx: Tx): AvmTxHint {
     const setupCallRequests = tx.getNonRevertiblePublicCallRequestsWithCalldata();
     const appLogicCallRequests = tx.getRevertiblePublicCallRequestsWithCalldata();
     const teardownCallRequest = tx.getTeardownPublicCallRequestWithCalldata();
@@ -421,11 +420,10 @@ export class AvmTxHint {
     );
 
     // For informational purposes. Assumed quick because it should be cached.
-    const txHash = await tx.getTxHash();
+    const txHash = tx.getTxHash();
 
     return new AvmTxHint(
       txHash.hash.toString(),
-      tx.data.constants.historicalHeader.globalVariables,
       gasSettings,
       effectiveGasFees,
       {
@@ -449,7 +447,6 @@ export class AvmTxHint {
   static empty() {
     return new AvmTxHint(
       '',
-      GlobalVariables.empty(),
       GasSettings.empty(),
       GasFees.empty(),
       { noteHashes: [], nullifiers: [], l2ToL1Messages: [] },
@@ -466,7 +463,6 @@ export class AvmTxHint {
     return z
       .object({
         hash: z.string(),
-        globalVariables: GlobalVariables.schema,
         gasSettings: GasSettings.schema,
         effectiveGasFees: GasFees.schema,
         nonRevertibleAccumulatedData: z.object({
@@ -488,7 +484,6 @@ export class AvmTxHint {
       .transform(
         ({
           hash,
-          globalVariables,
           gasSettings,
           effectiveGasFees,
           nonRevertibleAccumulatedData,
@@ -501,7 +496,6 @@ export class AvmTxHint {
         }) =>
           new AvmTxHint(
             hash,
-            globalVariables,
             gasSettings,
             effectiveGasFees,
             nonRevertibleAccumulatedData,
@@ -518,6 +512,7 @@ export class AvmTxHint {
 
 export class AvmExecutionHints {
   constructor(
+    public readonly globalVariables: GlobalVariables,
     public tx: AvmTxHint,
     // Contract hints.
     public readonly contractInstances: AvmContractInstanceHint[] = [],
@@ -539,12 +534,13 @@ export class AvmExecutionHints {
   ) {}
 
   static empty() {
-    return new AvmExecutionHints(AvmTxHint.empty());
+    return new AvmExecutionHints(GlobalVariables.empty(), AvmTxHint.empty());
   }
 
   static get schema() {
     return z
       .object({
+        globalVariables: GlobalVariables.schema,
         tx: AvmTxHint.schema,
         contractInstances: AvmContractInstanceHint.schema.array(),
         contractClasses: AvmContractClassHint.schema.array(),
@@ -564,6 +560,7 @@ export class AvmExecutionHints {
       })
       .transform(
         ({
+          globalVariables,
           tx,
           contractInstances,
           contractClasses,
@@ -582,6 +579,7 @@ export class AvmExecutionHints {
           revertCheckpointHints,
         }) =>
           new AvmExecutionHints(
+            globalVariables,
             tx,
             contractInstances,
             contractClasses,

package/src/block/l2_block.ts

@@ -148,7 +148,25 @@ export class L2Block {
     };
   }
 
+  toBlockInfo(): BlockInfo {
+    return {
+      blockHash: this.blockHash?.toString(),
+      archive: this.archive.root.toString(),
+      blockNumber: this.number,
+      slotNumber: Number(this.header.getSlot()),
+      txCount: this.body.txEffects.length,
+    };
+  }
+
   equals(other: L2Block) {
     return this.archive.equals(other.archive) && this.header.equals(other.header) && this.body.equals(other.body);
   }
 }
+
+export type BlockInfo = {
+  blockHash?: string;
+  archive: string;
+  blockNumber: number;
+  slotNumber: number;
+  txCount: number;
+};

package/src/block/l2_block_source.ts

@@ -1,15 +1,17 @@
 import type { EthAddress } from '@aztec/foundation/eth-address';
+import { type ZodFor, schemas } 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';
 import type { TxReceipt } from '../tx/tx_receipt.js';
 import type { L2Block } from './l2_block.js';
-import type { PublishedL2Block } from './published_l2_block.js';
+import { PublishedL2Block } from './published_l2_block.js';
 
 /**
  * Interface of classes allowing for the retrieval of L2 blocks.
@@ -122,10 +124,70 @@ export interface L2BlockSource {
   /** Latest synced L1 timestamp. */
   getL1Timestamp(): Promise<bigint>;
 
+  /**
+   * Returns whether the latest block in the pending chain on L1 is invalid (ie its attestations are incorrect).
+   * Note that invalid blocks do not get synced, so the latest block returned by the block source is always a valid one.
+   */
+  isPendingChainInvalid(): Promise<boolean>;
+
+  /**
+   * 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>;
 }
 
+/** 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(),
+  }),
+]) satisfies ZodFor<ValidateBlockResult>;
+
 /**
  * L2BlockSource that emits events upon pending / proven chain changes.
  * see L2BlockSourceEvents for the events emitted.
@@ -134,6 +196,7 @@ export interface L2BlockSource {
 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 {}
 
@@ -180,6 +243,7 @@ export const L2TipsSchema = z.object({
 export enum L2BlockSourceEvents {
   L2PruneDetected = 'l2PruneDetected',
   L2BlockProven = 'l2BlockProven',
+  InvalidAttestationsBlockDetected = 'invalidBlockDetected',
 }
 
 export type L2BlockProvenEvent = {
@@ -194,3 +258,8 @@ export type L2BlockPruneEvent = {
   epochNumber: bigint;
   blocks: L2Block[];
 };
+
+export type InvalidBlockDetectedEvent = {
+  type: 'invalidBlockDetected';
+  validationResult: ValidateBlockNegativeResult;
+};

package/src/block/proposal/committee_attestation.ts

@@ -32,11 +32,15 @@ export class CommitteeAttestation {
     return new CommitteeAttestation(address, signature);
   }
 
+  static fromSignature(signature: Signature): CommitteeAttestation {
+    return new CommitteeAttestation(EthAddress.ZERO, signature);
+  }
+
   static fromViem(viem: ViemCommitteeAttestation): CommitteeAttestation {
     return new CommitteeAttestation(EthAddress.fromString(viem.addr), Signature.fromViemSignature(viem.signature));
   }
 
-  static fromBuffer(buffer: Buffer): CommitteeAttestation {
+  static fromBuffer(buffer: Buffer | BufferReader): CommitteeAttestation {
     const reader = BufferReader.asReader(buffer);
     const address = reader.readObject(EthAddress);
     const signature = reader.readObject(Signature);

package/src/block/published_l2_block.ts

@@ -1,4 +1,6 @@
 // Ignoring import issue to fix portable inferred type issue in zod schema
+import { Buffer32 } from '@aztec/foundation/buffer';
+import { randomBigInt } from '@aztec/foundation/crypto';
 import { schemas } from '@aztec/foundation/schemas';
 
 import { z } from 'zod';
@@ -22,6 +24,14 @@ export class L1PublishedData {
       blockHash: z.string(),
     });
   }
+
+  static random() {
+    return new L1PublishedData(
+      randomBigInt(1000n) + 1n,
+      BigInt(Math.floor(Date.now() / 1000)),
+      Buffer32.random().toString(),
+    );
+  }
 }
 
 export class PublishedL2Block {
@@ -40,12 +50,11 @@ export class PublishedL2Block {
   }
 }
 
-export function getAttestationsFromPublishedL2Block(block: PublishedL2Block) {
+export function getAttestationsFromPublishedL2Block(
+  block: Pick<PublishedL2Block, 'attestations' | 'block'>,
+): BlockAttestation[] {
   const payload = ConsensusPayload.fromBlock(block.block);
   return block.attestations
     .filter(attestation => !attestation.signature.isEmpty())
-    .map(
-      attestation =>
-        new BlockAttestation(block.block.header.globalVariables.blockNumber, payload, attestation.signature),
-    );
+    .map(attestation => new BlockAttestation(block.block.number, payload, attestation.signature));
 }

package/src/contract/contract_instance.ts

@@ -100,12 +100,12 @@ export class SerializableContractInstance {
 }
 
 /**
- * Generates a Contract Instance from the deployment params.
+ * Generates a Contract Instance from some instantiation params.
  * @param artifact - The account contract build artifact.
- * @param opts - Options for the deployment.
+ * @param opts - Options for the contract's instantiation.
  * @returns - The contract instance
  */
-export async function getContractInstanceFromDeployParams(
+export async function getContractInstanceFromInstantiationParams(
   artifact: ContractArtifact,
   opts: {
     constructorArtifact?: FunctionAbi | string;