@aztec/stdlib 1.0.0-nightly.20250708 → 1.0.0-staging.0

package/dest/kernel/private_kernel_tail_circuit_private_inputs.js

@@ -1,31 +1,28 @@
-import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { PaddedSideEffectAmounts } from './padded_side_effects.js';
 import { PrivateKernelData } from './private_kernel_data.js';
+import { countAccumulatedItems } from './utils/order_and_comparison.js';
 /**
  * Input to the private kernel circuit - tail call.
  */ export class PrivateKernelTailCircuitPrivateInputs {
     previousKernel;
     paddedSideEffectAmounts;
-    includeByTimestampUpperBound;
     constructor(/**
      * The previous kernel data
      */ previousKernel, /**
      * The number of the padded side effects.
-     */ paddedSideEffectAmounts, /**
-     * The timestamp by which the transaction must be included in a block.
-     */ includeByTimestampUpperBound){
+     */ paddedSideEffectAmounts){
         this.previousKernel = previousKernel;
         this.paddedSideEffectAmounts = paddedSideEffectAmounts;
-        this.includeByTimestampUpperBound = includeByTimestampUpperBound;
     }
     isForPublic() {
-        return this.previousKernel.publicInputs.end.publicCallRequests.claimedLength > 0 || !this.previousKernel.publicInputs.publicTeardownCallRequest.isEmpty();
+        return countAccumulatedItems(this.previousKernel.publicInputs.end.publicCallRequests) > 0 || !this.previousKernel.publicInputs.publicTeardownCallRequest.isEmpty();
     }
     /**
    * Serialize this as a buffer.
    * @returns The buffer.
    */ toBuffer() {
-        return serializeToBuffer(this.previousKernel, this.paddedSideEffectAmounts, bigintToUInt64BE(this.includeByTimestampUpperBound));
+        return serializeToBuffer(this.previousKernel, this.paddedSideEffectAmounts);
     }
     /**
    * Deserializes from a buffer or reader.
@@ -33,6 +30,6 @@ import { PrivateKernelData } from './private_kernel_data.js';
    * @returns The deserialized instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PrivateKernelTailCircuitPrivateInputs(reader.readObject(PrivateKernelData), reader.readObject(PaddedSideEffectAmounts), reader.readUInt64());
+        return new PrivateKernelTailCircuitPrivateInputs(reader.readObject(PrivateKernelData), reader.readObject(PaddedSideEffectAmounts));
     }
 }

package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts

@@ -4,7 +4,7 @@ import { AztecAddress } from '../aztec-address/index.js';
 import { Gas } from '../gas/gas.js';
 import type { PrivateLog } from '../logs/index.js';
 import { TxConstantData } from '../tx/tx_constant_data.js';
-import type { UInt64 } from '../types/shared.js';
+import { RollupValidationRequests } from './hints/rollup_validation_requests.js';
 import type { ScopedLogHash } from './log_hash.js';
 import { PrivateToPublicAccumulatedData } from './private_to_public_accumulated_data.js';
 import { PrivateToPublicKernelCircuitPublicInputs } from './private_to_public_kernel_circuit_public_inputs.js';
@@ -58,6 +58,7 @@ export declare class PrivateKernelTailCircuitPublicInputs {
      * Data which is not modified by the circuits.
      */
     constants: TxConstantData;
+    rollupValidationRequests: RollupValidationRequests;
     /**
      * The accumulated gas used after private execution.
      * If the tx has a teardown call request, the teardown gas limits will also be included.
@@ -67,17 +68,13 @@ export declare class PrivateKernelTailCircuitPublicInputs {
      * The address of the fee payer for the transaction.
      */
     feePayer: AztecAddress;
-    /**
-     * The timestamp by which the transaction must be included in a block.
-     */
-    includeByTimestamp: UInt64;
     forPublic?: PartialPrivateTailPublicInputsForPublic | undefined;
     forRollup?: PartialPrivateTailPublicInputsForRollup | undefined;
     constructor(
     /**
      * Data which is not modified by the circuits.
      */
-    constants: TxConstantData, 
+    constants: TxConstantData, rollupValidationRequests: RollupValidationRequests, 
     /**
      * The accumulated gas used after private execution.
      * If the tx has a teardown call request, the teardown gas limits will also be included.
@@ -86,11 +83,7 @@ export declare class PrivateKernelTailCircuitPublicInputs {
     /**
      * The address of the fee payer for the transaction.
      */
-    feePayer: AztecAddress, 
-    /**
-     * The timestamp by which the transaction must be included in a block.
-     */
-    includeByTimestamp: UInt64, forPublic?: PartialPrivateTailPublicInputsForPublic | undefined, forRollup?: PartialPrivateTailPublicInputsForRollup | undefined);
+    feePayer: AztecAddress, forPublic?: PartialPrivateTailPublicInputsForPublic | undefined, forRollup?: PartialPrivateTailPublicInputsForRollup | undefined);
     static get schema(): import("zod").ZodType<PrivateKernelTailCircuitPublicInputs, any, string>;
     toJSON(): Buffer<ArrayBufferLike>;
     getSize(): number;

