@aztec/stdlib 0.77.0-testnet-ignition.17

package/dest/kernel/hints/read_request.js

@@ -0,0 +1,112 @@
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { AztecAddress } from '../../aztec-address/index.js';
+export class ReadRequest {
+    value;
+    counter;
+    constructor(/**
+     * The value being read.
+     */ value, /**
+     * The side-effect counter.
+     */ counter){
+        this.value = value;
+        this.counter = counter;
+    }
+    /**
+   * Serialize this as a buffer.
+   * @returns The buffer.
+   */ toBuffer() {
+        return serializeToBuffer(this.value, this.counter);
+    }
+    /**
+   * Deserializes from a buffer or reader, corresponding to a write in cpp.
+   * @param buffer - Buffer or reader to read from.
+   * @returns A new instance of ReadRequest.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new ReadRequest(Fr.fromBuffer(reader), reader.readNumber());
+    }
+    /**
+   * Convert to an array of fields.
+   * @returns The array of fields.
+   */ toFields() {
+        return [
+            this.value,
+            new Fr(this.counter)
+        ];
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new ReadRequest(reader.readField(), reader.readU32());
+    }
+    /**
+   * Returns whether this instance of side-effect is empty.
+   * @returns True if the value and counter both are zero.
+   */ isEmpty() {
+        return this.value.isZero() && !this.counter;
+    }
+    /**
+   * Returns an empty instance of side-effect.
+   * @returns Side-effect with both value and counter being zero.
+   */ static empty() {
+        return new ReadRequest(Fr.zero(), 0);
+    }
+    scope(contractAddress) {
+        return new ScopedReadRequest(this, contractAddress);
+    }
+}
+/**
+ * ReadRequest with context of the contract emitting the request.
+ */ export class ScopedReadRequest {
+    readRequest;
+    contractAddress;
+    constructor(readRequest, contractAddress){
+        this.readRequest = readRequest;
+        this.contractAddress = contractAddress;
+    }
+    get value() {
+        return this.readRequest.value;
+    }
+    get counter() {
+        return this.readRequest.counter;
+    }
+    /**
+   * Serialize this as a buffer.
+   * @returns The buffer.
+   */ toBuffer() {
+        return serializeToBuffer(this.readRequest, this.contractAddress);
+    }
+    /**
+   * Deserializes from a buffer or reader, corresponding to a write in cpp.
+   * @param buffer - Buffer or reader to read from.
+   * @returns A new instance of ScopedReadRequest.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new ScopedReadRequest(ReadRequest.fromBuffer(reader), AztecAddress.fromBuffer(reader));
+    }
+    /**
+   * Convert to an array of fields.
+   * @returns The array of fields.
+   */ toFields() {
+        return [
+            ...this.readRequest.toFields(),
+            this.contractAddress.toField()
+        ];
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new ScopedReadRequest(reader.readObject(ReadRequest), AztecAddress.fromField(reader.readField()));
+    }
+    /**
+   * Returns whether this instance of side-effect is empty.
+   * @returns True if the value, note hash and counter are all zero.
+   */ isEmpty() {
+        return this.readRequest.isEmpty() && this.contractAddress.isZero();
+    }
+    /**
+   * Returns an empty instance of side-effect.
+   * @returns Side-effect with value, note hash and counter being zero.
+   */ static empty() {
+        return new ScopedReadRequest(ReadRequest.empty(), AztecAddress.ZERO);
+    }
+}

package/dest/kernel/hints/read_request_hints.d.ts

