@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/interfaces/proving-job.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proving-job.d.ts","sourceRoot":"","sources":["../../src/interfaces/proving-job.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,WAAW,EAAqB,MAAM,sCAAsC,CAAC;AACtF,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAC7D,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,6BAA6B,EAAE,MAAM,gDAAgD,CAAC;AAC/F,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EACL,iCAAiC,EACjC,4BAA4B,EAC5B,oCAAoC,EACrC,MAAM,+CAA+C,CAAC;AACvD,OAAO,EAAE,kCAAkC,EAAE,MAAM,qDAAqD,CAAC;AACzG,OAAO,EAAE,4BAA4B,EAAE,MAAM,8CAA8C,CAAC;AAC5F,OAAO,EACL,oCAAoC,EACpC,iCAAiC,EACjC,4CAA4C,EAC7C,MAAM,oDAAoD,CAAC;AAC5D,OAAO,EAAE,gCAAgC,EAAE,MAAM,oDAAoD,CAAC;AACtG,OAAO,EAAE,gCAAgC,EAAE,MAAM,mDAAmD,CAAC;AACrG,OAAO,EAAE,+BAA+B,EAAE,MAAM,kDAAkD,CAAC;AACnG,OAAO,EAAE,+BAA+B,EAAE,MAAM,mDAAmD,CAAC;AACpG,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAEjE,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,MAAM,IAAI;IACtD,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IACzB,eAAe,EAAE,mBAAmB,CAAC;CACtC,CAAC;AAEF,wBAAgB,2BAA2B,CAAC,CAAC,SAAS,MAAM,EAC1D,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EACxB,eAAe,EAAE,mBAAmB,GACnC,uBAAuB,CAAC,CAAC,CAAC,CAE5B;AAED,MAAM,MAAM,6BAA6B,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,OAAO,6BAA6B,IAAI;IACtG,MAAM,EAAE,CAAC,CAAC;IACV,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IACzB,eAAe,EAAE,mBAAmB,CAAC;CACtC,CAAC;AAaF,wBAAgB,iCAAiC,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,OAAO,6BAA6B,EAC1G,MAAM,EAAE,CAAC,EACT,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EACxB,eAAe,EAAE,mBAAmB,GACnC,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,CAErC;AAED,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2BA2C3B,CAAC;AAEH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,kBAAkB,+jBAqClE;AAED,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAEhE,MAAM,MAAM,mBAAmB,GAAG;IAChC,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC;IACjD,CAAC,kBAAkB,CAAC,qBAAqB,CAAC,EAAE,gCAAgC,CAAC;IAC7E,CAAC,kBAAkB,CAAC,sBAAsB,CAAC,EAAE,gCAAgC,CAAC;IAC9E,CAAC,kBAAkB,CAAC,qBAAqB,CAAC,EAAE,+BAA+B,CAAC;IAC5E,CAAC,kBAAkB,CAAC,eAAe,CAAC,EAAE,0BAA0B,CAAC;IACjE,CAAC,kBAAkB,CAAC,iBAAiB,CAAC,EAAE,4BAA4B,CAAC;IACrE,CAAC,kBAAkB,CAAC,2BAA2B,CAAC,EAAE,oCAAoC,CAAC;IACvF,CAAC,kBAAkB,CAAC,wBAAwB,CAAC,EAAE,iCAAiC,CAAC;IACjF,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,6BAA6B,CAAC;IACvE,CAAC,kBAAkB,CAAC,sBAAsB,CAAC,EAAE,iCAAiC,CAAC;IAC/E,CAAC,kBAAkB,CAAC,mCAAmC,CAAC,EAAE,4CAA4C,CAAC;IACvG,CAAC,kBAAkB,CAAC,yBAAyB,CAAC,EAAE,oCAAoC,CAAC;IACrF,CAAC,kBAAkB,CAAC,uBAAuB,CAAC,EAAE,kCAAkC,CAAC;IACjF,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,uBAAuB,CAAC;IAC1D,CAAC,kBAAkB,CAAC,YAAY,CAAC,EAAE,wBAAwB,CAAC;CAC7D,CAAC;AAEF,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2BAiG3B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAChE,MAAM,MAAM,oBAAoB,GAAG;IACjC,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC,OAAO,6BAA6B,CAAC,CAAC;IACrF,CAAC,kBAAkB,CAAC,qBAAqB,CAAC,EAAE,6BAA6B,CACvE,+BAA+B,EAC/B,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,sBAAsB,CAAC,EAAE,6BAA6B,CACxE,oBAAoB,EACpB,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,qBAAqB,CAAC,EAAE,6BAA6B,CACvE,oBAAoB,EACpB,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,eAAe,CAAC,EAAE,6BAA6B,CACjE,oBAAoB,EACpB,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,wBAAwB,CAAC,EAAE,6BAA6B,CAC1E,uBAAuB,EACvB,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,iBAAiB,CAAC,EAAE,6BAA6B,CACnE,uBAAuB,EACvB,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,2BAA2B,CAAC,EAAE,6BAA6B,CAC7E,uBAAuB,EACvB,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,6BAA6B,CACpE,uBAAuB,EACvB,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,sBAAsB,CAAC,EAAE,6BAA6B,CACxE,4BAA4B,EAC5B,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,mCAAmC,CAAC,EAAE,6BAA6B,CACrF,4BAA4B,EAC5B,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,yBAAyB,CAAC,EAAE,6BAA6B,CAC3E,4BAA4B,EAC5B,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,uBAAuB,CAAC,EAAE,6BAA6B,CACzE,4BAA4B,EAC5B,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,6BAA6B,CAAC,sBAAsB,CAAC,CAAC;IACxF,CAAC,kBAAkB,CAAC,YAAY,CAAC,EAAE,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,sBAAsB,CAAC,CAAC;CACrH,CAAC;AAEF,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,kBAAkB,IAAI;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC;AAEjH,eAAO,MAAM,YAAY,aAAa,CAAC;AAEvC,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;AAC1D,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAoD,CAAC;AAE3F,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD,KAAK,eAAe,GAAG;IACrB,EAAE,EAAE,YAAY,CAAC;IACjB,IAAI,EAAE,kBAAkB,CAAC;IACzB,WAAW,EAAE,WAAW,CAAC;IACzB,SAAS,EAAE,QAAQ,CAAC;CACrB,CAAC;AAEF,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAKrD,CAAC;AAEH,eAAO,MAAM,gBAAgB,oFAE5B,CAAC;AAEF,eAAO,MAAM,wBAAwB,6BAOpC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,gBAAgB,CAAC,QAAQ,CAAC,GACjC,gBAAgB,CAElB;AAED,eAAO,MAAM,yBAAyB;;;iBAGpC,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAElF,eAAO,MAAM,wBAAwB;;;iBAGnC,CAAC;AACH,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAEhF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB;;iBAElC,CAAC;AACH,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAE9E,eAAO,MAAM,uBAAuB;;;;;;;;6BAIlC,CAAC;AACH,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAE9E,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;6BAO3B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC"}

