@cofhe/sdk 0.5.1 → 0.6.0

package/dist/{clientTypes-BSbwairE.d.cts → clientTypes-BDy1qIBu.d.cts}

@@ -59,13 +59,13 @@ type EncryptedNumber = {
     data: Uint8Array;
     securityZone: number;
 };
-type EncryptedItemInput<TSignature = string> = {
+type EncryptedItemInput = {
     ctHash: bigint;
     securityZone: number;
     utype: FheTypes;
-    signature: TSignature;
+    signature: `0x${string}`;
 };
-declare function assertCorrectEncryptedItemInput(input: EncryptedItemInput): asserts input is EncryptedItemInput<`0x${string}`>;
+declare function assertCorrectEncryptedItemInput(input: EncryptedItemInput): asserts input is EncryptedItemInput;
 type EncryptedBoolInput = EncryptedItemInput & {
     utype: FheTypes.Bool;
 };
@@ -165,6 +165,55 @@ type EncryptStepCallbackContext = Record<string, any> & {
     duration: number;
 };
 type EncryptStepCallbackFunction = (state: EncryptStep, context?: EncryptStepCallbackContext) => void;
+/**
+ * Branded bytes32 types for external encrypted inputs (Solidity: externalEbool, externalEuint*, externalEaddress).
+ * The readonly `utype` field brands each hash so it can't be accidentally passed to the wrong asE* function.
+ */
+type ExternalBoolHash = `0x${string}` & {
+    readonly utype: FheTypes.Bool;
+};
+type ExternalUint8Hash = `0x${string}` & {
+    readonly utype: FheTypes.Uint8;
+};
+type ExternalUint16Hash = `0x${string}` & {
+    readonly utype: FheTypes.Uint16;
+};
+type ExternalUint32Hash = `0x${string}` & {
+    readonly utype: FheTypes.Uint32;
+};
+type ExternalUint64Hash = `0x${string}` & {
+    readonly utype: FheTypes.Uint64;
+};
+type ExternalUint128Hash = `0x${string}` & {
+    readonly utype: FheTypes.Uint128;
+};
+type ExternalAddressHash = `0x${string}` & {
+    readonly utype: FheTypes.Uint160;
+};
+/** Branded bytes proof blob (Solidity: bytes memory proof). */
+type ExternalHashProof = `0x${string}` & {
+    readonly _kind: 'ExternalHashProof';
+};
+/** Union of all External*Hash types — useful for utilities that operate on any hash without caring about the specific FHE type. */
+type AnyExternalHash = ExternalBoolHash | ExternalUint8Hash | ExternalUint16Hash | ExternalUint32Hash | ExternalUint64Hash | ExternalUint128Hash | ExternalAddressHash;
+/**
+ * Maps a single EncryptableItem to its corresponding External*Hash type.
+ * Mirrors EncryptableToEncryptedItemInputMap.
+ */
+type EncryptableToExternalHashMap<E extends EncryptableItem> = E extends EncryptableBool ? ExternalBoolHash : E extends EncryptableUint8 ? ExternalUint8Hash : E extends EncryptableUint16 ? ExternalUint16Hash : E extends EncryptableUint32 ? ExternalUint32Hash : E extends EncryptableUint64 ? ExternalUint64Hash : E extends EncryptableUint128 ? ExternalUint128Hash : E extends EncryptableAddress ? ExternalAddressHash : never;
+/**
+ * Maps an EncryptableItem[] tuple to a tuple of corresponding External*Hash types,
+ * preserving index positions. e.g. [EncryptableBool, EncryptableUint32] → [ExternalBoolHash, ExternalUint32Hash]
+ */
+type ExternalItemHashes<T extends EncryptableItem[]> = {
+    [K in keyof T]: T[K] extends EncryptableItem ? EncryptableToExternalHashMap<T[K]> : never;
+};
+/**
+ * Return type of EncryptInputsBuilder.execute() when asHashPlusProof() is set.
+ * Tuple of per-input hashes in input order, followed by a single proof blob.
+ * e.g. [Encryptable.bool(true), Encryptable.uint32(5)] → [ExternalBoolHash, ExternalUint32Hash, ExternalHashProof]
+ */
+type HashPlusProofResult<T extends EncryptableItem[]> = [...ExternalItemHashes<T>, ExternalHashProof];
 type DecryptEndpoint = 'decrypt' | 'sealoutput';
 type DecryptPollCallbackContext = {
     operation: DecryptEndpoint;
@@ -371,6 +420,7 @@ declare class DecryptForViewBuilder<U extends FheTypes> extends BaseBuilder {
     private permitHash?;
     private permit?;
     private pollCallback?;
+    private retry404TimeoutMs;
     constructor(params: DecryptForViewBuilderParams<U>);
     /**
      * @param chainId - Chain to decrypt values from. Used to fetch the threshold network URL and use the correct permit.
@@ -405,6 +455,7 @@ declare class DecryptForViewBuilder<U extends FheTypes> extends BaseBuilder {
     setAccount(account: string): DecryptForViewBuilder<U>;
     getAccount(): string | undefined;
     onPoll(callback: DecryptPollCallbackFunction): DecryptForViewBuilder<U>;
+    set404RetryTimeout(timeoutMs: number): DecryptForViewBuilder<U>;
     /**
      * Select "use permit" mode (optional).
      *
@@ -507,6 +558,7 @@ declare class DecryptForTxBuilder extends BaseBuilder {
     private permit?;
     private permitSelection;
     private pollCallback?;
+    private retry404TimeoutMs;
     constructor(params: DecryptForTxBuilderParams);
     /**
      * @param chainId - Chain to decrypt values from. Used to fetch the threshold network URL and use the correct permit.
@@ -544,6 +596,8 @@ declare class DecryptForTxBuilder extends BaseBuilder {
     getAccount(): string | undefined;
     onPoll(this: DecryptForTxBuilderUnset, callback: DecryptPollCallbackFunction): DecryptForTxBuilderUnset;
     onPoll(this: DecryptForTxBuilderSelected, callback: DecryptPollCallbackFunction): DecryptForTxBuilderSelected;
+    set404RetryTimeout(this: DecryptForTxBuilderUnset, timeoutMs: number): DecryptForTxBuilderUnset;
+    set404RetryTimeout(this: DecryptForTxBuilderSelected, timeoutMs: number): DecryptForTxBuilderSelected;
     /**
      * Select "use permit" mode.
      *
@@ -697,10 +751,11 @@ type EncryptInputsBuilderParams<T extends EncryptableItem[]> = BaseBuilderParams
  * account, securityZone, and chainId can be overridden in the builder.
  * config, tfhePublicKeyDeserializer, compactPkeCrsDeserializer, and zkBuilderAndCrsGenerator are required to be set in the builder.
  */
-declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuilder {
+declare class EncryptInputsBuilder<T extends EncryptableItem[], HPP extends boolean = false> extends BaseBuilder {
     private securityZone;
     private stepCallback?;
     private inputItems;
+    private hpp;
     private zkvWalletClient;
     private tfhePublicKeyDeserializer;
     private compactPkeCrsDeserializer;
@@ -725,7 +780,7 @@ declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuil
      *
      * @returns The chainable EncryptInputsBuilder instance.
      */
-    setAccount(account: string): EncryptInputsBuilder<T>;
+    setAccount(account: string): EncryptInputsBuilder<T, HPP>;
     getAccount(): string | undefined;
     /**
      * @param chainId - Chain that will consume the encrypted inputs.
@@ -741,7 +796,7 @@ declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuil
      *
      * @returns The chainable EncryptInputsBuilder instance.
      */
-    setChainId(chainId: number): EncryptInputsBuilder<T>;
+    setChainId(chainId: number): EncryptInputsBuilder<T, HPP>;
     getChainId(): number | undefined;
     /**
      * @param securityZone - Security zone to encrypt the inputs for.
@@ -757,8 +812,19 @@ declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuil
      *
      * @returns The chainable EncryptInputsBuilder instance.
      */
-    setSecurityZone(securityZone: number): EncryptInputsBuilder<T>;
+    setSecurityZone(securityZone: number): EncryptInputsBuilder<T, HPP>;
     getSecurityZone(): number;
+    /**
+     * Example:
+     * ```typescript
+     * const encrypted = await encryptInputs([Encryptable.uint128(10n)])
+     *   .asHashPlusProof()
+     *   .execute();
+     * ```
+     *
+     * @returns Chainable EncryptInputsBuilder instance that will return a HashPlusProofResult instead of an array of EncryptedItemInputs.
+     */
+    asHashPlusProof(): EncryptInputsBuilder<T, true>;
     /**
      * @param useWorker - Whether to use Web Workers for ZK proof generation.
      *
@@ -773,7 +839,7 @@ declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuil
      *
      * @returns The chainable EncryptInputsBuilder instance.
      */
-    setUseWorker(useWorker: boolean): EncryptInputsBuilder<T>;
+    setUseWorker(useWorker: boolean): EncryptInputsBuilder<T, HPP>;
     /**
      * Gets the current worker configuration.
      *
@@ -803,7 +869,7 @@ declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuil
      *
      * @returns The EncryptInputsBuilder instance.
      */
-    onStep(callback: EncryptStepCallbackFunction): EncryptInputsBuilder<T>;
+    onStep(callback: EncryptStepCallbackFunction): EncryptInputsBuilder<T, HPP>;
     getStepCallback(): EncryptStepCallbackFunction | undefined;
     /**
      * Fires the step callback if set
@@ -844,6 +910,7 @@ declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuil
      * In the production context, perform a true encryption with the CoFHE coprocessor.
      */
     private productionExecute;
+    private structsToHashPlusProof;
     /**
      * Final step of the encryption process. MUST BE CALLED LAST IN THE CHAIN.
      *
@@ -863,7 +930,7 @@ declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuil
      *
      * @returns The encrypted inputs.
      */
-    execute(): Promise<[...EncryptedItemInputs<T>]>;
+    execute(): Promise<HPP extends true ? HashPlusProofResult<T> : [...EncryptedItemInputs<T>]>;
 }
 
 declare const permits: {
@@ -996,4 +1063,4 @@ type CofheClientParams<TConfig extends CofheConfig> = {
     zkProveWorkerFn?: ZkProveWorkerFunction;
 };
 
-export { DecryptForTxBuilder as $, type FheTypeValue as A, type DecryptPollCallbackContext as B, type CofheInputConfig as C, type DecryptPollCallbackFunction as D, type EncryptableItem as E, FheTypes as F, type DecryptEndpoint as G, type EncryptStepCallbackFunction as H, type IStorage as I, type EncryptStepCallbackContext as J, FheUintUTypes as K, type LiteralToPrimitive as L, FheAllUTypes as M, Encryptable as N, isEncryptableItem as O, type Primitive as P, EncryptStep as Q, isLastEncryptionStep as R, assertCorrectEncryptedItemInput as S, fetchKeys as T, type UnsealedItem as U, type FheKeyDeserializer as V, createKeysStore as W, type KeysStorage as X, type KeysStore as Y, EncryptInputsBuilder as Z, DecryptForViewBuilder as _, type CofheConfig as a, type DecryptForTxResult as a0, type ZkBuilderAndCrsGenerator as a1, type ZkProveWorkerFunction as a2, type ZkProveWorkerRequest as a3, type ZkProveWorkerResponse as a4, zkProveWithWorker as a5, type CofheClient as b, type CofheClientParams as c, type CofheClientConnectionState as d, createCofheConfigBase as e, type CofheInternalConfig as f, getCofheConfigItem as g, type CofheClientPermits as h, type EncryptableBool as i, type EncryptableUint8 as j, type EncryptableUint16 as k, type EncryptableUint32 as l, type EncryptableUint64 as m, type EncryptableUint128 as n, type EncryptableAddress as o, type EncryptedNumber as p, type EncryptedItemInput as q, type EncryptedBoolInput as r, type EncryptedUint8Input as s, type EncryptedUint16Input as t, type EncryptedUint32Input as u, type EncryptedUint64Input as v, type EncryptedUint128Input as w, type EncryptedAddressInput as x, type EncryptedItemInputs as y, type EncryptableToEncryptedItemInputMap as z };
+export { Encryptable as $, type FheTypeValue as A, type ExternalBoolHash as B, type CofheInputConfig as C, type ExternalUint8Hash as D, type EncryptableItem as E, FheTypes as F, type ExternalUint16Hash as G, type ExternalUint32Hash as H, type IStorage as I, type ExternalUint64Hash as J, type ExternalUint128Hash as K, type LiteralToPrimitive as L, type ExternalAddressHash as M, type ExternalHashProof as N, type AnyExternalHash as O, type Primitive as P, type EncryptableToExternalHashMap as Q, type ExternalItemHashes as R, type HashPlusProofResult as S, type DecryptPollCallbackFunction as T, type UnsealedItem as U, type DecryptPollCallbackContext as V, type DecryptEndpoint as W, type EncryptStepCallbackFunction as X, type EncryptStepCallbackContext as Y, FheUintUTypes as Z, FheAllUTypes as _, type CofheConfig as a, isEncryptableItem as a0, EncryptStep as a1, isLastEncryptionStep as a2, assertCorrectEncryptedItemInput as a3, fetchKeys as a4, type FheKeyDeserializer as a5, createKeysStore as a6, type KeysStorage as a7, type KeysStore as a8, EncryptInputsBuilder as a9, DecryptForViewBuilder as aa, DecryptForTxBuilder as ab, type DecryptForTxResult as ac, type ZkBuilderAndCrsGenerator as ad, type ZkProveWorkerFunction as ae, type ZkProveWorkerRequest as af, type ZkProveWorkerResponse as ag, zkProveWithWorker as ah, type CofheClient as b, type CofheClientParams as c, type CofheClientConnectionState as d, createCofheConfigBase as e, type CofheInternalConfig as f, getCofheConfigItem as g, type CofheClientPermits as h, type EncryptableBool as i, type EncryptableUint8 as j, type EncryptableUint16 as k, type EncryptableUint32 as l, type EncryptableUint64 as m, type EncryptableUint128 as n, type EncryptableAddress as o, type EncryptedNumber as p, type EncryptedItemInput as q, type EncryptedBoolInput as r, type EncryptedUint8Input as s, type EncryptedUint16Input as t, type EncryptedUint32Input as u, type EncryptedUint64Input as v, type EncryptedUint128Input as w, type EncryptedAddressInput as x, type EncryptedItemInputs as y, type EncryptableToEncryptedItemInputMap as z };

package/dist/{clientTypes-DDmcgZ0a.d.ts → clientTypes-CyUvRRzA.d.ts}

@@ -59,13 +59,13 @@ type EncryptedNumber = {
     data: Uint8Array;
     securityZone: number;
 };
-type EncryptedItemInput<TSignature = string> = {
+type EncryptedItemInput = {
     ctHash: bigint;
     securityZone: number;
     utype: FheTypes;
-    signature: TSignature;
+    signature: `0x${string}`;
 };
-declare function assertCorrectEncryptedItemInput(input: EncryptedItemInput): asserts input is EncryptedItemInput<`0x${string}`>;
+declare function assertCorrectEncryptedItemInput(input: EncryptedItemInput): asserts input is EncryptedItemInput;
 type EncryptedBoolInput = EncryptedItemInput & {
     utype: FheTypes.Bool;
 };
@@ -165,6 +165,55 @@ type EncryptStepCallbackContext = Record<string, any> & {
     duration: number;
 };
 type EncryptStepCallbackFunction = (state: EncryptStep, context?: EncryptStepCallbackContext) => void;
+/**
+ * Branded bytes32 types for external encrypted inputs (Solidity: externalEbool, externalEuint*, externalEaddress).
+ * The readonly `utype` field brands each hash so it can't be accidentally passed to the wrong asE* function.
+ */
+type ExternalBoolHash = `0x${string}` & {
+    readonly utype: FheTypes.Bool;
+};
+type ExternalUint8Hash = `0x${string}` & {
+    readonly utype: FheTypes.Uint8;
+};
+type ExternalUint16Hash = `0x${string}` & {
+    readonly utype: FheTypes.Uint16;
+};
+type ExternalUint32Hash = `0x${string}` & {
+    readonly utype: FheTypes.Uint32;
+};
+type ExternalUint64Hash = `0x${string}` & {
+    readonly utype: FheTypes.Uint64;
+};
+type ExternalUint128Hash = `0x${string}` & {
+    readonly utype: FheTypes.Uint128;
+};
+type ExternalAddressHash = `0x${string}` & {
+    readonly utype: FheTypes.Uint160;
+};
+/** Branded bytes proof blob (Solidity: bytes memory proof). */
+type ExternalHashProof = `0x${string}` & {
+    readonly _kind: 'ExternalHashProof';
+};
+/** Union of all External*Hash types — useful for utilities that operate on any hash without caring about the specific FHE type. */
+type AnyExternalHash = ExternalBoolHash | ExternalUint8Hash | ExternalUint16Hash | ExternalUint32Hash | ExternalUint64Hash | ExternalUint128Hash | ExternalAddressHash;
+/**
+ * Maps a single EncryptableItem to its corresponding External*Hash type.
+ * Mirrors EncryptableToEncryptedItemInputMap.
+ */
+type EncryptableToExternalHashMap<E extends EncryptableItem> = E extends EncryptableBool ? ExternalBoolHash : E extends EncryptableUint8 ? ExternalUint8Hash : E extends EncryptableUint16 ? ExternalUint16Hash : E extends EncryptableUint32 ? ExternalUint32Hash : E extends EncryptableUint64 ? ExternalUint64Hash : E extends EncryptableUint128 ? ExternalUint128Hash : E extends EncryptableAddress ? ExternalAddressHash : never;
+/**
+ * Maps an EncryptableItem[] tuple to a tuple of corresponding External*Hash types,
+ * preserving index positions. e.g. [EncryptableBool, EncryptableUint32] → [ExternalBoolHash, ExternalUint32Hash]
+ */
+type ExternalItemHashes<T extends EncryptableItem[]> = {
+    [K in keyof T]: T[K] extends EncryptableItem ? EncryptableToExternalHashMap<T[K]> : never;
+};
+/**
+ * Return type of EncryptInputsBuilder.execute() when asHashPlusProof() is set.
+ * Tuple of per-input hashes in input order, followed by a single proof blob.
+ * e.g. [Encryptable.bool(true), Encryptable.uint32(5)] → [ExternalBoolHash, ExternalUint32Hash, ExternalHashProof]
+ */
+type HashPlusProofResult<T extends EncryptableItem[]> = [...ExternalItemHashes<T>, ExternalHashProof];
 type DecryptEndpoint = 'decrypt' | 'sealoutput';
 type DecryptPollCallbackContext = {
     operation: DecryptEndpoint;
@@ -371,6 +420,7 @@ declare class DecryptForViewBuilder<U extends FheTypes> extends BaseBuilder {
     private permitHash?;
     private permit?;
     private pollCallback?;
+    private retry404TimeoutMs;
     constructor(params: DecryptForViewBuilderParams<U>);
     /**
      * @param chainId - Chain to decrypt values from. Used to fetch the threshold network URL and use the correct permit.
@@ -405,6 +455,7 @@ declare class DecryptForViewBuilder<U extends FheTypes> extends BaseBuilder {
     setAccount(account: string): DecryptForViewBuilder<U>;
     getAccount(): string | undefined;
     onPoll(callback: DecryptPollCallbackFunction): DecryptForViewBuilder<U>;
+    set404RetryTimeout(timeoutMs: number): DecryptForViewBuilder<U>;
     /**
      * Select "use permit" mode (optional).
      *
@@ -507,6 +558,7 @@ declare class DecryptForTxBuilder extends BaseBuilder {
     private permit?;
     private permitSelection;
     private pollCallback?;
+    private retry404TimeoutMs;
     constructor(params: DecryptForTxBuilderParams);
     /**
      * @param chainId - Chain to decrypt values from. Used to fetch the threshold network URL and use the correct permit.
@@ -544,6 +596,8 @@ declare class DecryptForTxBuilder extends BaseBuilder {
     getAccount(): string | undefined;
     onPoll(this: DecryptForTxBuilderUnset, callback: DecryptPollCallbackFunction): DecryptForTxBuilderUnset;
     onPoll(this: DecryptForTxBuilderSelected, callback: DecryptPollCallbackFunction): DecryptForTxBuilderSelected;
+    set404RetryTimeout(this: DecryptForTxBuilderUnset, timeoutMs: number): DecryptForTxBuilderUnset;
+    set404RetryTimeout(this: DecryptForTxBuilderSelected, timeoutMs: number): DecryptForTxBuilderSelected;
     /**
      * Select "use permit" mode.
      *
@@ -697,10 +751,11 @@ type EncryptInputsBuilderParams<T extends EncryptableItem[]> = BaseBuilderParams
  * account, securityZone, and chainId can be overridden in the builder.
  * config, tfhePublicKeyDeserializer, compactPkeCrsDeserializer, and zkBuilderAndCrsGenerator are required to be set in the builder.
  */
-declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuilder {
+declare class EncryptInputsBuilder<T extends EncryptableItem[], HPP extends boolean = false> extends BaseBuilder {
     private securityZone;
     private stepCallback?;
     private inputItems;
+    private hpp;
     private zkvWalletClient;
     private tfhePublicKeyDeserializer;
     private compactPkeCrsDeserializer;
@@ -725,7 +780,7 @@ declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuil
      *
      * @returns The chainable EncryptInputsBuilder instance.
      */
-    setAccount(account: string): EncryptInputsBuilder<T>;
+    setAccount(account: string): EncryptInputsBuilder<T, HPP>;
     getAccount(): string | undefined;
     /**
      * @param chainId - Chain that will consume the encrypted inputs.
@@ -741,7 +796,7 @@ declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuil
      *
      * @returns The chainable EncryptInputsBuilder instance.
      */
-    setChainId(chainId: number): EncryptInputsBuilder<T>;
+    setChainId(chainId: number): EncryptInputsBuilder<T, HPP>;
     getChainId(): number | undefined;
     /**
      * @param securityZone - Security zone to encrypt the inputs for.
@@ -757,8 +812,19 @@ declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuil
      *
      * @returns The chainable EncryptInputsBuilder instance.
      */
-    setSecurityZone(securityZone: number): EncryptInputsBuilder<T>;
+    setSecurityZone(securityZone: number): EncryptInputsBuilder<T, HPP>;
     getSecurityZone(): number;
+    /**
+     * Example:
+     * ```typescript
+     * const encrypted = await encryptInputs([Encryptable.uint128(10n)])
+     *   .asHashPlusProof()
+     *   .execute();
+     * ```
+     *
+     * @returns Chainable EncryptInputsBuilder instance that will return a HashPlusProofResult instead of an array of EncryptedItemInputs.
+     */
+    asHashPlusProof(): EncryptInputsBuilder<T, true>;
     /**
      * @param useWorker - Whether to use Web Workers for ZK proof generation.
      *
@@ -773,7 +839,7 @@ declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuil
      *
      * @returns The chainable EncryptInputsBuilder instance.
      */
-    setUseWorker(useWorker: boolean): EncryptInputsBuilder<T>;
+    setUseWorker(useWorker: boolean): EncryptInputsBuilder<T, HPP>;
     /**
      * Gets the current worker configuration.
      *
@@ -803,7 +869,7 @@ declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuil
      *
      * @returns The EncryptInputsBuilder instance.
      */
-    onStep(callback: EncryptStepCallbackFunction): EncryptInputsBuilder<T>;
+    onStep(callback: EncryptStepCallbackFunction): EncryptInputsBuilder<T, HPP>;
     getStepCallback(): EncryptStepCallbackFunction | undefined;
     /**
      * Fires the step callback if set
@@ -844,6 +910,7 @@ declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuil
      * In the production context, perform a true encryption with the CoFHE coprocessor.
      */
     private productionExecute;
+    private structsToHashPlusProof;
     /**
      * Final step of the encryption process. MUST BE CALLED LAST IN THE CHAIN.
      *
@@ -863,7 +930,7 @@ declare class EncryptInputsBuilder<T extends EncryptableItem[]> extends BaseBuil
      *
      * @returns The encrypted inputs.
      */
-    execute(): Promise<[...EncryptedItemInputs<T>]>;
+    execute(): Promise<HPP extends true ? HashPlusProofResult<T> : [...EncryptedItemInputs<T>]>;
 }
 
 declare const permits: {
@@ -996,4 +1063,4 @@ type CofheClientParams<TConfig extends CofheConfig> = {
     zkProveWorkerFn?: ZkProveWorkerFunction;
 };
 
-export { DecryptForTxBuilder as $, type FheTypeValue as A, type DecryptPollCallbackContext as B, type CofheInputConfig as C, type DecryptPollCallbackFunction as D, type EncryptableItem as E, FheTypes as F, type DecryptEndpoint as G, type EncryptStepCallbackFunction as H, type IStorage as I, type EncryptStepCallbackContext as J, FheUintUTypes as K, type LiteralToPrimitive as L, FheAllUTypes as M, Encryptable as N, isEncryptableItem as O, type Primitive as P, EncryptStep as Q, isLastEncryptionStep as R, assertCorrectEncryptedItemInput as S, fetchKeys as T, type UnsealedItem as U, type FheKeyDeserializer as V, createKeysStore as W, type KeysStorage as X, type KeysStore as Y, EncryptInputsBuilder as Z, DecryptForViewBuilder as _, type CofheConfig as a, type DecryptForTxResult as a0, type ZkBuilderAndCrsGenerator as a1, type ZkProveWorkerFunction as a2, type ZkProveWorkerRequest as a3, type ZkProveWorkerResponse as a4, zkProveWithWorker as a5, type CofheClient as b, type CofheClientParams as c, type CofheClientConnectionState as d, createCofheConfigBase as e, type CofheInternalConfig as f, getCofheConfigItem as g, type CofheClientPermits as h, type EncryptableBool as i, type EncryptableUint8 as j, type EncryptableUint16 as k, type EncryptableUint32 as l, type EncryptableUint64 as m, type EncryptableUint128 as n, type EncryptableAddress as o, type EncryptedNumber as p, type EncryptedItemInput as q, type EncryptedBoolInput as r, type EncryptedUint8Input as s, type EncryptedUint16Input as t, type EncryptedUint32Input as u, type EncryptedUint64Input as v, type EncryptedUint128Input as w, type EncryptedAddressInput as x, type EncryptedItemInputs as y, type EncryptableToEncryptedItemInputMap as z };
+export { Encryptable as $, type FheTypeValue as A, type ExternalBoolHash as B, type CofheInputConfig as C, type ExternalUint8Hash as D, type EncryptableItem as E, FheTypes as F, type ExternalUint16Hash as G, type ExternalUint32Hash as H, type IStorage as I, type ExternalUint64Hash as J, type ExternalUint128Hash as K, type LiteralToPrimitive as L, type ExternalAddressHash as M, type ExternalHashProof as N, type AnyExternalHash as O, type Primitive as P, type EncryptableToExternalHashMap as Q, type ExternalItemHashes as R, type HashPlusProofResult as S, type DecryptPollCallbackFunction as T, type UnsealedItem as U, type DecryptPollCallbackContext as V, type DecryptEndpoint as W, type EncryptStepCallbackFunction as X, type EncryptStepCallbackContext as Y, FheUintUTypes as Z, FheAllUTypes as _, type CofheConfig as a, isEncryptableItem as a0, EncryptStep as a1, isLastEncryptionStep as a2, assertCorrectEncryptedItemInput as a3, fetchKeys as a4, type FheKeyDeserializer as a5, createKeysStore as a6, type KeysStorage as a7, type KeysStore as a8, EncryptInputsBuilder as a9, DecryptForViewBuilder as aa, DecryptForTxBuilder as ab, type DecryptForTxResult as ac, type ZkBuilderAndCrsGenerator as ad, type ZkProveWorkerFunction as ae, type ZkProveWorkerRequest as af, type ZkProveWorkerResponse as ag, zkProveWithWorker as ah, type CofheClient as b, type CofheClientParams as c, type CofheClientConnectionState as d, createCofheConfigBase as e, type CofheInternalConfig as f, getCofheConfigItem as g, type CofheClientPermits as h, type EncryptableBool as i, type EncryptableUint8 as j, type EncryptableUint16 as k, type EncryptableUint32 as l, type EncryptableUint64 as m, type EncryptableUint128 as n, type EncryptableAddress as o, type EncryptedNumber as p, type EncryptedItemInput as q, type EncryptedBoolInput as r, type EncryptedUint8Input as s, type EncryptedUint16Input as t, type EncryptedUint32Input as u, type EncryptedUint64Input as v, type EncryptedUint128Input as w, type EncryptedAddressInput as x, type EncryptedItemInputs as y, type EncryptableToEncryptedItemInputMap as z };