@aztec/stdlib 0.77.0-testnet-ignition.17

package/dest/kernel/private_circuit_public_inputs.d.ts

@@ -0,0 +1,238 @@
+/// <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 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 { 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 { 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 { NoteHash } from './note_hash.js';
+import { Nullifier } from './nullifier.js';
+import { CountedPublicCallRequest, PublicCallRequest } from './public_call_request.js';
+/**
+ * Public inputs to a private circuit.
+ */
+export declare class PrivateCircuitPublicInputs {
+    /**
+     * 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;
+    /**
+     * The side-effect counter under which all side effects are non-revertible.
+     */
+    minRevertibleSideEffectCounter: Fr;
+    /**
+     * Whether the caller of the function is the fee payer.
+     */
+    isFeePayer: boolean;
+    /**
+     * The maximum block number in which this transaction can be included and be valid.
+     */
+    maxBlockNumber: MaxBlockNumber;
+    /**
+     * Read requests created by the corresponding function call.
+     */
+    noteHashReadRequests: Tuple<ReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>;
+    /**
+     * Nullifier read requests created by the corresponding function call.
+     */
+    nullifierReadRequests: Tuple<ReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>;
+    /**
+     * Key validation requests and generators created by the corresponding function call.
+     */
+    keyValidationRequestsAndGenerators: Tuple<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>;
+    /**
+     * New note hashes created by the corresponding function call.
+     */
+    noteHashes: Tuple<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>;
+    /**
+     * New nullifiers created by the corresponding function call.
+     */
+    nullifiers: Tuple<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>;
+    /**
+     * Private call requests made within the current kernel iteration.
+     */
+    privateCallRequests: Tuple<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>;
+    /**
+     * Public call stack at the current kernel iteration.
+     */
+    publicCallRequests: Tuple<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_CALL>;
+    /**
+     * Hash of the public teardown function.
+     */
+    publicTeardownCallRequest: PublicCallRequest;
+    /**
+     * New L2 to L1 messages created by the corresponding function call.
+     */
+    l2ToL1Msgs: Tuple<L2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_CALL>;
+    /**
+     * Logs emitted in this function call.
+     */
+    privateLogs: Tuple<PrivateLogData, typeof MAX_PRIVATE_LOGS_PER_CALL>;
+    /**
+     * Hash of the contract class logs emitted in this function call.
+     */
+    contractClassLogsHashes: Tuple<LogHash, 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).
+     */
+    historicalHeader: BlockHeader;
+    /**
+     * 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.
+     */
+    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, 
+    /**
+     * The side-effect counter under which all side effects are non-revertible.
+     */
+    minRevertibleSideEffectCounter: Fr, 
+    /**
+     * Whether the caller of the function is the fee payer.
+     */
+    isFeePayer: boolean, 
+    /**
+     * The maximum block number in which this transaction can be included and be valid.
+     */
+    maxBlockNumber: MaxBlockNumber, 
+    /**
+     * Read requests created by the corresponding function call.
+     */
+    noteHashReadRequests: Tuple<ReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>, 
+    /**
+     * Nullifier read requests created by the corresponding function call.
+     */
+    nullifierReadRequests: Tuple<ReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>, 
+    /**
+     * Key validation requests and generators created by the corresponding function call.
+     */
+    keyValidationRequestsAndGenerators: Tuple<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>, 
+    /**
+     * New note hashes created by the corresponding function call.
+     */
+    noteHashes: Tuple<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>, 
+    /**
+     * New nullifiers created by the corresponding function call.
+     */
+    nullifiers: Tuple<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>, 
+    /**
+     * Private call requests made within the current kernel iteration.
+     */
+    privateCallRequests: Tuple<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>, 
+    /**
+     * Public call stack at the current kernel iteration.
+     */
+    publicCallRequests: Tuple<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_CALL>, 
+    /**
+     * Hash of the public teardown function.
+     */
+    publicTeardownCallRequest: PublicCallRequest, 
+    /**
+     * New L2 to L1 messages created by the corresponding function call.
+     */
+    l2ToL1Msgs: Tuple<L2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_CALL>, 
+    /**
+     * Logs emitted in this function call.
+     */
+    privateLogs: Tuple<PrivateLogData, typeof MAX_PRIVATE_LOGS_PER_CALL>, 
+    /**
+     * Hash of the contract class logs emitted in this function call.
+     */
+    contractClassLogsHashes: Tuple<LogHash, 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).
+     */
+    historicalHeader: BlockHeader, 
+    /**
+     * 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.
+     */
+    txContext: TxContext);
+    /**
+     * Create PrivateCircuitPublicInputs from a fields dictionary.
+     * @param fields - The dictionary.
+     * @returns A PrivateCircuitPublicInputs object.
+     */
+    static from(fields: FieldsOf<PrivateCircuitPublicInputs>): PrivateCircuitPublicInputs;
+    /**
+     * Deserializes from a buffer or reader.
+     * @param buffer - Buffer or reader to read from.
+     * @returns The deserialized instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): PrivateCircuitPublicInputs;
+    static fromFields(fields: Fr[] | FieldReader): PrivateCircuitPublicInputs;
+    /**
+     * Create an empty PrivateCircuitPublicInputs.
+     * @returns An empty PrivateCircuitPublicInputs object.
+     */
+    static empty(): PrivateCircuitPublicInputs;
+    isEmpty(): boolean;
+    /**
+     * Serialize into a field array. Low-level utility.
+     * @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];
+    /**
+     * Serialize this as a buffer.
+     * @returns The buffer.
+     */
+    toBuffer(): Buffer;
+    /**
+     * Serialize this as a field array.
+     */
+    toFields(): Fr[];
+    toJSON(): Buffer;
+    static get schema(): import("zod").ZodType<PrivateCircuitPublicInputs, any, string>;
+}
+//# sourceMappingURL=private_circuit_public_inputs.d.ts.map

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