@@ -0,0 +1,78 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { BufferReader, type Bufferable, type Tuple } from '@aztec/foundation/serialize';
+import { MembershipWitness } from '@aztec/foundation/trees';
+export declare enum ReadRequestState {
+    NADA = 0,
+    PENDING = 1,
+    SETTLED = 2
+}
+export declare class ReadRequestStatus {
+    state: ReadRequestState;
+    hintIndex: number;
+    constructor(state: ReadRequestState, hintIndex: number);
+    static nada(): ReadRequestStatus;
+    static pending(hintIndex: number): ReadRequestStatus;
+    static settled(hintIndex: number): ReadRequestStatus;
+    static fromBuffer(buffer: Buffer | BufferReader): ReadRequestStatus;
+    toBuffer(): Buffer;
+}
+export declare class PendingReadHint {
+    readRequestIndex: number;
+    pendingValueIndex: number;
+    constructor(readRequestIndex: number, pendingValueIndex: number);
+    static nada(readRequestLen: number): PendingReadHint;
+    static fromBuffer(buffer: Buffer | BufferReader): PendingReadHint;
+    toBuffer(): Buffer;
+}
+export declare class SettledReadHint<TREE_HEIGHT extends number, LEAF_PREIMAGE extends Bufferable> {
+    readRequestIndex: number;
+    membershipWitness: MembershipWitness<TREE_HEIGHT>;
+    leafPreimage: LEAF_PREIMAGE;
+    constructor(readRequestIndex: number, membershipWitness: MembershipWitness<TREE_HEIGHT>, leafPreimage: LEAF_PREIMAGE);
+    static nada<TREE_HEIGHT extends number, LEAF_PREIMAGE extends Bufferable>(readRequestLen: number, treeHeight: TREE_HEIGHT, emptyLeafPreimage: () => LEAF_PREIMAGE): SettledReadHint<TREE_HEIGHT, LEAF_PREIMAGE>;
+    static fromBuffer<TREE_HEIGHT extends number, LEAF_PREIMAGE extends Bufferable>(buffer: Buffer | BufferReader, treeHeight: TREE_HEIGHT, leafPreimage: {
+        fromBuffer(buffer: BufferReader): LEAF_PREIMAGE;
+    }): SettledReadHint<TREE_HEIGHT, LEAF_PREIMAGE>;
+    toBuffer(): Buffer;
+}
+/**
+ * Hints for read request reset circuit.
+ */
+export declare class ReadRequestResetHints<READ_REQUEST_LEN extends number, NUM_PENDING_READS extends number, NUM_SETTLED_READS extends number, TREE_HEIGHT extends number, LEAF_PREIMAGE extends Bufferable> {
+    readRequestStatuses: Tuple<ReadRequestStatus, READ_REQUEST_LEN>;
+    /**
+     * The hints for read requests reading pending values.
+     */
+    pendingReadHints: Tuple<PendingReadHint, NUM_PENDING_READS>;
+    /**
+     * The hints for read requests reading settled values.
+     */
+    settledReadHints: Tuple<SettledReadHint<TREE_HEIGHT, LEAF_PREIMAGE>, NUM_SETTLED_READS>;
+    constructor(readRequestStatuses: Tuple<ReadRequestStatus, READ_REQUEST_LEN>, 
+    /**
+     * The hints for read requests reading pending values.
+     */
+    pendingReadHints: Tuple<PendingReadHint, NUM_PENDING_READS>, 
+    /**
+     * The hints for read requests reading settled values.
+     */
+    settledReadHints: Tuple<SettledReadHint<TREE_HEIGHT, LEAF_PREIMAGE>, NUM_SETTLED_READS>);
+    trimToSizes<NEW_NUM_PENDING_READS extends number, NEW_NUM_SETTLED_READS extends number>(numPendingReads: NEW_NUM_PENDING_READS, numSettledReads: NEW_NUM_SETTLED_READS): ReadRequestResetHints<READ_REQUEST_LEN, NEW_NUM_PENDING_READS, NEW_NUM_SETTLED_READS, TREE_HEIGHT, LEAF_PREIMAGE>;
+    /**
+     * Deserializes from a buffer or reader.
+     * @param buffer - Buffer or reader to read from.
+     * @returns The deserialized instance.
+     */
+    static fromBuffer<READ_REQUEST_LEN extends number, NUM_PENDING_READS extends number, NUM_SETTLED_READS extends number, TREE_HEIGHT extends number, LEAF_PREIMAGE extends Bufferable>(buffer: Buffer | BufferReader, readRequestLen: READ_REQUEST_LEN, numPendingReads: NUM_PENDING_READS, numSettledReads: NUM_SETTLED_READS, treeHeight: TREE_HEIGHT, leafPreimageFromBuffer: {
+        fromBuffer: (buffer: BufferReader) => LEAF_PREIMAGE;
+    }): ReadRequestResetHints<READ_REQUEST_LEN, NUM_PENDING_READS, NUM_SETTLED_READS, TREE_HEIGHT, LEAF_PREIMAGE>;
+    toBuffer(): Buffer;
+}
+export declare class ReadRequestResetStates<NUM_READS extends number> {
+    states: Tuple<ReadRequestState, NUM_READS>;
+    pendingReadHints: PendingReadHint[];
+    constructor(states: Tuple<ReadRequestState, NUM_READS>, pendingReadHints: PendingReadHint[]);
+    static empty<NUM_READS extends number>(numReads: NUM_READS): ReadRequestResetStates<NUM_READS>;
+}
+//# sourceMappingURL=read_request_hints.d.ts.map