package/dest/interfaces/proving-job.js

@@ -0,0 +1,263 @@
+import { AVM_V2_PROOF_LENGTH_IN_FIELDS, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH } from '@aztec-labs/constants';
+import { EpochNumber, EpochNumberSchema } from '@aztec-labs/foundation/branded-types';
+import { z } from 'zod';
+import { AvmCircuitInputs } from '../avm/avm.js';
+import { AvmProvingRequestSchema } from '../avm/avm_proving_request.js';
+import { InboxParityPrivateInputs } from '../parity/inbox_parity_private_inputs.js';
+import { ParityPublicInputs } from '../parity/parity_public_inputs.js';
+import { ProvingRequestType } from '../proofs/proving_request_type.js';
+import { RecursiveProof } from '../proofs/recursive_proof.js';
+import { BlockMergeRollupPrivateInputs } from '../rollup/block_merge_rollup_private_inputs.js';
+import { BlockRollupPublicInputs } from '../rollup/block_rollup_public_inputs.js';
+import { BlockRootNoTxsRollupPrivateInputs, BlockRootRollupPrivateInputs, BlockRootSingleTxRollupPrivateInputs } from '../rollup/block_root_rollup_private_inputs.js';
+import { CheckpointMergeRollupPrivateInputs } from '../rollup/checkpoint_merge_rollup_private_inputs.js';
+import { CheckpointRollupPublicInputs } from '../rollup/checkpoint_rollup_public_inputs.js';
+import { CheckpointPaddingRollupPrivateInputs, CheckpointRootRollupPrivateInputs, CheckpointRootSingleBlockRollupPrivateInputs } from '../rollup/checkpoint_root_rollup_private_inputs.js';
+import { PrivateTxBaseRollupPrivateInputs } from '../rollup/private_tx_base_rollup_private_inputs.js';
+import { PublicChonkVerifierPrivateInputs } from '../rollup/public_chonk_verifier_private_inputs.js';
+import { PublicChonkVerifierPublicInputs } from '../rollup/public_chonk_verifier_public_inputs.js';
+import { PublicTxBaseRollupPrivateInputs } from '../rollup/public_tx_base_rollup_private_inputs.js';
+import { RootRollupPrivateInputs } from '../rollup/root_rollup_private_inputs.js';
+import { RootRollupPublicInputs } from '../rollup/root_rollup_public_inputs.js';
+import { TxMergeRollupPrivateInputs } from '../rollup/tx_merge_rollup_private_inputs.js';
+import { TxRollupPublicInputs } from '../rollup/tx_rollup_public_inputs.js';
+import { VerificationKeyData } from '../vks/verification_key.js';
+export function makeProofAndVerificationKey(proof, verificationKey) {
+    return {
+        proof,
+        verificationKey
+    };
+}
+function schemaForPublicInputsAndRecursiveProof(inputs, proofSize) {
+    return z.object({
+        inputs,
+        proof: RecursiveProof.schemaFor(proofSize),
+        verificationKey: VerificationKeyData.schema
+    });
+}
+export function makePublicInputsAndRecursiveProof(inputs, proof, verificationKey) {
+    return {
+        inputs,
+        proof,
+        verificationKey
+    };
+}
+export const ProvingJobInputs = z.discriminatedUnion('type', [
+    AvmProvingRequestSchema,
+    z.object({
+        type: z.literal(ProvingRequestType.INBOX_PARITY),
+        inputs: InboxParityPrivateInputs.schema
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.PUBLIC_CHONK_VERIFIER),
+        inputs: PublicChonkVerifierPrivateInputs.schema
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.PRIVATE_TX_BASE_ROLLUP),
+        inputs: PrivateTxBaseRollupPrivateInputs.schema
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.PUBLIC_TX_BASE_ROLLUP),
+        inputs: PublicTxBaseRollupPrivateInputs.schema
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.TX_MERGE_ROLLUP),
+        inputs: TxMergeRollupPrivateInputs.schema
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.BLOCK_ROOT_ROLLUP),
+        inputs: BlockRootRollupPrivateInputs.schema
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP),
+        inputs: BlockRootSingleTxRollupPrivateInputs.schema
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.BLOCK_ROOT_NO_TXS_ROLLUP),
+        inputs: BlockRootNoTxsRollupPrivateInputs.schema
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.BLOCK_MERGE_ROLLUP),
+        inputs: BlockMergeRollupPrivateInputs.schema
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.CHECKPOINT_ROOT_ROLLUP),
+        inputs: CheckpointRootRollupPrivateInputs.schema
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP),
+        inputs: CheckpointRootSingleBlockRollupPrivateInputs.schema
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.CHECKPOINT_PADDING_ROLLUP),
+        inputs: CheckpointPaddingRollupPrivateInputs.schema
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.CHECKPOINT_MERGE_ROLLUP),
+        inputs: CheckpointMergeRollupPrivateInputs.schema
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.ROOT_ROLLUP),
+        inputs: RootRollupPrivateInputs.schema
+    })
+]);
+export function getProvingJobInputClassFor(type) {
+    switch(type){
+        case ProvingRequestType.PUBLIC_VM:
+            return AvmCircuitInputs;
+        case ProvingRequestType.PUBLIC_CHONK_VERIFIER:
+            return PublicChonkVerifierPrivateInputs;
+        case ProvingRequestType.PRIVATE_TX_BASE_ROLLUP:
+            return PrivateTxBaseRollupPrivateInputs;
+        case ProvingRequestType.PUBLIC_TX_BASE_ROLLUP:
+            return PublicTxBaseRollupPrivateInputs;
+        case ProvingRequestType.TX_MERGE_ROLLUP:
+            return TxMergeRollupPrivateInputs;
+        case ProvingRequestType.BLOCK_ROOT_ROLLUP:
+            return BlockRootRollupPrivateInputs;
+        case ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP:
+            return BlockRootSingleTxRollupPrivateInputs;
+        case ProvingRequestType.BLOCK_ROOT_NO_TXS_ROLLUP:
+            return BlockRootNoTxsRollupPrivateInputs;
+        case ProvingRequestType.BLOCK_MERGE_ROLLUP:
+            return BlockMergeRollupPrivateInputs;
+        case ProvingRequestType.CHECKPOINT_ROOT_ROLLUP:
+            return CheckpointRootRollupPrivateInputs;
+        case ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP:
+            return CheckpointRootSingleBlockRollupPrivateInputs;
+        case ProvingRequestType.CHECKPOINT_PADDING_ROLLUP:
+            return CheckpointPaddingRollupPrivateInputs;
+        case ProvingRequestType.CHECKPOINT_MERGE_ROLLUP:
+            return CheckpointMergeRollupPrivateInputs;
+        case ProvingRequestType.ROOT_ROLLUP:
+            return RootRollupPrivateInputs;
+        case ProvingRequestType.INBOX_PARITY:
+            return InboxParityPrivateInputs;
+        default:
+            {
+                const _exhaustive = type;
+                throw new Error(`Cannot find circuit inputs class for proving type ${type}`);
+            }
+    }
+}
+export const ProvingJobResult = z.discriminatedUnion('type', [
+    z.object({
+        type: z.literal(ProvingRequestType.PUBLIC_VM),
+        result: RecursiveProof.schemaFor(AVM_V2_PROOF_LENGTH_IN_FIELDS)
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.PUBLIC_CHONK_VERIFIER),
+        result: schemaForPublicInputsAndRecursiveProof(PublicChonkVerifierPublicInputs.schema, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH)
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.PRIVATE_TX_BASE_ROLLUP),
+        result: schemaForPublicInputsAndRecursiveProof(TxRollupPublicInputs.schema, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH)
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.PUBLIC_TX_BASE_ROLLUP),
+        result: schemaForPublicInputsAndRecursiveProof(TxRollupPublicInputs.schema, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH)
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.TX_MERGE_ROLLUP),
+        result: schemaForPublicInputsAndRecursiveProof(TxRollupPublicInputs.schema, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH)
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.BLOCK_ROOT_ROLLUP),
+        result: schemaForPublicInputsAndRecursiveProof(BlockRollupPublicInputs.schema, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH)
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP),
+        result: schemaForPublicInputsAndRecursiveProof(BlockRollupPublicInputs.schema, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH)
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.BLOCK_ROOT_NO_TXS_ROLLUP),
+        result: schemaForPublicInputsAndRecursiveProof(BlockRollupPublicInputs.schema, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH)
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.BLOCK_MERGE_ROLLUP),
+        result: schemaForPublicInputsAndRecursiveProof(BlockRollupPublicInputs.schema, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH)
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.CHECKPOINT_ROOT_ROLLUP),
+        result: schemaForPublicInputsAndRecursiveProof(CheckpointRollupPublicInputs.schema, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH)
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP),
+        result: schemaForPublicInputsAndRecursiveProof(CheckpointRollupPublicInputs.schema, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH)
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.CHECKPOINT_PADDING_ROLLUP),
+        result: schemaForPublicInputsAndRecursiveProof(CheckpointRollupPublicInputs.schema, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH)
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.CHECKPOINT_MERGE_ROLLUP),
+        result: schemaForPublicInputsAndRecursiveProof(CheckpointRollupPublicInputs.schema, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH)
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.ROOT_ROLLUP),
+        result: schemaForPublicInputsAndRecursiveProof(RootRollupPublicInputs.schema, NESTED_RECURSIVE_PROOF_LENGTH)
+    }),
+    z.object({
+        type: z.literal(ProvingRequestType.INBOX_PARITY),
+        result: schemaForPublicInputsAndRecursiveProof(ParityPublicInputs.schema, RECURSIVE_PROOF_LENGTH)
+    })
+]);
+export const ProvingJobId = z.string();
+export const ProofUri = z.string().transform((value)=>value);
+export const ProvingJob = z.object({
+    id: ProvingJobId,
+    type: z.nativeEnum(ProvingRequestType),
+    epochNumber: EpochNumberSchema,
+    inputsUri: ProofUri
+});
+export const makeProvingJobId = (epochNumber, type, inputsHash)=>{
+    return `${epochNumber}:${ProvingRequestType[type]}:${inputsHash}`;
+};
+export const getEpochFromProvingJobId = (id)=>{
+    const components = id.split(':');
+    const epochNumber = components.length < 1 ? Number.NaN : parseInt(components[0], 10);
+    if (!Number.isSafeInteger(epochNumber) || epochNumber < 0) {
+        throw new Error(`Proving Job ID ${id} does not contain valid epoch`);
+    }
+    return EpochNumber(epochNumber);
+};
+export function makeProvingRequestResult(type, result) {
+    return {
+        type,
+        result
+    };
+}
+export const ProvingJobFulfilledResult = z.object({
+    status: z.literal('fulfilled'),
+    value: ProofUri
+});
+export const ProvingJobRejectedResult = z.object({
+    status: z.literal('rejected'),
+    reason: z.string()
+});
+/**
+ * The result of a job that was cancelled by its producer. Unlike a fulfilled or rejected result it
+ * is not truly terminal: re-enqueuing the same job id revives it, so an abort never permanently
+ * blocks a proof from being produced.
+ */ export const ProvingJobAbortedResult = z.object({
+    status: z.literal('aborted')
+});
+export const ProvingJobSettledResult = z.discriminatedUnion('status', [
+    ProvingJobFulfilledResult,
+    ProvingJobRejectedResult,
+    ProvingJobAbortedResult
+]);
+export const ProvingJobStatus = z.discriminatedUnion('status', [
+    z.object({
+        status: z.literal('in-queue')
+    }),
+    z.object({
+        status: z.literal('in-progress')
+    }),
+    z.object({
+        status: z.literal('not-found')
+    }),
+    ProvingJobFulfilledResult,
+    ProvingJobRejectedResult,
+    ProvingJobAbortedResult
+]);

