@aztec/stdlib 0.0.0-test.0

package/dest/interfaces/pxe.js

@@ -0,0 +1,104 @@
+import { L1_TO_L2_MSG_TREE_HEIGHT } from '@aztec/constants';
+import { SiblingPath } from '@aztec/foundation/trees';
+import { z } from 'zod';
+import { AbiTypeSchema, ContractArtifactSchema } from '../abi/abi.js';
+import { AuthWitness } from '../auth_witness/auth_witness.js';
+import { inBlockSchemaFor } from '../block/in_block.js';
+import { L2Block } from '../block/l2_block.js';
+import { CompleteAddress, ContractClassWithIdSchema, ContractInstanceWithAddressSchema, NodeInfoSchema, ProtocolContractAddressesSchema } from '../contract/index.js';
+import { GasFees } from '../gas/gas_fees.js';
+import { LogFilterSchema } from '../logs/log_filter.js';
+import { UniqueNote } from '../note/extended_note.js';
+import { NotesFilterSchema } from '../note/notes_filter.js';
+import { AbiDecodedSchema, optional, schemas } from '../schemas/schemas.js';
+import { PrivateExecutionResult, Tx, TxExecutionRequest, TxHash, TxProvingResult, TxReceipt, TxSimulationResult } from '../tx/index.js';
+import { TxEffect } from '../tx/tx_effect.js';
+import { GetContractClassLogsResponseSchema, GetPublicLogsResponseSchema } from './get_logs_response.js';
+const EventMetadataDefinitionSchema = z.object({
+    eventSelector: schemas.EventSelector,
+    abiType: AbiTypeSchema,
+    fieldNames: z.array(z.string())
+});
+/** This is used in getting events via the filter */ export var EventType = /*#__PURE__*/ function(EventType) {
+    EventType["Encrypted"] = "Encrypted";
+    EventType["Unencrypted"] = "Unencrypted";
+    return EventType;
+}({});
+const ContractMetadataSchema = z.object({
+    contractInstance: z.union([
+        ContractInstanceWithAddressSchema,
+        z.undefined()
+    ]),
+    isContractInitialized: z.boolean(),
+    isContractPubliclyDeployed: z.boolean()
+});
+const ContractClassMetadataSchema = z.object({
+    contractClass: z.union([
+        ContractClassWithIdSchema,
+        z.undefined()
+    ]),
+    isContractClassPubliclyRegistered: z.boolean(),
+    artifact: z.union([
+        ContractArtifactSchema,
+        z.undefined()
+    ])
+});
+const PXEInfoSchema = z.object({
+    pxeVersion: z.string(),
+    protocolContractAddresses: ProtocolContractAddressesSchema
+});
+export const PXESchema = {
+    isL1ToL2MessageSynced: z.function().args(schemas.Fr).returns(z.boolean()),
+    addAuthWitness: z.function().args(AuthWitness.schema).returns(z.void()),
+    getAuthWitness: z.function().args(schemas.Fr).returns(z.union([
+        z.undefined(),
+        z.array(schemas.Fr)
+    ])),
+    storeCapsule: z.function().args(schemas.AztecAddress, schemas.Fr, z.array(schemas.Fr)).returns(z.void()),
+    registerAccount: z.function().args(schemas.Fr, schemas.Fr).returns(CompleteAddress.schema),
+    getRegisteredAccounts: z.function().returns(z.array(CompleteAddress.schema)),
+    registerSender: z.function().args(schemas.AztecAddress).returns(schemas.AztecAddress),
+    getSenders: z.function().returns(z.array(schemas.AztecAddress)),
+    removeSender: z.function().args(schemas.AztecAddress).returns(z.void()),
+    registerContractClass: z.function().args(ContractArtifactSchema).returns(z.void()),
+    registerContract: z.function().args(z.object({
+        instance: ContractInstanceWithAddressSchema,
+        artifact: z.optional(ContractArtifactSchema)
+    })).returns(z.void()),
+    updateContract: z.function().args(schemas.AztecAddress, ContractArtifactSchema).returns(z.void()),
+    getContracts: z.function().returns(z.array(schemas.AztecAddress)),
+    proveTx: z.function().args(TxExecutionRequest.schema, PrivateExecutionResult.schema).returns(TxProvingResult.schema),
+    simulateTx: z.function().args(TxExecutionRequest.schema, z.boolean(), optional(schemas.AztecAddress), optional(z.boolean()), optional(z.boolean()), optional(z.boolean()), optional(z.array(schemas.AztecAddress))).returns(TxSimulationResult.schema),
+    sendTx: z.function().args(Tx.schema).returns(TxHash.schema),
+    getTxReceipt: z.function().args(TxHash.schema).returns(TxReceipt.schema),
+    getTxEffect: z.function().args(TxHash.schema).returns(z.union([
+        inBlockSchemaFor(TxEffect.schema),
+        z.undefined()
+    ])),
+    getPublicStorageAt: z.function().args(schemas.AztecAddress, schemas.Fr).returns(schemas.Fr),
+    getNotes: z.function().args(NotesFilterSchema).returns(z.array(UniqueNote.schema)),
+    getL1ToL2MembershipWitness: z.function().args(schemas.AztecAddress, schemas.Fr, schemas.Fr).returns(z.tuple([
+        schemas.BigInt,
+        SiblingPath.schemaFor(L1_TO_L2_MSG_TREE_HEIGHT)
+    ])),
+    getL2ToL1MembershipWitness: z.function().args(z.number(), schemas.Fr).returns(z.tuple([
+        schemas.BigInt,
+        SiblingPath.schema
+    ])),
+    getBlock: z.function().args(z.number()).returns(z.union([
+        L2Block.schema,
+        z.undefined()
+    ])),
+    getCurrentBaseFees: z.function().returns(GasFees.schema),
+    simulateUnconstrained: z.function().args(z.string(), z.array(z.any()), schemas.AztecAddress, optional(schemas.AztecAddress), optional(z.array(schemas.AztecAddress))).returns(AbiDecodedSchema),
+    getPublicLogs: z.function().args(LogFilterSchema).returns(GetPublicLogsResponseSchema),
+    getContractClassLogs: z.function().args(LogFilterSchema).returns(GetContractClassLogsResponseSchema),
+    getBlockNumber: z.function().returns(z.number()),
+    getProvenBlockNumber: z.function().returns(z.number()),
+    getNodeInfo: z.function().returns(NodeInfoSchema),
+    getPXEInfo: z.function().returns(PXEInfoSchema),
+    getContractMetadata: z.function().args(schemas.AztecAddress).returns(ContractMetadataSchema),
+    getContractClassMetadata: z.function().args(schemas.Fr, optional(z.boolean())).returns(ContractClassMetadataSchema),
+    getPrivateEvents: z.function().args(EventMetadataDefinitionSchema, z.number(), z.number(), z.array(schemas.Point)).returns(z.array(AbiDecodedSchema)),
+    getPublicEvents: z.function().args(EventMetadataDefinitionSchema, z.number(), z.number()).returns(z.array(AbiDecodedSchema))
+};