package/dest/kernel/hints/read_request_hints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read_request_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/read_request_hints.ts"],"names":[],"mappings":";;AACA,OAAO,EAAE,YAAY,EAAE,KAAK,UAAU,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAC3G,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,oBAAY,gBAAgB;IAC1B,IAAI,IAAI;IACR,OAAO,IAAI;IACX,OAAO,IAAI;CACZ;AAED,qBAAa,iBAAiB;IACT,KAAK,EAAE,gBAAgB;IAAS,SAAS,EAAE,MAAM;gBAAjD,KAAK,EAAE,gBAAgB,EAAS,SAAS,EAAE,MAAM;IAEpE,MAAM,CAAC,IAAI;IAIX,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM;IAIhC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM;IAIhC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;CAGT;AAED,qBAAa,eAAe;IACP,gBAAgB,EAAE,MAAM;IAAS,iBAAiB,EAAE,MAAM;gBAA1D,gBAAgB,EAAE,MAAM,EAAS,iBAAiB,EAAE,MAAM;IAE7E,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM;IAIlC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;CAGT;AAED,qBAAa,eAAe,CAAC,WAAW,SAAS,MAAM,EAAE,aAAa,SAAS,UAAU;IAE9E,gBAAgB,EAAE,MAAM;IACxB,iBAAiB,EAAE,iBAAiB,CAAC,WAAW,CAAC;IACjD,YAAY,EAAE,aAAa;gBAF3B,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,iBAAiB,CAAC,WAAW,CAAC,EACjD,YAAY,EAAE,aAAa;IAGpC,MAAM,CAAC,IAAI,CAAC,WAAW,SAAS,MAAM,EAAE,aAAa,SAAS,UAAU,EACtE,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,WAAW,EACvB,iBAAiB,EAAE,MAAM,aAAa;IAKxC,MAAM,CAAC,UAAU,CAAC,WAAW,SAAS,MAAM,EAAE,aAAa,SAAS,UAAU,EAC5E,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,UAAU,EAAE,WAAW,EACvB,YAAY,EAAE;QAAE,UAAU,CAAC,MAAM,EAAE,YAAY,GAAG,aAAa,CAAA;KAAE,GAChE,eAAe,CAAC,WAAW,EAAE,aAAa,CAAC;IAS9C,QAAQ;CAGT;AAED;;GAEG;AACH,qBAAa,qBAAqB,CAChC,gBAAgB,SAAS,MAAM,EAC/B,iBAAiB,SAAS,MAAM,EAChC,iBAAiB,SAAS,MAAM,EAChC,WAAW,SAAS,MAAM,EAC1B,aAAa,SAAS,UAAU;IAGvB,mBAAmB,EAAE,KAAK,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IACtE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,EAAE,iBAAiB,CAAC;IAClE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,iBAAiB,CAAC;gBARvF,mBAAmB,EAAE,KAAK,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IACtE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,EAAE,iBAAiB,CAAC;IAClE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAGhG,WAAW,CAAC,qBAAqB,SAAS,MAAM,EAAE,qBAAqB,SAAS,MAAM,EACpF,eAAe,EAAE,qBAAqB,EACtC,eAAe,EAAE,qBAAqB,GACrC,qBAAqB,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,CAAC;IAWpH;;;;OAIG;IACH,MAAM,CAAC,UAAU,CACf,gBAAgB,SAAS,MAAM,EAC/B,iBAAiB,SAAS,MAAM,EAChC,iBAAiB,SAAS,MAAM,EAChC,WAAW,SAAS,MAAM,EAC1B,aAAa,SAAS,UAAU,EAEhC,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,cAAc,EAAE,gBAAgB,EAChC,eAAe,EAAE,iBAAiB,EAClC,eAAe,EAAE,iBAAiB,EAClC,UAAU,EAAE,WAAW,EACvB,sBAAsB,EAAE;QAAE,UAAU,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,aAAa,CAAA;KAAE,GAC9E,qBAAqB,CAAC,gBAAgB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,WAAW,EAAE,aAAa,CAAC;IAW5G,QAAQ;CAGT;AAED,qBAAa,sBAAsB,CAAC,SAAS,SAAS,MAAM;IACvC,MAAM,EAAE,KAAK,CAAC,gBAAgB,EAAE,SAAS,CAAC;IAAS,gBAAgB,EAAE,eAAe,EAAE;gBAAtF,MAAM,EAAE,KAAK,CAAC,gBAAgB,EAAE,SAAS,CAAC,EAAS,gBAAgB,EAAE,eAAe,EAAE;IAEzG,MAAM,CAAC,KAAK,CAAC,SAAS,SAAS,MAAM,EAAE,QAAQ,EAAE,SAAS;CAM3D"}

