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

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 { Fr } from '@aztec/foundation/fields';
+import { FUNCTION_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
 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.
@@ -159,4 +137,4 @@ export declare class UpdatedClassIdHints {
      */
     static fromBuffer(buffer: Buffer | BufferReader): UpdatedClassIdHints;
 }
-//# sourceMappingURL=private_call_data.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jYWxsX2RhdGEuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9jYWxsX2RhdGEudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLG9CQUFvQixFQUFFLHVCQUF1QixFQUFzQixNQUFNLGtCQUFrQixDQUFDO0FBQ3JHLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBQzlFLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzVELE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSwwQkFBMEIsRUFBRSxNQUFNLDREQUE0RCxDQUFDO0FBQ3hHLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUNwRCxPQUFPLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUMvRCxPQUFPLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUNyRSxPQUFPLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQUVoRjs7R0FFRztBQUNILHFCQUFhLGVBQWU7SUFFeEI7O09BRUc7SUFDSSxZQUFZLEVBQUUsMEJBQTBCO0lBRS9DOztPQUVHO0lBQ0ksRUFBRSxFQUFFLHVCQUF1QjtJQUVsQzs7T0FFRztJQUNJLG9CQUFvQixFQUFFLDJCQUEyQjtJQWQxRDtJQUNFOztPQUVHO0lBQ0ksWUFBWSxFQUFFLDBCQUEwQjtJQUUvQzs7T0FFRztJQUNJLEVBQUUsRUFBRSx1QkFBdUI7SUFFbEM7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSwyQkFBMkIsRUFDdEQ7SUFFSjs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLGVBQWUsQ0FBQywrRkFFakQ7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsZUFBZSxDQUFDLEdBQUcsZUFBZSxDQUU5RDtJQUVEOzs7T0FHRztJQUNILFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsZUFBZSxDQU9oRTtDQUNGO0FBRUQscUJBQWEsMkJBQTJCO0lBRXBDOztPQUVHO0lBQ0kseUJBQXlCLEVBQUUsRUFBRTtJQUNwQzs7T0FFRztJQUNJLHFDQUFxQyxFQUFFLEVBQUU7SUFDaEQ7O09BRUc7SUFDSSxVQUFVLEVBQUUsVUFBVTtJQUM3Qjs7T0FFRztJQUNJLHdCQUF3QixFQUFFLEVBQUU7SUFDbkM7O09BRUc7SUFDSSw2QkFBNkIsRUFBRSxpQkFBaUIsQ0FBQyxPQUFPLG9CQUFvQixDQUFDO0lBRTdFLG1CQUFtQixFQUFFLG1CQUFtQjtJQXRCakQ7SUFDRTs7T0FFRztJQUNJLHlCQUF5QixFQUFFLEVBQUU7SUFDcEM7O09BRUc7SUFDSSxxQ0FBcUMsRUFBRSxFQUFFO0lBQ2hEOztPQUVHO0lBQ0ksVUFBVSxFQUFFLFVBQVU7SUFDN0I7O09BRUc7SUFDSSx3QkFBd0IsRUFBRSxFQUFFO0lBQ25DOztPQUVHO0lBQ0ksNkJBQTZCLEVBQUUsaUJBQWlCLENBQUMsT0FBTyxvQkFBb0IsQ0FBQyxFQUU3RSxtQkFBbUIsRUFBRSxtQkFBbUIsRUFDN0M7SUFFSjs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDJCQUEyQixDQUFDLGdGQVM3RDtJQUVELE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQywyQkFBMkIsQ0FBQyxHQUFHLDJCQUEyQixDQUV0RjtJQUVEOzs7T0FHRztJQUNILFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsMkJBQTJCLENBVTVFO0NBQ0Y7QUFFRCxxQkFBYSxtQkFBbUI7SUFFckIscUJBQXFCLEVBQUUsaUJBQWlCLENBQUMsT0FBTyx1QkFBdUIsQ0FBQztJQUN4RSxrQkFBa0IsRUFBRSwwQkFBMEI7SUFDOUMsb0JBQW9CLEVBQUUsMEJBQTBCO0lBSHpELFlBQ1MscUJBQXFCLEVBQUUsaUJBQWlCLENBQUMsT0FBTyx1QkFBdUIsQ0FBQyxFQUN4RSxrQkFBa0IsRUFBRSwwQkFBMEIsRUFDOUMsb0JBQW9CLEVBQUUsMEJBQTBCLEVBQ3JEO0lBRUosTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLG1CQUFtQixDQUFDLDRGQUVyRDtJQUVELE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxtQkFBbUIsQ0FBQyxHQUFHLG1CQUFtQixDQUV0RTtJQUVEOzs7T0FHRztJQUNILFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsbUJBQW1CLENBV3BFO0NBQ0YifQ==

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,gCAAgC,CAAC;AACpD,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;IAd1D;IACE;;OAEG;IACI,YAAY,EAAE,0BAA0B;IAE/C;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAElC;;OAEG;IACI,oBAAoB,EAAE,2BAA2B,EACtD;IAEJ;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,+FAEjD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,GAAG,eAAe,CAE9D;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe,CAOhE;CACF;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;IAtBjD;IACE;;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,EAC7C;IAEJ;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC,gFAS7D;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC,GAAG,2BAA2B,CAEtF;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,2BAA2B,CAU5E;CACF;AAED,qBAAa,mBAAmB;IAErB,qBAAqB,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC;IACxE,kBAAkB,EAAE,0BAA0B;IAC9C,oBAAoB,EAAE,0BAA0B;IAHzD,YACS,qBAAqB,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC,EACxE,kBAAkB,EAAE,0BAA0B,EAC9C,oBAAoB,EAAE,0BAA0B,EACrD;IAEJ,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,4FAErD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,GAAG,mBAAmB,CAEtE;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAWpE;CACF"}

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 { Fr } from '@aztec/foundation/fields';
+import { FUNCTION_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT, UPDATES_VALUE_SIZE } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
 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,6 +1,4 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
 import { CallContext } from '../tx/call_context.js';
 export declare class PrivateCallRequest {
@@ -47,11 +45,11 @@ 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;
     equals(callRequest: PrivateCallRequest): boolean;
     toString(): string;
 }
-//# sourceMappingURL=private_call_request.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jYWxsX3JlcXVlc3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9jYWxsX3JlcXVlc3QudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxZQUFZLEVBQUUsV0FBVyxFQUF3QyxNQUFNLDZCQUE2QixDQUFDO0FBRTlHLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUVwRCxxQkFBYSxrQkFBa0I7SUFFM0I7O09BRUc7SUFDSSxXQUFXLEVBQUUsV0FBVztJQUMvQjs7T0FFRztJQUNJLFFBQVEsRUFBRSxFQUFFO0lBQ25COztPQUVHO0lBQ0ksV0FBVyxFQUFFLEVBQUU7SUFDdEI7O09BRUc7SUFDSSxzQkFBc0IsRUFBRSxNQUFNO0lBQ3JDOztPQUVHO0lBQ0ksb0JBQW9CLEVBQUUsTUFBTTtJQXBCckM7SUFDRTs7T0FFRztJQUNJLFdBQVcsRUFBRSxXQUFXO0lBQy9COztPQUVHO0lBQ0ksUUFBUSxFQUFFLEVBQUU7SUFDbkI7O09BRUc7SUFDSSxXQUFXLEVBQUUsRUFBRTtJQUN0Qjs7T0FFRztJQUNJLHNCQUFzQixFQUFFLE1BQU07SUFDckM7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxNQUFNLEVBQ2pDO0lBRUosUUFBUSxJQUFJLEVBQUUsRUFBRSxDQVFmO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyxzQkFTM0M7SUFFRCxRQUFRLDRCQVFQO0lBRUQsT0FBYyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLHNCQVNyRDtJQUVELE9BQU8sWUFRTjtJQUVELE9BQWMsS0FBSyx1QkFFbEI7SUFFRCxNQUFNLENBQUMsV0FBVyxFQUFFLGtCQUFrQixXQVFyQztJQUVELFFBQVEsV0FFUDtDQUNGIn0=

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,gCAAgC,CAAC;AACpD,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;IApBrC;IACE;;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,EACjC;IAEJ,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,sBAS3C;IAED,QAAQ,4BAQP;IAED,OAAc,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,sBASrD;IAED,OAAO,YAQN;IAED,OAAc,KAAK,uBAElB;IAED,MAAM,CAAC,WAAW,EAAE,kBAAkB,WAQrC;IAED,QAAQ,WAEP;CACF"}

package/dest/kernel/private_call_request.js

@@ -1,4 +1,4 @@
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
 import { CallContext } from '../tx/call_context.js';
 export class PrivateCallRequest {
@@ -54,6 +54,6 @@ export class PrivateCallRequest {
         return callRequest.callContext.equals(this.callContext) && callRequest.argsHash.equals(this.argsHash) && callRequest.returnsHash.equals(this.returnsHash) && callRequest.startSideEffectCounter === this.startSideEffectCounter && callRequest.endSideEffectCounter === this.endSideEffectCounter;
     }
     toString() {
-        return `PrivateCallRequest(callContext: ${this.callContext}, argsHash: ${this.argsHash}, returnsHash: ${this.returnsHash}, startSideEffectCounter: ${this.startSideEffectCounter}, endSideEffectCounter: ${this.endSideEffectCounter})`;
+        return `PrivateCallRequest(contractAddress: ${this.callContext.contractAddress}, selector: ${this.callContext.functionSelector}, msgSender: ${this.callContext.msgSender}, isStatic: ${this.callContext.isEmpty},  argsHash: ${this.argsHash}, returnsHash: ${this.returnsHash}, startSideEffectCounter: ${this.startSideEffectCounter}, endSideEffectCounter: ${this.endSideEffectCounter})`;
     }
 }

package/dest/kernel/private_circuit_public_inputs.d.ts

@@ -1,19 +1,18 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { MAX_CONTRACT_CLASS_LOGS_PER_CALL, MAX_ENQUEUED_CALLS_PER_CALL, MAX_KEY_VALIDATION_REQUESTS_PER_CALL, MAX_L2_TO_L1_MSGS_PER_CALL, MAX_NOTE_HASHES_PER_CALL, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, MAX_NULLIFIERS_PER_CALL, MAX_NULLIFIER_READ_REQUESTS_PER_CALL, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, MAX_PRIVATE_LOGS_PER_CALL } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
-import { BufferReader, FieldReader, type Tuple } from '@aztec/foundation/serialize';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
 import type { FieldsOf } from '@aztec/foundation/types';
 import { KeyValidationRequestAndGenerator } from '../kernel/hints/key_validation_request_and_generator.js';
-import { LogHash } from '../kernel/log_hash.js';
+import { CountedLogHash } from '../kernel/log_hash.js';
 import { PrivateCallRequest } from '../kernel/private_call_request.js';
 import { PrivateLogData } from '../kernel/private_log_data.js';
-import { L2ToL1Message } from '../messaging/l2_to_l1_message.js';
+import { CountedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
 import { BlockHeader } from '../tx/block_header.js';
 import { CallContext } from '../tx/call_context.js';
-import { MaxBlockNumber } from '../tx/max_block_number.js';
 import { TxContext } from '../tx/tx_context.js';
-import { ReadRequest } from './hints/read_request.js';
+import type { UInt64 } from '../types/shared.js';
+import { ClaimedLengthArray } from './claimed_length_array.js';
+import { ScopedReadRequest } from './hints/read_request.js';
 import { NoteHash } from './note_hash.js';
 import { Nullifier } from './nullifier.js';
 import { CountedPublicCallRequest, PublicCallRequest } from './public_call_request.js';
@@ -33,6 +32,18 @@ export declare class PrivateCircuitPublicInputs {
      * Pedersen hash of the return values of the corresponding function call.
      */
     returnsHash: Fr;
+    /**
+     * Header of a block whose state is used during private execution (not the block the transaction is included in).
+     */
+    anchorBlockHeader: BlockHeader;
+    /**
+     * Transaction context.
+     *
+     * Note: The chainId and version in the txContext are not redundant to the values in self.anchor_block_header.global_variables because
+     * they can be different in case of a protocol upgrade. In such a situation we could be using header from a block
+     * before the upgrade took place but be using the updated protocol to execute and prove the transaction.
+     */
+    txContext: TxContext;
     /**
      * The side-effect counter under which all side effects are non-revertible.
      */
@@ -42,73 +53,69 @@ export declare class PrivateCircuitPublicInputs {
      */
     isFeePayer: boolean;
     /**
-     * The maximum block number in which this transaction can be included and be valid.
+     * The highest timestamp of a block in which the transaction can still be included.
      */
-    maxBlockNumber: MaxBlockNumber;
+    includeByTimestamp: UInt64;
     /**
-     * Read requests created by the corresponding function call.
+     * The side effect counter at the start of this call.
      */
-    noteHashReadRequests: Tuple<ReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>;
+    startSideEffectCounter: Fr;
     /**
-     * Nullifier read requests created by the corresponding function call.
+     * The end side effect counter for this call.
      */
-    nullifierReadRequests: Tuple<ReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>;
+    endSideEffectCounter: Fr;
     /**
-     * Key validation requests and generators created by the corresponding function call.
+     * The expected non revertible side effect counter for this call.
      */
-    keyValidationRequestsAndGenerators: Tuple<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>;
+    expectedNonRevertibleSideEffectCounter: Fr;
     /**
-     * New note hashes created by the corresponding function call.
+     * The expected revertible side effect counter for this call.
      */
-    noteHashes: Tuple<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>;
+    expectedRevertibleSideEffectCounter: Fr;
     /**
-     * New nullifiers created by the corresponding function call.
+     * Read requests created by the corresponding function call.
      */
-    nullifiers: Tuple<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>;
+    noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>;
     /**
-     * Private call requests made within the current kernel iteration.
+     * Nullifier read requests created by the corresponding function call.
      */
-    privateCallRequests: Tuple<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>;
+    nullifierReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>;
     /**
-     * Public call stack at the current kernel iteration.
+     * Key validation requests and generators created by the corresponding function call.
      */
-    publicCallRequests: Tuple<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_CALL>;
+    keyValidationRequestsAndGenerators: ClaimedLengthArray<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>;
     /**
-     * Hash of the public teardown function.
+     * Private call requests made within the current kernel iteration.
      */
-    publicTeardownCallRequest: PublicCallRequest;
+    privateCallRequests: ClaimedLengthArray<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>;
     /**
-     * New L2 to L1 messages created by the corresponding function call.
+     * Public call stack at the current kernel iteration.
      */
-    l2ToL1Msgs: Tuple<L2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_CALL>;
+    publicCallRequests: ClaimedLengthArray<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_CALL>;
     /**
-     * Logs emitted in this function call.
+     * Hash of the public teardown function.
      */
-    privateLogs: Tuple<PrivateLogData, typeof MAX_PRIVATE_LOGS_PER_CALL>;
+    publicTeardownCallRequest: PublicCallRequest;
     /**
-     * Hash of the contract class logs emitted in this function call.
+     * New note hashes created by the corresponding function call.
      */
-    contractClassLogsHashes: Tuple<LogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>;
+    noteHashes: ClaimedLengthArray<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>;
     /**
-     * The side effect counter at the start of this call.
+     * New nullifiers created by the corresponding function call.
      */
-    startSideEffectCounter: Fr;
+    nullifiers: ClaimedLengthArray<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>;
     /**
-     * The end side effect counter for this call.
+     * New L2 to L1 messages created by the corresponding function call.
      */
-    endSideEffectCounter: Fr;
+    l2ToL1Msgs: ClaimedLengthArray<CountedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_CALL>;
     /**
-     * Header of a block whose state is used during private execution (not the block the transaction is included in).
+     * Logs emitted in this function call.
      */
-    historicalHeader: BlockHeader;
+    privateLogs: ClaimedLengthArray<PrivateLogData, typeof MAX_PRIVATE_LOGS_PER_CALL>;
     /**
-     * Transaction context.
-     *
-     * Note: The chainId and version in the txContext are not redundant to the values in self.historical_header.global_variables because
-     * they can be different in case of a protocol upgrade. In such a situation we could be using header from a block
-     * before the upgrade took place but be using the updated protocol to execute and prove the transaction.
+     * Hash of the contract class logs emitted in this function call.
      */
-    txContext: TxContext;
+    contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>;
     constructor(
     /**
      * Context of the call corresponding to this private circuit execution.
@@ -122,6 +129,18 @@ export declare class PrivateCircuitPublicInputs {
      * Pedersen hash of the return values of the corresponding function call.
      */
     returnsHash: Fr, 
+    /**
+     * Header of a block whose state is used during private execution (not the block the transaction is included in).
+     */
+    anchorBlockHeader: BlockHeader, 
+    /**
+     * Transaction context.
+     *
+     * Note: The chainId and version in the txContext are not redundant to the values in self.anchor_block_header.global_variables because
+     * they can be different in case of a protocol upgrade. In such a situation we could be using header from a block
+     * before the upgrade took place but be using the updated protocol to execute and prove the transaction.
+     */
+    txContext: TxContext, 
     /**
      * The side-effect counter under which all side effects are non-revertible.
      */
@@ -131,73 +150,69 @@ export declare class PrivateCircuitPublicInputs {
      */
     isFeePayer: boolean, 
     /**
-     * The maximum block number in which this transaction can be included and be valid.
+     * The highest timestamp of a block in which the transaction can still be included.
      */
-    maxBlockNumber: MaxBlockNumber, 
+    includeByTimestamp: UInt64, 
     /**
-     * Read requests created by the corresponding function call.
+     * The side effect counter at the start of this call.
      */
-    noteHashReadRequests: Tuple<ReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>, 
+    startSideEffectCounter: Fr, 
     /**
-     * Nullifier read requests created by the corresponding function call.
+     * The end side effect counter for this call.
      */
-    nullifierReadRequests: Tuple<ReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>, 
+    endSideEffectCounter: Fr, 
     /**
-     * Key validation requests and generators created by the corresponding function call.
+     * The expected non revertible side effect counter for this call.
      */
-    keyValidationRequestsAndGenerators: Tuple<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>, 
+    expectedNonRevertibleSideEffectCounter: Fr, 
     /**
-     * New note hashes created by the corresponding function call.
+     * The expected revertible side effect counter for this call.
      */
-    noteHashes: Tuple<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>, 
+    expectedRevertibleSideEffectCounter: Fr, 
     /**
-     * New nullifiers created by the corresponding function call.
+     * Read requests created by the corresponding function call.
      */
-    nullifiers: Tuple<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>, 
+    noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>, 
     /**
-     * Private call requests made within the current kernel iteration.
+     * Nullifier read requests created by the corresponding function call.
      */
-    privateCallRequests: Tuple<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>, 
+    nullifierReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>, 
     /**
-     * Public call stack at the current kernel iteration.
+     * Key validation requests and generators created by the corresponding function call.
      */
-    publicCallRequests: Tuple<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_CALL>, 
+    keyValidationRequestsAndGenerators: ClaimedLengthArray<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>, 
     /**
-     * Hash of the public teardown function.
+     * Private call requests made within the current kernel iteration.
      */
-    publicTeardownCallRequest: PublicCallRequest, 
+    privateCallRequests: ClaimedLengthArray<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>, 
     /**
-     * New L2 to L1 messages created by the corresponding function call.
+     * Public call stack at the current kernel iteration.
      */
-    l2ToL1Msgs: Tuple<L2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_CALL>, 
+    publicCallRequests: ClaimedLengthArray<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_CALL>, 
     /**
-     * Logs emitted in this function call.
+     * Hash of the public teardown function.
      */
-    privateLogs: Tuple<PrivateLogData, typeof MAX_PRIVATE_LOGS_PER_CALL>, 
+    publicTeardownCallRequest: PublicCallRequest, 
     /**
-     * Hash of the contract class logs emitted in this function call.
+     * New note hashes created by the corresponding function call.
      */
-    contractClassLogsHashes: Tuple<LogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>, 
+    noteHashes: ClaimedLengthArray<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>, 
     /**
-     * The side effect counter at the start of this call.
+     * New nullifiers created by the corresponding function call.
      */
-    startSideEffectCounter: Fr, 
+    nullifiers: ClaimedLengthArray<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>, 
     /**
-     * The end side effect counter for this call.
+     * New L2 to L1 messages created by the corresponding function call.
      */
-    endSideEffectCounter: Fr, 
+    l2ToL1Msgs: ClaimedLengthArray<CountedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_CALL>, 
     /**
-     * Header of a block whose state is used during private execution (not the block the transaction is included in).
+     * Logs emitted in this function call.
      */
-    historicalHeader: BlockHeader, 
+    privateLogs: ClaimedLengthArray<PrivateLogData, typeof MAX_PRIVATE_LOGS_PER_CALL>, 
     /**
-     * Transaction context.
-     *
-     * Note: The chainId and version in the txContext are not redundant to the values in self.historical_header.global_variables because
-     * they can be different in case of a protocol upgrade. In such a situation we could be using header from a block
-     * before the upgrade took place but be using the updated protocol to execute and prove the transaction.
+     * Hash of the contract class logs emitted in this function call.
      */
-    txContext: TxContext);
+    contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>);
     /**
      * Create PrivateCircuitPublicInputs from a fields dictionary.
      * @param fields - The dictionary.
@@ -222,7 +237,7 @@ export declare class PrivateCircuitPublicInputs {
      * @param fields - Object with fields.
      * @returns The array.
      */
-    static getFields(fields: FieldsOf<PrivateCircuitPublicInputs>): readonly [CallContext, Fr, Fr, Fr, boolean, MaxBlockNumber, [ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest], [ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest], [KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator], [NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash], [Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier], [PrivateCallRequest, PrivateCallRequest, PrivateCallRequest, PrivateCallRequest, PrivateCallRequest], [CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest], PublicCallRequest, [L2ToL1Message, L2ToL1Message], [PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData], [LogHash], Fr, Fr, BlockHeader, TxContext];
+    static getFields(fields: FieldsOf<PrivateCircuitPublicInputs>): readonly [CallContext, Fr, Fr, BlockHeader, TxContext, Fr, boolean, bigint, Fr, Fr, Fr, Fr, ClaimedLengthArray<ScopedReadRequest, 16>, ClaimedLengthArray<ScopedReadRequest, 16>, ClaimedLengthArray<KeyValidationRequestAndGenerator, 16>, ClaimedLengthArray<PrivateCallRequest, 8>, ClaimedLengthArray<CountedPublicCallRequest, 32>, PublicCallRequest, ClaimedLengthArray<NoteHash, 16>, ClaimedLengthArray<Nullifier, 16>, ClaimedLengthArray<CountedL2ToL1Message, 8>, ClaimedLengthArray<PrivateLogData, 16>, ClaimedLengthArray<CountedLogHash, 1>];
     /**
      * Serialize this as a buffer.
      * @returns The buffer.
@@ -232,7 +247,7 @@ export declare class PrivateCircuitPublicInputs {
      * Serialize this as a field array.
      */
     toFields(): Fr[];
-    toJSON(): Buffer;
+    toJSON(): Buffer<ArrayBufferLike>;
     static get schema(): import("zod").ZodType<PrivateCircuitPublicInputs, any, string>;
 }
-//# sourceMappingURL=private_circuit_public_inputs.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jaXJjdWl0X3B1YmxpY19pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9jaXJjdWl0X3B1YmxpY19pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLGdDQUFnQyxFQUNoQywyQkFBMkIsRUFDM0Isb0NBQW9DLEVBQ3BDLDBCQUEwQixFQUMxQix3QkFBd0IsRUFDeEIsb0NBQW9DLEVBQ3BDLHVCQUF1QixFQUN2QixvQ0FBb0MsRUFDcEMsc0NBQXNDLEVBQ3RDLHlCQUF5QixFQUMxQixNQUFNLGtCQUFrQixDQUFDO0FBQzFCLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQ0wsWUFBWSxFQUNaLFdBQVcsRUFJWixNQUFNLDZCQUE2QixDQUFDO0FBQ3JDLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxnQ0FBZ0MsRUFBRSxNQUFNLHlEQUF5RCxDQUFDO0FBQzNHLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUN2RCxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUN2RSxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDL0QsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDeEUsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3BELE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDaEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDakQsT0FBTyxFQUNMLGtCQUFrQixFQUduQixNQUFNLDJCQUEyQixDQUFDO0FBQ25DLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzVELE9BQU8sRUFBRSxRQUFRLEVBQUUsTUFBTSxnQkFBZ0IsQ0FBQztBQUMxQyxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0sZ0JBQWdCLENBQUM7QUFDM0MsT0FBTyxFQUFFLHdCQUF3QixFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFdkY7O0dBRUc7QUFDSCxxQkFBYSwwQkFBMEI7SUFFbkM7O09BRUc7SUFDSSxXQUFXLEVBQUUsV0FBVztJQUMvQjs7T0FFRztJQUNJLFFBQVEsRUFBRSxFQUFFO0lBQ25COztPQUVHO0lBQ0ksV0FBVyxFQUFFLEVBQUU7SUFDdEI7O09BRUc7SUFDSSxpQkFBaUIsRUFBRSxXQUFXO0lBQ3JDOzs7Ozs7T0FNRztJQUNJLFNBQVMsRUFBRSxTQUFTO0lBQzNCOztPQUVHO0lBQ0ksOEJBQThCLEVBQUUsRUFBRTtJQUN6Qzs7T0FFRztJQUNJLFVBQVUsRUFBRSxPQUFPO0lBQzFCOztPQUVHO0lBQ0ksa0JBQWtCLEVBQUUsTUFBTTtJQUNqQzs7T0FFRztJQUNJLHNCQUFzQixFQUFFLEVBQUU7SUFDakM7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxFQUFFO0lBQy9COztPQUVHO0lBQ0ksc0NBQXNDLEVBQUUsRUFBRTtJQUNqRDs7T0FFRztJQUNJLG1DQUFtQyxFQUFFLEVBQUU7SUFDOUM7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLG9DQUFvQyxDQUFDO0lBQy9HOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUsa0JBQWtCLENBQUMsaUJBQWlCLEVBQUUsT0FBTyxvQ0FBb0MsQ0FBQztJQUNoSDs7T0FFRztJQUNJLGtDQUFrQyxFQUFFLGtCQUFrQixDQUMzRCxnQ0FBZ0MsRUFDaEMsT0FBTyxvQ0FBb0MsQ0FDNUM7SUFDRDs7T0FFRztJQUNJLG1CQUFtQixFQUFFLGtCQUFrQixDQUFDLGtCQUFrQixFQUFFLE9BQU8sc0NBQXNDLENBQUM7SUFDakg7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSxrQkFBa0IsQ0FBQyx3QkFBd0IsRUFBRSxPQUFPLDJCQUEyQixDQUFDO0lBQzNHOztPQUVHO0lBQ0kseUJBQXlCLEVBQUUsaUJBQWlCO0lBQ25EOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLFFBQVEsRUFBRSxPQUFPLHdCQUF3QixDQUFDO0lBQ2hGOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLFNBQVMsRUFBRSxPQUFPLHVCQUF1QixDQUFDO0lBQ2hGOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLG9CQUFvQixFQUFFLE9BQU8sMEJBQTBCLENBQUM7SUFDOUY7O09BRUc7SUFDSSxXQUFXLEVBQUUsa0JBQWtCLENBQUMsY0FBYyxFQUFFLE9BQU8seUJBQXlCLENBQUM7SUFDeEY7O09BRUc7SUFDSSx1QkFBdUIsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsT0FBTyxnQ0FBZ0MsQ0FBQztJQW5HN0c7SUFDRTs7T0FFRztJQUNJLFdBQVcsRUFBRSxXQUFXO0lBQy9COztPQUVHO0lBQ0ksUUFBUSxFQUFFLEVBQUU7SUFDbkI7O09BRUc7SUFDSSxXQUFXLEVBQUUsRUFBRTtJQUN0Qjs7T0FFRztJQUNJLGlCQUFpQixFQUFFLFdBQVc7SUFDckM7Ozs7OztPQU1HO0lBQ0ksU0FBUyxFQUFFLFNBQVM7SUFDM0I7O09BRUc7SUFDSSw4QkFBOEIsRUFBRSxFQUFFO0lBQ3pDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLE9BQU87SUFDMUI7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSxNQUFNO0lBQ2pDOztPQUVHO0lBQ0ksc0JBQXNCLEVBQUUsRUFBRTtJQUNqQzs7T0FFRztJQUNJLG9CQUFvQixFQUFFLEVBQUU7SUFDL0I7O09BRUc7SUFDSSxzQ0FBc0MsRUFBRSxFQUFFO0lBQ2pEOztPQUVHO0lBQ0ksbUNBQW1DLEVBQUUsRUFBRTtJQUM5Qzs7T0FFRztJQUNJLG9CQUFvQixFQUFFLGtCQUFrQixDQUFDLGlCQUFpQixFQUFFLE9BQU8sb0NBQW9DLENBQUM7SUFDL0c7O09BRUc7SUFDSSxxQkFBcUIsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLG9DQUFvQyxDQUFDO0lBQ2hIOztPQUVHO0lBQ0ksa0NBQWtDLEVBQUUsa0JBQWtCLENBQzNELGdDQUFnQyxFQUNoQyxPQUFPLG9DQUFvQyxDQUM1QztJQUNEOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsa0JBQWtCLENBQUMsa0JBQWtCLEVBQUUsT0FBTyxzQ0FBc0MsQ0FBQztJQUNqSDs7T0FFRztJQUNJLGtCQUFrQixFQUFFLGtCQUFrQixDQUFDLHdCQUF3QixFQUFFLE9BQU8sMkJBQTJCLENBQUM7SUFDM0c7O09BRUc7SUFDSSx5QkFBeUIsRUFBRSxpQkFBaUI7SUFDbkQ7O09BRUc7SUFDSSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsUUFBUSxFQUFFLE9BQU8sd0JBQXdCLENBQUM7SUFDaEY7O09BRUc7SUFDSSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsU0FBUyxFQUFFLE9BQU8sdUJBQXVCLENBQUM7SUFDaEY7O09BRUc7SUFDSSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsb0JBQW9CLEVBQUUsT0FBTywwQkFBMEIsQ0FBQztJQUM5Rjs7T0FFRztJQUNJLFdBQVcsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUN4Rjs7T0FFRztJQUNJLHVCQUF1QixFQUFFLGtCQUFrQixDQUFDLGNBQWMsRUFBRSxPQUFPLGdDQUFnQyxDQUFDLEVBQ3pHO0lBRUo7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQywwQkFBMEIsQ0FBQyxHQUFHLDBCQUEwQixDQUVwRjtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLDBCQUEwQixDQTZCM0U7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLEdBQUcsMEJBQTBCLENBNkJ4RTtJQUVEOzs7T0FHRztJQUNILE9BQWMsS0FBSyxJQUFJLDBCQUEwQixDQTBCaEQ7SUFFRCxPQUFPLFlBMEJOO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQywwQkFBMEIsQ0FBQyxnaUJBMEI1RDtJQUVEOzs7T0FHRztJQUNILFFBQVEsSUFBSSxNQUFNLENBNEJqQjtJQUVEOztPQUVHO0lBQ0gsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQUVmO0lBRU0sTUFBTSw0QkFFWjtJQUVELE1BQU0sS0FBSyxNQUFNLG1FQUVoQjtDQUNGIn0=

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

@@ -1 +1 @@
-{"version":3,"file":"private_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_circuit_public_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,EACL,gCAAgC,EAChC,2BAA2B,EAC3B,oCAAoC,EACpC,0BAA0B,EAC1B,wBAAwB,EACxB,oCAAoC,EACpC,uBAAuB,EACvB,oCAAoC,EACpC,sCAAsC,EACtC,yBAAyB,EAE1B,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,gCAAgC,EAAE,MAAM,yDAAyD,CAAC;AAC3G,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAGvF;;GAEG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,cAAc,EAAE,cAAc;IACrC;;OAEG;IACI,oBAAoB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC5F;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC7F;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAC9C,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IACnE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IACnE;;OAEG;IACI,mBAAmB,EAAE,KAAK,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACpG;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC9F;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,aAAa,EAAE,OAAO,0BAA0B,CAAC;IAC1E;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IAC3E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,gCAAgC,CAAC;IACvF;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,gBAAgB,EAAE,WAAW;IACpC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;;IA1F3B;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,cAAc,EAAE,cAAc;IACrC;;OAEG;IACI,oBAAoB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC5F;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC7F;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAC9C,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IACnE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IACnE;;OAEG;IACI,mBAAmB,EAAE,KAAK,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACpG;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC9F;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,aAAa,EAAE,OAAO,0BAA0B,CAAC;IAC1E;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IAC3E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,gCAAgC,CAAC;IACvF;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,gBAAgB,EAAE,WAAW;IACpC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAG7B;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B;IAIrF;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B;IA2B5E,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,0BAA0B;IA2BzE;;;OAGG;WACW,KAAK,IAAI,0BAA0B;IA0BjD,OAAO;IA0BP;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC;IA0B7D;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;OAEG;IACH,QAAQ,IAAI,EAAE,EAAE;IAUT,MAAM;IAIb,MAAM,KAAK,MAAM,mEAEhB;CACF"}
+{"version":3,"file":"private_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,2BAA2B,EAC3B,oCAAoC,EACpC,0BAA0B,EAC1B,wBAAwB,EACxB,oCAAoC,EACpC,uBAAuB,EACvB,oCAAoC,EACpC,sCAAsC,EACtC,yBAAyB,EAC1B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EACL,YAAY,EACZ,WAAW,EAIZ,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,gCAAgC,EAAE,MAAM,yDAAyD,CAAC;AAC3G,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,kBAAkB,EAGnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAEvF;;GAEG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,iBAAiB,EAAE,WAAW;IACrC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,sCAAsC,EAAE,EAAE;IACjD;;OAEG;IACI,mCAAmC,EAAE,EAAE;IAC9C;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAC/G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAChH;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,mBAAmB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACjH;;OAEG;IACI,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC3G;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IAC9F;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IACxF;;OAEG;IACI,uBAAuB,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAnG7G;IACE;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,iBAAiB,EAAE,WAAW;IACrC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,sCAAsC,EAAE,EAAE;IACjD;;OAEG;IACI,mCAAmC,EAAE,EAAE;IAC9C;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAC/G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAChH;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,mBAAmB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACjH;;OAEG;IACI,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC3G;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IAC9F;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IACxF;;OAEG;IACI,uBAAuB,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC,EACzG;IAEJ;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B,CAEpF;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B,CA6B3E;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,0BAA0B,CA6BxE;IAED;;;OAGG;IACH,OAAc,KAAK,IAAI,0BAA0B,CA0BhD;IAED,OAAO,YA0BN;IAED;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,giBA0B5D;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CA4BjB;IAED;;OAEG;IACH,QAAQ,IAAI,EAAE,EAAE,CAEf;IAEM,MAAM,4BAEZ;IAED,MAAM,KAAK,MAAM,mEAEhB;CACF"}