@aztec/stdlib 3.0.0-nightly.20250917 → 3.0.0-nightly.20250919

package/src/tx/block_header.ts

@@ -10,9 +10,7 @@ import { inspect } from 'util';
 import { z } from 'zod';
 
 import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
-import { ContentCommitment } from './content_commitment.js';
 import { GlobalVariables } from './global_variables.js';
-import { ProposedBlockHeader } from './proposed_block_header.js';
 import { StateReference } from './state_reference.js';
 
 /** A header of an L2 block. */
@@ -20,10 +18,13 @@ export class BlockHeader {
   constructor(
     /** Snapshot of archive before the block is applied. */
     public lastArchive: AppendOnlyTreeSnapshot,
-    /** Hash of the body of an L2 block. */
-    public contentCommitment: ContentCommitment,
     /** State reference. */
     public state: StateReference,
+    /**
+     * Hash of the sponge blob after the tx effects of this block has been applied.
+     * May contain tx effects from the previous blocks in the same checkpoint.
+     */
+    public spongeBlobHash: Fr,
     /** Global variables of an L2 block. */
     public globalVariables: GlobalVariables,
     /** Total fees in the block, computed by the root rollup circuit */
@@ -36,8 +37,8 @@ export class BlockHeader {
     return z
       .object({
         lastArchive: AppendOnlyTreeSnapshot.schema,
-        contentCommitment: ContentCommitment.schema,
         state: StateReference.schema,
+        spongeBlobHash: schemas.Fr,
         globalVariables: GlobalVariables.schema,
         totalFees: schemas.Fr,
         totalManaUsed: schemas.Fr,
@@ -46,11 +47,10 @@ export class BlockHeader {
   }
 
   static getFields(fields: FieldsOf<BlockHeader>) {
-    // Note: The order here must match the order in the ProposedHeaderLib solidity library.
     return [
       fields.lastArchive,
-      fields.contentCommitment,
       fields.state,
+      fields.spongeBlobHash,
       fields.globalVariables,
       fields.totalFees,
       fields.totalManaUsed,
@@ -72,8 +72,8 @@ export class BlockHeader {
   getSize() {
     return (
       this.lastArchive.getSize() +
-      this.contentCommitment.getSize() +
       this.state.getSize() +
+      this.spongeBlobHash.size +
       this.globalVariables.getSize() +
       this.totalFees.size +
       this.totalManaUsed.size
@@ -101,8 +101,8 @@ export class BlockHeader {
 
     return new BlockHeader(
       reader.readObject(AppendOnlyTreeSnapshot),
-      reader.readObject(ContentCommitment),
       reader.readObject(StateReference),
+      reader.readObject(Fr),
       reader.readObject(GlobalVariables),
       reader.readObject(Fr),
       reader.readObject(Fr),
@@ -114,8 +114,8 @@ export class BlockHeader {
 
     return new BlockHeader(
       AppendOnlyTreeSnapshot.fromFields(reader),
-      ContentCommitment.fromFields(reader),
       StateReference.fromFields(reader),
+      reader.readField(),
       GlobalVariables.fromFields(reader),
       reader.readField(),
       reader.readField(),
@@ -125,8 +125,8 @@ export class BlockHeader {
   static empty(fields: Partial<FieldsOf<BlockHeader>> = {}): BlockHeader {
     return BlockHeader.from({
       lastArchive: AppendOnlyTreeSnapshot.empty(),
-      contentCommitment: ContentCommitment.empty(),
       state: StateReference.empty(),
+      spongeBlobHash: Fr.ZERO,
       globalVariables: GlobalVariables.empty(),
       totalFees: Fr.ZERO,
       totalManaUsed: Fr.ZERO,
@@ -137,8 +137,8 @@ export class BlockHeader {
   isEmpty(): boolean {
     return (
       this.lastArchive.isEmpty() &&
-      this.contentCommitment.isEmpty() &&
       this.state.isEmpty() &&
+      this.spongeBlobHash.isZero() &&
       this.globalVariables.isEmpty() &&
       this.totalFees.isZero() &&
       this.totalManaUsed.isZero()
@@ -161,24 +161,11 @@ export class BlockHeader {
     return poseidon2HashWithSeparator(this.toFields(), GeneratorIndex.BLOCK_HASH);
   }
 
-  toPropose(): ProposedBlockHeader {
-    return new ProposedBlockHeader(
-      this.lastArchive.root,
-      this.contentCommitment,
-      this.globalVariables.slotNumber,
-      this.globalVariables.timestamp,
-      this.globalVariables.coinbase,
-      this.globalVariables.feeRecipient,
-      this.globalVariables.gasFees,
-      this.totalManaUsed,
-    );
-  }
-
   toInspect() {
     return {
       lastArchive: this.lastArchive.root.toString(),
-      contentCommitment: this.contentCommitment.toInspect(),
       state: this.state.toInspect(),
+      spongeBlobHash: this.spongeBlobHash.toBigInt(),
       globalVariables: this.globalVariables.toInspect(),
       totalFees: this.totalFees.toBigInt(),
       totalManaUsed: this.totalManaUsed.toBigInt(),
@@ -188,13 +175,11 @@ export class BlockHeader {
   [inspect.custom]() {
     return `Header {
   lastArchive: ${inspect(this.lastArchive)},
-  contentCommitment.blobsHash: ${inspect(this.contentCommitment.blobsHash)},
-  contentCommitment.inHash: ${inspect(this.contentCommitment.inHash)},
-  contentCommitment.outHash: ${inspect(this.contentCommitment.outHash)},
   state.l1ToL2MessageTree: ${inspect(this.state.l1ToL2MessageTree)},
   state.noteHashTree: ${inspect(this.state.partial.noteHashTree)},
   state.nullifierTree: ${inspect(this.state.partial.nullifierTree)},
   state.publicDataTree: ${inspect(this.state.partial.publicDataTree)},
+  spongeBlobHash: ${this.spongeBlobHash},
   globalVariables: ${inspect(this.globalVariables)},
   totalFees: ${this.totalFees},
   totalManaUsed: ${this.totalManaUsed},
@@ -203,12 +188,12 @@ export class BlockHeader {
 
   public equals(other: this): boolean {
     return (
-      this.contentCommitment.equals(other.contentCommitment) &&
+      this.lastArchive.equals(other.lastArchive) &&
       this.state.equals(other.state) &&
+      this.spongeBlobHash.equals(other.spongeBlobHash) &&
       this.globalVariables.equals(other.globalVariables) &&
       this.totalFees.equals(other.totalFees) &&
-      this.totalManaUsed.equals(other.totalManaUsed) &&
-      this.lastArchive.equals(other.lastArchive)
+      this.totalManaUsed.equals(other.totalManaUsed)
     );
   }
 }

package/src/tx/global_variables.ts

@@ -109,7 +109,6 @@ export class GlobalVariables {
   }
 
   static getFields(fields: FieldsOf<GlobalVariables>) {
-    // Note: The order here must match the order in the ProposedHeaderLib solidity library.
     return [
       fields.chainId,
       fields.version,

package/src/tx/index.ts

@@ -10,7 +10,6 @@ export * from './tx_constant_data.js';
 export * from './tx_context.js';
 export * from './tx_request.js';
 export * from './private_execution_result.js';
-export * from './proposed_block_header.js';
 export * from './public_call_request_with_calldata.js';
 export * from './tx_hash.js';
 export * from './tx_receipt.js';

package/src/tx/private_execution_result.ts

@@ -103,10 +103,10 @@ export class PrivateExecutionResult {
   }
 
   /**
-   * The block number that this execution was simulated with.
+   * The anchor block number that this execution was simulated with.
    */
-  getSimulationBlockNumber(): UInt32 {
-    return this.entrypoint.publicInputs.historicalHeader.globalVariables.blockNumber;
+  getSimulationAnchorBlockNumber(): UInt32 {
+    return this.entrypoint.publicInputs.anchorBlockHeader.globalVariables.blockNumber;
   }
 }
 

package/src/tx/tx_constant_data.ts

@@ -12,12 +12,12 @@ import { TxContext } from './tx_context.js';
 export class TxConstantData {
   constructor(
     /** Header of a block whose state is used during execution (not the block the transaction is included in). */
-    public historicalHeader: BlockHeader,
+    public anchorBlockHeader: BlockHeader,
     /**
      * Context of the transaction.
      *
      * Note: `chainId` and `version` in txContext are not redundant to the values in
-     * self.historical_header.global_variables because they can be different in case of a protocol upgrade. In such
+     * self.anchor_block_header.global_variables because they can be different in case of a protocol upgrade. In such
      * a situation we could be using header from a block before the upgrade took place but be using the updated
      * protocol to execute and prove the transaction.
      */
@@ -37,7 +37,7 @@ export class TxConstantData {
   }
 
   static getFields(fields: FieldsOf<TxConstantData>) {
-    return [fields.historicalHeader, fields.txContext, fields.vkTreeRoot, fields.protocolContractTreeRoot] as const;
+    return [fields.anchorBlockHeader, fields.txContext, fields.vkTreeRoot, fields.protocolContractTreeRoot] as const;
   }
 
   static fromFields(fields: Fr[] | FieldReader): TxConstantData {
@@ -80,7 +80,7 @@ export class TxConstantData {
 
   getSize() {
     return (
-      this.historicalHeader.getSize() +
+      this.anchorBlockHeader.getSize() +
       this.txContext.getSize() +
       this.vkTreeRoot.size +
       this.protocolContractTreeRoot.size

package/src/tx/tx_effect.ts

@@ -1,3 +1,4 @@
+import { TX_EFFECT_PREFIX_BYTE_LENGTH, TX_START_PREFIX_BYTES_LENGTH } from '@aztec/blob-lib/encoding';
 import {
   CONTRACT_CLASS_LOGS_PREFIX,
   L2_L1_MSGS_PREFIX,
@@ -14,6 +15,7 @@ import {
   PUBLIC_LOGS_PREFIX,
   REVERT_CODE_PREFIX,
   TX_FEE_PREFIX,
+  TX_START_PREFIX,
 } from '@aztec/constants';
 import { type FieldsOf, makeTuple, makeTupleAsync } from '@aztec/foundation/array';
 import { toBufferBE } from '@aztec/foundation/bigint-buffer';
@@ -38,13 +40,6 @@ import { PrivateLog } from '../logs/private_log.js';
 import { PublicLog } from '../logs/public_log.js';
 import { TxHash } from './tx_hash.js';
 
-// This will appear as 0x74785f7374617274 in logs
-export const TX_START_PREFIX = 8392562855083340404n;
-// These are helper constants to decode tx effects from blob encoded fields
-export const TX_START_PREFIX_BYTES_LENGTH = TX_START_PREFIX.toString(16).length / 2;
-// 7 bytes for: | 0 | txlen[0] | txlen[1] | 0 | REVERT_CODE_PREFIX | 0 | revertCode |
-export const TX_EFFECT_PREFIX_BYTE_LENGTH = TX_START_PREFIX_BYTES_LENGTH + 7;
-
 export class TxEffect {
   constructor(
     /**

package/dest/parity/base_parity_inputs.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"base_parity_inputs.d.ts","sourceRoot":"","sources":["../../src/parity/base_parity_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,mCAAmC,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AACtG,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAG1F,qBAAa,gBAAgB;IAEzB,6DAA6D;aAC7C,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAChE,0BAA0B;aACV,UAAU,EAAE,EAAE;;IAH9B,6DAA6D;IAC7C,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAChE,0BAA0B;IACV,UAAU,EAAE,EAAE;WAGlB,SAAS,CACrB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,mCAAmC,CAAC,EAC5D,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,EAAE,GACb,gBAAgB;IAOnB,yCAAyC;IACzC,QAAQ;IAIR,6CAA6C;IAC7C,QAAQ;IAIR;;;OAGG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,yDAEhB;CACF"}

package/dest/parity/root_parity_input.d.ts

@@ -1,52 +0,0 @@
-import { VK_TREE_HEIGHT } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
-import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
-import type { FieldsOf } from '@aztec/foundation/types';
-import { RecursiveProof } from '../proofs/recursive_proof.js';
-import { VerificationKeyAsFields } from '../vks/verification_key.js';
-import { ParityPublicInputs } from './parity_public_inputs.js';
-export declare class RootParityInput<PROOF_LENGTH extends number> {
-    /** The proof of the execution of the parity circuit. */
-    readonly proof: RecursiveProof<PROOF_LENGTH>;
-    /** The circuit's verification key */
-    readonly verificationKey: VerificationKeyAsFields;
-    /** The vk path in the vk tree*/
-    readonly vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>;
-    /** The public inputs of the parity circuit. */
-    readonly publicInputs: ParityPublicInputs;
-    constructor(
-    /** The proof of the execution of the parity circuit. */
-    proof: RecursiveProof<PROOF_LENGTH>, 
-    /** The circuit's verification key */
-    verificationKey: VerificationKeyAsFields, 
-    /** The vk path in the vk tree*/
-    vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>, 
-    /** The public inputs of the parity circuit. */
-    publicInputs: ParityPublicInputs);
-    toBuffer(): Buffer<ArrayBufferLike>;
-    toString(): `0x${string}`;
-    static from<PROOF_LENGTH extends number>(fields: FieldsOf<RootParityInput<PROOF_LENGTH>>): RootParityInput<PROOF_LENGTH>;
-    static getFields<PROOF_LENGTH extends number>(fields: FieldsOf<RootParityInput<PROOF_LENGTH>>): readonly [RecursiveProof<PROOF_LENGTH>, VerificationKeyAsFields, [Fr, Fr, Fr, Fr, Fr, Fr], ParityPublicInputs];
-    static fromBuffer<PROOF_LENGTH extends number>(buffer: Buffer | BufferReader, expectedSize?: PROOF_LENGTH): RootParityInput<PROOF_LENGTH>;
-    static fromString<PROOF_LENGTH extends number>(str: string, expectedSize?: PROOF_LENGTH): RootParityInput<PROOF_LENGTH>;
-    /** Returns a hex representation for JSON serialization. */
-    toJSON(): Buffer<ArrayBufferLike>;
-    /** Creates an instance from a hex string with expected size. */
-    static schemaFor<N extends number>(expectedSize?: N): import("zod").ZodEffects<import("zod").ZodUnion<[import("zod").ZodEffects<import("zod").ZodEffects<import("zod").ZodString, string, string>, Buffer<ArrayBuffer>, string>, import("zod").ZodEffects<import("zod").ZodObject<{
-        type: import("zod").ZodLiteral<"Buffer">;
-        data: import("zod").ZodArray<import("zod").ZodNumber, "many">;
-    }, "strip", import("zod").ZodTypeAny, {
-        type: "Buffer";
-        data: number[];
-    }, {
-        type: "Buffer";
-        data: number[];
-    }>, Buffer<ArrayBuffer>, {
-        type: "Buffer";
-        data: number[];
-    }>]>, RootParityInput<N>, string | {
-        type: "Buffer";
-        data: number[];
-    }>;
-}
-//# sourceMappingURL=root_parity_input.d.ts.map

package/dest/parity/root_parity_input.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"root_parity_input.d.ts","sourceRoot":"","sources":["../../src/parity/root_parity_input.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,qBAAa,eAAe,CAAC,YAAY,SAAS,MAAM;IAEpD,wDAAwD;aACxC,KAAK,EAAE,cAAc,CAAC,YAAY,CAAC;IACnD,qCAAqC;aACrB,eAAe,EAAE,uBAAuB;IACxD,gCAAgC;aAChB,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACxD,+CAA+C;aAC/B,YAAY,EAAE,kBAAkB;;IAPhD,wDAAwD;IACxC,KAAK,EAAE,cAAc,CAAC,YAAY,CAAC;IACnD,qCAAqC;IACrB,eAAe,EAAE,uBAAuB;IACxD,gCAAgC;IAChB,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACxD,+CAA+C;IAC/B,YAAY,EAAE,kBAAkB;IAGlD,QAAQ;IAIR,QAAQ;IAIR,MAAM,CAAC,IAAI,CAAC,YAAY,SAAS,MAAM,EACrC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,GAC9C,eAAe,CAAC,YAAY,CAAC;IAIhC,MAAM,CAAC,SAAS,CAAC,YAAY,SAAS,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC;IAI7F,MAAM,CAAC,UAAU,CAAC,YAAY,SAAS,MAAM,EAC3C,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,YAAY,CAAC,EAAE,YAAY,GAC1B,eAAe,CAAC,YAAY,CAAC;IAUhC,MAAM,CAAC,UAAU,CAAC,YAAY,SAAS,MAAM,EAC3C,GAAG,EAAE,MAAM,EACX,YAAY,CAAC,EAAE,YAAY,GAC1B,eAAe,CAAC,YAAY,CAAC;IAIhC,2DAA2D;IAC3D,MAAM;IAIN,gEAAgE;IAChE,MAAM,CAAC,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC;;;;;;;;;;;;;;;;CAGpD"}

package/dest/parity/root_parity_input.js

@@ -1,50 +0,0 @@
-import { VK_TREE_HEIGHT } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
-import { schemas } from '@aztec/foundation/schemas';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
-import { RecursiveProof } from '../proofs/recursive_proof.js';
-import { VerificationKeyAsFields } from '../vks/verification_key.js';
-import { ParityPublicInputs } from './parity_public_inputs.js';
-export class RootParityInput {
-    proof;
-    verificationKey;
-    vkPath;
-    publicInputs;
-    constructor(/** The proof of the execution of the parity circuit. */ proof, /** The circuit's verification key */ verificationKey, /** The vk path in the vk tree*/ vkPath, /** The public inputs of the parity circuit. */ publicInputs){
-        this.proof = proof;
-        this.verificationKey = verificationKey;
-        this.vkPath = vkPath;
-        this.publicInputs = publicInputs;
-    }
-    toBuffer() {
-        return serializeToBuffer(...RootParityInput.getFields(this));
-    }
-    toString() {
-        return bufferToHex(this.toBuffer());
-    }
-    static from(fields) {
-        return new RootParityInput(...RootParityInput.getFields(fields));
-    }
-    static getFields(fields) {
-        return [
-            fields.proof,
-            fields.verificationKey,
-            fields.vkPath,
-            fields.publicInputs
-        ];
-    }
-    static fromBuffer(buffer, expectedSize) {
-        const reader = BufferReader.asReader(buffer);
-        return new RootParityInput(RecursiveProof.fromBuffer(reader, expectedSize), reader.readObject(VerificationKeyAsFields), reader.readArray(VK_TREE_HEIGHT, Fr), reader.readObject(ParityPublicInputs));
-    }
-    static fromString(str, expectedSize) {
-        return RootParityInput.fromBuffer(hexToBuffer(str), expectedSize);
-    }
-    /** Returns a hex representation for JSON serialization. */ toJSON() {
-        return this.toBuffer();
-    }
-    /** Creates an instance from a hex string with expected size. */ static schemaFor(expectedSize) {
-        return schemas.Buffer.transform((buf)=>RootParityInput.fromBuffer(buf, expectedSize));
-    }
-}

package/dest/parity/root_parity_inputs.d.ts

@@ -1,37 +0,0 @@
-import { NUM_BASE_PARITY_PER_ROOT_PARITY, RECURSIVE_PROOF_LENGTH } from '@aztec/constants';
-import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
-import { RootParityInput } from './root_parity_input.js';
-export declare class RootParityInputs {
-    /** Public inputs of children and their proofs. */
-    readonly children: Tuple<RootParityInput<typeof RECURSIVE_PROOF_LENGTH>, typeof NUM_BASE_PARITY_PER_ROOT_PARITY>;
-    constructor(
-    /** Public inputs of children and their proofs. */
-    children: Tuple<RootParityInput<typeof RECURSIVE_PROOF_LENGTH>, typeof NUM_BASE_PARITY_PER_ROOT_PARITY>);
-    /**
-     * Serializes the inputs to a buffer.
-     * @returns The inputs serialized to a buffer.
-     */
-    toBuffer(): Buffer<ArrayBufferLike>;
-    /**
-     * Serializes the inputs to a hex string.
-     * @returns The instance serialized to a hex string.
-     */
-    toString(): `0x${string}`;
-    /**
-     * Deserializes the inputs from a buffer.
-     * @param buffer - The buffer to deserialize from.
-     * @returns A new RootParityInputs instance.
-     */
-    static fromBuffer(buffer: Buffer | BufferReader): RootParityInputs;
-    /**
-     * Deserializes the inputs from a hex string.
-     * @param str - A hex string to deserialize from.
-     * @returns A new RootParityInputs instance.
-     */
-    static fromString(str: string): RootParityInputs;
-    /** Returns a buffer representation for JSON serialization. */
-    toJSON(): Buffer<ArrayBufferLike>;
-    /** Creates an instance from a hex string. */
-    static get schema(): import("zod").ZodType<RootParityInputs, any, string>;
-}
-//# sourceMappingURL=root_parity_inputs.d.ts.map

package/dest/parity/root_parity_inputs.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"root_parity_inputs.d.ts","sourceRoot":"","sources":["../../src/parity/root_parity_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,+BAA+B,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAE3F,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAG1F,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,qBAAa,gBAAgB;IAEzB,kDAAkD;aAClC,QAAQ,EAAE,KAAK,CAC7B,eAAe,CAAC,OAAO,sBAAsB,CAAC,EAC9C,OAAO,+BAA+B,CACvC;;IAJD,kDAAkD;IAClC,QAAQ,EAAE,KAAK,CAC7B,eAAe,CAAC,OAAO,sBAAsB,CAAC,EAC9C,OAAO,+BAA+B,CACvC;IAGH;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAU/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,yDAEhB;CACF"}

package/dest/rollup/base_or_merge_rollup_public_inputs.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"base_or_merge_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/base_or_merge_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,6BAA6B;IAEtC;;OAEG;IACI,MAAM,EAAE,MAAM;IACrB;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,GAAG,EAAE,qBAAqB;IACjC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;;IApC9B;;OAEG;IACI,MAAM,EAAE,MAAM;IACrB;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,GAAG,EAAE,qBAAqB;IACjC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;IAGhC,iCAAiC;IACjC,MAAM,CAAC,KAAK;IAcZ;;;;;OAKG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,6BAA6B;IAe/E;;;OAGG;IACH,QAAQ;IAkBR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,sEAEhB;CACF"}

package/dest/rollup/block_merge_rollup.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"block_merge_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/block_merge_rollup.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE1E;;GAEG;AACH,qBAAa,sBAAsB;IAE/B;;OAEG;IACI,kBAAkB,EAAE,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;;IAH7E;;OAEG;IACI,kBAAkB,EAAE,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;IAG/E;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,2DAA2D;IAC3D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,+DAEhB;CACF"}

package/dest/rollup/block_root_or_block_merge_public_inputs.d.ts

@@ -1,134 +0,0 @@
-import { BlockBlobPublicInputs } from '@aztec/blob-lib';
-import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
-import { EthAddress } from '@aztec/foundation/eth-address';
-import { Fr } from '@aztec/foundation/fields';
-import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
-import type { FieldsOf } from '@aztec/foundation/types';
-import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
-import { GlobalVariables } from '../tx/global_variables.js';
-import { EpochConstantData } from './epoch_constant_data.js';
-/**
- * Output of the block root and block merge rollup circuits.
- */
-export declare class BlockRootOrBlockMergePublicInputs {
-    /**
-     * Constants for the entire epoch.
-     */
-    constants: EpochConstantData;
-    /**
-     * Archive tree immediately before this block range.
-     */
-    previousArchive: AppendOnlyTreeSnapshot;
-    /**
-     * Archive tree after adding this block range.
-     */
-    newArchive: AppendOnlyTreeSnapshot;
-    /**
-     * Global variables for the first block in the range.
-     */
-    startGlobalVariables: GlobalVariables;
-    /**
-     * Global variables for the last block in the range.
-     */
-    endGlobalVariables: GlobalVariables;
-    /**
-     * SHA256 hash of L2 to L1 messages. Used to make public inputs constant-sized (to then be opened onchain).
-     * Note: Truncated to 31 bytes to fit in Fr.
-     */
-    outHash: Fr;
-    /**
-     * The hashes of the proposed block headers of the constituent blocks.
-     */
-    proposedBlockHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>;
-    /**
-     * The summed `transaction_fee`s and recipients of the constituent blocks.
-     */
-    fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>;
-    /**
-     * Public inputs required to verify a batch of blobs.
-     */
-    blobPublicInputs: BlockBlobPublicInputs;
-    constructor(
-    /**
-     * Constants for the entire epoch.
-     */
-    constants: EpochConstantData, 
-    /**
-     * Archive tree immediately before this block range.
-     */
-    previousArchive: AppendOnlyTreeSnapshot, 
-    /**
-     * Archive tree after adding this block range.
-     */
-    newArchive: AppendOnlyTreeSnapshot, 
-    /**
-     * Global variables for the first block in the range.
-     */
-    startGlobalVariables: GlobalVariables, 
-    /**
-     * Global variables for the last block in the range.
-     */
-    endGlobalVariables: GlobalVariables, 
-    /**
-     * SHA256 hash of L2 to L1 messages. Used to make public inputs constant-sized (to then be opened onchain).
-     * Note: Truncated to 31 bytes to fit in Fr.
-     */
-    outHash: Fr, 
-    /**
-     * The hashes of the proposed block headers of the constituent blocks.
-     */
-    proposedBlockHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>, 
-    /**
-     * The summed `transaction_fee`s and recipients of the constituent blocks.
-     */
-    fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>, 
-    /**
-     * Public inputs required to verify a batch of blobs.
-     */
-    blobPublicInputs: BlockBlobPublicInputs);
-    /**
-     * Deserializes from a buffer or reader.
-     * @param buffer - Buffer or reader to read from.
-     * @returns The deserialized public inputs.
-     */
-    static fromBuffer(buffer: Buffer | BufferReader): BlockRootOrBlockMergePublicInputs;
-    /**
-     * Serialize this as a buffer.
-     * @returns The buffer.
-     */
-    toBuffer(): Buffer<ArrayBufferLike>;
-    /**
-     * Serialize this as a hex string.
-     * @returns - The hex string.
-     */
-    toString(): `0x${string}`;
-    /**
-     * Deserializes from a hex string.
-     * @param str - A hex string to deserialize from.
-     * @returns A new BaseOrMergeRollupPublicInputs instance.
-     */
-    static fromString(str: string): BlockRootOrBlockMergePublicInputs;
-    /** Returns a buffer representation for JSON serialization. */
-    toJSON(): Buffer<ArrayBufferLike>;
-    /** Creates an instance from a hex string. */
-    static get schema(): import("zod").ZodType<BlockRootOrBlockMergePublicInputs, any, string>;
-}
-export declare class FeeRecipient {
-    recipient: EthAddress;
-    value: Fr;
-    constructor(recipient: EthAddress, value: Fr);
-    static fromBuffer(buffer: Buffer | BufferReader): FeeRecipient;
-    toBuffer(): Buffer<ArrayBufferLike>;
-    static getFields(fields: FieldsOf<FeeRecipient>): readonly [EthAddress, Fr];
-    toFields(): Fr[];
-    isEmpty(): boolean;
-    toFriendlyJSON(): {
-        recipient?: undefined;
-        value?: undefined;
-    } | {
-        recipient: `0x${string}`;
-        value: `0x${string}`;
-    };
-    static random(): FeeRecipient;
-}
-//# sourceMappingURL=block_root_or_block_merge_public_inputs.d.ts.map

package/dest/rollup/block_root_or_block_merge_public_inputs.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"block_root_or_block_merge_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/block_root_or_block_merge_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,iCAAiC;IAE1C;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,yBAAyB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAC5E;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACjE;;OAEG;IACI,gBAAgB,EAAE,qBAAqB;;IApC9C;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,yBAAyB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAC5E;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACjE;;OAEG;IACI,gBAAgB,EAAE,qBAAqB;IAGhD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iCAAiC;IAenF;;;OAGG;IACH,QAAQ;IAcR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,0EAEhB;CACF;AAED,qBAAa,YAAY;IAEd,SAAS,EAAE,UAAU;IACrB,KAAK,EAAE,EAAE;gBADT,SAAS,EAAE,UAAU,EACrB,KAAK,EAAE,EAAE;IAGlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY;IAK9D,QAAQ;IAIR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC;IAI/C,QAAQ;IAIR,OAAO;IAIP,cAAc;;;;;;;IAOd,MAAM,CAAC,MAAM;CAGd"}