package/dest/kernel/hints/read_request_hints.js

@@ -0,0 +1,114 @@
+import { makeTuple } from '@aztec/foundation/array';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { MembershipWitness } from '@aztec/foundation/trees';
+export var ReadRequestState = /*#__PURE__*/ function(ReadRequestState) {
+    ReadRequestState[ReadRequestState["NADA"] = 0] = "NADA";
+    ReadRequestState[ReadRequestState["PENDING"] = 1] = "PENDING";
+    ReadRequestState[ReadRequestState["SETTLED"] = 2] = "SETTLED";
+    return ReadRequestState;
+}({});
+export class ReadRequestStatus {
+    state;
+    hintIndex;
+    constructor(state, hintIndex){
+        this.state = state;
+        this.hintIndex = hintIndex;
+    }
+    static nada() {
+        return new ReadRequestStatus(0, 0);
+    }
+    static pending(hintIndex) {
+        return new ReadRequestStatus(1, hintIndex);
+    }
+    static settled(hintIndex) {
+        return new ReadRequestStatus(2, hintIndex);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new ReadRequestStatus(reader.readNumber(), reader.readNumber());
+    }
+    toBuffer() {
+        return serializeToBuffer(this.state, this.hintIndex);
+    }
+}
+export class PendingReadHint {
+    readRequestIndex;
+    pendingValueIndex;
+    constructor(readRequestIndex, pendingValueIndex){
+        this.readRequestIndex = readRequestIndex;
+        this.pendingValueIndex = pendingValueIndex;
+    }
+    static nada(readRequestLen) {
+        return new PendingReadHint(readRequestLen, 0);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PendingReadHint(reader.readNumber(), reader.readNumber());
+    }
+    toBuffer() {
+        return serializeToBuffer(this.readRequestIndex, this.pendingValueIndex);
+    }
+}
+export class SettledReadHint {
+    readRequestIndex;
+    membershipWitness;
+    leafPreimage;
+    constructor(readRequestIndex, membershipWitness, leafPreimage){
+        this.readRequestIndex = readRequestIndex;
+        this.membershipWitness = membershipWitness;
+        this.leafPreimage = leafPreimage;
+    }
+    static nada(readRequestLen, treeHeight, emptyLeafPreimage) {
+        return new SettledReadHint(readRequestLen, MembershipWitness.empty(treeHeight), emptyLeafPreimage());
+    }
+    static fromBuffer(buffer, treeHeight, leafPreimage) {
+        const reader = BufferReader.asReader(buffer);
+        return new SettledReadHint(reader.readNumber(), MembershipWitness.fromBuffer(reader, treeHeight), reader.readObject(leafPreimage));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.readRequestIndex, this.membershipWitness, this.leafPreimage);
+    }
+}
+/**
+ * Hints for read request reset circuit.
+ */ export class ReadRequestResetHints {
+    readRequestStatuses;
+    pendingReadHints;
+    settledReadHints;
+    constructor(readRequestStatuses, /**
+     * The hints for read requests reading pending values.
+     */ pendingReadHints, /**
+     * The hints for read requests reading settled values.
+     */ settledReadHints){
+        this.readRequestStatuses = readRequestStatuses;
+        this.pendingReadHints = pendingReadHints;
+        this.settledReadHints = settledReadHints;
+    }
+    trimToSizes(numPendingReads, numSettledReads) {
+        return new ReadRequestResetHints(this.readRequestStatuses, this.pendingReadHints.slice(0, numPendingReads), this.settledReadHints.slice(0, numSettledReads));
+    }
+    /**
+   * Deserializes from a buffer or reader.
+   * @param buffer - Buffer or reader to read from.
+   * @returns The deserialized instance.
+   */ static fromBuffer(buffer, readRequestLen, numPendingReads, numSettledReads, treeHeight, leafPreimageFromBuffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new ReadRequestResetHints(reader.readArray(readRequestLen, ReadRequestStatus), reader.readArray(numPendingReads, PendingReadHint), reader.readArray(numSettledReads, {
+            fromBuffer: (r)=>SettledReadHint.fromBuffer(r, treeHeight, leafPreimageFromBuffer)
+        }));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.readRequestStatuses, this.pendingReadHints, this.settledReadHints);
+    }
+}
+export class ReadRequestResetStates {
+    states;
+    pendingReadHints;
+    constructor(states, pendingReadHints){
+        this.states = states;
+        this.pendingReadHints = pendingReadHints;
+    }
+    static empty(numReads) {
+        return new ReadRequestResetStates(makeTuple(numReads, ()=>0), []);
+    }
+}

