@aztec/stdlib 0.0.0-test.1 → 0.0.1-commit.b655e406

package/dest/kernel/log_hash.js

@@ -4,39 +4,39 @@ import { inspect } from 'util';
 import { AztecAddress } from '../aztec-address/index.js';
 export class LogHash {
     value;
-    counter;
     length;
-    constructor(value, counter, length){
+    constructor(value, length){
         this.value = value;
-        this.counter = counter;
         this.length = length;
     }
+    static from(fields) {
+        return new LogHash(fields.value, fields.length);
+    }
     toFields() {
         return [
             this.value,
-            new Fr(this.counter),
             new Fr(this.length)
         ];
     }
     static fromFields(fields) {
         const reader = FieldReader.asReader(fields);
-        return new LogHash(reader.readField(), reader.readU32(), reader.readU32());
+        return new LogHash(reader.readField(), reader.readU32());
     }
     isEmpty() {
-        return this.value.isZero() && !this.length && !this.counter;
+        return this.value.isZero() && !this.length;
     }
     static empty() {
-        return new LogHash(Fr.zero(), 0, 0);
+        return new LogHash(Fr.zero(), 0);
     }
     toBuffer() {
-        return serializeToBuffer(this.value, this.counter, this.length);
+        return serializeToBuffer(this.value, this.length);
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new LogHash(Fr.fromBuffer(reader), reader.readNumber(), reader.readNumber());
+        return new LogHash(Fr.fromBuffer(reader), reader.readNumber());
     }
     toString() {
-        return `value=${this.value} counter=${this.counter} length=${this.length}`;
+        return `value=${this.value} length=${this.length}`;
     }
     scope(contractAddress) {
         return new ScopedLogHash(this, contractAddress);
@@ -45,6 +45,37 @@ export class LogHash {
         return `LogHash { ${this.toString()} }`;
     }
 }
+export class CountedLogHash {
+    logHash;
+    counter;
+    constructor(logHash, counter){
+        this.logHash = logHash;
+        this.counter = counter;
+    }
+    toFields() {
+        return [
+            ...this.logHash.toFields(),
+            new Fr(this.counter)
+        ];
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new CountedLogHash(reader.readObject(LogHash), reader.readU32());
+    }
+    isEmpty() {
+        return this.logHash.isEmpty() && !this.counter;
+    }
+    static empty() {
+        return new CountedLogHash(LogHash.empty(), 0);
+    }
+    toBuffer() {
+        return serializeToBuffer(this.logHash, this.counter);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CountedLogHash(LogHash.fromBuffer(reader), reader.readNumber());
+    }
+}
 export class ScopedLogHash {
     logHash;
     contractAddress;
@@ -52,9 +83,6 @@ export class ScopedLogHash {
         this.logHash = logHash;
         this.contractAddress = contractAddress;
     }
-    get counter() {
-        return this.logHash.counter;
-    }
     get value() {
         return this.logHash.value;
     }
@@ -85,3 +113,34 @@ export class ScopedLogHash {
         return `logHash=${this.logHash} contractAddress=${this.contractAddress}`;
     }
 }
+export class ScopedCountedLogHash {
+    inner;
+    contractAddress;
+    constructor(inner, contractAddress){
+        this.inner = inner;
+        this.contractAddress = contractAddress;
+    }
+    toFields() {
+        return [
+            ...this.inner.toFields(),
+            this.contractAddress.toField()
+        ];
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new ScopedCountedLogHash(reader.readObject(CountedLogHash), AztecAddress.fromField(reader.readField()));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.inner, this.contractAddress);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new ScopedCountedLogHash(CountedLogHash.fromBuffer(reader), AztecAddress.fromBuffer(reader));
+    }
+    isEmpty() {
+        return this.inner.isEmpty() && this.contractAddress.isZero();
+    }
+    static empty() {
+        return new ScopedCountedLogHash(CountedLogHash.empty(), AztecAddress.ZERO);
+    }
+}

package/dest/kernel/note_hash.d.ts

@@ -1,5 +1,3 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
 import { AztecAddress } from '../aztec-address/index.js';

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

@@ -1 +1 @@
-{"version":3,"file":"note_hash.d.ts","sourceRoot":"","sources":["../../src/kernel/note_hash.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAE3F,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAErD,qBAAa,QAAQ;IACA,KAAK,EAAE,EAAE;IAAS,OAAO,EAAE,MAAM;gBAAjC,KAAK,EAAE,EAAE,EAAS,OAAO,EAAE,MAAM;IAEpD,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ,IAAI,MAAM;IAIlB,KAAK,CAAC,eAAe,EAAE,YAAY;CAGpC;AAED,qBAAa,cAAe,YAAW,OAAO;IACzB,QAAQ,EAAE,QAAQ;IAAS,eAAe,EAAE,YAAY;gBAAxD,QAAQ,EAAE,QAAQ,EAAS,eAAe,EAAE,YAAY;IAE3E,IAAI,OAAO,WAEV;IAED,IAAI,KAAK,OAER;IAED,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ,IAAI,MAAM;CAGnB"}
+{"version":3,"file":"note_hash.d.ts","sourceRoot":"","sources":["../../src/kernel/note_hash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAE3F,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAErD,qBAAa,QAAQ;IAEV,KAAK,EAAE,EAAE;IACT,OAAO,EAAE,MAAM;gBADf,KAAK,EAAE,EAAE,EACT,OAAO,EAAE,MAAM;IAGxB,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ,IAAI,MAAM;IAIlB,KAAK,CAAC,eAAe,EAAE,YAAY;CAGpC;AAED,qBAAa,cAAe,YAAW,OAAO;IAEnC,QAAQ,EAAE,QAAQ;IAClB,eAAe,EAAE,YAAY;gBAD7B,QAAQ,EAAE,QAAQ,EAClB,eAAe,EAAE,YAAY;IAGtC,IAAI,OAAO,WAEV;IAED,IAAI,KAAK,OAER;IAED,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ,IAAI,MAAM;CAGnB"}

package/dest/kernel/nullifier.d.ts

@@ -1,14 +1,12 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
 import { AztecAddress } from '../aztec-address/index.js';
 import type { Ordered } from './utils/interfaces.js';
 export declare class Nullifier implements Ordered {
     value: Fr;
-    counter: number;
     noteHash: Fr;
-    constructor(value: Fr, counter: number, noteHash: Fr);
+    counter: number;
+    constructor(value: Fr, noteHash: Fr, counter: number);
     toFields(): Fr[];
     static fromFields(fields: Fr[] | FieldReader): Nullifier;
     isEmpty(): boolean;

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

@@ -1 +1 @@
-{"version":3,"file":"nullifier.d.ts","sourceRoot":"","sources":["../../src/kernel/nullifier.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAE3F,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAErD,qBAAa,SAAU,YAAW,OAAO;IACpB,KAAK,EAAE,EAAE;IAAS,OAAO,EAAE,MAAM;IAAS,QAAQ,EAAE,EAAE;gBAAtD,KAAK,EAAE,EAAE,EAAS,OAAO,EAAE,MAAM,EAAS,QAAQ,EAAE,EAAE;IAEzE,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ,IAAI,MAAM;IAIlB,KAAK,CAAC,eAAe,EAAE,YAAY;CAGpC;AAED,qBAAa,eAAgB,YAAW,OAAO;IAC1B,SAAS,EAAE,SAAS;IAAS,eAAe,EAAE,YAAY;gBAA1D,SAAS,EAAE,SAAS,EAAS,eAAe,EAAE,YAAY;IAE7E,IAAI,OAAO,WAEV;IAED,IAAI,KAAK,OAER;IAED,IAAI,iBAAiB,OAEpB;IAED,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ,IAAI,MAAM;CAGnB"}
+{"version":3,"file":"nullifier.d.ts","sourceRoot":"","sources":["../../src/kernel/nullifier.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAE3F,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAErD,qBAAa,SAAU,YAAW,OAAO;IAE9B,KAAK,EAAE,EAAE;IACT,QAAQ,EAAE,EAAE;IACZ,OAAO,EAAE,MAAM;gBAFf,KAAK,EAAE,EAAE,EACT,QAAQ,EAAE,EAAE,EACZ,OAAO,EAAE,MAAM;IAGxB,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ,IAAI,MAAM;IAIlB,KAAK,CAAC,eAAe,EAAE,YAAY;CAGpC;AAED,qBAAa,eAAgB,YAAW,OAAO;IAEpC,SAAS,EAAE,SAAS;IACpB,eAAe,EAAE,YAAY;gBAD7B,SAAS,EAAE,SAAS,EACpB,eAAe,EAAE,YAAY;IAGtC,IAAI,OAAO,WAEV;IAED,IAAI,KAAK,OAER;IAED,IAAI,iBAAiB,OAEpB;IAED,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ,IAAI,MAAM;CAGnB"}

package/dest/kernel/nullifier.js

@@ -3,39 +3,39 @@ import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/
 import { AztecAddress } from '../aztec-address/index.js';
 export class Nullifier {
     value;
-    counter;
     noteHash;
-    constructor(value, counter, noteHash){
+    counter;
+    constructor(value, noteHash, counter){
         this.value = value;
-        this.counter = counter;
         this.noteHash = noteHash;
+        this.counter = counter;
     }
     toFields() {
         return [
             this.value,
-            new Fr(this.counter),
-            this.noteHash
+            this.noteHash,
+            new Fr(this.counter)
         ];
     }
     static fromFields(fields) {
         const reader = FieldReader.asReader(fields);
-        return new Nullifier(reader.readField(), reader.readU32(), reader.readField());
+        return new Nullifier(reader.readField(), reader.readField(), reader.readU32());
     }
     isEmpty() {
-        return this.value.isZero() && !this.counter && this.noteHash.isZero();
+        return this.value.isZero() && this.noteHash.isZero() && !this.counter;
     }
     static empty() {
-        return new Nullifier(Fr.zero(), 0, Fr.zero());
+        return new Nullifier(Fr.zero(), Fr.zero(), 0);
     }
     toBuffer() {
-        return serializeToBuffer(this.value, this.counter, this.noteHash);
+        return serializeToBuffer(this.value, this.noteHash, this.counter);
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new Nullifier(Fr.fromBuffer(reader), reader.readNumber(), Fr.fromBuffer(reader));
+        return new Nullifier(Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readNumber());
     }
     toString() {
-        return `value=${this.value} counter=${this.counter} noteHash=${this.noteHash}`;
+        return `value=${this.value} noteHash=${this.noteHash} counter=${this.counter}`;
     }
     scope(contractAddress) {
         return new ScopedNullifier(this, contractAddress);

package/dest/kernel/padded_side_effects.d.ts

@@ -0,0 +1,26 @@
+import { MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_LOGS_PER_TX } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
+import { PrivateLog } from '../logs/index.js';
+export declare class PaddedSideEffects {
+    noteHashes: Tuple<Fr, typeof MAX_NOTE_HASHES_PER_TX>;
+    nullifiers: Tuple<Fr, typeof MAX_NULLIFIERS_PER_TX>;
+    privateLogs: Tuple<PrivateLog, typeof MAX_PRIVATE_LOGS_PER_TX>;
+    constructor(noteHashes: Tuple<Fr, typeof MAX_NOTE_HASHES_PER_TX>, nullifiers: Tuple<Fr, typeof MAX_NULLIFIERS_PER_TX>, privateLogs: Tuple<PrivateLog, typeof MAX_PRIVATE_LOGS_PER_TX>);
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): PaddedSideEffects;
+    static empty(): PaddedSideEffects;
+}
+export declare class PaddedSideEffectAmounts {
+    nonRevertibleNoteHashes: number;
+    revertibleNoteHashes: number;
+    nonRevertibleNullifiers: number;
+    revertibleNullifiers: number;
+    nonRevertiblePrivateLogs: number;
+    revertiblePrivateLogs: number;
+    constructor(nonRevertibleNoteHashes: number, revertibleNoteHashes: number, nonRevertibleNullifiers: number, revertibleNullifiers: number, nonRevertiblePrivateLogs: number, revertiblePrivateLogs: number);
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): PaddedSideEffectAmounts;
+    static empty(): PaddedSideEffectAmounts;
+}
+//# sourceMappingURL=padded_side_effects.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"padded_side_effects.d.ts","sourceRoot":"","sources":["../../src/kernel/padded_side_effects.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAE1G,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,qBAAa,iBAAiB;IAEnB,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,sBAAsB,CAAC;IACpD,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IACnD,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,uBAAuB,CAAC;gBAF9D,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,sBAAsB,CAAC,EACpD,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC,EACnD,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,uBAAuB,CAAC;IAGvE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,MAAM,CAAC,KAAK;CAOb;AAED,qBAAa,uBAAuB;IAEzB,uBAAuB,EAAE,MAAM;IAC/B,oBAAoB,EAAE,MAAM;IAC5B,uBAAuB,EAAE,MAAM;IAC/B,oBAAoB,EAAE,MAAM;IAC5B,wBAAwB,EAAE,MAAM;IAChC,qBAAqB,EAAE,MAAM;gBAL7B,uBAAuB,EAAE,MAAM,EAC/B,oBAAoB,EAAE,MAAM,EAC5B,uBAAuB,EAAE,MAAM,EAC/B,oBAAoB,EAAE,MAAM,EAC5B,wBAAwB,EAAE,MAAM,EAChC,qBAAqB,EAAE,MAAM;IAGtC,QAAQ;IAWR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAY/C,MAAM,CAAC,KAAK;CAGb"}

package/dest/kernel/padded_side_effects.js

@@ -0,0 +1,51 @@
+import { MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_LOGS_PER_TX } from '@aztec/constants';
+import { makeTuple } from '@aztec/foundation/array';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { PrivateLog } from '../logs/index.js';
+export class PaddedSideEffects {
+    noteHashes;
+    nullifiers;
+    privateLogs;
+    constructor(noteHashes, nullifiers, privateLogs){
+        this.noteHashes = noteHashes;
+        this.nullifiers = nullifiers;
+        this.privateLogs = privateLogs;
+    }
+    toBuffer() {
+        return serializeToBuffer(this.noteHashes, this.nullifiers, this.privateLogs);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PaddedSideEffects(reader.readArray(MAX_NOTE_HASHES_PER_TX, Fr), reader.readArray(MAX_NULLIFIERS_PER_TX, Fr), reader.readArray(MAX_PRIVATE_LOGS_PER_TX, PrivateLog));
+    }
+    static empty() {
+        return new PaddedSideEffects(makeTuple(MAX_NOTE_HASHES_PER_TX, Fr.zero), makeTuple(MAX_NULLIFIERS_PER_TX, Fr.zero), makeTuple(MAX_PRIVATE_LOGS_PER_TX, PrivateLog.empty));
+    }
+}
+export class PaddedSideEffectAmounts {
+    nonRevertibleNoteHashes;
+    revertibleNoteHashes;
+    nonRevertibleNullifiers;
+    revertibleNullifiers;
+    nonRevertiblePrivateLogs;
+    revertiblePrivateLogs;
+    constructor(nonRevertibleNoteHashes, revertibleNoteHashes, nonRevertibleNullifiers, revertibleNullifiers, nonRevertiblePrivateLogs, revertiblePrivateLogs){
+        this.nonRevertibleNoteHashes = nonRevertibleNoteHashes;
+        this.revertibleNoteHashes = revertibleNoteHashes;
+        this.nonRevertibleNullifiers = nonRevertibleNullifiers;
+        this.revertibleNullifiers = revertibleNullifiers;
+        this.nonRevertiblePrivateLogs = nonRevertiblePrivateLogs;
+        this.revertiblePrivateLogs = revertiblePrivateLogs;
+    }
+    toBuffer() {
+        return serializeToBuffer(this.nonRevertibleNoteHashes, this.revertibleNoteHashes, this.nonRevertibleNullifiers, this.revertibleNullifiers, this.nonRevertiblePrivateLogs, this.revertiblePrivateLogs);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PaddedSideEffectAmounts(reader.readNumber(), reader.readNumber(), reader.readNumber(), reader.readNumber(), reader.readNumber(), reader.readNumber());
+    }
+    static empty() {
+        return new PaddedSideEffectAmounts(0, 0, 0, 0, 0, 0);
+    }
+}

package/dest/kernel/private_accumulated_data.d.ts

@@ -1,9 +1,8 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { MAX_CONTRACT_CLASS_LOGS_PER_TX, MAX_ENQUEUED_CALLS_PER_TX, MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX, MAX_PRIVATE_LOGS_PER_TX } from '@aztec/constants';
-import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
-import { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
-import { ScopedLogHash } from './log_hash.js';
+import { BufferReader } from '@aztec/foundation/serialize';
+import { ScopedCountedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
+import { ClaimedLengthArray } from './claimed_length_array.js';
+import { ScopedCountedLogHash } from './log_hash.js';
 import { ScopedNoteHash } from './note_hash.js';
 import { ScopedNullifier } from './nullifier.js';
 import { PrivateCallRequest } from './private_call_request.js';
@@ -17,63 +16,63 @@ export declare class PrivateAccumulatedData {
     /**
      * The new note hashes made in this transaction.
      */
-    noteHashes: Tuple<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>;
+    noteHashes: ClaimedLengthArray<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>;
     /**
      * The new nullifiers made in this transaction.
      */
-    nullifiers: Tuple<ScopedNullifier, typeof MAX_NULLIFIERS_PER_TX>;
+    nullifiers: ClaimedLengthArray<ScopedNullifier, typeof MAX_NULLIFIERS_PER_TX>;
     /**
      * All the new L2 to L1 messages created in this transaction.
      */
-    l2ToL1Msgs: Tuple<ScopedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>;
+    l2ToL1Msgs: ClaimedLengthArray<ScopedCountedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>;
     /**
      * Accumulated logs from all the previous kernel iterations.
      */
-    privateLogs: Tuple<ScopedPrivateLogData, typeof MAX_PRIVATE_LOGS_PER_TX>;
+    privateLogs: ClaimedLengthArray<ScopedPrivateLogData, typeof MAX_PRIVATE_LOGS_PER_TX>;
     /**
      * Accumulated contract class logs from all the previous kernel iterations.
      * Note: Truncated to 31 bytes to fit in Fr.
      */
-    contractClassLogsHashes: Tuple<ScopedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_TX>;
+    contractClassLogsHashes: ClaimedLengthArray<ScopedCountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_TX>;
     /**
      * Accumulated public call requests from all the previous kernel iterations.
      */
-    publicCallRequests: Tuple<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>;
+    publicCallRequests: ClaimedLengthArray<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>;
     /**
      * Current private call stack.
      */
-    privateCallStack: Tuple<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX>;
+    privateCallStack: ClaimedLengthArray<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX>;
     constructor(
     /**
      * The new note hashes made in this transaction.
      */
-    noteHashes: Tuple<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>, 
+    noteHashes: ClaimedLengthArray<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>, 
     /**
      * The new nullifiers made in this transaction.
      */
-    nullifiers: Tuple<ScopedNullifier, typeof MAX_NULLIFIERS_PER_TX>, 
+    nullifiers: ClaimedLengthArray<ScopedNullifier, typeof MAX_NULLIFIERS_PER_TX>, 
     /**
      * All the new L2 to L1 messages created in this transaction.
      */
-    l2ToL1Msgs: Tuple<ScopedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>, 
+    l2ToL1Msgs: ClaimedLengthArray<ScopedCountedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>, 
     /**
      * Accumulated logs from all the previous kernel iterations.
      */
-    privateLogs: Tuple<ScopedPrivateLogData, typeof MAX_PRIVATE_LOGS_PER_TX>, 
+    privateLogs: ClaimedLengthArray<ScopedPrivateLogData, typeof MAX_PRIVATE_LOGS_PER_TX>, 
     /**
      * Accumulated contract class logs from all the previous kernel iterations.
      * Note: Truncated to 31 bytes to fit in Fr.
      */
-    contractClassLogsHashes: Tuple<ScopedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_TX>, 
+    contractClassLogsHashes: ClaimedLengthArray<ScopedCountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_TX>, 
     /**
      * Accumulated public call requests from all the previous kernel iterations.
      */
-    publicCallRequests: Tuple<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>, 
+    publicCallRequests: ClaimedLengthArray<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>, 
     /**
      * Current private call stack.
      */
-    privateCallStack: Tuple<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX>);
-    toBuffer(): Buffer;
+    privateCallStack: ClaimedLengthArray<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX>);
+    toBuffer(): Buffer<ArrayBufferLike>;
     toString(): `0x${string}`;
     /**
      * Deserializes from a buffer or reader, corresponding to a write in cpp.

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

@@ -1 +1 @@
-{"version":3,"file":"private_accumulated_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_accumulated_data.ts"],"names":[],"mappings":";;AAAA,OAAO,EACL,8BAA8B,EAC9B,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,EACrB,oCAAoC,EACpC,uBAAuB,EACxB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAG1F,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAEpE;;;GAGG;AACH,qBAAa,sBAAsB;IAE/B;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC;IACvE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,eAAe,EAAE,OAAO,qBAAqB,CAAC;IACvE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,wBAAwB,CAAC;IAC9E;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,oBAAoB,EAAE,OAAO,uBAAuB,CAAC;IAC/E;;;OAGG;IACI,uBAAuB,EAAE,KAAK,CAAC,aAAa,EAAE,OAAO,8BAA8B,CAAC;IAC3F;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,wBAAwB,EAAE,OAAO,yBAAyB,CAAC;IAC5F;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,kBAAkB,EAAE,OAAO,oCAAoC,CAAC;;IA5B/F;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC;IACvE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,eAAe,EAAE,OAAO,qBAAqB,CAAC;IACvE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,wBAAwB,CAAC;IAC9E;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,oBAAoB,EAAE,OAAO,uBAAuB,CAAC;IAC/E;;;OAGG;IACI,uBAAuB,EAAE,KAAK,CAAC,aAAa,EAAE,OAAO,8BAA8B,CAAC;IAC3F;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,wBAAwB,EAAE,OAAO,yBAAyB,CAAC;IAC5F;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,kBAAkB,EAAE,OAAO,oCAAoC,CAAC;IAGjG,QAAQ;IAYR,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IAaxE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,KAAK;CAWb"}
+{"version":3,"file":"private_accumulated_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_accumulated_data.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,8BAA8B,EAC9B,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,EACrB,oCAAoC,EACpC,uBAAuB,EACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,0BAA0B,EAAE,MAAM,kCAAkC,CAAC;AAC9E,OAAO,EAAE,kBAAkB,EAAgC,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAEpE;;;GAGG;AACH,qBAAa,sBAAsB;IAE/B;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC;IACpF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,eAAe,EAAE,OAAO,qBAAqB,CAAC;IACpF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,0BAA0B,EAAE,OAAO,wBAAwB,CAAC;IAClG;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,uBAAuB,CAAC;IAC5F;;;OAGG;IACI,uBAAuB,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,8BAA8B,CAAC;IAC/G;;OAEG;IACI,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,yBAAyB,CAAC;IACzG;;OAEG;IACI,gBAAgB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,oCAAoC,CAAC;;IA5B5G;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC;IACpF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,eAAe,EAAE,OAAO,qBAAqB,CAAC;IACpF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,0BAA0B,EAAE,OAAO,wBAAwB,CAAC;IAClG;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,uBAAuB,CAAC;IAC5F;;;OAGG;IACI,uBAAuB,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,8BAA8B,CAAC;IAC/G;;OAEG;IACI,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,yBAAyB,CAAC;IACzG;;OAEG;IACI,gBAAgB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,oCAAoC,CAAC;IAG9G,QAAQ;IAYR,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IAaxE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,KAAK;CAWb"}

package/dest/kernel/private_accumulated_data.js

@@ -1,9 +1,9 @@
 import { MAX_CONTRACT_CLASS_LOGS_PER_TX, MAX_ENQUEUED_CALLS_PER_TX, MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX, MAX_PRIVATE_LOGS_PER_TX } from '@aztec/constants';
-import { makeTuple } from '@aztec/foundation/array';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
-import { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
-import { ScopedLogHash } from './log_hash.js';
+import { ScopedCountedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
+import { ClaimedLengthArray, ClaimedLengthArrayFromBuffer } from './claimed_length_array.js';
+import { ScopedCountedLogHash } from './log_hash.js';
 import { ScopedNoteHash } from './note_hash.js';
 import { ScopedNullifier } from './nullifier.js';
 import { PrivateCallRequest } from './private_call_request.js';
@@ -56,7 +56,7 @@ import { CountedPublicCallRequest } from './public_call_request.js';
    * @returns Deserialized object.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PrivateAccumulatedData(reader.readArray(MAX_NOTE_HASHES_PER_TX, ScopedNoteHash), reader.readArray(MAX_NULLIFIERS_PER_TX, ScopedNullifier), reader.readArray(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message), reader.readArray(MAX_PRIVATE_LOGS_PER_TX, ScopedPrivateLogData), reader.readArray(MAX_CONTRACT_CLASS_LOGS_PER_TX, ScopedLogHash), reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, CountedPublicCallRequest), reader.readArray(MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX, PrivateCallRequest));
+        return new PrivateAccumulatedData(reader.readObject(ClaimedLengthArrayFromBuffer(ScopedNoteHash, MAX_NOTE_HASHES_PER_TX)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedNullifier, MAX_NULLIFIERS_PER_TX)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedCountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_TX)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedPrivateLogData, MAX_PRIVATE_LOGS_PER_TX)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedCountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_TX)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_TX)), reader.readObject(ClaimedLengthArrayFromBuffer(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX)));
     }
     /**
    * Deserializes from a string, corresponding to a write in cpp.
@@ -66,6 +66,6 @@ import { CountedPublicCallRequest } from './public_call_request.js';
         return PrivateAccumulatedData.fromBuffer(hexToBuffer(str));
     }
     static empty() {
-        return new PrivateAccumulatedData(makeTuple(MAX_NOTE_HASHES_PER_TX, ScopedNoteHash.empty), makeTuple(MAX_NULLIFIERS_PER_TX, ScopedNullifier.empty), makeTuple(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message.empty), makeTuple(MAX_PRIVATE_LOGS_PER_TX, ScopedPrivateLogData.empty), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ScopedLogHash.empty), makeTuple(MAX_ENQUEUED_CALLS_PER_TX, CountedPublicCallRequest.empty), makeTuple(MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX, PrivateCallRequest.empty));
+        return new PrivateAccumulatedData(ClaimedLengthArray.empty(ScopedNoteHash, MAX_NOTE_HASHES_PER_TX), ClaimedLengthArray.empty(ScopedNullifier, MAX_NULLIFIERS_PER_TX), ClaimedLengthArray.empty(ScopedCountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_TX), ClaimedLengthArray.empty(ScopedPrivateLogData, MAX_PRIVATE_LOGS_PER_TX), ClaimedLengthArray.empty(ScopedCountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_TX), ClaimedLengthArray.empty(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_TX), ClaimedLengthArray.empty(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX));
     }
 }

package/dest/kernel/private_call_data.d.ts

@@ -1,13 +1,11 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { FUNCTION_TREE_HEIGHT, PROTOCOL_CONTRACT_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
+import { FUNCTION_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader } from '@aztec/foundation/serialize';
 import { MembershipWitness } from '@aztec/foundation/trees';
 import type { FieldsOf } from '@aztec/foundation/types';
+import { DelayedPublicMutableValues } from '../delayed_public_mutable/delayed_public_mutable_values.js';
 import { PublicKeys } from '../keys/public_keys.js';
-import { SharedMutableValues } from '../shared_mutable/shared_mutable_values.js';
-import { ProtocolContractLeafPreimage, PublicDataTreeLeafPreimage } from '../trees/index.js';
+import { PublicDataTreeLeafPreimage } from '../trees/index.js';
 import { VerificationKeyAsFields } from '../vks/verification_key.js';
 import { PrivateCircuitPublicInputs } from './private_circuit_public_inputs.js';
 /**
@@ -79,16 +77,6 @@ export declare class PrivateVerificationKeyHints {
      * The membership witness for the function leaf corresponding to the function being invoked.
      */
     functionLeafMembershipWitness: MembershipWitness<typeof FUNCTION_TREE_HEIGHT>;
-    /**
-     * The membership witness for the protocolContractLeaf.
-     */
-    protocolContractMembershipWitness: MembershipWitness<typeof PROTOCOL_CONTRACT_TREE_HEIGHT>;
-    /**
-     * The leaf of the protocol contract tree, of either:
-     *  The protocol contract being called.
-     *  The low leaf showing that the address of the contract being called is not in the tree.
-     */
-    protocolContractLeaf: ProtocolContractLeafPreimage;
     updatedClassIdHints: UpdatedClassIdHints;
     constructor(
     /**
@@ -110,23 +98,13 @@ export declare class PrivateVerificationKeyHints {
     /**
      * The membership witness for the function leaf corresponding to the function being invoked.
      */
-    functionLeafMembershipWitness: MembershipWitness<typeof FUNCTION_TREE_HEIGHT>, 
-    /**
-     * The membership witness for the protocolContractLeaf.
-     */
-    protocolContractMembershipWitness: MembershipWitness<typeof PROTOCOL_CONTRACT_TREE_HEIGHT>, 
-    /**
-     * The leaf of the protocol contract tree, of either:
-     *  The protocol contract being called.
-     *  The low leaf showing that the address of the contract being called is not in the tree.
-     */
-    protocolContractLeaf: ProtocolContractLeafPreimage, updatedClassIdHints: UpdatedClassIdHints);
+    functionLeafMembershipWitness: MembershipWitness<typeof FUNCTION_TREE_HEIGHT>, updatedClassIdHints: UpdatedClassIdHints);
     /**
      * Serialize into a field array. Low-level utility.
      * @param fields - Object with fields.
      * @returns The array.
      */
-    static getFields(fields: FieldsOf<PrivateVerificationKeyHints>): readonly [Fr, Fr, PublicKeys, Fr, MembershipWitness<5>, MembershipWitness<3>, ProtocolContractLeafPreimage, UpdatedClassIdHints];
+    static getFields(fields: FieldsOf<PrivateVerificationKeyHints>): readonly [Fr, Fr, PublicKeys, Fr, MembershipWitness<7>, UpdatedClassIdHints];
     static from(fields: FieldsOf<PrivateVerificationKeyHints>): PrivateVerificationKeyHints;
     /**
      * Serialize this as a buffer.
@@ -143,9 +121,9 @@ export declare class PrivateVerificationKeyHints {
 export declare class UpdatedClassIdHints {
     updatedClassIdWitness: MembershipWitness<typeof PUBLIC_DATA_TREE_HEIGHT>;
     updatedClassIdLeaf: PublicDataTreeLeafPreimage;
-    updatedClassIdValues: SharedMutableValues;
-    constructor(updatedClassIdWitness: MembershipWitness<typeof PUBLIC_DATA_TREE_HEIGHT>, updatedClassIdLeaf: PublicDataTreeLeafPreimage, updatedClassIdValues: SharedMutableValues);
-    static getFields(fields: FieldsOf<UpdatedClassIdHints>): readonly [MembershipWitness<40>, PublicDataTreeLeafPreimage, SharedMutableValues];
+    updatedClassIdValues: DelayedPublicMutableValues;
+    constructor(updatedClassIdWitness: MembershipWitness<typeof PUBLIC_DATA_TREE_HEIGHT>, updatedClassIdLeaf: PublicDataTreeLeafPreimage, updatedClassIdValues: DelayedPublicMutableValues);
+    static getFields(fields: FieldsOf<UpdatedClassIdHints>): readonly [MembershipWitness<40>, PublicDataTreeLeafPreimage, DelayedPublicMutableValues];
     static from(fields: FieldsOf<UpdatedClassIdHints>): UpdatedClassIdHints;
     /**
      * Serialize this as a buffer.

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

@@ -1 +1 @@
-{"version":3,"file":"private_call_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_call_data.ts"],"names":[],"mappings":";;AAAA,OAAO,EACL,oBAAoB,EACpB,6BAA6B,EAC7B,uBAAuB,EAExB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACjF,OAAO,EAAE,4BAA4B,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAC7F,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAEhF;;GAEG;AACH,qBAAa,eAAe;IAExB;;OAEG;IACI,YAAY,EAAE,0BAA0B;IAE/C;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAElC;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;;IAbxD;;OAEG;IACI,YAAY,EAAE,0BAA0B;IAE/C;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAElC;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;IAG1D;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC;IAIlD,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,GAAG,eAAe;IAI/D;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;CAQlE;AAED,qBAAa,2BAA2B;IAEpC;;OAEG;IACI,yBAAyB,EAAE,EAAE;IACpC;;OAEG;IACI,qCAAqC,EAAE,EAAE;IAChD;;OAEG;IACI,UAAU,EAAE,UAAU;IAC7B;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,6BAA6B,EAAE,iBAAiB,CAAC,OAAO,oBAAoB,CAAC;IACpF;;OAEG;IACI,iCAAiC,EAAE,iBAAiB,CAAC,OAAO,6BAA6B,CAAC;IACjG;;;;OAIG;IACI,oBAAoB,EAAE,4BAA4B;IAElD,mBAAmB,EAAE,mBAAmB;;IA/B/C;;OAEG;IACI,yBAAyB,EAAE,EAAE;IACpC;;OAEG;IACI,qCAAqC,EAAE,EAAE;IAChD;;OAEG;IACI,UAAU,EAAE,UAAU;IAC7B;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,6BAA6B,EAAE,iBAAiB,CAAC,OAAO,oBAAoB,CAAC;IACpF;;OAEG;IACI,iCAAiC,EAAE,iBAAiB,CAAC,OAAO,6BAA6B,CAAC;IACjG;;;;OAIG;IACI,oBAAoB,EAAE,4BAA4B,EAElD,mBAAmB,EAAE,mBAAmB;IAGjD;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC;IAa9D,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC,GAAG,2BAA2B;IAIvF;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,2BAA2B;CAa9E;AAED,qBAAa,mBAAmB;IAErB,qBAAqB,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC;IACxE,kBAAkB,EAAE,0BAA0B;IAC9C,oBAAoB,EAAE,mBAAmB;gBAFzC,qBAAqB,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC,EACxE,kBAAkB,EAAE,0BAA0B,EAC9C,oBAAoB,EAAE,mBAAmB;IAGlD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC;IAItD,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,GAAG,mBAAmB;IAIvE;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB;CAYtE"}
+{"version":3,"file":"private_call_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_call_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,uBAAuB,EAAsB,MAAM,kBAAkB,CAAC;AACrG,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,0BAA0B,EAAE,MAAM,4DAA4D,CAAC;AACxG,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAEhF;;GAEG;AACH,qBAAa,eAAe;IAExB;;OAEG;IACI,YAAY,EAAE,0BAA0B;IAE/C;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAElC;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;;IAbxD;;OAEG;IACI,YAAY,EAAE,0BAA0B;IAE/C;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAElC;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;IAG1D;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC;IAIlD,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,GAAG,eAAe;IAI/D;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;CAQlE;AAED,qBAAa,2BAA2B;IAEpC;;OAEG;IACI,yBAAyB,EAAE,EAAE;IACpC;;OAEG;IACI,qCAAqC,EAAE,EAAE;IAChD;;OAEG;IACI,UAAU,EAAE,UAAU;IAC7B;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,6BAA6B,EAAE,iBAAiB,CAAC,OAAO,oBAAoB,CAAC;IAE7E,mBAAmB,EAAE,mBAAmB;;IArB/C;;OAEG;IACI,yBAAyB,EAAE,EAAE;IACpC;;OAEG;IACI,qCAAqC,EAAE,EAAE;IAChD;;OAEG;IACI,UAAU,EAAE,UAAU;IAC7B;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,6BAA6B,EAAE,iBAAiB,CAAC,OAAO,oBAAoB,CAAC,EAE7E,mBAAmB,EAAE,mBAAmB;IAGjD;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC;IAW9D,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC,GAAG,2BAA2B;IAIvF;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,2BAA2B;CAW9E;AAED,qBAAa,mBAAmB;IAErB,qBAAqB,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC;IACxE,kBAAkB,EAAE,0BAA0B;IAC9C,oBAAoB,EAAE,0BAA0B;gBAFhD,qBAAqB,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC,EACxE,kBAAkB,EAAE,0BAA0B,EAC9C,oBAAoB,EAAE,0BAA0B;IAGzD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC;IAItD,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,GAAG,mBAAmB;IAIvE;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB;CAYtE"}

package/dest/kernel/private_call_data.js

@@ -1,10 +1,10 @@
-import { FUNCTION_TREE_HEIGHT, PROTOCOL_CONTRACT_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT, UPDATES_VALUE_SIZE } from '@aztec/constants';
+import { FUNCTION_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT, UPDATES_VALUE_SIZE } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { MembershipWitness } from '@aztec/foundation/trees';
+import { DelayedPublicMutableValues } from '../delayed_public_mutable/delayed_public_mutable_values.js';
 import { PublicKeys } from '../keys/public_keys.js';
-import { SharedMutableValues } from '../shared_mutable/shared_mutable_values.js';
-import { ProtocolContractLeafPreimage, PublicDataTreeLeafPreimage } from '../trees/index.js';
+import { PublicDataTreeLeafPreimage } from '../trees/index.js';
 import { VerificationKeyAsFields } from '../vks/verification_key.js';
 import { PrivateCircuitPublicInputs } from './private_circuit_public_inputs.js';
 /**
@@ -59,8 +59,6 @@ export class PrivateVerificationKeyHints {
     publicKeys;
     saltedInitializationHash;
     functionLeafMembershipWitness;
-    protocolContractMembershipWitness;
-    protocolContractLeaf;
     updatedClassIdHints;
     constructor(/**
      * Artifact hash of the contract class for this private call.
@@ -72,20 +70,12 @@ export class PrivateVerificationKeyHints {
      * Salted initialization hash of the contract instance.
      */ saltedInitializationHash, /**
      * The membership witness for the function leaf corresponding to the function being invoked.
-     */ functionLeafMembershipWitness, /**
-     * The membership witness for the protocolContractLeaf.
-     */ protocolContractMembershipWitness, /**
-     * The leaf of the protocol contract tree, of either:
-     *  The protocol contract being called.
-     *  The low leaf showing that the address of the contract being called is not in the tree.
-     */ protocolContractLeaf, updatedClassIdHints){
+     */ functionLeafMembershipWitness, updatedClassIdHints){
         this.contractClassArtifactHash = contractClassArtifactHash;
         this.contractClassPublicBytecodeCommitment = contractClassPublicBytecodeCommitment;
         this.publicKeys = publicKeys;
         this.saltedInitializationHash = saltedInitializationHash;
         this.functionLeafMembershipWitness = functionLeafMembershipWitness;
-        this.protocolContractMembershipWitness = protocolContractMembershipWitness;
-        this.protocolContractLeaf = protocolContractLeaf;
         this.updatedClassIdHints = updatedClassIdHints;
     }
     /**
@@ -99,8 +89,6 @@ export class PrivateVerificationKeyHints {
             fields.publicKeys,
             fields.saltedInitializationHash,
             fields.functionLeafMembershipWitness,
-            fields.protocolContractMembershipWitness,
-            fields.protocolContractLeaf,
             fields.updatedClassIdHints
         ];
     }
@@ -119,7 +107,7 @@ export class PrivateVerificationKeyHints {
    * @returns The deserialized instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PrivateVerificationKeyHints(reader.readObject(Fr), reader.readObject(Fr), reader.readObject(PublicKeys), reader.readObject(Fr), reader.readObject(MembershipWitness.deserializer(FUNCTION_TREE_HEIGHT)), reader.readObject(MembershipWitness.deserializer(PROTOCOL_CONTRACT_TREE_HEIGHT)), reader.readObject(ProtocolContractLeafPreimage), reader.readObject(UpdatedClassIdHints));
+        return new PrivateVerificationKeyHints(reader.readObject(Fr), reader.readObject(Fr), reader.readObject(PublicKeys), reader.readObject(Fr), reader.readObject(MembershipWitness.deserializer(FUNCTION_TREE_HEIGHT)), reader.readObject(UpdatedClassIdHints));
     }
 }
 export class UpdatedClassIdHints {
@@ -155,7 +143,7 @@ export class UpdatedClassIdHints {
         const reader = BufferReader.asReader(buffer);
         return new UpdatedClassIdHints(reader.readObject(MembershipWitness.deserializer(PUBLIC_DATA_TREE_HEIGHT)), reader.readObject(PublicDataTreeLeafPreimage), reader.readObject({
             fromBuffer (reader) {
-                return SharedMutableValues.fromBuffer(reader, UPDATES_VALUE_SIZE);
+                return DelayedPublicMutableValues.fromBuffer(reader, UPDATES_VALUE_SIZE);
             }
         }));
     }

package/dest/kernel/private_call_request.d.ts

@@ -1,5 +1,3 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
 import { CallContext } from '../tx/call_context.js';
@@ -47,7 +45,7 @@ export declare class PrivateCallRequest {
     endSideEffectCounter: number);
     toFields(): Fr[];
     static fromFields(fields: Fr[] | FieldReader): PrivateCallRequest;
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     static fromBuffer(buffer: Buffer | BufferReader): PrivateCallRequest;
     isEmpty(): boolean;
     static empty(): PrivateCallRequest;

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

@@ -1 +1 @@
-{"version":3,"file":"private_call_request.d.ts","sourceRoot":"","sources":["../../src/kernel/private_call_request.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAE9G,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEpD,qBAAa,kBAAkB;IAE3B;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,sBAAsB,EAAE,MAAM;IACrC;;OAEG;IACI,oBAAoB,EAAE,MAAM;;IAnBnC;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,sBAAsB,EAAE,MAAM;IACrC;;OAEG;IACI,oBAAoB,EAAE,MAAM;IAGrC,QAAQ,IAAI,EAAE,EAAE;IAUhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAW5C,QAAQ;WAUM,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAWtD,OAAO;WAUO,KAAK;IAInB,MAAM,CAAC,WAAW,EAAE,kBAAkB;IAUtC,QAAQ;CAGT"}
+{"version":3,"file":"private_call_request.d.ts","sourceRoot":"","sources":["../../src/kernel/private_call_request.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAE9G,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEpD,qBAAa,kBAAkB;IAE3B;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,sBAAsB,EAAE,MAAM;IACrC;;OAEG;IACI,oBAAoB,EAAE,MAAM;;IAnBnC;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,sBAAsB,EAAE,MAAM;IACrC;;OAEG;IACI,oBAAoB,EAAE,MAAM;IAGrC,QAAQ,IAAI,EAAE,EAAE;IAUhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAW5C,QAAQ;WAUM,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAWtD,OAAO;WAUO,KAAK;IAInB,MAAM,CAAC,WAAW,EAAE,kBAAkB;IAUtC,QAAQ;CAGT"}