@@ -0,0 +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"}

package/dest/kernel/private_circuit_public_inputs.js

@@ -0,0 +1,191 @@
+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, PRIVATE_CIRCUIT_PUBLIC_INPUTS_LENGTH } from '@aztec/constants';
+import { makeTuple } from '@aztec/foundation/array';
+import { Fr } from '@aztec/foundation/fields';
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
+import { KeyValidationRequestAndGenerator } from '../kernel/hints/key_validation_request_and_generator.js';
+import { LogHash } 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 { 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 { NoteHash } from './note_hash.js';
+import { Nullifier } from './nullifier.js';
+import { CountedPublicCallRequest, PublicCallRequest } from './public_call_request.js';
+import { isEmptyArray } from './utils/order_and_comparison.js';
+/**
+ * Public inputs to a private circuit.
+ */ export class PrivateCircuitPublicInputs {
+    callContext;
+    argsHash;
+    returnsHash;
+    minRevertibleSideEffectCounter;
+    isFeePayer;
+    maxBlockNumber;
+    noteHashReadRequests;
+    nullifierReadRequests;
+    keyValidationRequestsAndGenerators;
+    noteHashes;
+    nullifiers;
+    privateCallRequests;
+    publicCallRequests;
+    publicTeardownCallRequest;
+    l2ToL1Msgs;
+    privateLogs;
+    contractClassLogsHashes;
+    startSideEffectCounter;
+    endSideEffectCounter;
+    historicalHeader;
+    txContext;
+    constructor(/**
+     * Context of the call corresponding to this private circuit execution.
+     */ callContext, /**
+     * Pedersen hash of function arguments.
+     */ argsHash, /**
+     * Pedersen hash of the return values of the corresponding function call.
+     */ returnsHash, /**
+     * 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 maximum block number in which this transaction can be included and be valid.
+     */ maxBlockNumber, /**
+     * 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 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).
+     */ historicalHeader, /**
+     * 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.
+     */ txContext){
+        this.callContext = callContext;
+        this.argsHash = argsHash;
+        this.returnsHash = returnsHash;
+        this.minRevertibleSideEffectCounter = minRevertibleSideEffectCounter;
+        this.isFeePayer = isFeePayer;
+        this.maxBlockNumber = maxBlockNumber;
+        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.l2ToL1Msgs = l2ToL1Msgs;
+        this.privateLogs = privateLogs;
+        this.contractClassLogsHashes = contractClassLogsHashes;
+        this.startSideEffectCounter = startSideEffectCounter;
+        this.endSideEffectCounter = endSideEffectCounter;
+        this.historicalHeader = historicalHeader;
+        this.txContext = txContext;
+    }
+    /**
+   * Create PrivateCircuitPublicInputs from a fields dictionary.
+   * @param fields - The dictionary.
+   * @returns A PrivateCircuitPublicInputs object.
+   */ static from(fields) {
+        return new PrivateCircuitPublicInputs(...PrivateCircuitPublicInputs.getFields(fields));
+    }
+    /**
+   * Deserializes from a buffer or reader.
+   * @param buffer - Buffer or reader to read from.
+   * @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.readObject(MaxBlockNumber), reader.readArray(MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_NULLIFIER_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_KEY_VALIDATION_REQUESTS_PER_CALL, KeyValidationRequestAndGenerator), reader.readArray(MAX_NOTE_HASHES_PER_CALL, NoteHash), reader.readArray(MAX_NULLIFIERS_PER_CALL, Nullifier), reader.readArray(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest), reader.readArray(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest), reader.readObject(PublicCallRequest), reader.readArray(MAX_L2_TO_L1_MSGS_PER_CALL, L2ToL1Message), reader.readArray(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData), reader.readArray(MAX_CONTRACT_CLASS_LOGS_PER_CALL, LogHash), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(BlockHeader), reader.readObject(TxContext));
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readField(), reader.readField(), reader.readField(), reader.readBoolean(), reader.readObject(MaxBlockNumber), reader.readArray(MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_NULLIFIER_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_KEY_VALIDATION_REQUESTS_PER_CALL, KeyValidationRequestAndGenerator), reader.readArray(MAX_NOTE_HASHES_PER_CALL, NoteHash), reader.readArray(MAX_NULLIFIERS_PER_CALL, Nullifier), reader.readArray(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest), reader.readArray(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest), reader.readObject(PublicCallRequest), reader.readArray(MAX_L2_TO_L1_MSGS_PER_CALL, L2ToL1Message), reader.readArray(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData), reader.readArray(MAX_CONTRACT_CLASS_LOGS_PER_CALL, LogHash), reader.readField(), reader.readField(), reader.readObject(BlockHeader), reader.readObject(TxContext));
+    }
+    /**
+   * Create an empty PrivateCircuitPublicInputs.
+   * @returns An empty PrivateCircuitPublicInputs object.
+   */ static empty() {
+        return new PrivateCircuitPublicInputs(CallContext.empty(), Fr.ZERO, Fr.ZERO, Fr.ZERO, false, MaxBlockNumber.empty(), makeTuple(MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, ReadRequest.empty), makeTuple(MAX_NULLIFIER_READ_REQUESTS_PER_CALL, ReadRequest.empty), makeTuple(MAX_KEY_VALIDATION_REQUESTS_PER_CALL, KeyValidationRequestAndGenerator.empty), makeTuple(MAX_NOTE_HASHES_PER_CALL, NoteHash.empty), makeTuple(MAX_NULLIFIERS_PER_CALL, Nullifier.empty), makeTuple(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest.empty), makeTuple(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest.empty), PublicCallRequest.empty(), makeTuple(MAX_L2_TO_L1_MSGS_PER_CALL, L2ToL1Message.empty), makeTuple(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData.empty), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_CALL, LogHash.empty), Fr.ZERO, Fr.ZERO, BlockHeader.empty(), TxContext.empty());
+    }
+    isEmpty() {
+        return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.minRevertibleSideEffectCounter.isZero() && !this.isFeePayer && this.maxBlockNumber.isEmpty() && isEmptyArray(this.noteHashReadRequests) && isEmptyArray(this.nullifierReadRequests) && isEmptyArray(this.keyValidationRequestsAndGenerators) && isEmptyArray(this.noteHashes) && isEmptyArray(this.nullifiers) && isEmptyArray(this.privateCallRequests) && isEmptyArray(this.publicCallRequests) && this.publicTeardownCallRequest.isEmpty() && isEmptyArray(this.l2ToL1Msgs) && isEmptyArray(this.privateLogs) && isEmptyArray(this.contractClassLogsHashes) && this.startSideEffectCounter.isZero() && this.endSideEffectCounter.isZero() && this.historicalHeader.isEmpty() && this.txContext.isEmpty();
+    }
+    /**
+   * Serialize into a field array. Low-level utility.
+   * @param fields - Object with fields.
+   * @returns The array.
+   */ static getFields(fields) {
+        return [
+            fields.callContext,
+            fields.argsHash,
+            fields.returnsHash,
+            fields.minRevertibleSideEffectCounter,
+            fields.isFeePayer,
+            fields.maxBlockNumber,
+            fields.noteHashReadRequests,
+            fields.nullifierReadRequests,
+            fields.keyValidationRequestsAndGenerators,
+            fields.noteHashes,
+            fields.nullifiers,
+            fields.privateCallRequests,
+            fields.publicCallRequests,
+            fields.publicTeardownCallRequest,
+            fields.l2ToL1Msgs,
+            fields.privateLogs,
+            fields.contractClassLogsHashes,
+            fields.startSideEffectCounter,
+            fields.endSideEffectCounter,
+            fields.historicalHeader,
+            fields.txContext
+        ];
+    }
+    /**
+   * Serialize this as a buffer.
+   * @returns The buffer.
+   */ toBuffer() {
+        return serializeToBuffer(...PrivateCircuitPublicInputs.getFields(this));
+    }
+    /**
+   * Serialize this as a field array.
+   */ toFields() {
+        const fields = serializeToFields(...PrivateCircuitPublicInputs.getFields(this));
+        if (fields.length !== PRIVATE_CIRCUIT_PUBLIC_INPUTS_LENGTH) {
+            throw new Error(`Invalid number of fields for PrivateCircuitPublicInputs. Expected ${PRIVATE_CIRCUIT_PUBLIC_INPUTS_LENGTH}, got ${fields.length}`);
+        }
+        return fields;
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(PrivateCircuitPublicInputs);
+    }
+}