package/dest/kernel/hints/rollup_validation_requests.d.ts

@@ -0,0 +1,40 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import type { Fr } from '@aztec/foundation/fields';
+import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { MaxBlockNumber } from '../../tx/max_block_number.js';
+/**
+ * Validation requests directed at the rollup, accumulated during the execution of the transaction.
+ */
+export declare class RollupValidationRequests {
+    /**
+     * The largest block number in which this transaction can be included.
+     */
+    maxBlockNumber: MaxBlockNumber;
+    constructor(
+    /**
+     * The largest block number in which this transaction can be included.
+     */
+    maxBlockNumber: MaxBlockNumber);
+    getSize(): number;
+    toBuffer(): Buffer;
+    toString(): `0x${string}`;
+    static getFields(fields: FieldsOf<RollupValidationRequests>): readonly [MaxBlockNumber];
+    static fromFields(fields: Fr[] | FieldReader): RollupValidationRequests;
+    toFields(): Fr[];
+    /**
+     * Deserializes from a buffer or reader, corresponding to a write in cpp.
+     * @param buffer - Buffer or reader to read from.
+     * @returns Deserialized object.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): RollupValidationRequests;
+    /**
+     * Deserializes from a string, corresponding to a write in cpp.
+     * @param str - String to read from.
+     * @returns Deserialized object.
+     */
+    static fromString(str: string): RollupValidationRequests;
+    static empty(): RollupValidationRequests;
+}
+//# sourceMappingURL=rollup_validation_requests.d.ts.map

package/dest/kernel/hints/rollup_validation_requests.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rollup_validation_requests.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/rollup_validation_requests.ts"],"names":[],"mappings":";;AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAE9G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAE9D;;GAEG;AACH,qBAAa,wBAAwB;IAEjC;;OAEG;IACI,cAAc,EAAE,cAAc;;IAHrC;;OAEG;IACI,cAAc,EAAE,cAAc;IAGvC,OAAO;IAIP,QAAQ;IAIR,QAAQ;IAIR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wBAAwB,CAAC;IAI3D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,QAAQ,IAAI,EAAE,EAAE;IAUhB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,KAAK;CAGb"}