package/dest/interfaces/server.d.ts

@@ -0,0 +1,20 @@
+export * from './archiver.js';
+export * from './block-builder.js';
+export * from './configs.js';
+export * from './epoch-prover.js';
+export * from './processed-tx-handler.js';
+export * from './prover-agent.js';
+export * from './prover-client.js';
+export * from './prover-coordination.js';
+export * from './prover-node.js';
+export * from './proving-job-source.js';
+export * from './proving-job.js';
+export * from './server_circuit_prover.js';
+export * from './service.js';
+export * from './world_state.js';
+export * from './prover-broker.js';
+export * from './p2p.js';
+export * from './p2p-bootstrap.js';
+export * from './l2_logs_source.js';
+export * from './merkle_tree_operations.js';
+//# sourceMappingURL=server.d.ts.map

package/dest/interfaces/server.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../../src/interfaces/server.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,oBAAoB,CAAC;AACnC,cAAc,cAAc,CAAC;AAC7B,cAAc,mBAAmB,CAAC;AAClC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,cAAc,0BAA0B,CAAC;AACzC,cAAc,kBAAkB,CAAC;AACjC,cAAc,yBAAyB,CAAC;AACxC,cAAc,kBAAkB,CAAC;AACjC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,cAAc,CAAC;AAC7B,cAAc,kBAAkB,CAAC;AACjC,cAAc,oBAAoB,CAAC;AACnC,cAAc,UAAU,CAAC;AACzB,cAAc,oBAAoB,CAAC;AACnC,cAAc,qBAAqB,CAAC;AACpC,cAAc,6BAA6B,CAAC"}

package/dest/interfaces/server.js

@@ -0,0 +1,19 @@
+export * from './archiver.js';
+export * from './block-builder.js';
+export * from './configs.js';
+export * from './epoch-prover.js';
+export * from './processed-tx-handler.js';
+export * from './prover-agent.js';
+export * from './prover-client.js';
+export * from './prover-coordination.js';
+export * from './prover-node.js';
+export * from './proving-job-source.js';
+export * from './proving-job.js';
+export * from './server_circuit_prover.js';
+export * from './service.js';
+export * from './world_state.js';
+export * from './prover-broker.js';
+export * from './p2p.js';
+export * from './p2p-bootstrap.js';
+export * from './l2_logs_source.js';
+export * from './merkle_tree_operations.js';

package/dest/interfaces/server_circuit_prover.d.ts

