@aztec/stdlib 0.0.1-commit.b655e406 → 0.0.1-commit.c31f2472

package/dest/kernel/private_circuit_public_inputs.d.ts

@@ -1,5 +1,5 @@
 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 { 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';
@@ -12,7 +12,7 @@ import { CallContext } from '../tx/call_context.js';
 import { TxContext } from '../tx/tx_context.js';
 import type { UInt64 } from '../types/shared.js';
 import { ClaimedLengthArray } from './claimed_length_array.js';
-import { ReadRequest } from './hints/read_request.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';
@@ -32,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.
      */
@@ -45,25 +57,33 @@ export declare class PrivateCircuitPublicInputs {
      */
     includeByTimestamp: UInt64;
     /**
-     * Read requests created by the corresponding function call.
+     * The side effect counter at the start of this call.
      */
-    noteHashReadRequests: ClaimedLengthArray<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: ClaimedLengthArray<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: ClaimedLengthArray<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: ClaimedLengthArray<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: ClaimedLengthArray<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>;
+    noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>;
+    /**
+     * Nullifier read requests created by the corresponding function call.
+     */
+    nullifierReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>;
+    /**
+     * Key validation requests and generators created by the corresponding function call.
+     */
+    keyValidationRequestsAndGenerators: ClaimedLengthArray<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>;
     /**
      * Private call requests made within the current kernel iteration.
      */
@@ -76,6 +96,14 @@ export declare class PrivateCircuitPublicInputs {
      * Hash of the public teardown function.
      */
     publicTeardownCallRequest: PublicCallRequest;
+    /**
+     * New note hashes created by the corresponding function call.
+     */
+    noteHashes: ClaimedLengthArray<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>;
+    /**
+     * New nullifiers created by the corresponding function call.
+     */
+    nullifiers: ClaimedLengthArray<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>;
     /**
      * New L2 to L1 messages created by the corresponding function call.
      */
@@ -88,18 +116,23 @@ export declare class PrivateCircuitPublicInputs {
      * Hash of the contract class logs emitted in this function call.
      */
     contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>;
+    constructor(
     /**
-     * The side effect counter at the start of this call.
+     * Context of the call corresponding to this private circuit execution.
      */
-    startSideEffectCounter: Fr;
+    callContext: CallContext, 
     /**
-     * The end side effect counter for this call.
+     * Pedersen hash of function arguments.
      */
-    endSideEffectCounter: Fr;
+    argsHash: Fr, 
+    /**
+     * 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;
+    anchorBlockHeader: BlockHeader, 
     /**
      * Transaction context.
      *
@@ -107,20 +140,7 @@ export declare class PrivateCircuitPublicInputs {
      * 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;
-    constructor(
-    /**
-     * Context of the call corresponding to this private circuit execution.
-     */
-    callContext: CallContext, 
-    /**
-     * Pedersen hash of function arguments.
-     */
-    argsHash: Fr, 
-    /**
-     * Pedersen hash of the return values of the corresponding function call.
-     */
-    returnsHash: Fr, 
+    txContext: TxContext, 
     /**
      * The side-effect counter under which all side effects are non-revertible.
      */
@@ -134,25 +154,33 @@ export declare class PrivateCircuitPublicInputs {
      */
     includeByTimestamp: UInt64, 
     /**
-     * Read requests created by the corresponding function call.
+     * The side effect counter at the start of this call.
      */
-    noteHashReadRequests: ClaimedLengthArray<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: ClaimedLengthArray<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: ClaimedLengthArray<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: ClaimedLengthArray<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: ClaimedLengthArray<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>, 
+    noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>, 
+    /**
+     * Nullifier read requests created by the corresponding function call.
+     */
+    nullifierReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>, 
+    /**
+     * Key validation requests and generators created by the corresponding function call.
+     */
+    keyValidationRequestsAndGenerators: ClaimedLengthArray<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>, 
     /**
      * Private call requests made within the current kernel iteration.
      */
@@ -165,6 +193,14 @@ export declare class PrivateCircuitPublicInputs {
      * Hash of the public teardown function.
      */
     publicTeardownCallRequest: PublicCallRequest, 
+    /**
+     * New note hashes created by the corresponding function call.
+     */
+    noteHashes: ClaimedLengthArray<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>, 
+    /**
+     * New nullifiers created by the corresponding function call.
+     */
+    nullifiers: ClaimedLengthArray<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>, 
     /**
      * New L2 to L1 messages created by the corresponding function call.
      */
@@ -176,27 +212,7 @@ export declare class PrivateCircuitPublicInputs {
     /**
      * Hash of the contract class logs emitted in this function call.
      */
-    contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>, 
-    /**
-     * The side effect counter at the start of this call.
-     */
-    startSideEffectCounter: Fr, 
-    /**
-     * The end side effect counter for this call.
-     */
-    endSideEffectCounter: 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);
+    contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>);
     /**
      * Create PrivateCircuitPublicInputs from a fields dictionary.
      * @param fields - The dictionary.
@@ -221,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, bigint, ClaimedLengthArray<ReadRequest, 16>, ClaimedLengthArray<ReadRequest, 16>, ClaimedLengthArray<KeyValidationRequestAndGenerator, 16>, ClaimedLengthArray<NoteHash, 16>, ClaimedLengthArray<Nullifier, 16>, ClaimedLengthArray<PrivateCallRequest, 8>, ClaimedLengthArray<CountedPublicCallRequest, 32>, PublicCallRequest, ClaimedLengthArray<CountedL2ToL1Message, 8>, ClaimedLengthArray<PrivateLogData, 16>, ClaimedLengthArray<CountedLogHash, 1>, 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.
@@ -234,4 +250,4 @@ export declare class PrivateCircuitPublicInputs {
     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,EAC1B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,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,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;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,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IACzG;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC1G;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;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,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,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;IAC3G;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,iBAAiB,EAAE,WAAW;IACrC;;;;;;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,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IACzG;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC1G;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;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,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,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;IAC3G;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,iBAAiB,EAAE,WAAW;IACrC;;;;;;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;IA6B5E,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,0BAA0B;IA6BzE;;;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;IA4BlB;;OAEG;IACH,QAAQ,IAAI,EAAE,EAAE;IAIT,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"}

package/dest/kernel/private_circuit_public_inputs.js

@@ -1,5 +1,5 @@
 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 { Fr } from '@aztec/foundation/curves/bn254';
 import { bufferSchemaFor } from '@aztec/foundation/schemas';
 import { BufferReader, FieldReader, bigintToUInt64BE, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
 import { KeyValidationRequestAndGenerator } from '../kernel/hints/key_validation_request_and_generator.js';
@@ -11,7 +11,7 @@ import { BlockHeader } from '../tx/block_header.js';
 import { CallContext } from '../tx/call_context.js';
 import { TxContext } from '../tx/tx_context.js';
 import { ClaimedLengthArray, ClaimedLengthArrayFromBuffer, ClaimedLengthArrayFromFields } from './claimed_length_array.js';
-import { ReadRequest } from './hints/read_request.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';
@@ -21,24 +21,26 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
     callContext;
     argsHash;
     returnsHash;
+    anchorBlockHeader;
+    txContext;
     minRevertibleSideEffectCounter;
     isFeePayer;
     includeByTimestamp;
+    startSideEffectCounter;
+    endSideEffectCounter;
+    expectedNonRevertibleSideEffectCounter;
+    expectedRevertibleSideEffectCounter;
     noteHashReadRequests;
     nullifierReadRequests;
     keyValidationRequestsAndGenerators;
-    noteHashes;
-    nullifiers;
     privateCallRequests;
     publicCallRequests;
     publicTeardownCallRequest;
+    noteHashes;
+    nullifiers;
     l2ToL1Msgs;
     privateLogs;
     contractClassLogsHashes;
-    startSideEffectCounter;
-    endSideEffectCounter;
-    anchorBlockHeader;
-    txContext;
     constructor(/**
      * Context of the call corresponding to this private circuit execution.
      */ callContext, /**
@@ -46,67 +48,73 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
      */ argsHash, /**
      * Pedersen hash of the return values of the corresponding function call.
      */ returnsHash, /**
+     * Header of a block whose state is used during private execution (not the block the transaction is included in).
+     */ anchorBlockHeader, /**
+     * 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, /**
      * The side-effect counter under which all side effects are non-revertible.
      */ minRevertibleSideEffectCounter, /**
      * Whether the caller of the function is the fee payer.
      */ isFeePayer, /**
      * The highest timestamp of a block in which the transaction can still be included.
      */ includeByTimestamp, /**
+     * The side effect counter at the start of this call.
+     */ startSideEffectCounter, /**
+     * The end side effect counter for this call.
+     */ endSideEffectCounter, /**
+     * The expected non revertible side effect counter for this call.
+     */ expectedNonRevertibleSideEffectCounter, /**
+     * The expected revertible side effect counter for this call.
+     */ expectedRevertibleSideEffectCounter, /**
      * Read requests created by the corresponding function call.
      */ noteHashReadRequests, /**
      * Nullifier read requests created by the corresponding function call.
      */ nullifierReadRequests, /**
      * Key validation requests and generators created by the corresponding function call.
      */ keyValidationRequestsAndGenerators, /**
-     * New note hashes created by the corresponding function call.
-     */ noteHashes, /**
-     * New nullifiers created by the corresponding function call.
-     */ nullifiers, /**
      * Private call requests made within the current kernel iteration.
      */ privateCallRequests, /**
      * Public call stack at the current kernel iteration.
      */ publicCallRequests, /**
      * Hash of the public teardown function.
      */ publicTeardownCallRequest, /**
+     * New note hashes created by the corresponding function call.
+     */ noteHashes, /**
+     * New nullifiers created by the corresponding function call.
+     */ nullifiers, /**
      * New L2 to L1 messages created by the corresponding function call.
      */ l2ToL1Msgs, /**
      * Logs emitted in this function call.
      */ privateLogs, /**
      * Hash of the contract class logs emitted in this function call.
-     */ contractClassLogsHashes, /**
-     * The side effect counter at the start of this call.
-     */ startSideEffectCounter, /**
-     * The end side effect counter for this call.
-     */ endSideEffectCounter, /**
-     * Header of a block whose state is used during private execution (not the block the transaction is included in).
-     */ anchorBlockHeader, /**
-     * 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){
+     */ contractClassLogsHashes){
         this.callContext = callContext;
         this.argsHash = argsHash;
         this.returnsHash = returnsHash;
+        this.anchorBlockHeader = anchorBlockHeader;
+        this.txContext = txContext;
         this.minRevertibleSideEffectCounter = minRevertibleSideEffectCounter;
         this.isFeePayer = isFeePayer;
         this.includeByTimestamp = includeByTimestamp;
+        this.startSideEffectCounter = startSideEffectCounter;
+        this.endSideEffectCounter = endSideEffectCounter;
+        this.expectedNonRevertibleSideEffectCounter = expectedNonRevertibleSideEffectCounter;
+        this.expectedRevertibleSideEffectCounter = expectedRevertibleSideEffectCounter;
         this.noteHashReadRequests = noteHashReadRequests;
         this.nullifierReadRequests = nullifierReadRequests;
         this.keyValidationRequestsAndGenerators = keyValidationRequestsAndGenerators;
-        this.noteHashes = noteHashes;
-        this.nullifiers = nullifiers;
         this.privateCallRequests = privateCallRequests;
         this.publicCallRequests = publicCallRequests;
         this.publicTeardownCallRequest = publicTeardownCallRequest;
+        this.noteHashes = noteHashes;
+        this.nullifiers = nullifiers;
         this.l2ToL1Msgs = l2ToL1Msgs;
         this.privateLogs = privateLogs;
         this.contractClassLogsHashes = contractClassLogsHashes;
-        this.startSideEffectCounter = startSideEffectCounter;
-        this.endSideEffectCounter = endSideEffectCounter;
-        this.anchorBlockHeader = anchorBlockHeader;
-        this.txContext = txContext;
     }
     /**
    * Create PrivateCircuitPublicInputs from a fields dictionary.
@@ -121,20 +129,20 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
    * @returns The deserialized instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readBoolean(), reader.readUInt64(), reader.readObject(ClaimedLengthArrayFromBuffer(ReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(ReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(Nullifier, MAX_NULLIFIERS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL)), reader.readObject(PublicCallRequest), reader.readObject(ClaimedLengthArrayFromBuffer(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL)), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(BlockHeader), reader.readObject(TxContext));
+        return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(BlockHeader), reader.readObject(TxContext), reader.readObject(Fr), reader.readBoolean(), reader.readUInt64(), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL)), reader.readObject(PublicCallRequest), reader.readObject(ClaimedLengthArrayFromBuffer(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(Nullifier, MAX_NULLIFIERS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL)));
     }
     static fromFields(fields) {
         const reader = FieldReader.asReader(fields);
-        return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readField(), reader.readField(), reader.readField(), reader.readBoolean(), reader.readU64(), reader.readObject(ClaimedLengthArrayFromFields(ReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(ReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(Nullifier, MAX_NULLIFIERS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL)), reader.readObject(PublicCallRequest), reader.readObject(ClaimedLengthArrayFromFields(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL)), reader.readField(), reader.readField(), reader.readObject(BlockHeader), reader.readObject(TxContext));
+        return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readField(), reader.readField(), reader.readObject(BlockHeader), reader.readObject(TxContext), reader.readField(), reader.readBoolean(), reader.readU64(), reader.readField(), reader.readField(), reader.readField(), reader.readField(), reader.readObject(ClaimedLengthArrayFromFields(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL)), reader.readObject(PublicCallRequest), reader.readObject(ClaimedLengthArrayFromFields(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(Nullifier, MAX_NULLIFIERS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL)));
     }
     /**
    * Create an empty PrivateCircuitPublicInputs.
    * @returns An empty PrivateCircuitPublicInputs object.
    */ static empty() {
-        return new PrivateCircuitPublicInputs(CallContext.empty(), Fr.ZERO, Fr.ZERO, Fr.ZERO, false, 0n, ClaimedLengthArray.empty(ReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(ReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL), ClaimedLengthArray.empty(NoteHash, MAX_NOTE_HASHES_PER_CALL), ClaimedLengthArray.empty(Nullifier, MAX_NULLIFIERS_PER_CALL), ClaimedLengthArray.empty(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL), ClaimedLengthArray.empty(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL), PublicCallRequest.empty(), ClaimedLengthArray.empty(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL), ClaimedLengthArray.empty(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL), ClaimedLengthArray.empty(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL), Fr.ZERO, Fr.ZERO, BlockHeader.empty(), TxContext.empty());
+        return new PrivateCircuitPublicInputs(CallContext.empty(), Fr.ZERO, Fr.ZERO, BlockHeader.empty(), TxContext.empty(), Fr.ZERO, false, 0n, Fr.ZERO, Fr.ZERO, Fr.ZERO, Fr.ZERO, ClaimedLengthArray.empty(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL), ClaimedLengthArray.empty(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL), ClaimedLengthArray.empty(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL), PublicCallRequest.empty(), ClaimedLengthArray.empty(NoteHash, MAX_NOTE_HASHES_PER_CALL), ClaimedLengthArray.empty(Nullifier, MAX_NULLIFIERS_PER_CALL), ClaimedLengthArray.empty(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL), ClaimedLengthArray.empty(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL), ClaimedLengthArray.empty(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL));
     }
     isEmpty() {
-        return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.minRevertibleSideEffectCounter.isZero() && !this.isFeePayer && !this.includeByTimestamp && this.noteHashReadRequests.isEmpty() && this.nullifierReadRequests.isEmpty() && this.keyValidationRequestsAndGenerators.isEmpty() && this.noteHashes.isEmpty() && this.nullifiers.isEmpty() && this.privateCallRequests.isEmpty() && this.publicCallRequests.isEmpty() && this.publicTeardownCallRequest.isEmpty() && this.l2ToL1Msgs.isEmpty() && this.privateLogs.isEmpty() && this.contractClassLogsHashes.isEmpty() && this.startSideEffectCounter.isZero() && this.endSideEffectCounter.isZero() && this.anchorBlockHeader.isEmpty() && this.txContext.isEmpty();
+        return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.anchorBlockHeader.isEmpty() && this.txContext.isEmpty() && this.minRevertibleSideEffectCounter.isZero() && !this.isFeePayer && !this.includeByTimestamp && this.startSideEffectCounter.isZero() && this.endSideEffectCounter.isZero() && this.expectedNonRevertibleSideEffectCounter.isZero() && this.expectedRevertibleSideEffectCounter.isZero() && this.noteHashReadRequests.isEmpty() && this.nullifierReadRequests.isEmpty() && this.keyValidationRequestsAndGenerators.isEmpty() && this.privateCallRequests.isEmpty() && this.publicCallRequests.isEmpty() && this.publicTeardownCallRequest.isEmpty() && this.noteHashes.isEmpty() && this.nullifiers.isEmpty() && this.l2ToL1Msgs.isEmpty() && this.privateLogs.isEmpty() && this.contractClassLogsHashes.isEmpty();
     }
     /**
    * Serialize into a field array. Low-level utility.
@@ -145,24 +153,26 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
             fields.callContext,
             fields.argsHash,
             fields.returnsHash,
+            fields.anchorBlockHeader,
+            fields.txContext,
             fields.minRevertibleSideEffectCounter,
             fields.isFeePayer,
             fields.includeByTimestamp,
+            fields.startSideEffectCounter,
+            fields.endSideEffectCounter,
+            fields.expectedNonRevertibleSideEffectCounter,
+            fields.expectedRevertibleSideEffectCounter,
             fields.noteHashReadRequests,
             fields.nullifierReadRequests,
             fields.keyValidationRequestsAndGenerators,
-            fields.noteHashes,
-            fields.nullifiers,
             fields.privateCallRequests,
             fields.publicCallRequests,
             fields.publicTeardownCallRequest,
+            fields.noteHashes,
+            fields.nullifiers,
             fields.l2ToL1Msgs,
             fields.privateLogs,
-            fields.contractClassLogsHashes,
-            fields.startSideEffectCounter,
-            fields.endSideEffectCounter,
-            fields.anchorBlockHeader,
-            fields.txContext
+            fields.contractClassLogsHashes
         ];
     }
     /**
@@ -175,24 +185,26 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
             this.callContext,
             this.argsHash,
             this.returnsHash,
+            this.anchorBlockHeader,
+            this.txContext,
             this.minRevertibleSideEffectCounter,
             this.isFeePayer,
             bigintToUInt64BE(this.includeByTimestamp),
+            this.startSideEffectCounter,
+            this.endSideEffectCounter,
+            this.expectedNonRevertibleSideEffectCounter,
+            this.expectedRevertibleSideEffectCounter,
             this.noteHashReadRequests,
             this.nullifierReadRequests,
             this.keyValidationRequestsAndGenerators,
-            this.noteHashes,
-            this.nullifiers,
             this.privateCallRequests,
             this.publicCallRequests,
             this.publicTeardownCallRequest,
+            this.noteHashes,
+            this.nullifiers,
             this.l2ToL1Msgs,
             this.privateLogs,
-            this.contractClassLogsHashes,
-            this.startSideEffectCounter,
-            this.endSideEffectCounter,
-            this.anchorBlockHeader,
-            this.txContext
+            this.contractClassLogsHashes
         ]);
     }
     /**

package/dest/kernel/private_context_inputs.d.ts

@@ -1,4 +1,4 @@
-import type { Fr } from '@aztec/foundation/fields';
+import type { Fr } from '@aztec/foundation/curves/bn254';
 import { BlockHeader } from '../tx/block_header.js';
 import { CallContext } from '../tx/call_context.js';
 import { TxContext } from '../tx/tx_context.js';
@@ -11,4 +11,4 @@ export declare class PrivateContextInputs {
     static empty(): PrivateContextInputs;
     toFields(): Fr[];
 }
-//# sourceMappingURL=private_context_inputs.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jb250ZXh0X2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2tlcm5lbC9wcml2YXRlX2NvbnRleHRfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBR3pELE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDcEQsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBRWhELHFCQUFhLG9CQUFvQjtJQUV0QixXQUFXLEVBQUUsV0FBVztJQUN4QixpQkFBaUIsRUFBRSxXQUFXO0lBQzlCLFNBQVMsRUFBRSxTQUFTO0lBQ3BCLHNCQUFzQixFQUFFLE1BQU07SUFKdkMsWUFDUyxXQUFXLEVBQUUsV0FBVyxFQUN4QixpQkFBaUIsRUFBRSxXQUFXLEVBQzlCLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLHNCQUFzQixFQUFFLE1BQU0sRUFDbkM7SUFFSixPQUFjLEtBQUssSUFBSSxvQkFBb0IsQ0FFMUM7SUFFTSxRQUFRLElBQUksRUFBRSxFQUFFLENBRXRCO0NBQ0YifQ==

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

@@ -1 +1 @@
-{"version":3,"file":"private_context_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_context_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAGnD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAEhD,qBAAa,oBAAoB;IAEtB,WAAW,EAAE,WAAW;IACxB,iBAAiB,EAAE,WAAW;IAC9B,SAAS,EAAE,SAAS;IACpB,sBAAsB,EAAE,MAAM;gBAH9B,WAAW,EAAE,WAAW,EACxB,iBAAiB,EAAE,WAAW,EAC9B,SAAS,EAAE,SAAS,EACpB,sBAAsB,EAAE,MAAM;WAGzB,KAAK,IAAI,oBAAoB;IAIpC,QAAQ,IAAI,EAAE,EAAE;CAGxB"}
+{"version":3,"file":"private_context_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_context_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGzD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAEhD,qBAAa,oBAAoB;IAEtB,WAAW,EAAE,WAAW;IACxB,iBAAiB,EAAE,WAAW;IAC9B,SAAS,EAAE,SAAS;IACpB,sBAAsB,EAAE,MAAM;IAJvC,YACS,WAAW,EAAE,WAAW,EACxB,iBAAiB,EAAE,WAAW,EAC9B,SAAS,EAAE,SAAS,EACpB,sBAAsB,EAAE,MAAM,EACnC;IAEJ,OAAc,KAAK,IAAI,oBAAoB,CAE1C;IAEM,QAAQ,IAAI,EAAE,EAAE,CAEtB;CACF"}

package/dest/kernel/private_kernel_circuit_public_inputs.d.ts

@@ -1,4 +1,4 @@
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader } from '@aztec/foundation/serialize';
 import { AztecAddress } from '../aztec-address/index.js';
 import { PrivateTxConstantData } from '../tx/private_tx_constant_data.js';
@@ -46,6 +46,10 @@ export declare class PrivateKernelCircuitPublicInputs {
      * The nullifier that will be used for nonce generation
      */
     claimedFirstNullifier: Fr;
+    /**
+     * A claim to the final min revertible side effect counter of a tx.
+     */
+    claimedRevertibleCounter: number;
     constructor(
     /**
      * Data which is not modified by the circuits.
@@ -82,7 +86,11 @@ export declare class PrivateKernelCircuitPublicInputs {
     /**
      * The nullifier that will be used for nonce generation
      */
-    claimedFirstNullifier: Fr);
+    claimedFirstNullifier: Fr, 
+    /**
+     * A claim to the final min revertible side effect counter of a tx.
+     */
+    claimedRevertibleCounter: number);
     static get schema(): import("zod").ZodType<PrivateKernelCircuitPublicInputs, any, string>;
     toJSON(): Buffer<ArrayBufferLike>;
     toBuffer(): Buffer<ArrayBufferLike>;
@@ -94,4 +102,4 @@ export declare class PrivateKernelCircuitPublicInputs {
     static fromBuffer(buffer: Buffer | BufferReader): PrivateKernelCircuitPublicInputs;
     static empty(): PrivateKernelCircuitPublicInputs;
 }
-//# sourceMappingURL=private_kernel_circuit_public_inputs.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfY2lyY3VpdF9wdWJsaWNfaW5wdXRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMva2VybmVsL3ByaXZhdGVfa2VybmVsX2NpcmN1aXRfcHVibGljX2lucHV0cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxFQUFFLFlBQVksRUFBdUMsTUFBTSw2QkFBNkIsQ0FBQztBQUVoRyxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDekQsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sbUNBQW1DLENBQUM7QUFDMUUsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDakQsT0FBTyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDdkUsT0FBTyxFQUFFLHlCQUF5QixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDN0UsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFN0Q7O0dBRUc7QUFDSCxxQkFBYSxnQ0FBZ0M7SUFFekM7O09BRUc7SUFDSSxTQUFTLEVBQUUscUJBQXFCO0lBQ3ZDOztPQUVHO0lBQ0ksOEJBQThCLEVBQUUsRUFBRTtJQUN6Qzs7T0FFRztJQUNJLGtCQUFrQixFQUFFLHlCQUF5QjtJQUNwRDs7T0FFRztJQUNJLEdBQUcsRUFBRSxzQkFBc0I7SUFDbEM7O09BRUc7SUFDSSx5QkFBeUIsRUFBRSxpQkFBaUI7SUFDbkQ7O09BRUc7SUFDSSxRQUFRLEVBQUUsWUFBWTtJQUM3Qjs7T0FFRztJQUNJLGtCQUFrQixFQUFFLE1BQU07SUFDakM7O09BRUc7SUFDSSxhQUFhLEVBQUUsT0FBTztJQUM3Qjs7T0FFRztJQUNJLHFCQUFxQixFQUFFLEVBQUU7SUFDaEM7O09BRUc7SUFDSSx3QkFBd0IsRUFBRSxNQUFNO0lBeEN6QztJQUNFOztPQUVHO0lBQ0ksU0FBUyxFQUFFLHFCQUFxQjtJQUN2Qzs7T0FFRztJQUNJLDhCQUE4QixFQUFFLEVBQUU7SUFDekM7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSx5QkFBeUI7SUFDcEQ7O09BRUc7SUFDSSxHQUFHLEVBQUUsc0JBQXNCO0lBQ2xDOztPQUVHO0lBQ0kseUJBQXlCLEVBQUUsaUJBQWlCO0lBQ25EOztPQUVHO0lBQ0ksUUFBUSxFQUFFLFlBQVk7SUFDN0I7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSxNQUFNO0lBQ2pDOztPQUVHO0lBQ0ksYUFBYSxFQUFFLE9BQU87SUFDN0I7O09BRUc7SUFDSSxxQkFBcUIsRUFBRSxFQUFFO0lBQ2hDOztPQUVHO0lBQ0ksd0JBQXdCLEVBQUUsTUFBTSxFQUNyQztJQUVKLE1BQU0sS0FBSyxNQUFNLHlFQUVoQjtJQUVELE1BQU0sNEJBRUw7SUFFRCxRQUFRLDRCQWFQO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsZ0NBQWdDLENBY2pGO0lBRUQsTUFBTSxDQUFDLEtBQUsscUNBYVg7Q0FDRiJ9

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

@@ -1 +1 @@
-{"version":3,"file":"private_kernel_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAEhG,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,gCAAgC;IAEzC;;OAEG;IACI,SAAS,EAAE,qBAAqB;IACvC;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,kBAAkB,EAAE,yBAAyB;IACpD;;OAEG;IACI,GAAG,EAAE,sBAAsB;IAClC;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;;IAnChC;;OAEG;IACI,SAAS,EAAE,qBAAqB;IACvC;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,kBAAkB,EAAE,yBAAyB;IACpD;;OAEG;IACI,GAAG,EAAE,sBAAsB;IAClC;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAGlC,MAAM,KAAK,MAAM,yEAEhB;IAED,MAAM;IAIN,QAAQ;IAcR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,gCAAgC;IAelF,MAAM,CAAC,KAAK;CAab"}
+{"version":3,"file":"private_kernel_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAEhG,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,gCAAgC;IAEzC;;OAEG;IACI,SAAS,EAAE,qBAAqB;IACvC;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,kBAAkB,EAAE,yBAAyB;IACpD;;OAEG;IACI,GAAG,EAAE,sBAAsB;IAClC;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAChC;;OAEG;IACI,wBAAwB,EAAE,MAAM;IAxCzC;IACE;;OAEG;IACI,SAAS,EAAE,qBAAqB;IACvC;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,kBAAkB,EAAE,yBAAyB;IACpD;;OAEG;IACI,GAAG,EAAE,sBAAsB;IAClC;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAChC;;OAEG;IACI,wBAAwB,EAAE,MAAM,EACrC;IAEJ,MAAM,KAAK,MAAM,yEAEhB;IAED,MAAM,4BAEL;IAED,QAAQ,4BAaP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,gCAAgC,CAcjF;IAED,MAAM,CAAC,KAAK,qCAaX;CACF"}