package/dest/kernel/hints/rollup_validation_requests.js

@@ -0,0 +1,57 @@
+import { ROLLUP_VALIDATION_REQUESTS_LENGTH } from '@aztec/constants';
+import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { MaxBlockNumber } from '../../tx/max_block_number.js';
+/**
+ * Validation requests directed at the rollup, accumulated during the execution of the transaction.
+ */ export class RollupValidationRequests {
+    maxBlockNumber;
+    constructor(/**
+     * The largest block number in which this transaction can be included.
+     */ maxBlockNumber){
+        this.maxBlockNumber = maxBlockNumber;
+    }
+    getSize() {
+        return this.toBuffer().length;
+    }
+    toBuffer() {
+        return serializeToBuffer(this.maxBlockNumber);
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static getFields(fields) {
+        return [
+            fields.maxBlockNumber
+        ];
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new RollupValidationRequests(MaxBlockNumber.fromFields(reader));
+    }
+    toFields() {
+        const fields = serializeToFields(...RollupValidationRequests.getFields(this));
+        if (fields.length !== ROLLUP_VALIDATION_REQUESTS_LENGTH) {
+            throw new Error(`Invalid number of fields for RollupValidationRequests. Expected ${ROLLUP_VALIDATION_REQUESTS_LENGTH}, got ${fields.length}`);
+        }
+        return fields;
+    }
+    /**
+   * Deserializes from a buffer or reader, corresponding to a write in cpp.
+   * @param buffer - Buffer or reader to read from.
+   * @returns Deserialized object.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new RollupValidationRequests(reader.readObject(MaxBlockNumber));
+    }
+    /**
+   * Deserializes from a string, corresponding to a write in cpp.
+   * @param str - String to read from.
+   * @returns Deserialized object.
+   */ static fromString(str) {
+        return RollupValidationRequests.fromBuffer(hexToBuffer(str));
+    }
+    static empty() {
+        return new RollupValidationRequests(MaxBlockNumber.empty());
+    }
+}

package/dest/kernel/hints/scoped_key_validation_request_and_generator.d.ts

@@ -0,0 +1,21 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import type { Fr } from '@aztec/foundation/fields';
+import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
+import { AztecAddress } from '../../aztec-address/index.js';
+import { KeyValidationRequestAndGenerator } from './key_validation_request_and_generator.js';
+/**
+ * Request for validating keys used in the app.
+ */
+export declare class ScopedKeyValidationRequestAndGenerator {
+    readonly request: KeyValidationRequestAndGenerator;
+    readonly contractAddress: AztecAddress;
+    constructor(request: KeyValidationRequestAndGenerator, contractAddress: AztecAddress);
+    toBuffer(): Buffer;
+    static fromBuffer(buffer: Buffer | BufferReader): ScopedKeyValidationRequestAndGenerator;
+    toFields(): Fr[];
+    static fromFields(fields: Fr[] | FieldReader): ScopedKeyValidationRequestAndGenerator;
+    isEmpty(): boolean;
+    static empty(): ScopedKeyValidationRequestAndGenerator;
+}
+//# sourceMappingURL=scoped_key_validation_request_and_generator.d.ts.map

package/dest/kernel/hints/scoped_key_validation_request_and_generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scoped_key_validation_request_and_generator.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/scoped_key_validation_request_and_generator.ts"],"names":[],"mappings":";;AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAE3F,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAE7F;;GAEG;AACH,qBAAa,sCAAsC;aAE/B,OAAO,EAAE,gCAAgC;aACzC,eAAe,EAAE,YAAY;gBAD7B,OAAO,EAAE,gCAAgC,EACzC,eAAe,EAAE,YAAY;IAG/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,QAAQ,IAAI,EAAE,EAAE;IAUhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,sCAAsC;IAQrF,OAAO;IAIP,MAAM,CAAC,KAAK;CAGb"}

package/dest/kernel/hints/scoped_key_validation_request_and_generator.js

@@ -0,0 +1,41 @@
+import { SCOPED_KEY_VALIDATION_REQUEST_AND_GENERATOR_LENGTH } from '@aztec/constants';
+import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { AztecAddress } from '../../aztec-address/index.js';
+import { KeyValidationRequestAndGenerator } from './key_validation_request_and_generator.js';
+/**
+ * Request for validating keys used in the app.
+ */ export class ScopedKeyValidationRequestAndGenerator {
+    request;
+    contractAddress;
+    constructor(request, contractAddress){
+        this.request = request;
+        this.contractAddress = contractAddress;
+    }
+    toBuffer() {
+        return serializeToBuffer(this.request, this.contractAddress);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new ScopedKeyValidationRequestAndGenerator(KeyValidationRequestAndGenerator.fromBuffer(reader), AztecAddress.fromBuffer(reader));
+    }
+    toFields() {
+        const fields = [
+            ...this.request.toFields(),
+            this.contractAddress.toField()
+        ];
+        if (fields.length !== SCOPED_KEY_VALIDATION_REQUEST_AND_GENERATOR_LENGTH) {
+            throw new Error(`Invalid number of fields for ScopedKeyValidationRequestAndGenerator. Expected ${SCOPED_KEY_VALIDATION_REQUEST_AND_GENERATOR_LENGTH}, got ${fields.length}`);
+        }
+        return fields;
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new ScopedKeyValidationRequestAndGenerator(KeyValidationRequestAndGenerator.fromFields(reader), AztecAddress.fromFields(reader));
+    }
+    isEmpty() {
+        return this.request.isEmpty() && this.contractAddress.isZero();
+    }
+    static empty() {
+        return new ScopedKeyValidationRequestAndGenerator(KeyValidationRequestAndGenerator.empty(), AztecAddress.ZERO);
+    }
+}

package/dest/kernel/hints/scoped_value_cache.d.ts

@@ -0,0 +1,14 @@
+import type { Fr } from '@aztec/foundation/fields';
+import type { AztecAddress } from '../../aztec-address/index.js';
+export declare class ScopedValueCache<T extends {
+    value: Fr;
+    contractAddress: AztecAddress;
+}> {
+    private cache;
+    constructor(items: T[]);
+    get(matcher: {
+        value: Fr;
+        contractAddress: AztecAddress;
+    }): T[];
+}
+//# sourceMappingURL=scoped_value_cache.d.ts.map

package/dest/kernel/hints/scoped_value_cache.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scoped_value_cache.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/scoped_value_cache.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAEjE,qBAAa,gBAAgB,CAAC,CAAC,SAAS;IAAE,KAAK,EAAE,EAAE,CAAC;IAAC,eAAe,EAAE,YAAY,CAAA;CAAE;IAClF,OAAO,CAAC,KAAK,CAA+B;gBAChC,KAAK,EAAE,CAAC,EAAE;IASf,GAAG,CAAC,OAAO,EAAE;QAAE,KAAK,EAAE,EAAE,CAAC;QAAC,eAAe,EAAE,YAAY,CAAA;KAAE,GAAG,CAAC,EAAE;CAGvE"}

package/dest/kernel/hints/scoped_value_cache.js

@@ -0,0 +1,14 @@
+export class ScopedValueCache {
+    cache = new Map();
+    constructor(items){
+        items.forEach((item)=>{
+            const value = item.value.toBigInt();
+            const arr = this.cache.get(value) ?? [];
+            arr.push(item);
+            this.cache.set(value, arr);
+        });
+    }
+    get(matcher) {
+        return this.cache.get(matcher.value.toBigInt()) ?? [];
+    }
+}

package/dest/kernel/hints/transient_data_index_hint.d.ts

@@ -0,0 +1,20 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <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 { inspect } from 'util';
+export declare class TransientDataIndexHint {
+    nullifierIndex: number;
+    noteHashIndex: number;
+    constructor(nullifierIndex: number, noteHashIndex: number);
+    toFields(): Fr[];
+    static fromFields(fields: Fr[] | FieldReader): TransientDataIndexHint;
+    isEmpty(): boolean;
+    static empty(): TransientDataIndexHint;
+    toBuffer(): Buffer;
+    static fromBuffer(buffer: Buffer | BufferReader): TransientDataIndexHint;
+    toString(): string;
+    [inspect.custom](): string;
+}
+//# sourceMappingURL=transient_data_index_hint.d.ts.map

package/dest/kernel/hints/transient_data_index_hint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transient_data_index_hint.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/transient_data_index_hint.ts"],"names":[],"mappings":";;;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAE3F,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAE/B,qBAAa,sBAAsB;IACd,cAAc,EAAE,MAAM;IAAS,aAAa,EAAE,MAAM;gBAApD,cAAc,EAAE,MAAM,EAAS,aAAa,EAAE,MAAM;IAEvE,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,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;CAG3B"}

package/dest/kernel/hints/transient_data_index_hint.js

@@ -0,0 +1,40 @@
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { inspect } from 'util';
+export class TransientDataIndexHint {
+    nullifierIndex;
+    noteHashIndex;
+    constructor(nullifierIndex, noteHashIndex){
+        this.nullifierIndex = nullifierIndex;
+        this.noteHashIndex = noteHashIndex;
+    }
+    toFields() {
+        return [
+            new Fr(this.nullifierIndex),
+            new Fr(this.noteHashIndex)
+        ];
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new TransientDataIndexHint(reader.readU32(), reader.readU32());
+    }
+    isEmpty() {
+        return !this.nullifierIndex && !this.noteHashIndex;
+    }
+    static empty() {
+        return new TransientDataIndexHint(0, 0);
+    }
+    toBuffer() {
+        return serializeToBuffer(this.nullifierIndex, this.noteHashIndex);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new TransientDataIndexHint(reader.readNumber(), reader.readNumber());
+    }
+    toString() {
+        return `nullifierIndex=${this.nullifierIndex} noteHashIndex=${this.noteHashIndex}`;
+    }
+    [inspect.custom]() {
+        return `TransientDataIndexHint { ${this.toString()} }`;
+    }
+}

package/dest/kernel/hints/tree_leaf_read_request.d.ts

@@ -0,0 +1,16 @@
+/// <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';
+export declare class TreeLeafReadRequest {
+    value: Fr;
+    leafIndex: Fr;
+    constructor(value: Fr, leafIndex: Fr);
+    toBuffer(): Buffer;
+    static fromBuffer(buffer: Buffer | BufferReader): TreeLeafReadRequest;
+    toFields(): Fr[];
+    static fromFields(fields: Fr[] | FieldReader): TreeLeafReadRequest;
+    isEmpty(): boolean;
+    static empty(): TreeLeafReadRequest;
+}
+//# sourceMappingURL=tree_leaf_read_request.d.ts.map

package/dest/kernel/hints/tree_leaf_read_request.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tree_leaf_read_request.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/tree_leaf_read_request.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAE3F,qBAAa,mBAAmB;IACX,KAAK,EAAE,EAAE;IAAS,SAAS,EAAE,EAAE;gBAA/B,KAAK,EAAE,EAAE,EAAS,SAAS,EAAE,EAAE;IAElD,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,OAAO;IAIP,MAAM,CAAC,KAAK;CAGb"}

package/dest/kernel/hints/tree_leaf_read_request.js

@@ -0,0 +1,33 @@
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
+export class TreeLeafReadRequest {
+    value;
+    leafIndex;
+    constructor(value, leafIndex){
+        this.value = value;
+        this.leafIndex = leafIndex;
+    }
+    toBuffer() {
+        return serializeToBuffer(this.value, this.leafIndex);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new TreeLeafReadRequest(Fr.fromBuffer(reader), Fr.fromBuffer(reader));
+    }
+    toFields() {
+        return [
+            this.value,
+            this.leafIndex
+        ];
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new TreeLeafReadRequest(reader.readField(), reader.readField());
+    }
+    isEmpty() {
+        return this.value.isZero() && this.leafIndex.isZero();
+    }
+    static empty() {
+        return new TreeLeafReadRequest(Fr.zero(), Fr.zero());
+    }
+}