package/dest/interfaces/public_state_source.d.ts

@@ -0,0 +1,8 @@
+import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+import type { AztecAddress } from '../aztec-address/index.js';
+/** Provides a view into public contract state */
+export interface PublicStateSource {
+    /** Returns the value for a given slot at a given contract. */
+    storageRead: (contractAddress: AztecAddress, slot: Fr) => Promise<Fr>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX3N0YXRlX3NvdXJjZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2ludGVyZmFjZXMvcHVibGljX3N0YXRlX3NvdXJjZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUU5RCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUU5RCxpREFBaUQ7QUFDakQsTUFBTSxXQUFXLGlCQUFpQjtJQUNoQyw4REFBOEQ7SUFDOUQsV0FBVyxFQUFFLENBQUMsZUFBZSxFQUFFLFlBQVksRUFBRSxJQUFJLEVBQUUsRUFBRSxLQUFLLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FBQztDQUN2RSJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"public_state_source.d.ts","sourceRoot":"","sources":["../../src/interfaces/public_state_source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAE9D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE9D,iDAAiD;AACjD,MAAM,WAAW,iBAAiB;IAChC,8DAA8D;IAC9D,WAAW,EAAE,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,KAAK,OAAO,CAAC,EAAE,CAAC,CAAC;CACvE"}

package/dest/interfaces/public_state_source.js

@@ -0,0 +1 @@
+/** Provides a view into public contract state */ export { };

package/dest/interfaces/public_storage_override.d.ts

@@ -0,0 +1,22 @@
+import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { z } from 'zod';
+import type { AztecAddress } from '../aztec-address/index.js';
+/**
+ * A single public-storage override to inject before simulation. Identifies a slot in
+ * (contract, raw slot) space, not by leafSlot — the simulator computes the leafSlot internally
+ * via `computePublicDataTreeLeafSlot`.
+ */
+export type PublicStorageOverride = {
+    /** Contract that owns the storage slot. */
+    contract: AztecAddress;
+    /** Raw storage slot within the contract (not yet hashed into a tree key). */
+    slot: Fr;
+    /** Value to place at that slot for the duration of the simulation. */
+    value: Fr;
+};
+export declare const PublicStorageOverrideSchema: z.ZodObject<{
+    contract: import("../schemas/schemas.js").ZodFor<AztecAddress>;
+    slot: import("../schemas/schemas.js").ZodFor<Fr>;
+    value: import("../schemas/schemas.js").ZodFor<Fr>;
+}, z.core.$strip>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX3N0b3JhZ2Vfb3ZlcnJpZGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9pbnRlcmZhY2VzL3B1YmxpY19zdG9yYWdlX292ZXJyaWRlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBQzlELE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFHOUQ7Ozs7R0FJRztBQUNILE1BQU0sTUFBTSxxQkFBcUIsR0FBRztJQUNsQywyQ0FBMkM7SUFDM0MsUUFBUSxFQUFFLFlBQVksQ0FBQztJQUN2Qiw2RUFBNkU7SUFDN0UsSUFBSSxFQUFFLEVBQUUsQ0FBQztJQUNULHNFQUFzRTtJQUN0RSxLQUFLLEVBQUUsRUFBRSxDQUFDO0NBQ1gsQ0FBQztBQUVGLGVBQU8sTUFBTSwyQkFBMkI7Ozs7aUJBSXRDLENBQUMifQ==

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

@@ -0,0 +1 @@
+{"version":3,"file":"public_storage_override.d.ts","sourceRoot":"","sources":["../../src/interfaces/public_storage_override.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAC9D,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAG9D;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,2CAA2C;IAC3C,QAAQ,EAAE,YAAY,CAAC;IACvB,6EAA6E;IAC7E,IAAI,EAAE,EAAE,CAAC;IACT,sEAAsE;IACtE,KAAK,EAAE,EAAE,CAAC;CACX,CAAC;AAEF,eAAO,MAAM,2BAA2B;;;;iBAItC,CAAC"}

package/dest/interfaces/public_storage_override.js

@@ -0,0 +1,7 @@
+import { z } from 'zod';
+import { schemas } from '../schemas/schemas.js';
+export const PublicStorageOverrideSchema = z.object({
+    contract: schemas.AztecAddress,
+    slot: schemas.Fr,
+    value: schemas.Fr
+});

package/dest/interfaces/server.d.ts

@@ -0,0 +1,29 @@
+export * from './allowed_element.js';
+export * from './api_limit.js';
+export * from './archiver.js';
+export * from './aztec-node.js';
+export * from './block_response.js';
+export * from './chain_tips.js';
+export * from './checkpoint_parameter.js';
+export * from './checkpoint_response.js';
+export * from './l1_publish_info.js';
+export * from './block-builder.js';
+export * from './configs.js';
+export * from './l2_logs_source.js';
+export * from './merkle_tree_operations.js';
+export * from './p2p-bootstrap.js';
+export * from './p2p.js';
+export * from './processed-tx-handler.js';
+export * from './prover-agent.js';
+export * from './prover-broker.js';
+export * from './prover-client.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 './slasher.js';
+export * from './tx_provider.js';
+export * from './validator.js';
+export * from './world_state.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VydmVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvaW50ZXJmYWNlcy9zZXJ2ZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxzQkFBc0IsQ0FBQztBQUNyQyxjQUFjLGdCQUFnQixDQUFDO0FBQy9CLGNBQWMsZUFBZSxDQUFDO0FBQzlCLGNBQWMsaUJBQWlCLENBQUM7QUFDaEMsY0FBYyxxQkFBcUIsQ0FBQztBQUNwQyxjQUFjLGlCQUFpQixDQUFDO0FBQ2hDLGNBQWMsMkJBQTJCLENBQUM7QUFDMUMsY0FBYywwQkFBMEIsQ0FBQztBQUN6QyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMsb0JBQW9CLENBQUM7QUFDbkMsY0FBYyxjQUFjLENBQUM7QUFDN0IsY0FBYyxxQkFBcUIsQ0FBQztBQUNwQyxjQUFjLDZCQUE2QixDQUFDO0FBQzVDLGNBQWMsb0JBQW9CLENBQUM7QUFDbkMsY0FBYyxVQUFVLENBQUM7QUFDekIsY0FBYywyQkFBMkIsQ0FBQztBQUMxQyxjQUFjLG1CQUFtQixDQUFDO0FBQ2xDLGNBQWMsb0JBQW9CLENBQUM7QUFDbkMsY0FBYyxvQkFBb0IsQ0FBQztBQUNuQyxjQUFjLGtCQUFrQixDQUFDO0FBQ2pDLGNBQWMseUJBQXlCLENBQUM7QUFDeEMsY0FBYyxrQkFBa0IsQ0FBQztBQUNqQyxjQUFjLDRCQUE0QixDQUFDO0FBQzNDLGNBQWMsY0FBYyxDQUFDO0FBQzdCLGNBQWMsY0FBYyxDQUFDO0FBQzdCLGNBQWMsa0JBQWtCLENBQUM7QUFDakMsY0FBYyxnQkFBZ0IsQ0FBQztBQUMvQixjQUFjLGtCQUFrQixDQUFDIn0=

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,sBAAsB,CAAC;AACrC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,eAAe,CAAC;AAC9B,cAAc,iBAAiB,CAAC;AAChC,cAAc,qBAAqB,CAAC;AACpC,cAAc,iBAAiB,CAAC;AAChC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,0BAA0B,CAAC;AACzC,cAAc,sBAAsB,CAAC;AACrC,cAAc,oBAAoB,CAAC;AACnC,cAAc,cAAc,CAAC;AAC7B,cAAc,qBAAqB,CAAC;AACpC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,oBAAoB,CAAC;AACnC,cAAc,UAAU,CAAC;AACzB,cAAc,2BAA2B,CAAC;AAC1C,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,yBAAyB,CAAC;AACxC,cAAc,kBAAkB,CAAC;AACjC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,cAAc,CAAC;AAC7B,cAAc,cAAc,CAAC;AAC7B,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,kBAAkB,CAAC"}

package/dest/interfaces/server.js

@@ -0,0 +1,28 @@
+export * from './allowed_element.js';
+export * from './api_limit.js';
+export * from './archiver.js';
+export * from './aztec-node.js';
+export * from './block_response.js';
+export * from './chain_tips.js';
+export * from './checkpoint_parameter.js';
+export * from './checkpoint_response.js';
+export * from './l1_publish_info.js';
+export * from './block-builder.js';
+export * from './configs.js';
+export * from './l2_logs_source.js';
+export * from './merkle_tree_operations.js';
+export * from './p2p-bootstrap.js';
+export * from './p2p.js';
+export * from './processed-tx-handler.js';
+export * from './prover-agent.js';
+export * from './prover-broker.js';
+export * from './prover-client.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 './slasher.js';
+export * from './tx_provider.js';
+export * from './validator.js';
+export * from './world_state.js';

package/dest/interfaces/server_circuit_prover.d.ts

@@ -0,0 +1,91 @@
+import type { AVM_V2_PROOF_LENGTH_IN_FIELDS, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH } from '@aztec-labs/constants';
+import type { AvmCircuitInputs } from '../avm/avm.js';
+import type { InboxParityPrivateInputs } from '../parity/inbox_parity_private_inputs.js';
+import type { ParityPublicInputs } from '../parity/parity_public_inputs.js';
+import type { RecursiveProof } from '../proofs/recursive_proof.js';
+import type { BlockMergeRollupPrivateInputs } from '../rollup/block_merge_rollup_private_inputs.js';
+import type { BlockRollupPublicInputs } from '../rollup/block_rollup_public_inputs.js';
+import type { BlockRootNoTxsRollupPrivateInputs, BlockRootRollupPrivateInputs, BlockRootSingleTxRollupPrivateInputs } from '../rollup/block_root_rollup_private_inputs.js';
+import type { CheckpointMergeRollupPrivateInputs } from '../rollup/checkpoint_merge_rollup_private_inputs.js';
+import type { CheckpointRollupPublicInputs } from '../rollup/checkpoint_rollup_public_inputs.js';
+import type { CheckpointPaddingRollupPrivateInputs, CheckpointRootRollupPrivateInputs, CheckpointRootSingleBlockRollupPrivateInputs } from '../rollup/checkpoint_root_rollup_private_inputs.js';
+import type { PrivateTxBaseRollupPrivateInputs } from '../rollup/private_tx_base_rollup_private_inputs.js';
+import type { PublicChonkVerifierPrivateInputs } from '../rollup/public_chonk_verifier_private_inputs.js';
+import type { PublicChonkVerifierPublicInputs } from '../rollup/public_chonk_verifier_public_inputs.js';
+import type { PublicTxBaseRollupPrivateInputs } from '../rollup/public_tx_base_rollup_private_inputs.js';
+import type { RootRollupPrivateInputs } from '../rollup/root_rollup_private_inputs.js';
+import type { RootRollupPublicInputs } from '../rollup/root_rollup_public_inputs.js';
+import type { TxMergeRollupPrivateInputs } from '../rollup/tx_merge_rollup_private_inputs.js';
+import type { TxRollupPublicInputs } from '../rollup/tx_rollup_public_inputs.js';
+import type { Tx } from '../tx/tx.js';
+import type { PublicInputsAndRecursiveProof } from './proving-job.js';
+/**
+ * Generates proofs for parity and rollup circuits.
+ */
+export interface ServerCircuitProver {
+    /**
+     * Creates the checkpoint's single InboxParity proof. The circuit variant (ladder size) is selected from
+     * `inputs.size`.
+     * @param inputs - Input to the circuit.
+     */
+    getInboxParityProof(inputs: InboxParityPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<ParityPublicInputs, typeof RECURSIVE_PROOF_LENGTH>>;
+    getPublicChonkVerifierProof(inputs: PublicChonkVerifierPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<PublicChonkVerifierPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getPrivateTxBaseRollupProof(baseRollupInput: PrivateTxBaseRollupPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getPublicTxBaseRollupProof(inputs: PublicTxBaseRollupPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getTxMergeRollupProof(input: TxMergeRollupPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getBlockRootRollupProof(input: BlockRootRollupPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getBlockRootSingleTxRollupProof(input: BlockRootSingleTxRollupPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getBlockRootNoTxsRollupProof(input: BlockRootNoTxsRollupPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getBlockMergeRollupProof(input: BlockMergeRollupPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getCheckpointRootRollupProof(input: CheckpointRootRollupPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getCheckpointRootSingleBlockRollupProof(input: CheckpointRootSingleBlockRollupPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getCheckpointPaddingRollupProof(input: CheckpointPaddingRollupPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getCheckpointMergeRollupProof(input: CheckpointMergeRollupPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getRootRollupProof(input: RootRollupPrivateInputs, 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<RecursiveProof<typeof AVM_V2_PROOF_LENGTH_IN_FIELDS>>;
+}
+export type IVCProofVerificationResult = {
+    valid: boolean;
+    durationMs: number;
+    totalDurationMs: number;
+};
+/**
+ * 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<IVCProofVerificationResult>;
+    /**
+     * Stop the verifier.
+     */
+    stop(): Promise<void>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VydmVyX2NpcmN1aXRfcHJvdmVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvaW50ZXJmYWNlcy9zZXJ2ZXJfY2lyY3VpdF9wcm92ZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQ1YsNkJBQTZCLEVBQzdCLDZCQUE2QixFQUM3Qix5Q0FBeUMsRUFDekMsc0JBQXNCLEVBQ3ZCLE1BQU0sdUJBQXVCLENBQUM7QUFFL0IsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxlQUFlLENBQUM7QUFDdEQsT0FBTyxLQUFLLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSwwQ0FBMEMsQ0FBQztBQUN6RixPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQzVFLE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBQ25FLE9BQU8sS0FBSyxFQUFFLDZCQUE2QixFQUFFLE1BQU0sZ0RBQWdELENBQUM7QUFDcEcsT0FBTyxLQUFLLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSx5Q0FBeUMsQ0FBQztBQUN2RixPQUFPLEtBQUssRUFDVixpQ0FBaUMsRUFDakMsNEJBQTRCLEVBQzVCLG9DQUFvQyxFQUNyQyxNQUFNLCtDQUErQyxDQUFDO0FBQ3ZELE9BQU8sS0FBSyxFQUFFLGtDQUFrQyxFQUFFLE1BQU0scURBQXFELENBQUM7QUFDOUcsT0FBTyxLQUFLLEVBQUUsNEJBQTRCLEVBQUUsTUFBTSw4Q0FBOEMsQ0FBQztBQUNqRyxPQUFPLEtBQUssRUFDVixvQ0FBb0MsRUFDcEMsaUNBQWlDLEVBQ2pDLDRDQUE0QyxFQUM3QyxNQUFNLG9EQUFvRCxDQUFDO0FBQzVELE9BQU8sS0FBSyxFQUFFLGdDQUFnQyxFQUFFLE1BQU0sb0RBQW9ELENBQUM7QUFDM0csT0FBTyxLQUFLLEVBQUUsZ0NBQWdDLEVBQUUsTUFBTSxtREFBbUQsQ0FBQztBQUMxRyxPQUFPLEtBQUssRUFBRSwrQkFBK0IsRUFBRSxNQUFNLGtEQUFrRCxDQUFDO0FBQ3hHLE9BQU8sS0FBSyxFQUFFLCtCQUErQixFQUFFLE1BQU0sbURBQW1ELENBQUM7QUFDekcsT0FBTyxLQUFLLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSx5Q0FBeUMsQ0FBQztBQUN2RixPQUFPLEtBQUssRUFBRSxzQkFBc0IsRUFBRSxNQUFNLHdDQUF3QyxDQUFDO0FBQ3JGLE9BQU8sS0FBSyxFQUFFLDBCQUEwQixFQUFFLE1BQU0sNkNBQTZDLENBQUM7QUFDOUYsT0FBTyxLQUFLLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSxzQ0FBc0MsQ0FBQztBQUNqRixPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFDdEMsT0FBTyxLQUFLLEVBQUUsNkJBQTZCLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUV0RTs7R0FFRztBQUNILE1BQU0sV0FBVyxtQkFBbUI7SUFDbEM7Ozs7T0FJRztJQUNILG1CQUFtQixDQUNqQixNQUFNLEVBQUUsd0JBQXdCLEVBQ2hDLE1BQU0sQ0FBQyxFQUFFLFdBQVcsRUFDcEIsV0FBVyxDQUFDLEVBQUUsTUFBTSxHQUNuQixPQUFPLENBQUMsNkJBQTZCLENBQUMsa0JBQWtCLEVBQUUsT0FBTyxzQkFBc0IsQ0FBQyxDQUFDLENBQUM7SUFFN0YsMkJBQTJCLENBQ3pCLE1BQU0sRUFBRSxnQ0FBZ0MsRUFDeEMsTUFBTSxDQUFDLEVBQUUsV0FBVyxFQUNwQixXQUFXLENBQUMsRUFBRSxNQUFNLEdBQ25CLE9BQU8sQ0FDUiw2QkFBNkIsQ0FBQywrQkFBK0IsRUFBRSxPQUFPLHlDQUF5QyxDQUFDLENBQ2pILENBQUM7SUFFRjs7O09BR0c7SUFDSCwyQkFBMkIsQ0FDekIsZUFBZSxFQUFFLGdDQUFnQyxFQUNqRCxNQUFNLENBQUMsRUFBRSxXQUFXLEVBQ3BCLFdBQVcsQ0FBQyxFQUFFLE1BQU0sR0FDbkIsT0FBTyxDQUFDLDZCQUE2QixDQUFDLG9CQUFvQixFQUFFLE9BQU8seUNBQXlDLENBQUMsQ0FBQyxDQUFDO0lBRWxILDBCQUEwQixDQUN4QixNQUFNLEVBQUUsK0JBQStCLEVBQ3ZDLE1BQU0sQ0FBQyxFQUFFLFdBQVcsRUFDcEIsV0FBVyxDQUFDLEVBQUUsTUFBTSxHQUNuQixPQUFPLENBQUMsNkJBQTZCLENBQUMsb0JBQW9CLEVBQUUsT0FBTyx5Q0FBeUMsQ0FBQyxDQUFDLENBQUM7SUFFbEg7OztPQUdHO0lBQ0gscUJBQXFCLENBQ25CLEtBQUssRUFBRSwwQkFBMEIsRUFDakMsTUFBTSxDQUFDLEVBQUUsV0FBVyxFQUNwQixXQUFXLENBQUMsRUFBRSxNQUFNLEdBQ25CLE9BQU8sQ0FBQyw2QkFBNkIsQ0FBQyxvQkFBb0IsRUFBRSxPQUFPLHlDQUF5QyxDQUFDLENBQUMsQ0FBQztJQUVsSDs7O09BR0c7SUFDSCx1QkFBdUIsQ0FDckIsS0FBSyxFQUFFLDRCQUE0QixFQUNuQyxNQUFNLENBQUMsRUFBRSxXQUFXLEVBQ3BCLFdBQVcsQ0FBQyxFQUFFLE1BQU0sR0FDbkIsT0FBTyxDQUFDLDZCQUE2QixDQUFDLHVCQUF1QixFQUFFLE9BQU8seUNBQXlDLENBQUMsQ0FBQyxDQUFDO0lBRXJILCtCQUErQixDQUM3QixLQUFLLEVBQUUsb0NBQW9DLEVBQzNDLE1BQU0sQ0FBQyxFQUFFLFdBQVcsRUFDcEIsV0FBVyxDQUFDLEVBQUUsTUFBTSxHQUNuQixPQUFPLENBQUMsNkJBQTZCLENBQUMsdUJBQXVCLEVBQUUsT0FBTyx5Q0FBeUMsQ0FBQyxDQUFDLENBQUM7SUFFckgsNEJBQTRCLENBQzFCLEtBQUssRUFBRSxpQ0FBaUMsRUFDeEMsTUFBTSxDQUFDLEVBQUUsV0FBVyxFQUNwQixXQUFXLENBQUMsRUFBRSxNQUFNLEdBQ25CLE9BQU8sQ0FBQyw2QkFBNkIsQ0FBQyx1QkFBdUIsRUFBRSxPQUFPLHlDQUF5QyxDQUFDLENBQUMsQ0FBQztJQUVySDs7O09BR0c7SUFDSCx3QkFBd0IsQ0FDdEIsS0FBSyxFQUFFLDZCQUE2QixFQUNwQyxNQUFNLENBQUMsRUFBRSxXQUFXLEVBQ3BCLFdBQVcsQ0FBQyxFQUFFLE1BQU0sR0FDbkIsT0FBTyxDQUFDLDZCQUE2QixDQUFDLHVCQUF1QixFQUFFLE9BQU8seUNBQXlDLENBQUMsQ0FBQyxDQUFDO0lBRXJILDRCQUE0QixDQUMxQixLQUFLLEVBQUUsaUNBQWlDLEVBQ3hDLE1BQU0sQ0FBQyxFQUFFLFdBQVcsRUFDcEIsV0FBVyxDQUFDLEVBQUUsTUFBTSxHQUNuQixPQUFPLENBQ1IsNkJBQTZCLENBQUMsNEJBQTRCLEVBQUUsT0FBTyx5Q0FBeUMsQ0FBQyxDQUM5RyxDQUFDO0lBRUYsdUNBQXVDLENBQ3JDLEtBQUssRUFBRSw0Q0FBNEMsRUFDbkQsTUFBTSxDQUFDLEVBQUUsV0FBVyxFQUNwQixXQUFXLENBQUMsRUFBRSxNQUFNLEdBQ25CLE9BQU8sQ0FDUiw2QkFBNkIsQ0FBQyw0QkFBNEIsRUFBRSxPQUFPLHlDQUF5QyxDQUFDLENBQzlHLENBQUM7SUFFRiwrQkFBK0IsQ0FDN0IsS0FBSyxFQUFFLG9DQUFvQyxFQUMzQyxNQUFNLENBQUMsRUFBRSxXQUFXLEVBQ3BCLFdBQVcsQ0FBQyxFQUFFLE1BQU0sR0FDbkIsT0FBTyxDQUNSLDZCQUE2QixDQUFDLDRCQUE0QixFQUFFLE9BQU8seUNBQXlDLENBQUMsQ0FDOUcsQ0FBQztJQUVGLDZCQUE2QixDQUMzQixLQUFLLEVBQUUsa0NBQWtDLEVBQ3pDLE1BQU0sQ0FBQyxFQUFFLFdBQVcsRUFDcEIsV0FBVyxDQUFDLEVBQUUsTUFBTSxHQUNuQixPQUFPLENBQ1IsNkJBQTZCLENBQUMsNEJBQTRCLEVBQUUsT0FBTyx5Q0FBeUMsQ0FBQyxDQUM5RyxDQUFDO0lBRUY7OztPQUdHO0lBQ0gsa0JBQWtCLENBQ2hCLEtBQUssRUFBRSx1QkFBdUIsRUFDOUIsTUFBTSxDQUFDLEVBQUUsV0FBVyxFQUNwQixXQUFXLENBQUMsRUFBRSxNQUFNLEdBQ25CLE9BQU8sQ0FBQyw2QkFBNkIsQ0FBQyxzQkFBc0IsRUFBRSxPQUFPLDZCQUE2QixDQUFDLENBQUMsQ0FBQztJQUV4Rzs7O09BR0c7SUFDSCxXQUFXLENBQ1QsTUFBTSxFQUFFLGdCQUFnQixFQUN4QixNQUFNLENBQUMsRUFBRSxXQUFXLEVBQ3BCLFdBQVcsQ0FBQyxFQUFFLE1BQU0sR0FDbkIsT0FBTyxDQUFDLGNBQWMsQ0FBQyxPQUFPLDZCQUE2QixDQUFDLENBQUMsQ0FBQztDQUNsRTtBQUVELE1BQU0sTUFBTSwwQkFBMEIsR0FBRztJQUV2QyxLQUFLLEVBQUUsT0FBTyxDQUFDO0lBRWYsVUFBVSxFQUFFLE1BQU0sQ0FBQztJQUVuQixlQUFlLEVBQUUsTUFBTSxDQUFDO0NBQ3pCLENBQUM7QUFFRjs7R0FFRztBQUNILE1BQU0sV0FBVyw2QkFBNkI7SUFDNUM7Ozs7T0FJRztJQUNILFdBQVcsQ0FBQyxFQUFFLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQywwQkFBMEIsQ0FBQyxDQUFDO0lBRXpEOztPQUVHO0lBQ0gsSUFBSSxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztDQUN2QiJ9

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,6BAA6B,EAC7B,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACvB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACzF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,gDAAgD,CAAC;AACpG,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EACV,iCAAiC,EACjC,4BAA4B,EAC5B,oCAAoC,EACrC,MAAM,+CAA+C,CAAC;AACvD,OAAO,KAAK,EAAE,kCAAkC,EAAE,MAAM,qDAAqD,CAAC;AAC9G,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,8CAA8C,CAAC;AACjG,OAAO,KAAK,EACV,oCAAoC,EACpC,iCAAiC,EACjC,4CAA4C,EAC7C,MAAM,oDAAoD,CAAC;AAC5D,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,oDAAoD,CAAC;AAC3G,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,mDAAmD,CAAC;AAC1G,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,kDAAkD,CAAC;AACxG,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,mDAAmD,CAAC;AACzG,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AACrF,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AAC9F,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AACjF,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,kBAAkB,CAAC;AAEtE;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,mBAAmB,CACjB,MAAM,EAAE,wBAAwB,EAChC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,sBAAsB,CAAC,CAAC,CAAC;IAE7F,2BAA2B,CACzB,MAAM,EAAE,gCAAgC,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,+BAA+B,EAAE,OAAO,yCAAyC,CAAC,CACjH,CAAC;IAEF;;;OAGG;IACH,2BAA2B,CACzB,eAAe,EAAE,gCAAgC,EACjD,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,oBAAoB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAElH,0BAA0B,CACxB,MAAM,EAAE,+BAA+B,EACvC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,oBAAoB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAElH;;;OAGG;IACH,qBAAqB,CACnB,KAAK,EAAE,0BAA0B,EACjC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,oBAAoB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAElH;;;OAGG;IACH,uBAAuB,CACrB,KAAK,EAAE,4BAA4B,EACnC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH,+BAA+B,CAC7B,KAAK,EAAE,oCAAoC,EAC3C,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH,4BAA4B,CAC1B,KAAK,EAAE,iCAAiC,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH;;;OAGG;IACH,wBAAwB,CACtB,KAAK,EAAE,6BAA6B,EACpC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH,4BAA4B,CAC1B,KAAK,EAAE,iCAAiC,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF,uCAAuC,CACrC,KAAK,EAAE,4CAA4C,EACnD,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF,+BAA+B,CAC7B,KAAK,EAAE,oCAAoC,EAC3C,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF,6BAA6B,CAC3B,KAAK,EAAE,kCAAkC,EACzC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF;;;OAGG;IACH,kBAAkB,CAChB,KAAK,EAAE,uBAAuB,EAC9B,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,cAAc,CAAC,OAAO,6BAA6B,CAAC,CAAC,CAAC;CAClE;AAED,MAAM,MAAM,0BAA0B,GAAG;IAEvC,KAAK,EAAE,OAAO,CAAC;IAEf,UAAU,EAAE,MAAM,CAAC;IAEnB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C;;;;OAIG;IACH,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC;IAEzD;;OAEG;IACH,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACvB"}

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,16 @@
+import type { Logger } from '@aztec-labs/foundation/log';
+/** 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>;
+    /** Resumes the service after it was stopped */
+    resume(): void;
+}
+/** Tries to call stop on a given object and awaits it. Logs any errors and does not rethrow. */
+export declare function tryStop(service?: any, logger?: Logger): Promise<void>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VydmljZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2ludGVyZmFjZXMvc2VydmljZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUV6RCxrRUFBa0U7QUFDbEUsTUFBTSxXQUFXLE9BQU87SUFDdEI7OztPQUdHO0lBQ0gsS0FBSyxDQUFDLGVBQWUsQ0FBQyxFQUFFLE9BQU8sR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBQUM7SUFFaEQseUJBQXlCO0lBQ3pCLElBQUksSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBQUM7SUFFdEIsK0NBQStDO0lBQy9DLE1BQU0sSUFBSSxJQUFJLENBQUM7Q0FDaEI7QUFFRCxnR0FBZ0c7QUFDaEcsd0JBQXNCLE9BQU8sQ0FBQyxPQUFPLENBQUMsRUFBRSxHQUFHLEVBQUUsTUFBTSxDQUFDLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FRM0UifQ==

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,4BAA4B,CAAC;AAEzD,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;IAEtB,+CAA+C;IAC/C,MAAM,IAAI,IAAI,CAAC;CAChB;AAED,gGAAgG;AAChG,wBAAsB,OAAO,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAQ3E"}

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/slasher.d.ts

@@ -0,0 +1,54 @@
+import type { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { z } from 'zod';
+export interface SlasherConfig {
+    slashOverridePayload?: EthAddress;
+    slashSelfAllowed?: boolean;
+    slashValidatorsAlways: EthAddress[];
+    slashValidatorsNever: EthAddress[];
+    slashInactivityTargetPercentage: number;
+    slashInactivityConsecutiveEpochThreshold: number;
+    slashDataWithholdingPenalty: bigint;
+    /**
+     * Number of full L2 slots that must elapse after a checkpoint's slot before declaring its
+     * txs missing and slashing the checkpoint's attesters for data withholding. With tolerance
+     * = N and checkpoint slot S, the check fires at the start of slot `S + N + 1`.
+     */
+    slashDataWithholdingToleranceSlots: number;
+    slashInactivityPenalty: bigint;
+    slashBroadcastedInvalidBlockPenalty: bigint;
+    slashBroadcastedInvalidCheckpointProposalPenalty: bigint;
+    slashDuplicateProposalPenalty: bigint;
+    slashDuplicateAttestationPenalty: bigint;
+    slashProposeInvalidAttestationsPenalty: bigint;
+    slashProposeDescendantOfCheckpointWithInvalidAttestationsPenalty: bigint;
+    slashAttestInvalidCheckpointProposalPenalty: bigint;
+    slashUnknownPenalty: bigint;
+    slashOffenseExpirationRounds: number;
+    slashMaxPayloadSize: number;
+    slashGracePeriodL2Slots: number;
+    slashExecuteRoundsLookBack: number;
+}
+export declare const SlasherConfigSchema: z.ZodObject<{
+    slashOverridePayload: z.ZodOptional<z.ZodType<EthAddress, string, z.core.$ZodTypeInternals<EthAddress, string>>>;
+    slashValidatorsAlways: z.ZodArray<z.ZodType<EthAddress, string, z.core.$ZodTypeInternals<EthAddress, string>>>;
+    slashValidatorsNever: z.ZodArray<z.ZodType<EthAddress, string, z.core.$ZodTypeInternals<EthAddress, string>>>;
+    slashDataWithholdingPenalty: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    slashDataWithholdingToleranceSlots: z.ZodDefault<z.ZodNumber>;
+    slashInactivityTargetPercentage: z.ZodNumber;
+    slashInactivityConsecutiveEpochThreshold: z.ZodNumber;
+    slashInactivityPenalty: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    slashProposeInvalidAttestationsPenalty: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    slashBroadcastedInvalidCheckpointProposalPenalty: z.ZodDefault<z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>>;
+    slashDuplicateProposalPenalty: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    slashDuplicateAttestationPenalty: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    slashProposeDescendantOfCheckpointWithInvalidAttestationsPenalty: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    slashAttestInvalidCheckpointProposalPenalty: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    slashUnknownPenalty: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    slashOffenseExpirationRounds: z.ZodNumber;
+    slashMaxPayloadSize: z.ZodNumber;
+    slashGracePeriodL2Slots: z.ZodNumber;
+    slashBroadcastedInvalidBlockPenalty: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    slashExecuteRoundsLookBack: z.ZodNumber;
+    slashSelfAllowed: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strip>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2xhc2hlci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2ludGVyZmFjZXMvc2xhc2hlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQUVyRSxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE1BQU0sV0FBVyxhQUFhO0lBQzVCLG9CQUFvQixDQUFDLEVBQUUsVUFBVSxDQUFDO0lBQ2xDLGdCQUFnQixDQUFDLEVBQUUsT0FBTyxDQUFDO0lBQzNCLHFCQUFxQixFQUFFLFVBQVUsRUFBRSxDQUFDO0lBQ3BDLG9CQUFvQixFQUFFLFVBQVUsRUFBRSxDQUFDO0lBQ25DLCtCQUErQixFQUFFLE1BQU0sQ0FBQztJQUN4Qyx3Q0FBd0MsRUFBRSxNQUFNLENBQUM7SUFDakQsMkJBQTJCLEVBQUUsTUFBTSxDQUFDO0lBQ3BDOzs7O09BSUc7SUFDSCxrQ0FBa0MsRUFBRSxNQUFNLENBQUM7SUFDM0Msc0JBQXNCLEVBQUUsTUFBTSxDQUFDO0lBQy9CLG1DQUFtQyxFQUFFLE1BQU0sQ0FBQztJQUM1QyxnREFBZ0QsRUFBRSxNQUFNLENBQUM7SUFDekQsNkJBQTZCLEVBQUUsTUFBTSxDQUFDO0lBQ3RDLGdDQUFnQyxFQUFFLE1BQU0sQ0FBQztJQUN6QyxzQ0FBc0MsRUFBRSxNQUFNLENBQUM7SUFDL0MsZ0VBQWdFLEVBQUUsTUFBTSxDQUFDO0lBQ3pFLDJDQUEyQyxFQUFFLE1BQU0sQ0FBQztJQUNwRCxtQkFBbUIsRUFBRSxNQUFNLENBQUM7SUFDNUIsNEJBQTRCLEVBQUUsTUFBTSxDQUFDO0lBQ3JDLG1CQUFtQixFQUFFLE1BQU0sQ0FBQztJQUM1Qix1QkFBdUIsRUFBRSxNQUFNLENBQUM7SUFDaEMsMEJBQTBCLEVBQUUsTUFBTSxDQUFDO0NBQ3BDO0FBRUQsZUFBTyxNQUFNLG1CQUFtQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztpQkE0Qi9CLENBQUMifQ==

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

@@ -0,0 +1 @@
+{"version":3,"file":"slasher.d.ts","sourceRoot":"","sources":["../../src/interfaces/slasher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAErE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,WAAW,aAAa;IAC5B,oBAAoB,CAAC,EAAE,UAAU,CAAC;IAClC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,qBAAqB,EAAE,UAAU,EAAE,CAAC;IACpC,oBAAoB,EAAE,UAAU,EAAE,CAAC;IACnC,+BAA+B,EAAE,MAAM,CAAC;IACxC,wCAAwC,EAAE,MAAM,CAAC;IACjD,2BAA2B,EAAE,MAAM,CAAC;IACpC;;;;OAIG;IACH,kCAAkC,EAAE,MAAM,CAAC;IAC3C,sBAAsB,EAAE,MAAM,CAAC;IAC/B,mCAAmC,EAAE,MAAM,CAAC;IAC5C,gDAAgD,EAAE,MAAM,CAAC;IACzD,6BAA6B,EAAE,MAAM,CAAC;IACtC,gCAAgC,EAAE,MAAM,CAAC;IACzC,sCAAsC,EAAE,MAAM,CAAC;IAC/C,gEAAgE,EAAE,MAAM,CAAC;IACzE,2CAA2C,EAAE,MAAM,CAAC;IACpD,mBAAmB,EAAE,MAAM,CAAC;IAC5B,4BAA4B,EAAE,MAAM,CAAC;IACrC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,uBAAuB,EAAE,MAAM,CAAC;IAChC,0BAA0B,EAAE,MAAM,CAAC;CACpC;AAED,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;iBA4B/B,CAAC"}