package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"private_kernel_tail_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_tail_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAEhG,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAC/G,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAC/G,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D,qBAAa,uCAAuC;IAEhD;;OAEG;IACI,4BAA4B,EAAE,8BAA8B;IACnE;;OAEG;IACI,yBAAyB,EAAE,8BAA8B;IAChE;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;;IAXnD;;OAEG;IACI,4BAA4B,EAAE,8BAA8B;IACnE;;OAEG;IACI,yBAAyB,EAAE,8BAA8B;IAChE;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IAGrD,OAAO;IAQP,IAAI,UAAU,YAEb;IAED,IAAI,aAAa,YAEhB;IAED,IAAI,aAAa,YAEhB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uCAAuC;IASzF,QAAQ;IAQR,MAAM,CAAC,KAAK;CAOb;AAED,qBAAa,uCAAuC;IAC/B,GAAG,EAAE,8BAA8B;gBAAnC,GAAG,EAAE,8BAA8B;IAEtD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uCAAuC;IAKzF,OAAO;IAIP,QAAQ;IAIR,MAAM,CAAC,KAAK;CAGb;AAED,qBAAa,oCAAoC;IAE7C;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;;OAGG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IAE1B,SAAS,CAAC,EAAE,uCAAuC;IACnD,SAAS,CAAC,EAAE,uCAAuC;;IAnB1D;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;;OAGG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,kBAAkB,EAAE,MAAM,EAE1B,SAAS,CAAC,EAAE,uCAAuC,YAAA,EACnD,SAAS,CAAC,EAAE,uCAAuC,YAAA;IAY5D,MAAM,KAAK,MAAM,6EAEhB;IAED,MAAM;IAIN,OAAO;IAWP,0CAA0C;IAe1C,0CAA0C;IAmB1C,0BAA0B;IAQ1B,uCAAuC;IAIvC,oCAAoC;IAIpC,4BAA4B;IAI5B,kCAAkC;IAMlC,+BAA+B;IAI/B,4BAA4B;IAK5B,qBAAqB;IASrB,qBAAqB;IASrB,sBAAsB;IAStB,kCAAkC;IASlC,iCAAiC;IASjC,2BAA2B;IAQ3B,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oCAAoC;IAatF,QAAQ;IAYR,MAAM,CAAC,KAAK;IAWZ;;;;OAIG;IACH,MAAM,CAAC,kBAAkB;CAY1B"}
+{"version":3,"file":"private_kernel_tail_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_tail_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAC/G,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAC/G,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D,qBAAa,uCAAuC;IAEhD;;OAEG;IACI,4BAA4B,EAAE,8BAA8B;IACnE;;OAEG;IACI,yBAAyB,EAAE,8BAA8B;IAChE;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;;IAXnD;;OAEG;IACI,4BAA4B,EAAE,8BAA8B;IACnE;;OAEG;IACI,yBAAyB,EAAE,8BAA8B;IAChE;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IAGrD,OAAO;IAQP,IAAI,UAAU,YAEb;IAED,IAAI,aAAa,YAEhB;IAED,IAAI,aAAa,YAEhB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uCAAuC;IASzF,QAAQ;IAQR,MAAM,CAAC,KAAK;CAOb;AAED,qBAAa,uCAAuC;IAC/B,GAAG,EAAE,8BAA8B;gBAAnC,GAAG,EAAE,8BAA8B;IAEtD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uCAAuC;IAKzF,OAAO;IAIP,QAAQ;IAIR,MAAM,CAAC,KAAK;CAGb;AAED,qBAAa,oCAAoC;IAE7C;;OAEG;IACI,SAAS,EAAE,cAAc;IACzB,wBAAwB,EAAE,wBAAwB;IACzD;;;OAGG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAEtB,SAAS,CAAC,EAAE,uCAAuC;IACnD,SAAS,CAAC,EAAE,uCAAuC;;IAhB1D;;OAEG;IACI,SAAS,EAAE,cAAc,EACzB,wBAAwB,EAAE,wBAAwB;IACzD;;;OAGG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY,EAEtB,SAAS,CAAC,EAAE,uCAAuC,YAAA,EACnD,SAAS,CAAC,EAAE,uCAAuC,YAAA;IAY5D,MAAM,KAAK,MAAM,6EAEhB;IAED,MAAM;IAIN,OAAO;IAUP,0CAA0C;IAe1C,0CAA0C;IAmB1C,0BAA0B;IAQ1B,uCAAuC;IAIvC,oCAAoC;IAIpC,4BAA4B;IAI5B,kCAAkC;IAMlC,+BAA+B;IAI/B,4BAA4B;IAK5B,qBAAqB;IAUrB,qBAAqB;IAUrB,sBAAsB;IAUtB,kCAAkC;IAUlC,iCAAiC;IASjC,2BAA2B;IAQ3B,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oCAAoC;IAatF,QAAQ;IAYR,MAAM,CAAC,KAAK;IAWZ;;;;OAIG;IACH,MAAM,CAAC,kBAAkB;CAY1B"}

package/dest/kernel/private_kernel_tail_circuit_public_inputs.js

@@ -1,15 +1,16 @@
 import { Fr } from '@aztec/foundation/fields';
 import { bufferSchemaFor } from '@aztec/foundation/schemas';
-import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { AztecAddress } from '../aztec-address/index.js';
 import { Gas } from '../gas/gas.js';
 import { TxConstantData } from '../tx/tx_constant_data.js';
+import { RollupValidationRequests } from './hints/rollup_validation_requests.js';
 import { PrivateToPublicAccumulatedData } from './private_to_public_accumulated_data.js';
 import { PrivateToPublicKernelCircuitPublicInputs } from './private_to_public_kernel_circuit_public_inputs.js';
 import { PrivateToRollupAccumulatedData } from './private_to_rollup_accumulated_data.js';
 import { PrivateToRollupKernelCircuitPublicInputs } from './private_to_rollup_kernel_circuit_public_inputs.js';
 import { PublicCallRequest } from './public_call_request.js';