package/dest/kernel/private_context_inputs.d.ts

@@ -0,0 +1,14 @@
+import type { Fr } from '@aztec/foundation/fields';
+import { BlockHeader } from '../tx/block_header.js';
+import { CallContext } from '../tx/call_context.js';
+import { TxContext } from '../tx/tx_context.js';
+export declare class PrivateContextInputs {
+    callContext: CallContext;
+    historicalHeader: BlockHeader;
+    txContext: TxContext;
+    startSideEffectCounter: number;
+    constructor(callContext: CallContext, historicalHeader: BlockHeader, txContext: TxContext, startSideEffectCounter: number);
+    static empty(): PrivateContextInputs;
+    toFields(): Fr[];
+}
+//# sourceMappingURL=private_context_inputs.d.ts.map

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

@@ -0,0 +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,gBAAgB,EAAE,WAAW;IAC7B,SAAS,EAAE,SAAS;IACpB,sBAAsB,EAAE,MAAM;gBAH9B,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,WAAW,EAC7B,SAAS,EAAE,SAAS,EACpB,sBAAsB,EAAE,MAAM;WAGzB,KAAK,IAAI,oBAAoB;IAIpC,QAAQ,IAAI,EAAE,EAAE;CAGxB"}

package/dest/kernel/private_context_inputs.js