@@ -0,0 +1,86 @@
+import type { AVM_PROOF_LENGTH_IN_FIELDS, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH, TUBE_PROOF_LENGTH } from '@aztec/constants';
+import type { AvmCircuitInputs } from '../avm/avm.js';
+import type { BaseParityInputs } from '../parity/base_parity_inputs.js';
+import type { ParityPublicInputs } from '../parity/parity_public_inputs.js';
+import type { RootParityInputs } from '../parity/root_parity_inputs.js';
+import type { BaseOrMergeRollupPublicInputs } from '../rollup/base_or_merge_rollup_public_inputs.js';
+import type { BlockMergeRollupInputs } from '../rollup/block_merge_rollup.js';
+import type { BlockRootOrBlockMergePublicInputs } from '../rollup/block_root_or_block_merge_public_inputs.js';
+import type { BlockRootRollupInputs, SingleTxBlockRootRollupInputs } from '../rollup/block_root_rollup.js';
+import type { EmptyBlockRootRollupInputs } from '../rollup/empty_block_root_rollup_inputs.js';
+import type { MergeRollupInputs } from '../rollup/merge_rollup.js';
+import type { PrivateBaseRollupInputs } from '../rollup/private_base_rollup_inputs.js';
+import type { PublicBaseRollupInputs } from '../rollup/public_base_rollup_inputs.js';
+import type { RootRollupInputs, RootRollupPublicInputs } from '../rollup/root_rollup.js';
+import type { TubeInputs } from '../rollup/tube_inputs.js';
+import type { Tx } from '../tx/tx.js';
+import type { ProofAndVerificationKey, PublicInputsAndRecursiveProof } from './proving-job.js';
+/**
+ * Generates proofs for parity and rollup circuits.
+ */
+export interface ServerCircuitProver {
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getBaseParityProof(inputs: BaseParityInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<ParityPublicInputs, typeof RECURSIVE_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getRootParityProof(inputs: RootParityInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<ParityPublicInputs, typeof NESTED_RECURSIVE_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getPrivateBaseRollupProof(baseRollupInput: PrivateBaseRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getPublicBaseRollupProof(inputs: PublicBaseRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Get a recursively verified client IVC proof (making it a compatible honk proof for the rest of the rollup).
+     * @param input - Input to the circuit.
+     */
+    getTubeProof(tubeInput: TubeInputs, signal?: AbortSignal, epochNumber?: number): Promise<ProofAndVerificationKey<typeof TUBE_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getMergeRollupProof(input: MergeRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getBlockRootRollupProof(input: BlockRootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getSingleTxBlockRootRollupProof(input: SingleTxBlockRootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getEmptyBlockRootRollupProof(input: EmptyBlockRootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getBlockMergeRollupProof(input: BlockMergeRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getRootRollupProof(input: RootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<RootRollupPublicInputs, typeof NESTED_RECURSIVE_PROOF_LENGTH>>;
+    /**
+     * Create a proof for the AVM circuit.
+     * @param inputs - Inputs to the AVM circuit.
+     */
+    getAvmProof(inputs: AvmCircuitInputs, signal?: AbortSignal, epochNumber?: number): Promise<ProofAndVerificationKey<typeof AVM_PROOF_LENGTH_IN_FIELDS>>;
+}
+/**
+ * A verifier used by nodes to check tx proofs are valid.
+ */
+export interface ClientProtocolCircuitVerifier {
+    /**
+     * Verifies the private protocol circuit's proof.
+     * @param tx - The tx to verify the proof of
+     * @returns True if the proof is valid, false otherwise
+     */
+    verifyProof(tx: Tx): Promise<boolean>;
+}
+//# sourceMappingURL=server_circuit_prover.d.ts.map

package/dest/interfaces/server_circuit_prover.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server_circuit_prover.d.ts","sourceRoot":"","sources":["../../src/interfaces/server_circuit_prover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,0BAA0B,EAC1B,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACtB,iBAAiB,EAClB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,iDAAiD,CAAC;AACrG,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,KAAK,EAAE,iCAAiC,EAAE,MAAM,sDAAsD,CAAC;AAC9G,OAAO,KAAK,EAAE,qBAAqB,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AAC3G,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AAC9F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AACrF,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACzF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,uBAAuB,EAAE,6BAA6B,EAAE,MAAM,kBAAkB,CAAC;AAE/F;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;OAGG;IACH,kBAAkB,CAChB,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,sBAAsB,CAAC,CAAC,CAAC;IAE7F;;;OAGG;IACH,kBAAkB,CAChB,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,6BAA6B,CAAC,CAAC,CAAC;IAEpG;;;OAGG;IACH,yBAAyB,CACvB,eAAe,EAAE,uBAAuB,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G,CAAC;IAEF,wBAAwB,CACtB,MAAM,EAAE,sBAAsB,EAC9B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G,CAAC;IAEF;;;OAGG;IACH,YAAY,CACV,SAAS,EAAE,UAAU,EACrB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC;IAE9D;;;OAGG;IACH,mBAAmB,CACjB,KAAK,EAAE,iBAAiB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G,CAAC;IAEF;;;OAGG;IACH,uBAAuB,CACrB,KAAK,EAAE,qBAAqB,EAC5B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF,+BAA+B,CAC7B,KAAK,EAAE,6BAA6B,EACpC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF;;;OAGG;IACH,4BAA4B,CAC1B,KAAK,EAAE,0BAA0B,EACjC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF;;;OAGG;IACH,wBAAwB,CACtB,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF;;;OAGG;IACH,kBAAkB,CAChB,KAAK,EAAE,gBAAgB,EACvB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,sBAAsB,EAAE,OAAO,6BAA6B,CAAC,CAAC,CAAC;IAExG;;;OAGG;IACH,WAAW,CACT,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,OAAO,0BAA0B,CAAC,CAAC,CAAC;CACxE;AAED;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C;;;;OAIG;IACH,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CACvC"}

package/dest/interfaces/server_circuit_prover.js

@@ -0,0 +1,3 @@
+/**
+ * A verifier used by nodes to check tx proofs are valid.
+ */ export { };

package/dest/interfaces/service.d.ts

@@ -0,0 +1,15 @@
+import type { Logger } from '@aztec/foundation/log';
+import type { Maybe } from '@aztec/foundation/types';
+/** Represents a local service that can be started and stopped. */
+export interface Service {
+    /**
+     * Starts the service.
+     * @param waitUntilSynced - Whether to wait until the service is fully synched before returning.
+     */
+    start(waitUntilSynced?: boolean): Promise<void>;
+    /** Stops the service. */
+    stop(): Promise<void>;
+}
+/** Tries to call stop on a given object and awaits it. Logs any errors and does not rethrow. */
+export declare function tryStop(service: Maybe<Service>, logger?: Logger): Promise<void>;
+//# sourceMappingURL=service.d.ts.map

package/dest/interfaces/service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"service.d.ts","sourceRoot":"","sources":["../../src/interfaces/service.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAErD,kEAAkE;AAClE,MAAM,WAAW,OAAO;IACtB;;;OAGG;IACH,KAAK,CAAC,eAAe,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEhD,yBAAyB;IACzB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACvB;AAED,gGAAgG;AAChG,wBAAsB,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAQrF"}

package/dest/interfaces/service.js

@@ -0,0 +1,7 @@
+/** Tries to call stop on a given object and awaits it. Logs any errors and does not rethrow. */ export async function tryStop(service, logger) {
+    try {
+        return typeof service === 'object' && service && 'stop' in service && typeof service.stop === 'function' ? await service.stop() : Promise.resolve();
+    } catch (err) {
+        logger?.error(`Error stopping service ${service.constructor?.name}: ${err}`);
+    }
+}

package/dest/interfaces/world_state.d.ts

@@ -0,0 +1,85 @@
+import { z } from 'zod';
+import type { MerkleTreeReadOperations, MerkleTreeWriteOperations } from './merkle_tree_operations.js';
+/**
+ * Defines the possible states of the world state synchronizer.
+ */
+export declare enum WorldStateRunningState {
+    IDLE = 0,
+    SYNCHING = 1,
+    RUNNING = 2,
+    STOPPED = 3
+}
+export interface WorldStateSyncStatus {
+    latestBlockNumber: number;
+    latestBlockHash: string;
+    finalisedBlockNumber: number;
+    oldestHistoricBlockNumber: number;
+    treesAreSynched: boolean;
+}
+/**
+ * Defines the status of the world state synchronizer.
+ */
+export interface WorldStateSynchronizerStatus {
+    /**
+     * The current state of the world state synchronizer.
+     */
+    state: WorldStateRunningState;
+    /**
+     * The block numbers that the world state synchronizer is synced to.
+     */
+    syncSummary: WorldStateSyncStatus;
+}
+/** Provides writeable forks of the world state at a given block number. */
+export interface ForkMerkleTreeOperations {
+    /** Forks the world state at the given block number, defaulting to the latest one. */
+    fork(block?: number): Promise<MerkleTreeWriteOperations>;
+    /** Gets a handle that allows reading the state as it was at the given block number. */
+    getSnapshot(blockNumber: number): MerkleTreeReadOperations;
+}
+/** Defines the interface for a world state synchronizer. */
+export interface WorldStateSynchronizer extends ForkMerkleTreeOperations {
+    /**
+     * Starts the synchronizer.
+     * @returns A promise that resolves once the initial sync is completed.
+     */
+    start(): void;
+    /**
+     * Returns the current status of the synchronizer.
+     * @returns The current status of the synchronizer.
+     */
+    status(): Promise<WorldStateSynchronizerStatus>;
+    /**
+     * Stops the synchronizer.
+     */
+    stop(): Promise<void>;
+    /**
+     * Forces an immediate sync to an optionally provided minimum block number
+     * @param minBlockNumber - The minimum block number that we must sync to
+     * @returns A promise that resolves with the block number the world state was synced to
+     */
+    syncImmediate(minBlockNumber?: number): Promise<number>;
+    /**
+     * Returns an instance of MerkleTreeAdminOperations that will not include uncommitted data.
+     */
+    getCommitted(): MerkleTreeReadOperations;
+}
+export declare const WorldStateSyncStatusSchema: z.ZodObject<{
+    finalisedBlockNumber: z.ZodNumber;
+    latestBlockNumber: z.ZodNumber;
+    latestBlockHash: z.ZodString;
+    oldestHistoricBlockNumber: z.ZodNumber;
+    treesAreSynched: z.ZodBoolean;
+}, "strip", z.ZodTypeAny, {
+    finalisedBlockNumber: number;
+    latestBlockNumber: number;
+    latestBlockHash: string;
+    oldestHistoricBlockNumber: number;
+    treesAreSynched: boolean;
+}, {
+    finalisedBlockNumber: number;
+    latestBlockNumber: number;
+    latestBlockHash: string;
+    oldestHistoricBlockNumber: number;
+    treesAreSynched: boolean;
+}>;
+//# sourceMappingURL=world_state.d.ts.map

package/dest/interfaces/world_state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"world_state.d.ts","sourceRoot":"","sources":["../../src/interfaces/world_state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAEvG;;GAEG;AACH,oBAAY,sBAAsB;IAChC,IAAI,IAAA;IACJ,QAAQ,IAAA;IACR,OAAO,IAAA;IACP,OAAO,IAAA;CACR;AAED,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,eAAe,EAAE,MAAM,CAAC;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,yBAAyB,EAAE,MAAM,CAAC;IAClC,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,4BAA4B;IAC3C;;OAEG;IACH,KAAK,EAAE,sBAAsB,CAAC;IAC9B;;OAEG;IACH,WAAW,EAAE,oBAAoB,CAAC;CACnC;AAED,2EAA2E;AAC3E,MAAM,WAAW,wBAAwB;IACvC,qFAAqF;IACrF,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;IAEzD,uFAAuF;IACvF,WAAW,CAAC,WAAW,EAAE,MAAM,GAAG,wBAAwB,CAAC;CAC5D;AAED,4DAA4D;AAC5D,MAAM,WAAW,sBAAuB,SAAQ,wBAAwB;IACtE;;;OAGG;IACH,KAAK,IAAI,IAAI,CAAC;IAEd;;;OAGG;IACH,MAAM,IAAI,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAEhD;;OAEG;IACH,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtB;;;;OAIG;IACH,aAAa,CAAC,cAAc,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAExD;;OAEG;IACH,YAAY,IAAI,wBAAwB,CAAC;CAC1C;AAED,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;EAMK,CAAC"}

package/dest/interfaces/world_state.js

@@ -0,0 +1,17 @@
+import { z } from 'zod';
+/**
+ * Defines the possible states of the world state synchronizer.
+ */ export var WorldStateRunningState = /*#__PURE__*/ function(WorldStateRunningState) {
+    WorldStateRunningState[WorldStateRunningState["IDLE"] = 0] = "IDLE";
+    WorldStateRunningState[WorldStateRunningState["SYNCHING"] = 1] = "SYNCHING";
+    WorldStateRunningState[WorldStateRunningState["RUNNING"] = 2] = "RUNNING";
+    WorldStateRunningState[WorldStateRunningState["STOPPED"] = 3] = "STOPPED";
+    return WorldStateRunningState;
+}({});
+export const WorldStateSyncStatusSchema = z.object({
+    finalisedBlockNumber: z.number().int().nonnegative(),
+    latestBlockNumber: z.number().int().nonnegative(),
+    latestBlockHash: z.string(),
+    oldestHistoricBlockNumber: z.number().int().nonnegative(),
+    treesAreSynched: z.boolean()
+});

package/dest/kernel/combined_constant_data.d.ts

@@ -0,0 +1,73 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { Fr } from '@aztec/foundation/fields';
+import { type ZodFor } from '@aztec/foundation/schemas';
+import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { BlockHeader } from '../tx/block_header.js';
+import { GlobalVariables } from '../tx/global_variables.js';
+import type { TxConstantData } from '../tx/tx_constant_data.js';
+import { TxContext } from '../tx/tx_context.js';
+/**
+ * Data that is constant/not modified by neither of the kernels.
+ */
+export declare class CombinedConstantData {
+    /** Header of a block whose state is used during execution (not the block the transaction is included in). */
+    historicalHeader: BlockHeader;
+    /**
+     * Context of the transaction.
+     *
+     * Note: `chainId` and `version` in 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;
+    /**
+     * Root of the vk tree for the protocol circuits.
+     */
+    vkTreeRoot: Fr;
+    /**
+     * Root of the tree for the protocol contracts.
+     */
+    protocolContractTreeRoot: Fr;
+    /** Present when output by a public kernel, empty otherwise. */
+    globalVariables: GlobalVariables;
+    constructor(
+    /** Header of a block whose state is used during execution (not the block the transaction is included in). */
+    historicalHeader: BlockHeader, 
+    /**
+     * Context of the transaction.
+     *
+     * Note: `chainId` and `version` in 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, 
+    /**
+     * Root of the vk tree for the protocol circuits.
+     */
+    vkTreeRoot: Fr, 
+    /**
+     * Root of the tree for the protocol contracts.
+     */
+    protocolContractTreeRoot: Fr, 
+    /** Present when output by a public kernel, empty otherwise. */
+    globalVariables: GlobalVariables);
+    static combine(TxConstantData: TxConstantData, globalVariables: GlobalVariables): CombinedConstantData;
+    static get schema(): ZodFor<CombinedConstantData>;
+    toBuffer(): Buffer;
+    clone(): CombinedConstantData;
+    getSize(): number;
+    static from({ historicalHeader, txContext, vkTreeRoot, protocolContractTreeRoot, globalVariables, }: FieldsOf<CombinedConstantData>): CombinedConstantData;
+    /**
+     * Deserializes from a buffer or reader, corresponding to a write in cpp.
+     * @param buffer - Buffer or buffer reader to read from.
+     * @returns A new instance of CombinedConstantData.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): CombinedConstantData;
+    static fromFields(fields: Fr[] | FieldReader): CombinedConstantData;
+    static empty(): CombinedConstantData;
+}
+//# sourceMappingURL=combined_constant_data.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"combined_constant_data.d.ts","sourceRoot":"","sources":["../../src/kernel/combined_constant_data.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAyB,MAAM,2BAA2B,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAC3F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAIxD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAEhD;;GAEG;AACH,qBAAa,oBAAoB;IAE7B,6GAA6G;IACtG,gBAAgB,EAAE,WAAW;IACpC;;;;;;;OAOG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC,+DAA+D;IACxD,eAAe,EAAE,eAAe;;IApBvC,6GAA6G;IACtG,gBAAgB,EAAE,WAAW;IACpC;;;;;;;OAOG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC,+DAA+D;IACxD,eAAe,EAAE,eAAe;IAGzC,MAAM,CAAC,OAAO,CAAC,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,eAAe;IAU/E,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,oBAAoB,CAAC,CAWhD;IAED,QAAQ;IAUR,KAAK,IAAI,oBAAoB;IAI7B,OAAO;IAUP,MAAM,CAAC,IAAI,CAAC,EACV,gBAAgB,EAChB,SAAS,EACT,UAAU,EACV,wBAAwB,EACxB,eAAe,GAChB,EAAE,QAAQ,CAAC,oBAAoB,CAAC,GAAG,oBAAoB;IAIxD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oBAAoB;IAWtE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,oBAAoB;IAWnE,MAAM,CAAC,KAAK;CAGb"}

package/dest/kernel/combined_constant_data.js

@@ -0,0 +1,73 @@
+import { Fr } from '@aztec/foundation/fields';
+import { hexSchemaFor, schemas } from '@aztec/foundation/schemas';
+import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { z } from 'zod';
+import { BlockHeader } from '../tx/block_header.js';
+import { GlobalVariables } from '../tx/global_variables.js';
+import { TxContext } from '../tx/tx_context.js';
+/**
+ * Data that is constant/not modified by neither of the kernels.
+ */ export class CombinedConstantData {
+    historicalHeader;
+    txContext;
+    vkTreeRoot;
+    protocolContractTreeRoot;
+    globalVariables;
+    constructor(/** Header of a block whose state is used during execution (not the block the transaction is included in). */ historicalHeader, /**
+     * Context of the transaction.
+     *
+     * Note: `chainId` and `version` in 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, /**
+     * Root of the vk tree for the protocol circuits.
+     */ vkTreeRoot, /**
+     * Root of the tree for the protocol contracts.
+     */ protocolContractTreeRoot, /** Present when output by a public kernel, empty otherwise. */ globalVariables){
+        this.historicalHeader = historicalHeader;
+        this.txContext = txContext;
+        this.vkTreeRoot = vkTreeRoot;
+        this.protocolContractTreeRoot = protocolContractTreeRoot;
+        this.globalVariables = globalVariables;
+    }
+    static combine(TxConstantData, globalVariables) {
+        return new CombinedConstantData(TxConstantData.historicalHeader, TxConstantData.txContext, TxConstantData.vkTreeRoot, TxConstantData.protocolContractTreeRoot, globalVariables);
+    }
+    static get schema() {
+        return z.object({
+            historicalHeader: BlockHeader.schema,
+            txContext: TxContext.schema,
+            vkTreeRoot: schemas.Fr,
+            protocolContractTreeRoot: schemas.Fr,
+            globalVariables: GlobalVariables.schema
+        }).transform(CombinedConstantData.from).or(hexSchemaFor(CombinedConstantData));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.historicalHeader, this.txContext, this.vkTreeRoot, this.protocolContractTreeRoot, this.globalVariables);
+    }
+    clone() {
+        return CombinedConstantData.fromBuffer(this.toBuffer());
+    }
+    getSize() {
+        return this.historicalHeader.getSize() + this.txContext.getSize() + this.vkTreeRoot.size + this.protocolContractTreeRoot.size + this.globalVariables.getSize();
+    }
+    static from({ historicalHeader, txContext, vkTreeRoot, protocolContractTreeRoot, globalVariables }) {
+        return new CombinedConstantData(historicalHeader, txContext, vkTreeRoot, protocolContractTreeRoot, globalVariables);
+    }
+    /**
+   * Deserializes from a buffer or reader, corresponding to a write in cpp.
+   * @param buffer - Buffer or buffer reader to read from.
+   * @returns A new instance of CombinedConstantData.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CombinedConstantData(reader.readObject(BlockHeader), reader.readObject(TxContext), Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readObject(GlobalVariables));
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new CombinedConstantData(reader.readObject(BlockHeader), reader.readObject(TxContext), reader.readField(), reader.readField(), reader.readObject(GlobalVariables));
+    }
+    static empty() {
+        return new CombinedConstantData(BlockHeader.empty(), TxContext.empty(), Fr.ZERO, Fr.ZERO, GlobalVariables.empty());
+    }
+}

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

@@ -0,0 +1,15 @@
+import { type MAX_NOTE_HASHES_PER_TX, MAX_NOTE_HASH_READ_REQUESTS_PER_TX, type NOTE_HASH_TREE_HEIGHT } from '@aztec/constants';
+import type { Tuple } from '@aztec/foundation/serialize';
+import type { MembershipWitness } from '@aztec/foundation/trees';
+import type { ScopedNoteHash } from '../note_hash.js';
+import type { ScopedReadRequest } from './read_request.js';
+import { ReadRequestResetStates } from './read_request_hints.js';
+export declare function isValidNoteHashReadRequest(readRequest: ScopedReadRequest, noteHash: ScopedNoteHash): boolean;
+export declare function getNoteHashReadRequestResetStates(noteHashReadRequests: Tuple<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, noteHashes: Tuple<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>, futureNoteHashes: ScopedNoteHash[]): ReadRequestResetStates<typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>;
+export declare function buildNoteHashReadRequestHintsFromResetStates<PENDING extends number, SETTLED extends number>(oracle: {
+    getNoteHashMembershipWitness(leafIndex: bigint): Promise<MembershipWitness<typeof NOTE_HASH_TREE_HEIGHT>>;
+}, noteHashReadRequests: Tuple<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, noteHashes: Tuple<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>, resetStates: ReadRequestResetStates<typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, noteHashLeafIndexMap: Map<bigint, bigint>, maxPending?: PENDING, maxSettled?: SETTLED): Promise<import("./note_hash_read_request_hints.js").NoteHashReadRequestHints<PENDING, SETTLED>>;
+export declare function buildNoteHashReadRequestHints<PENDING extends number, SETTLED extends number>(oracle: {
+    getNoteHashMembershipWitness(leafIndex: bigint): Promise<MembershipWitness<typeof NOTE_HASH_TREE_HEIGHT>>;
+}, noteHashReadRequests: Tuple<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, noteHashes: Tuple<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>, noteHashLeafIndexMap: Map<bigint, bigint>, futureNoteHashes: ScopedNoteHash[], maxPending?: PENDING, maxSettled?: SETTLED): Promise<import("./note_hash_read_request_hints.js").NoteHashReadRequestHints<PENDING, SETTLED>>;
+//# sourceMappingURL=build_note_hash_read_request_hints.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"build_note_hash_read_request_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/build_note_hash_read_request_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,sBAAsB,EAC3B,kCAAkC,EAClC,KAAK,qBAAqB,EAC3B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAEjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAGtD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAmB,sBAAsB,EAAoB,MAAM,yBAAyB,CAAC;AAGpG,wBAAgB,0BAA0B,CAAC,WAAW,EAAE,iBAAiB,EAAE,QAAQ,EAAE,cAAc,WAMlG;AAED,wBAAgB,iCAAiC,CAC/C,oBAAoB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC,EACzF,UAAU,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC,EAChE,gBAAgB,EAAE,cAAc,EAAE,GACjC,sBAAsB,CAAC,OAAO,kCAAkC,CAAC,CAkCnE;AAED,wBAAsB,4CAA4C,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EAC/G,MAAM,EAAE;IACN,4BAA4B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC;CAC3G,EACD,oBAAoB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC,EACzF,UAAU,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC,EAChE,WAAW,EAAE,sBAAsB,CAAC,OAAO,kCAAkC,CAAC,EAC9E,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACzC,UAAU,GAAE,OAAuD,EACnE,UAAU,GAAE,OAAuD,mGA6BpE;AAED,wBAAsB,6BAA6B,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EAChG,MAAM,EAAE;IACN,4BAA4B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC;CAC3G,EACD,oBAAoB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC,EACzF,UAAU,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC,EAChE,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACzC,gBAAgB,EAAE,cAAc,EAAE,EAClC,UAAU,GAAE,OAAuD,EACnE,UAAU,GAAE,OAAuD,mGAYpE"}

package/dest/kernel/hints/build_note_hash_read_request_hints.js

@@ -0,0 +1,66 @@
+import { MAX_NOTE_HASH_READ_REQUESTS_PER_TX } from '@aztec/constants';
+import { countAccumulatedItems, getNonEmptyItems } from '../utils/order_and_comparison.js';
+import { NoteHashReadRequestHintsBuilder } from './note_hash_read_request_hints.js';
+import { PendingReadHint, ReadRequestResetStates, ReadRequestState } from './read_request_hints.js';
+import { ScopedValueCache } from './scoped_value_cache.js';
+export function isValidNoteHashReadRequest(readRequest, noteHash) {
+    return noteHash.value.equals(readRequest.value) && noteHash.contractAddress.equals(readRequest.contractAddress) && readRequest.counter > noteHash.counter;
+}
+export function getNoteHashReadRequestResetStates(noteHashReadRequests, noteHashes, futureNoteHashes) {
+    const resetStates = ReadRequestResetStates.empty(MAX_NOTE_HASH_READ_REQUESTS_PER_TX);
+    const noteHashMap = new Map();
+    getNonEmptyItems(noteHashes).forEach((noteHash, index)=>{
+        const value = noteHash.value.toBigInt();
+        const arr = noteHashMap.get(value) ?? [];
+        arr.push({
+            noteHash,
+            index
+        });
+        noteHashMap.set(value, arr);
+    });
+    const futureNoteHashMap = new ScopedValueCache(futureNoteHashes);
+    const numReadRequests = countAccumulatedItems(noteHashReadRequests);
+    for(let i = 0; i < numReadRequests; ++i){
+        const readRequest = noteHashReadRequests[i];
+        const pendingNoteHash = noteHashMap.get(readRequest.value.toBigInt())?.find((n)=>isValidNoteHashReadRequest(readRequest, n.noteHash));
+        if (pendingNoteHash !== undefined) {
+            resetStates.states[i] = ReadRequestState.PENDING;
+            resetStates.pendingReadHints.push(new PendingReadHint(i, pendingNoteHash.index));
+        } else if (!futureNoteHashMap.get(readRequest).find((futureNoteHash)=>isValidNoteHashReadRequest(readRequest, futureNoteHash))) {
+            resetStates.states[i] = ReadRequestState.SETTLED;
+        }
+    }
+    return resetStates;
+}
+export async function buildNoteHashReadRequestHintsFromResetStates(oracle, noteHashReadRequests, noteHashes, resetStates, noteHashLeafIndexMap, maxPending = MAX_NOTE_HASH_READ_REQUESTS_PER_TX, maxSettled = MAX_NOTE_HASH_READ_REQUESTS_PER_TX) {
+    const builder = new NoteHashReadRequestHintsBuilder(maxPending, maxSettled);
+    resetStates.pendingReadHints.forEach((hint)=>{
+        builder.addPendingReadRequest(hint.readRequestIndex, hint.pendingValueIndex);
+    });
+    for(let i = 0; i < resetStates.states.length; i++){
+        if (resetStates.states[i] === ReadRequestState.SETTLED) {
+            const readRequest = noteHashReadRequests[i];
+            const leafIndex = noteHashLeafIndexMap.get(readRequest.value.toBigInt());
+            if (leafIndex === undefined) {
+                throw new Error('Read request is reading an unknown note hash.');
+            }
+            const membershipWitness = await oracle.getNoteHashMembershipWitness(leafIndex);
+            builder.addSettledReadRequest(i, membershipWitness, readRequest.value);
+        }
+    }
+    const noteHashMap = new Map();
+    getNonEmptyItems(noteHashes).forEach((noteHash, index)=>{
+        const value = noteHash.value.toBigInt();
+        const arr = noteHashMap.get(value) ?? [];
+        arr.push({
+            noteHash,
+            index
+        });
+        noteHashMap.set(value, arr);
+    });
+    return builder.toHints();
+}
+export async function buildNoteHashReadRequestHints(oracle, noteHashReadRequests, noteHashes, noteHashLeafIndexMap, futureNoteHashes, maxPending = MAX_NOTE_HASH_READ_REQUESTS_PER_TX, maxSettled = MAX_NOTE_HASH_READ_REQUESTS_PER_TX) {
+    const resetStates = getNoteHashReadRequestResetStates(noteHashReadRequests, noteHashes, futureNoteHashes);
+    return await buildNoteHashReadRequestHintsFromResetStates(oracle, noteHashReadRequests, noteHashes, resetStates, noteHashLeafIndexMap, maxPending, maxSettled);
+}