-import { countAccumulatedItems } from './utils/order_and_comparison.js';
+import { countAccumulatedItems, mergeAccumulatedData } from './utils/order_and_comparison.js';
 export class PartialPrivateTailPublicInputsForPublic {
     nonRevertibleAccumulatedData;
     revertibleAccumulatedData;
@@ -69,25 +70,23 @@ export class PartialPrivateTailPublicInputsForRollup {
 }
 export class PrivateKernelTailCircuitPublicInputs {
     constants;
+    rollupValidationRequests;
     gasUsed;
     feePayer;
-    includeByTimestamp;
     forPublic;
     forRollup;
     constructor(/**
      * Data which is not modified by the circuits.
-     */ constants, /**
+     */ constants, rollupValidationRequests, /**
      * The accumulated gas used after private execution.
      * If the tx has a teardown call request, the teardown gas limits will also be included.
      */ gasUsed, /**
      * The address of the fee payer for the transaction.
-     */ feePayer, /**
-     * The timestamp by which the transaction must be included in a block.
-     */ includeByTimestamp, forPublic, forRollup){
+     */ feePayer, forPublic, forRollup){
         this.constants = constants;
+        this.rollupValidationRequests = rollupValidationRequests;
         this.gasUsed = gasUsed;
         this.feePayer = feePayer;
-        this.includeByTimestamp = includeByTimestamp;
         this.forPublic = forPublic;
         this.forRollup = forRollup;
         if (!forPublic && !forRollup) {
@@ -104,21 +103,20 @@ export class PrivateKernelTailCircuitPublicInputs {
         return this.toBuffer();
     }
     getSize() {
-        return (this.forPublic?.getSize() ?? 0) + (this.forRollup?.getSize() ?? 0) + this.constants.getSize() + this.gasUsed.getSize() + this.feePayer.size + 8 // includeByTimestamp
-        ;
+        return (this.forPublic?.getSize() ?? 0) + (this.forRollup?.getSize() ?? 0) + this.constants.getSize() + this.rollupValidationRequests.getSize() + this.feePayer.size;
     }
     toPrivateToPublicKernelCircuitPublicInputs() {
         if (!this.forPublic) {
             throw new Error('Private tail public inputs is not for public circuit.');
         }
-        return new PrivateToPublicKernelCircuitPublicInputs(this.constants, this.forPublic.nonRevertibleAccumulatedData, this.forPublic.revertibleAccumulatedData, this.forPublic.publicTeardownCallRequest, this.gasUsed, this.feePayer, this.includeByTimestamp);
+        return new PrivateToPublicKernelCircuitPublicInputs(this.constants, this.rollupValidationRequests, this.forPublic.nonRevertibleAccumulatedData, this.forPublic.revertibleAccumulatedData, this.forPublic.publicTeardownCallRequest, this.gasUsed, this.feePayer);
     }
     toPrivateToRollupKernelCircuitPublicInputs() {
         if (!this.forRollup) {
             throw new Error('Private tail public inputs is not for rollup circuit.');
         }
         const constants = new TxConstantData(this.constants.historicalHeader, this.constants.txContext, this.constants.vkTreeRoot, this.constants.protocolContractTreeRoot);
-        return new PrivateToRollupKernelCircuitPublicInputs(constants, this.forRollup.end, this.gasUsed, this.feePayer, this.includeByTimestamp);
+        return new PrivateToRollupKernelCircuitPublicInputs(constants, this.rollupValidationRequests, this.forRollup.end, this.gasUsed, this.feePayer);
     }
     numberOfPublicCallRequests() {
         return this.numberOfNonRevertiblePublicCallRequests() + this.numberOfRevertiblePublicCallRequests() + (this.hasTeardownPublicCallRequest() ? 1 : 0);
@@ -143,19 +141,19 @@ export class PrivateKernelTailCircuitPublicInputs {
         return !publicTeardownCallRequest?.isEmpty() ? publicTeardownCallRequest : undefined;
     }
     getNonEmptyNoteHashes() {
-        const noteHashes = this.forPublic ? this.forPublic.nonRevertibleAccumulatedData.noteHashes.concat(this.forPublic.revertibleAccumulatedData.noteHashes) : this.forRollup.end.noteHashes;
+        const noteHashes = this.forPublic ? mergeAccumulatedData(this.forPublic.nonRevertibleAccumulatedData.noteHashes, this.forPublic.revertibleAccumulatedData.noteHashes) : this.forRollup.end.noteHashes;
         return noteHashes.filter((n)=>!n.isZero());
     }
     getNonEmptyNullifiers() {
-        const nullifiers = this.forPublic ? this.forPublic.nonRevertibleAccumulatedData.nullifiers.concat(this.forPublic.revertibleAccumulatedData.nullifiers) : this.forRollup.end.nullifiers;
+        const nullifiers = this.forPublic ? mergeAccumulatedData(this.forPublic.nonRevertibleAccumulatedData.nullifiers, this.forPublic.revertibleAccumulatedData.nullifiers) : this.forRollup.end.nullifiers;
         return nullifiers.filter((n)=>!n.isZero());
     }
     getNonEmptyPrivateLogs() {
-        const privateLogs = this.forPublic ? this.forPublic.nonRevertibleAccumulatedData.privateLogs.concat(this.forPublic.revertibleAccumulatedData.privateLogs) : this.forRollup.end.privateLogs;
+        const privateLogs = this.forPublic ? mergeAccumulatedData(this.forPublic.nonRevertibleAccumulatedData.privateLogs, this.forPublic.revertibleAccumulatedData.privateLogs) : this.forRollup.end.privateLogs;
         return privateLogs.filter((n)=>!n.isEmpty());
     }
     getNonEmptyContractClassLogsHashes() {
-        const contractClassLogsHashes = this.forPublic ? this.forPublic.nonRevertibleAccumulatedData.contractClassLogsHashes.concat(this.forPublic.revertibleAccumulatedData.contractClassLogsHashes) : this.forRollup.end.contractClassLogsHashes;
+        const contractClassLogsHashes = this.forPublic ? mergeAccumulatedData(this.forPublic.nonRevertibleAccumulatedData.contractClassLogsHashes, this.forPublic.revertibleAccumulatedData.contractClassLogsHashes) : this.forRollup.end.contractClassLogsHashes;
         return contractClassLogsHashes.filter((h)=>!h.isEmpty());
     }
     getEmittedContractClassLogsLength() {
@@ -169,14 +167,14 @@ export class PrivateKernelTailCircuitPublicInputs {
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
         const isForPublic = reader.readBoolean();
-        return new PrivateKernelTailCircuitPublicInputs(reader.readObject(TxConstantData), reader.readObject(Gas), reader.readObject(AztecAddress), reader.readUInt64(), isForPublic ? reader.readObject(PartialPrivateTailPublicInputsForPublic) : undefined, !isForPublic ? reader.readObject(PartialPrivateTailPublicInputsForRollup) : undefined);
+        return new PrivateKernelTailCircuitPublicInputs(reader.readObject(TxConstantData), reader.readObject(RollupValidationRequests), reader.readObject(Gas), reader.readObject(AztecAddress), isForPublic ? reader.readObject(PartialPrivateTailPublicInputsForPublic) : undefined, !isForPublic ? reader.readObject(PartialPrivateTailPublicInputsForRollup) : undefined);
     }
     toBuffer() {
         const isForPublic = !!this.forPublic;
-        return serializeToBuffer(isForPublic, this.constants, this.gasUsed, this.feePayer, bigintToUInt64BE(this.includeByTimestamp), isForPublic ? this.forPublic.toBuffer() : this.forRollup.toBuffer());
+        return serializeToBuffer(isForPublic, this.constants, this.rollupValidationRequests, this.gasUsed, this.feePayer, isForPublic ? this.forPublic.toBuffer() : this.forRollup.toBuffer());
     }
     static empty() {
-        return new PrivateKernelTailCircuitPublicInputs(TxConstantData.empty(), Gas.empty(), AztecAddress.ZERO, 0n, undefined, PartialPrivateTailPublicInputsForRollup.empty());
+        return new PrivateKernelTailCircuitPublicInputs(TxConstantData.empty(), RollupValidationRequests.empty(), Gas.empty(), AztecAddress.ZERO, undefined, PartialPrivateTailPublicInputsForRollup.empty());
     }
     /**
    * Creates an empty instance except for a nullifier in the combined accumulated data.
@@ -185,6 +183,6 @@ export class PrivateKernelTailCircuitPublicInputs {
    */ static emptyWithNullifier() {
         const data = PrivateToRollupAccumulatedData.empty();
         data.nullifiers[0] = Fr.random();
-        return new PrivateKernelTailCircuitPublicInputs(TxConstantData.empty(), Gas.empty(), AztecAddress.ZERO, 0n, undefined, new PartialPrivateTailPublicInputsForRollup(data));
+        return new PrivateKernelTailCircuitPublicInputs(TxConstantData.empty(), RollupValidationRequests.empty(), Gas.empty(), AztecAddress.ZERO, undefined, new PartialPrivateTailPublicInputsForRollup(data));
     }
 }

package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts

@@ -4,20 +4,20 @@ import type { FieldsOf } from '@aztec/foundation/types';
 import { AztecAddress } from '../aztec-address/index.js';
 import { Gas } from '../gas/gas.js';
 import { TxConstantData } from '../tx/tx_constant_data.js';
-import type { UInt64 } from '../types/index.js';
+import { RollupValidationRequests } from './hints/rollup_validation_requests.js';
 import { PrivateToPublicAccumulatedData } from './private_to_public_accumulated_data.js';
 import { PublicCallRequest } from './public_call_request.js';
 export declare class PrivateToPublicKernelCircuitPublicInputs {
     constants: TxConstantData;
+    rollupValidationRequests: RollupValidationRequests;
     nonRevertibleAccumulatedData: PrivateToPublicAccumulatedData;
     revertibleAccumulatedData: PrivateToPublicAccumulatedData;
     publicTeardownCallRequest: PublicCallRequest;
     gasUsed: Gas;
     feePayer: AztecAddress;
-    includeByTimestamp: UInt64;
-    constructor(constants: TxConstantData, nonRevertibleAccumulatedData: PrivateToPublicAccumulatedData, revertibleAccumulatedData: PrivateToPublicAccumulatedData, publicTeardownCallRequest: PublicCallRequest, gasUsed: Gas, feePayer: AztecAddress, includeByTimestamp: UInt64);
+    constructor(constants: TxConstantData, rollupValidationRequests: RollupValidationRequests, nonRevertibleAccumulatedData: PrivateToPublicAccumulatedData, revertibleAccumulatedData: PrivateToPublicAccumulatedData, publicTeardownCallRequest: PublicCallRequest, gasUsed: Gas, feePayer: AztecAddress);
     toBuffer(): Buffer<ArrayBufferLike>;
-    static getFields(fields: FieldsOf<PrivateToPublicKernelCircuitPublicInputs>): readonly [TxConstantData, PrivateToPublicAccumulatedData, PrivateToPublicAccumulatedData, PublicCallRequest, Gas, AztecAddress, bigint];
+    static getFields(fields: FieldsOf<PrivateToPublicKernelCircuitPublicInputs>): readonly [TxConstantData, RollupValidationRequests, PrivateToPublicAccumulatedData, PrivateToPublicAccumulatedData, PublicCallRequest, Gas, AztecAddress];
     static fromBuffer(buffer: Buffer | BufferReader): PrivateToPublicKernelCircuitPublicInputs;
     static empty(): PrivateToPublicKernelCircuitPublicInputs;
     static fromString(str: string): PrivateToPublicKernelCircuitPublicInputs;

package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"private_to_public_kernel_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_to_public_kernel_circuit_public_inputs.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,YAAY,EAA0D,MAAM,6BAA6B,CAAC;AAEnH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,qBAAa,wCAAwC;IAE1C,SAAS,EAAE,cAAc;IACzB,4BAA4B,EAAE,8BAA8B;IAC5D,yBAAyB,EAAE,8BAA8B;IACzD,yBAAyB,EAAE,iBAAiB;IAC5C,OAAO,EAAE,GAAG;IACZ,QAAQ,EAAE,YAAY;IACtB,kBAAkB,EAAE,MAAM;gBAN1B,SAAS,EAAE,cAAc,EACzB,4BAA4B,EAAE,8BAA8B,EAC5D,yBAAyB,EAAE,8BAA8B,EACzD,yBAAyB,EAAE,iBAAiB,EAC5C,OAAO,EAAE,GAAG,EACZ,QAAQ,EAAE,YAAY,EACtB,kBAAkB,EAAE,MAAM;IAGnC,QAAQ;IAYR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC;IAY3E,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAa/C,MAAM,CAAC,KAAK;IAYZ,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,QAAQ,IAAI,EAAE,EAAE;IAUhB,IAAI;CAGL"}
+{"version":3,"file":"private_to_public_kernel_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_to_public_kernel_circuit_public_inputs.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,YAAY,EAAwC,MAAM,6BAA6B,CAAC;AAEjG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,qBAAa,wCAAwC;IAE1C,SAAS,EAAE,cAAc;IACzB,wBAAwB,EAAE,wBAAwB;IAClD,4BAA4B,EAAE,8BAA8B;IAC5D,yBAAyB,EAAE,8BAA8B;IACzD,yBAAyB,EAAE,iBAAiB;IAC5C,OAAO,EAAE,GAAG;IACZ,QAAQ,EAAE,YAAY;gBANtB,SAAS,EAAE,cAAc,EACzB,wBAAwB,EAAE,wBAAwB,EAClD,4BAA4B,EAAE,8BAA8B,EAC5D,yBAAyB,EAAE,8BAA8B,EACzD,yBAAyB,EAAE,iBAAiB,EAC5C,OAAO,EAAE,GAAG,EACZ,QAAQ,EAAE,YAAY;IAG/B,QAAQ;IAYR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC;IAY3E,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAa/C,MAAM,CAAC,KAAK;IAYZ,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,QAAQ,IAAI,EAAE,EAAE;IAUhB,IAAI;CAGL"}

package/dest/kernel/private_to_public_kernel_circuit_public_inputs.js

@@ -1,49 +1,50 @@
 import { GeneratorIndex, PRIVATE_TO_PUBLIC_KERNEL_CIRCUIT_PUBLIC_INPUTS_LENGTH } from '@aztec/constants';
 import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto';
-import { BufferReader, bigintToUInt64BE, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
+import { BufferReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
 import { AztecAddress } from '../aztec-address/index.js';
 import { Gas } from '../gas/gas.js';
 import { TxConstantData } from '../tx/tx_constant_data.js';
+import { RollupValidationRequests } from './hints/rollup_validation_requests.js';
 import { PrivateToPublicAccumulatedData } from './private_to_public_accumulated_data.js';
 import { PublicCallRequest } from './public_call_request.js';
 export class PrivateToPublicKernelCircuitPublicInputs {
     constants;
+    rollupValidationRequests;
     nonRevertibleAccumulatedData;
     revertibleAccumulatedData;
     publicTeardownCallRequest;
     gasUsed;
     feePayer;
-    includeByTimestamp;
-    constructor(constants, nonRevertibleAccumulatedData, revertibleAccumulatedData, publicTeardownCallRequest, gasUsed, feePayer, includeByTimestamp){
+    constructor(constants, rollupValidationRequests, nonRevertibleAccumulatedData, revertibleAccumulatedData, publicTeardownCallRequest, gasUsed, feePayer){
         this.constants = constants;
+        this.rollupValidationRequests = rollupValidationRequests;
         this.nonRevertibleAccumulatedData = nonRevertibleAccumulatedData;
         this.revertibleAccumulatedData = revertibleAccumulatedData;
         this.publicTeardownCallRequest = publicTeardownCallRequest;
         this.gasUsed = gasUsed;
         this.feePayer = feePayer;
-        this.includeByTimestamp = includeByTimestamp;
     }
     toBuffer() {
-        return serializeToBuffer(this.constants, this.nonRevertibleAccumulatedData, this.revertibleAccumulatedData, this.publicTeardownCallRequest, this.gasUsed, this.feePayer, bigintToUInt64BE(this.includeByTimestamp));
+        return serializeToBuffer(this.constants, this.rollupValidationRequests, this.nonRevertibleAccumulatedData, this.revertibleAccumulatedData, this.publicTeardownCallRequest, this.gasUsed, this.feePayer);
     }
     static getFields(fields) {
         return [
             fields.constants,
+            fields.rollupValidationRequests,
             fields.nonRevertibleAccumulatedData,
             fields.revertibleAccumulatedData,
             fields.publicTeardownCallRequest,
             fields.gasUsed,
-            fields.feePayer,
-            fields.includeByTimestamp
+            fields.feePayer
         ];
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PrivateToPublicKernelCircuitPublicInputs(reader.readObject(TxConstantData), reader.readObject(PrivateToPublicAccumulatedData), reader.readObject(PrivateToPublicAccumulatedData), reader.readObject(PublicCallRequest), reader.readObject(Gas), reader.readObject(AztecAddress), reader.readUInt64());
+        return new PrivateToPublicKernelCircuitPublicInputs(reader.readObject(TxConstantData), reader.readObject(RollupValidationRequests), reader.readObject(PrivateToPublicAccumulatedData), reader.readObject(PrivateToPublicAccumulatedData), reader.readObject(PublicCallRequest), reader.readObject(Gas), reader.readObject(AztecAddress));
     }
     static empty() {
-        return new PrivateToPublicKernelCircuitPublicInputs(TxConstantData.empty(), PrivateToPublicAccumulatedData.empty(), PrivateToPublicAccumulatedData.empty(), PublicCallRequest.empty(), Gas.empty(), AztecAddress.ZERO, 0n);
+        return new PrivateToPublicKernelCircuitPublicInputs(TxConstantData.empty(), RollupValidationRequests.empty(), PrivateToPublicAccumulatedData.empty(), PrivateToPublicAccumulatedData.empty(), PublicCallRequest.empty(), Gas.empty(), AztecAddress.ZERO);
     }
     static fromString(str) {
         return PrivateToPublicKernelCircuitPublicInputs.fromBuffer(hexToBuffer(str));

package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts

@@ -4,7 +4,7 @@ import type { FieldsOf } from '@aztec/foundation/types';
 import { AztecAddress } from '../aztec-address/index.js';
 import { Gas } from '../gas/gas.js';
 import { TxConstantData } from '../tx/tx_constant_data.js';
-import type { UInt64 } from '../types/index.js';
+import { RollupValidationRequests } from './hints/rollup_validation_requests.js';
 import { PrivateToRollupAccumulatedData } from './private_to_rollup_accumulated_data.js';
 /**
  * Outputs from the public kernel circuits.
@@ -15,6 +15,10 @@ export declare class PrivateToRollupKernelCircuitPublicInputs {
      * Data which is not modified by the circuits.
      */
     constants: TxConstantData;
+    /**
+     * Validation requests accumulated from private and public execution to be completed by the rollup.
+     */
+    rollupValidationRequests: RollupValidationRequests;
     /**
      * Data accumulated from both public and private circuits.
      */
@@ -27,15 +31,15 @@ export declare class PrivateToRollupKernelCircuitPublicInputs {
      * The address of the fee payer for the transaction.
      */
     feePayer: AztecAddress;
-    /**
-     * The timestamp by which the transaction must be included in a block.
-     */
-    includeByTimestamp: UInt64;
     constructor(
     /**
      * Data which is not modified by the circuits.
      */
     constants: TxConstantData, 
+    /**
+     * Validation requests accumulated from private and public execution to be completed by the rollup.
+     */
+    rollupValidationRequests: RollupValidationRequests, 
     /**
      * Data accumulated from both public and private circuits.
      */
@@ -47,11 +51,7 @@ export declare class PrivateToRollupKernelCircuitPublicInputs {
     /**
      * The address of the fee payer for the transaction.
      */
-    feePayer: AztecAddress, 
-    /**
-     * The timestamp by which the transaction must be included in a block.
-     */
-    includeByTimestamp: UInt64);
+    feePayer: AztecAddress);
     getNonEmptyNullifiers(): Fr[];
     toBuffer(): Buffer<ArrayBufferLike>;
     /**
@@ -65,7 +65,7 @@ export declare class PrivateToRollupKernelCircuitPublicInputs {
     static fromString(str: string): PrivateToRollupKernelCircuitPublicInputs;
     /** Returns a hex representation for JSON serialization. */
     toJSON(): Buffer<ArrayBufferLike>;
-    static getFields(fields: FieldsOf<PrivateToRollupKernelCircuitPublicInputs>): readonly [TxConstantData, PrivateToRollupAccumulatedData, Gas, AztecAddress, bigint];
+    static getFields(fields: FieldsOf<PrivateToRollupKernelCircuitPublicInputs>): readonly [TxConstantData, RollupValidationRequests, PrivateToRollupAccumulatedData, Gas, AztecAddress];
     /** Creates an instance from a hex string. */
     static get schema(): import("zod").ZodType<PrivateToRollupKernelCircuitPublicInputs, any, string>;
     toFields(): Fr[];

package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"private_to_rollup_kernel_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_to_rollup_kernel_circuit_public_inputs.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,EAAE,YAAY,EAA0D,MAAM,6BAA6B,CAAC;AAEnH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AAEzF;;;GAGG;AACH,qBAAa,wCAAwC;IAEjD;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;OAEG;IACI,GAAG,EAAE,8BAA8B;IAC1C;;OAEG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,kBAAkB,EAAE,MAAM;;IAnBjC;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;OAEG;IACI,GAAG,EAAE,8BAA8B;IAC1C;;OAEG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IAGnC,qBAAqB;IAIrB,QAAQ;IAUR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,wCAAwC;IAW1F,MAAM,CAAC,KAAK;IAUZ,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,2DAA2D;IAC3D,MAAM;IAIN,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC;IAI3E,6CAA6C;IAC7C,MAAM,KAAK,MAAM,iFAEhB;IAED,QAAQ,IAAI,EAAE,EAAE;IAUhB,IAAI;CAGL"}
+{"version":3,"file":"private_to_rollup_kernel_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_to_rollup_kernel_circuit_public_inputs.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,EAAE,YAAY,EAAwC,MAAM,6BAA6B,CAAC;AAEjG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AAEzF;;;GAGG;AACH,qBAAa,wCAAwC;IAEjD;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;OAEG;IACI,wBAAwB,EAAE,wBAAwB;IACzD;;OAEG;IACI,GAAG,EAAE,8BAA8B;IAC1C;;OAEG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;;IAnB7B;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;OAEG;IACI,wBAAwB,EAAE,wBAAwB;IACzD;;OAEG;IACI,GAAG,EAAE,8BAA8B;IAC1C;;OAEG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAG/B,qBAAqB;IAIrB,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,wCAAwC;IAW1F,MAAM,CAAC,KAAK;IAUZ,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,2DAA2D;IAC3D,MAAM;IAIN,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC;IAI3E,6CAA6C;IAC7C,MAAM,KAAK,MAAM,iFAEhB;IAED,QAAQ,IAAI,EAAE,EAAE;IAUhB,IAAI;CAGL"}

package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.js

@@ -1,43 +1,44 @@
 import { GeneratorIndex, PRIVATE_TO_ROLLUP_KERNEL_CIRCUIT_PUBLIC_INPUTS_LENGTH } from '@aztec/constants';
 import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto';
 import { bufferSchemaFor } from '@aztec/foundation/schemas';
-import { BufferReader, bigintToUInt64BE, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
+import { BufferReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
 import { AztecAddress } from '../aztec-address/index.js';
 import { Gas } from '../gas/gas.js';
 import { TxConstantData } from '../tx/tx_constant_data.js';
+import { RollupValidationRequests } from './hints/rollup_validation_requests.js';
 import { PrivateToRollupAccumulatedData } from './private_to_rollup_accumulated_data.js';
 /**
  * Outputs from the public kernel circuits.
  * All Public kernels use this shape for outputs.
  */ export class PrivateToRollupKernelCircuitPublicInputs {
     constants;
+    rollupValidationRequests;
     end;
     gasUsed;
     feePayer;
-    includeByTimestamp;
     constructor(/**
      * Data which is not modified by the circuits.
      */ constants, /**
+     * Validation requests accumulated from private and public execution to be completed by the rollup.
+     */ rollupValidationRequests, /**
      * Data accumulated from both public and private circuits.
      */ end, /**
      * Gas used during this transaction
      */ gasUsed, /**
      * The address of the fee payer for the transaction.
-     */ feePayer, /**
-     * The timestamp by which the transaction must be included in a block.
-     */ includeByTimestamp){
+     */ feePayer){
         this.constants = constants;
+        this.rollupValidationRequests = rollupValidationRequests;
         this.end = end;
         this.gasUsed = gasUsed;
         this.feePayer = feePayer;
-        this.includeByTimestamp = includeByTimestamp;
     }
     getNonEmptyNullifiers() {
         return this.end.nullifiers.filter((n)=>!n.isZero());
     }
     toBuffer() {
-        return serializeToBuffer(this.constants, this.end, this.gasUsed, this.feePayer, bigintToUInt64BE(this.includeByTimestamp));
+        return serializeToBuffer(this.constants, this.rollupValidationRequests, this.end, this.gasUsed, this.feePayer);
     }
     /**
    * Deserializes from a buffer or reader, corresponding to a write in cpp.
@@ -45,10 +46,10 @@ import { PrivateToRollupAccumulatedData } from './private_to_rollup_accumulated_
    * @returns A new instance of PrivateToRollupKernelCircuitPublicInputs.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PrivateToRollupKernelCircuitPublicInputs(reader.readObject(TxConstantData), reader.readObject(PrivateToRollupAccumulatedData), reader.readObject(Gas), reader.readObject(AztecAddress), reader.readUInt64());
+        return new PrivateToRollupKernelCircuitPublicInputs(reader.readObject(TxConstantData), reader.readObject(RollupValidationRequests), reader.readObject(PrivateToRollupAccumulatedData), reader.readObject(Gas), reader.readObject(AztecAddress));
     }
     static empty() {
-        return new PrivateToRollupKernelCircuitPublicInputs(TxConstantData.empty(), PrivateToRollupAccumulatedData.empty(), Gas.empty(), AztecAddress.ZERO, 0n);
+        return new PrivateToRollupKernelCircuitPublicInputs(TxConstantData.empty(), RollupValidationRequests.empty(), PrivateToRollupAccumulatedData.empty(), Gas.empty(), AztecAddress.ZERO);
     }
     toString() {
         return bufferToHex(this.toBuffer());
@@ -62,10 +63,10 @@ import { PrivateToRollupAccumulatedData } from './private_to_rollup_accumulated_
     static getFields(fields) {
         return [
             fields.constants,
+            fields.rollupValidationRequests,
             fields.end,
             fields.gasUsed,
-            fields.feePayer,
-            fields.includeByTimestamp
+            fields.feePayer
         ];
     }
     /** Creates an instance from a hex string. */ static get schema() {

package/dest/kernel/private_validation_requests.d.ts

@@ -1,26 +1,32 @@
 import { MAX_KEY_VALIDATION_REQUESTS_PER_TX, MAX_NOTE_HASH_READ_REQUESTS_PER_TX, MAX_NULLIFIER_READ_REQUESTS_PER_TX } from '@aztec/constants';
-import { BufferReader } from '@aztec/foundation/serialize';
+import type { Fr } from '@aztec/foundation/fields';
+import { BufferReader, FieldReader, type Tuple } from '@aztec/foundation/serialize';
 import { inspect } from 'util';
 import { ScopedKeyValidationRequestAndGenerator } from '../kernel/hints/scoped_key_validation_request_and_generator.js';
-import { ClaimedLengthArray } from './claimed_length_array.js';
 import { ScopedReadRequest } from './hints/read_request.js';
+import { RollupValidationRequests } from './hints/rollup_validation_requests.js';
 import { OptionalNumber } from './utils/optional_number.js';
 /**
  * Validation requests accumulated during the execution of the transaction.
  */
 export declare class PrivateValidationRequests {
+    /**
+     * Validation requests that cannot be fulfilled in the current context (private or public), and must be instead be
+     * forwarded to the rollup for it to take care of them.
+     */
+    forRollup: RollupValidationRequests;
     /**
      * All the read requests made in this transaction.
      */
-    noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>;
+    noteHashReadRequests: Tuple<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>;
     /**
      * All the nullifier read requests made in this transaction.
      */
-    nullifierReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX>;
+    nullifierReadRequests: Tuple<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX>;
     /**
      * All the key validation requests made in this transaction.
      */
-    scopedKeyValidationRequestsAndGenerators: ClaimedLengthArray<ScopedKeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_TX>;
+    scopedKeyValidationRequestsAndGenerators: Tuple<ScopedKeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_TX>;
     /**
      * The counter to split the data for squashing.
      * A revertible nullifier and a non-revertible note hash will not be squashed.
@@ -28,18 +34,23 @@ export declare class PrivateValidationRequests {
      */
     splitCounter: OptionalNumber;
     constructor(
+    /**
+     * Validation requests that cannot be fulfilled in the current context (private or public), and must be instead be
+     * forwarded to the rollup for it to take care of them.
+     */
+    forRollup: RollupValidationRequests, 
     /**
      * All the read requests made in this transaction.
      */
-    noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, 
+    noteHashReadRequests: Tuple<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, 
     /**
      * All the nullifier read requests made in this transaction.
      */
-    nullifierReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX>, 
+    nullifierReadRequests: Tuple<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX>, 
     /**
      * All the key validation requests made in this transaction.
      */
-    scopedKeyValidationRequestsAndGenerators: ClaimedLengthArray<ScopedKeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_TX>, 
+    scopedKeyValidationRequestsAndGenerators: Tuple<ScopedKeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_TX>, 
     /**
      * The counter to split the data for squashing.
      * A revertible nullifier and a non-revertible note hash will not be squashed.
@@ -49,6 +60,7 @@ export declare class PrivateValidationRequests {
     getSize(): number;
     toBuffer(): Buffer<ArrayBufferLike>;
     toString(): `0x${string}`;
+    static fromFields(fields: Fr[] | FieldReader): PrivateValidationRequests;
     /**
      * Deserializes from a buffer or reader, corresponding to a write in cpp.
      * @param buffer - Buffer or reader to read from.

package/dest/kernel/private_validation_requests.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"private_validation_requests.d.ts","sourceRoot":"","sources":["../../src/kernel/private_validation_requests.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kCAAkC,EAClC,kCAAkC,EAClC,kCAAkC,EACnC,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAE/B,OAAO,EAAE,sCAAsC,EAAE,MAAM,gEAAgE,CAAC;AACxH,OAAO,EAAE,kBAAkB,EAAgC,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAE5D;;GAEG;AACH,qBAAa,yBAAyB;IAElC;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC;IAC7G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC;IAC9G;;OAEG;IACI,wCAAwC,EAAE,kBAAkB,CACjE,sCAAsC,EACtC,OAAO,kCAAkC,CAC1C;IACD;;;;OAIG;IACI,YAAY,EAAE,cAAc;;IApBnC;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC;IAC7G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC;IAC9G;;OAEG;IACI,wCAAwC,EAAE,kBAAkB,CACjE,sCAAsC,EACtC,OAAO,kCAAkC,CAC1C;IACD;;;;OAIG;IACI,YAAY,EAAE,cAAc;IAGrC,OAAO;IASP,QAAQ;IASR,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAY/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,KAAK;IASZ,CAAC,OAAO,CAAC,MAAM,CAAC;CAQjB"}
+{"version":3,"file":"private_validation_requests.d.ts","sourceRoot":"","sources":["../../src/kernel/private_validation_requests.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kCAAkC,EAClC,kCAAkC,EAClC,kCAAkC,EACnC,MAAM,kBAAkB,CAAC;AAG1B,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAGvG,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAE/B,OAAO,EAAE,sCAAsC,EAAE,MAAM,gEAAgE,CAAC;AACxH,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAE5D;;GAEG;AACH,qBAAa,yBAAyB;IAElC;;;OAGG;IACI,SAAS,EAAE,wBAAwB;IAC1C;;OAEG;IACI,oBAAoB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC;IAChG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC;IACjG;;OAEG;IACI,wCAAwC,EAAE,KAAK,CACpD,sCAAsC,EACtC,OAAO,kCAAkC,CAC1C;IACD;;;;OAIG;IACI,YAAY,EAAE,cAAc;;IAzBnC;;;OAGG;IACI,SAAS,EAAE,wBAAwB;IAC1C;;OAEG;IACI,oBAAoB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC;IAChG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC;IACjG;;OAEG;IACI,wCAAwC,EAAE,KAAK,CACpD,sCAAsC,EACtC,OAAO,kCAAkC,CAC1C;IACD;;;;OAIG;IACI,YAAY,EAAE,cAAc;IAGrC,OAAO;IAUP,QAAQ;IAUR,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAW5C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAW/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,KAAK;IAUZ,CAAC,OAAO,CAAC,MAAM,CAAC;CAkBjB"}