@@ -0,0 +1,27 @@
+import { serializeToFields } from '@aztec/foundation/serialize';
+import { BlockHeader } from '../tx/block_header.js';
+import { CallContext } from '../tx/call_context.js';
+import { TxContext } from '../tx/tx_context.js';
+export class PrivateContextInputs {
+    callContext;
+    historicalHeader;
+    txContext;
+    startSideEffectCounter;
+    constructor(callContext, historicalHeader, txContext, startSideEffectCounter){
+        this.callContext = callContext;
+        this.historicalHeader = historicalHeader;
+        this.txContext = txContext;
+        this.startSideEffectCounter = startSideEffectCounter;
+    }
+    static empty() {
+        return new PrivateContextInputs(CallContext.empty(), BlockHeader.empty(), TxContext.empty(), 0);
+    }
+    toFields() {
+        return serializeToFields([
+            this.callContext,
+            this.historicalHeader,
+            this.txContext,
+            this.startSideEffectCounter
+        ]);
+    }
+}

package/dest/kernel/private_kernel_circuit_public_inputs.d.ts

@@ -0,0 +1,90 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader } from '@aztec/foundation/serialize';
+import { AztecAddress } from '../aztec-address/index.js';
+import { TxConstantData } from '../tx/tx_constant_data.js';
+import { PrivateAccumulatedData } from './private_accumulated_data.js';
+import { PrivateValidationRequests } from './private_validation_requests.js';
+import { PublicCallRequest } from './public_call_request.js';
+/**
+ * Public inputs to the inner private kernel circuit
+ */
+export declare class PrivateKernelCircuitPublicInputs {
+    /**
+     * Data which is not modified by the circuits.
+     */
+    constants: TxConstantData;
+    /**
+     * The side effect counter that non-revertible side effects are all beneath.
+     */
+    minRevertibleSideEffectCounter: Fr;
+    /**
+     * Validation requests accumulated from public functions.
+     */
+    validationRequests: PrivateValidationRequests;
+    /**
+     * Data accumulated from both public and private circuits.
+     */
+    end: PrivateAccumulatedData;
+    /**
+     * The call request for the public teardown function
+     */
+    publicTeardownCallRequest: PublicCallRequest;
+    /**
+     * The address of the fee payer for the transaction
+     */
+    feePayer: AztecAddress;
+    /**
+     * Wether this is a private only tx or not
+     */
+    isPrivateOnly: boolean;
+    /**
+     * The nullifier that will be used for nonce generation
+     */
+    claimedFirstNullifier: Fr;
+    constructor(
+    /**
+     * Data which is not modified by the circuits.
+     */
+    constants: TxConstantData, 
+    /**
+     * The side effect counter that non-revertible side effects are all beneath.
+     */
+    minRevertibleSideEffectCounter: Fr, 
+    /**
+     * Validation requests accumulated from public functions.
+     */
+    validationRequests: PrivateValidationRequests, 
+    /**
+     * Data accumulated from both public and private circuits.
+     */
+    end: PrivateAccumulatedData, 
+    /**
+     * The call request for the public teardown function
+     */
+    publicTeardownCallRequest: PublicCallRequest, 
+    /**
+     * The address of the fee payer for the transaction
+     */
+    feePayer: AztecAddress, 
+    /**
+     * Wether this is a private only tx or not
+     */
+    isPrivateOnly: boolean, 
+    /**
+     * The nullifier that will be used for nonce generation
+     */
+    claimedFirstNullifier: Fr);
+    static get schema(): import("zod").ZodType<PrivateKernelCircuitPublicInputs, any, string>;
+    toJSON(): Buffer;
+    toBuffer(): Buffer;
+    /**
+     * Deserializes from a buffer or reader, corresponding to a write in cpp.
+     * @param buffer - Buffer or reader to read from.
+     * @returns A new instance of PrivateKernelInnerCircuitPublicInputs.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): PrivateKernelCircuitPublicInputs;
+    static empty(): PrivateKernelCircuitPublicInputs;
+}
+//# sourceMappingURL=private_kernel_circuit_public_inputs.d.ts.map

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

@@ -0,0 +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,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,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,cAAc;IAChC;;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,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;;IA/BhC;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;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,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAGlC,MAAM,KAAK,MAAM,yEAEhB;IAED,MAAM;IAIN,QAAQ;IAaR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,gCAAgC;IAclF,MAAM,CAAC,KAAK;CAYb"}

package/dest/kernel/private_kernel_circuit_public_inputs.js

@@ -0,0 +1,66 @@
+import { Fr } from '@aztec/foundation/fields';
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { AztecAddress } from '../aztec-address/index.js';
+import { TxConstantData } from '../tx/tx_constant_data.js';
+import { PrivateAccumulatedData } from './private_accumulated_data.js';
+import { PrivateValidationRequests } from './private_validation_requests.js';
+import { PublicCallRequest } from './public_call_request.js';
+/**
+ * Public inputs to the inner private kernel circuit
+ */ export class PrivateKernelCircuitPublicInputs {
+    constants;
+    minRevertibleSideEffectCounter;
+    validationRequests;
+    end;
+    publicTeardownCallRequest;
+    feePayer;
+    isPrivateOnly;
+    claimedFirstNullifier;
+    constructor(/**
+     * Data which is not modified by the circuits.
+     */ constants, /**
+     * The side effect counter that non-revertible side effects are all beneath.
+     */ minRevertibleSideEffectCounter, /**
+     * Validation requests accumulated from public functions.
+     */ validationRequests, /**
+     * Data accumulated from both public and private circuits.
+     */ end, /**
+     * The call request for the public teardown function
+     */ publicTeardownCallRequest, /**
+     * The address of the fee payer for the transaction
+     */ feePayer, /**
+     * Wether this is a private only tx or not
+     */ isPrivateOnly, /**
+     * The nullifier that will be used for nonce generation
+     */ claimedFirstNullifier){
+        this.constants = constants;
+        this.minRevertibleSideEffectCounter = minRevertibleSideEffectCounter;
+        this.validationRequests = validationRequests;
+        this.end = end;
+        this.publicTeardownCallRequest = publicTeardownCallRequest;
+        this.feePayer = feePayer;
+        this.isPrivateOnly = isPrivateOnly;
+        this.claimedFirstNullifier = claimedFirstNullifier;
+    }
+    static get schema() {
+        return bufferSchemaFor(PrivateKernelCircuitPublicInputs);
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    toBuffer() {
+        return serializeToBuffer(this.constants, this.minRevertibleSideEffectCounter, this.validationRequests, this.end, this.publicTeardownCallRequest, this.feePayer, this.isPrivateOnly, this.claimedFirstNullifier);
+    }
+    /**
+   * Deserializes from a buffer or reader, corresponding to a write in cpp.
+   * @param buffer - Buffer or reader to read from.
+   * @returns A new instance of PrivateKernelInnerCircuitPublicInputs.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PrivateKernelCircuitPublicInputs(reader.readObject(TxConstantData), reader.readObject(Fr), reader.readObject(PrivateValidationRequests), reader.readObject(PrivateAccumulatedData), reader.readObject(PublicCallRequest), reader.readObject(AztecAddress), reader.readBoolean(), reader.readObject(Fr));
+    }
+    static empty() {
+        return new PrivateKernelCircuitPublicInputs(TxConstantData.empty(), Fr.zero(), PrivateValidationRequests.empty(), PrivateAccumulatedData.empty(), PublicCallRequest.empty(), AztecAddress.ZERO, false, Fr.zero());
+    }
+}