@primuslabs/fhetransform-sdk 0.4.0

package/dist/jazz/encrypt.d.ts

@@ -0,0 +1,58 @@
+import { FheType, UnverifiedEncryptData } from "../core/fhe-type.js";
+import { Address, BytesHex } from "../core/primitives.js";
+import type { IJazzClient } from "./jazz-client-i.js";
+import { JazzProcessOptions } from "./types/common.js";
+/**
+ * Configuration options for encryption operations.
+ */
+export type EncryptOptions = JazzProcessOptions & {};
+/**
+ * A single payload item to encrypt with its FHE type.
+ */
+export type EncryptPayloadItem = {
+    /** Value to encrypt (number or bigint) */
+    value: number | bigint;
+    /** FHE type (uint8, uint16, uint32, etc.) */
+    fheType: FheType;
+};
+/**
+ * Payload can be a single item or an array of items.
+ */
+export type EncryptPayload = EncryptPayloadItem | EncryptPayloadItem[];
+/**
+ * Parameters for encryption operations.
+ */
+export type EncryptParameters<T extends EncryptPayload> = {
+    /** Payload(s) to encrypt */
+    readonly payloads: T;
+    /** Contract address (0x-prefixed) */
+    readonly contractAddress: Address;
+    /** User address (0x-prefixed) */
+    readonly userAddress: Address;
+    /** Additional options */
+    readonly options?: EncryptOptions;
+};
+/**
+ * Result of an encryption operation.
+ */
+export type EncryptResult<T extends EncryptPayload> = {
+    /** Encrypted values (single item or array matching input) */
+    readonly encryptedValues: T extends EncryptPayloadItem[] ? UnverifiedEncryptData[] : UnverifiedEncryptData;
+    /** Input proof as hex with 0x prefix */
+    readonly inputProof: BytesHex;
+};
+/**
+ * Encrypts a value or batch of values with zero-knowledge proof support.
+ *
+ * This function handles the complete encryption flow:
+ * 1. Encrypts values with ZK proof using the FHE WASM module
+ * 2. Submits the ciphertext to Jazz service for handle generation and attestation
+ * 3. Verifies alphatrion signatures
+ * 4. Creates and returns the input proof
+ *
+ * @param client - The Jazz client instance
+ * @param parameters - Encryption parameters
+ * @returns EncryptResult containing encrypted values and input proof
+ * @throws Error if encryption, proof fetch, or verification fails
+ */
+export declare function encryptValue<T extends EncryptPayload>(client: IJazzClient, parameters: EncryptParameters<T>): Promise<EncryptResult<T>>;

package/dist/jazz/encrypt.js

@@ -0,0 +1,155 @@
+import { bytesToHex, fromHexString } from "../core/bytes.js";
+import { encryptWithZk, getMetadata } from "./encrypt-p.js";
+import { verifyHandlesAlphatrionSignatures } from "./input-proof-p.js";
+import { encodeProofData } from "./input-proof-p.js";
+import { fetchInputProof } from "./module/fetch-input-proof.js";
+import { fetchInputProof as fetchInputProofMock } from "./mock/fetch-input-proof.js";
+import { getOrFetchPublickey } from "./encrypt-key-p.js";
+import { logger } from "../core/logger.js";
+import { formatValue } from "../core/pretty-print.js";
+import { FheErrorCode } from "../core/errors/error-codes.js";
+import { FheError } from "../core/errors/fhe-error.js";
+import { assertChecksumAddress } from "../core/address.js";
+import { FheTransformSDKEvents } from "../core/event.js";
+// ============================================================================
+// Main Encryption Function
+// ============================================================================
+/**
+ * Encrypts a value or batch of values with zero-knowledge proof support.
+ *
+ * This function handles the complete encryption flow:
+ * 1. Encrypts values with ZK proof using the FHE WASM module
+ * 2. Submits the ciphertext to Jazz service for handle generation and attestation
+ * 3. Verifies alphatrion signatures
+ * 4. Creates and returns the input proof
+ *
+ * @param client - The Jazz client instance
+ * @param parameters - Encryption parameters
+ * @returns EncryptResult containing encrypted values and input proof
+ * @throws Error if encryption, proof fetch, or verification fails
+ */
+export async function encryptValue(client, parameters) {
+    let t0;
+    // Enter method
+    logger.debug(() => ['[encryptValue] Enter', formatValue({ parameters })]);
+    assertChecksumAddress(parameters.contractAddress, "contractAddress");
+    assertChecksumAddress(parameters.userAddress, "userAddress");
+    const isArray = Array.isArray(parameters.payloads);
+    const payloads = (isArray ? parameters.payloads : [parameters.payloads]);
+    const isMock = client.sdk.isMock();
+    const chainId = await client.sdk.getChainID();
+    const sysContractInfo = await client.sdk.getSystemContractInfo();
+    // ============================================================================
+    // Step 0: Input Validation
+    // ============================================================================
+    // TODO: Add input validation here
+    // - Validate payloads are not empty
+    // - Validate contractAddress and userAddress are valid
+    // - Validate chainId is valid
+    // ============================================================================
+    // Step 1: Get or fetch Fhe Encryption Key and CRS
+    // ============================================================================
+    t0 = Date.now();
+    logger.debug('[encryptValue] Step 1: Get or fetch Fhe Encryption Key and CRS');
+    const pks = await getOrFetchPublickey(client, { isMock });
+    logger.debug('[encryptValue] Public keys fetched', {
+        pkSize: pks.pk.data.length,
+        crsSize: pks.crs.data.length,
+    });
+    client.sdk.emitEvent({ type: FheTransformSDKEvents.GetOrFetchPublickeyEnd, durationMs: Date.now() - t0 });
+    // Generate metadata for ZK proof
+    logger.debug('[encryptValue] Generating metadata');
+    const metadata = getMetadata({
+        chainId: chainId,
+        aclAddress: sysContractInfo.aclContractAddress,
+        contractAddress: parameters.contractAddress,
+        userAddress: parameters.userAddress,
+    });
+    logger.trace('[encryptValue] Metadata generated', {
+        metadataSize: metadata.length,
+    });
+    // ============================================================================
+    // Step 2: Encrypt with ZK Proof
+    // ============================================================================
+    logger.debug('[encryptValue] Step 2: Encrypt with ZK Proof');
+    // Perform ZK encryption
+    const encryptWithZkParameters = {
+        payloads,
+        pks,
+        metadata,
+    };
+    t0 = Date.now();
+    logger.debug(() => ['[encryptValue] Performing ZK encryption', formatValue({ encryptWithZkParameters })]);
+    const ciphertextWithZKProof = await encryptWithZk(encryptWithZkParameters);
+    logger.debug(() => ['[encryptValue] ZK encryption completed', formatValue({ ciphertextWithZKProof })]);
+    client.sdk.emitEvent({ type: FheTransformSDKEvents.EncryptWithZkEnd, durationMs: Date.now() - t0 });
+    // ============================================================================
+    // Step 3: Fetch Handles and Signatures from Jazz
+    // ============================================================================
+    logger.debug('[encryptValue] Step 3: Fetching input proof from Jazz');
+    const zkProof = {
+        chainId: chainId,
+        aclContractAddress: sysContractInfo.aclContractAddress,
+        contractAddress: parameters.contractAddress,
+        userAddress: parameters.userAddress,
+        ciphertextWithZkProof: ciphertextWithZKProof,
+    };
+    const fetchInputProofParameters = {
+        payload: {
+            zkProof,
+        },
+        options: { ...parameters.options },
+    };
+    let result;
+    client.sdk.emitEvent({ type: FheTransformSDKEvents.FetchInputProofStart });
+    t0 = Date.now();
+    if (isMock) {
+        logger.trace('[encryptValue] Using mock mode for input proof fetch');
+        result = await fetchInputProofMock(client, fetchInputProofParameters, [...payloads]);
+    }
+    else {
+        logger.trace('[encryptValue] Using production mode for input proof fetch');
+        result = await fetchInputProof(client, fetchInputProofParameters);
+    }
+    client.sdk.emitEvent({ type: FheTransformSDKEvents.FetchInputProofEnd, durationMs: Date.now() - t0 });
+    logger.debug(() => ['[encryptValue] Input proof fetched', formatValue({ result })]);
+    if (!result.handles || result.handles.length === 0) {
+        throw new FheError({ code: FheErrorCode.JazzUnexpectedResponse, message: "Jazz returned no handles" });
+    }
+    // ============================================================================
+    // Step 4: Verify Alphatrion Signatures
+    // ============================================================================
+    t0 = Date.now();
+    logger.debug('[encryptValue] Step 4: Verifying alphatrion signatures');
+    await verifyHandlesAlphatrionSignatures(client, {
+        chainId: chainId,
+        verifyingContract: sysContractInfo.ciphertextVerificationAddress,
+        userAddress: parameters.userAddress,
+        contractAddress: parameters.contractAddress,
+    }, result);
+    logger.debug('[encryptValue] Alphatrion signatures verified successfully');
+    client.sdk.emitEvent({ type: FheTransformSDKEvents.VerifyAlphatrionSignaturesEnd, durationMs: Date.now() - t0 });
+    // ============================================================================
+    // Step 5: Create Input Proof
+    // ============================================================================
+    logger.debug('[encryptValue] Step 5: Creating input proof');
+    const inputProofBytes = encodeProofData([...result.handles], [...result.alphatrionEip712Signatures], fromHexString(result.extraData));
+    const inputProof = bytesToHex(inputProofBytes);
+    logger.trace('[encryptValue] Input proof encoded', {
+        proofSize: inputProofBytes.length,
+        proofHexLength: inputProof.length,
+    });
+    // ============================================================================
+    // Step 6: Build Result
+    // ============================================================================
+    const results = result.handles.map((handle, index) => ({
+        handle: handle,
+        data: inputProof,
+    }));
+    logger.info(() => ['[encryptValue] Encryption completed successfully', formatValue({ results })]);
+    return {
+        encryptedValues: isArray ? results : results[0],
+        inputProof,
+    };
+}
+//# sourceMappingURL=encrypt.js.map

package/dist/jazz/encrypt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"encrypt.js","sourceRoot":"","sources":["../../src/jazz/encrypt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAG7D,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,iCAAiC,EAAE,MAAM,oBAAoB,CAAC;AAEvE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,eAAe,IAAI,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAErF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAkDzD,+EAA+E;AAC/E,2BAA2B;AAC3B,+EAA+E;AAE/E;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,MAAmB,EACnB,UAAgC;IAEhC,IAAI,EAAU,CAAC;IAEf,eAAe;IACf,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,sBAAsB,EAAE,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,qBAAqB,CAAC,UAAU,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;IACrE,qBAAqB,CAAC,UAAU,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAE7D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAyB,CAAC;IACjG,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;IACnC,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;IAC9C,MAAM,eAAe,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,qBAAqB,EAAE,CAAC;IAGjE,+EAA+E;IAC/E,2BAA2B;IAC3B,+EAA+E;IAE/E,kCAAkC;IAClC,oCAAoC;IACpC,uDAAuD;IACvD,8BAA8B;IAE9B,+EAA+E;IAC/E,kDAAkD;IAClD,+EAA+E;IAE/E,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAChB,MAAM,CAAC,KAAK,CAAC,gEAAgE,CAAC,CAAC;IAC/E,MAAM,GAAG,GAAG,MAAM,mBAAmB,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IAC1D,MAAM,CAAC,KAAK,CAAC,oCAAoC,EAAE;QACjD,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM;QAC1B,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM;KAC7B,CAAC,CAAC;IACH,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,qBAAqB,CAAC,sBAAsB,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAE1G,iCAAiC;IACjC,MAAM,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,WAAW,CAAC;QAC3B,OAAO,EAAE,OAAO;QAChB,UAAU,EAAE,eAAe,CAAC,kBAAkB;QAC9C,eAAe,EAAE,UAAU,CAAC,eAAe;QAC3C,WAAW,EAAE,UAAU,CAAC,WAAW;KACpC,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,mCAAmC,EAAE;QAChD,YAAY,EAAE,QAAQ,CAAC,MAAM;KAC9B,CAAC,CAAC;IAEH,+EAA+E;IAC/E,gCAAgC;IAChC,+EAA+E;IAE/E,MAAM,CAAC,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAE7D,wBAAwB;IACxB,MAAM,uBAAuB,GAAG;QAC9B,QAAQ;QACR,GAAG;QACH,QAAQ;KACT,CAAC;IAEF,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAChB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,yCAAyC,EAAE,WAAW,CAAC,EAAE,uBAAuB,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1G,MAAM,qBAAqB,GAAG,MAAM,aAAa,CAAC,uBAAuB,CAAC,CAAC;IAC3E,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,wCAAwC,EAAE,WAAW,CAAC,EAAE,qBAAqB,EAAE,CAAC,CAAC,CAAC,CAAC;IACvG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,qBAAqB,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAEpG,+EAA+E;IAC/E,iDAAiD;IACjD,+EAA+E;IAE/E,MAAM,CAAC,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAEtE,MAAM,OAAO,GAAG;QACd,OAAO,EAAE,OAAO;QAChB,kBAAkB,EAAE,eAAe,CAAC,kBAAkB;QACtD,eAAe,EAAE,UAAU,CAAC,eAAe;QAC3C,WAAW,EAAE,UAAU,CAAC,WAAW;QACnC,qBAAqB,EAAE,qBAAqB;KAC7C,CAAC;IAEF,MAAM,yBAAyB,GAAG;QAChC,OAAO,EAAE;YACP,OAAO;SACR;QACD,OAAO,EAAE,EAAE,GAAG,UAAU,CAAC,OAAO,EAAE;KACnC,CAAC;IAEF,IAAI,MAA6B,CAAC;IAElC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,qBAAqB,CAAC,oBAAoB,EAAE,CAAC,CAAC;IAC3E,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAChB,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,CAAC,KAAK,CAAC,sDAAsD,CAAC,CAAC;QACrE,MAAM,GAAG,MAAM,mBAAmB,CAAC,MAAM,EAAE,yBAAyB,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IACvF,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,KAAK,CAAC,4DAA4D,CAAC,CAAC;QAC3E,MAAM,GAAG,MAAM,eAAe,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,qBAAqB,CAAC,kBAAkB,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAEtG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,oCAAoC,EAAE,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAEpF,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,sBAAsB,EAAE,OAAO,EAAE,0BAA0B,EAAE,CAAC,CAAC;IACzG,CAAC;IAED,+EAA+E;IAC/E,uCAAuC;IACvC,+EAA+E;IAE/E,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAChB,MAAM,CAAC,KAAK,CAAC,wDAAwD,CAAC,CAAC;IACvE,MAAM,iCAAiC,CACrC,MAAM,EACN;QACE,OAAO,EAAE,OAAO;QAChB,iBAAiB,EAAE,eAAe,CAAC,6BAA6B;QAChE,WAAW,EAAE,UAAU,CAAC,WAAW;QACnC,eAAe,EAAE,UAAU,CAAC,eAAe;KAC5C,EACD,MAAM,CACP,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAC3E,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,qBAAqB,CAAC,6BAA6B,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAEjH,+EAA+E;IAC/E,6BAA6B;IAC7B,+EAA+E;IAE/E,MAAM,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC;IAE5D,MAAM,eAAe,GAAG,eAAe,CACrC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,EACnB,CAAC,GAAG,MAAM,CAAC,0BAA0B,CAAC,EACtC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAChC,CAAC;IACF,MAAM,UAAU,GAAG,UAAU,CAAC,eAAe,CAAa,CAAC;IAE3D,MAAM,CAAC,KAAK,CAAC,oCAAoC,EAAE;QACjD,SAAS,EAAE,eAAe,CAAC,MAAM;QACjC,cAAc,EAAE,UAAU,CAAC,MAAM;KAClC,CAAC,CAAC;IAEH,+EAA+E;IAC/E,uBAAuB;IACvB,+EAA+E;IAE/E,MAAM,OAAO,GAA4B,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC9E,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,UAAU;KACjB,CAAC,CAAC,CAAC;IAEJ,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,kDAAkD,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAElG,OAAO;QACL,eAAe,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/C,UAAU;KACS,CAAC;AACxB,CAAC"}

package/dist/jazz/input-proof-p.d.ts

@@ -0,0 +1,122 @@
+import { Address, Bytes32Hex, BytesHex } from "../core/primitives.js";
+import { FetchInputProofResult } from "./types/input-proof.js";
+import type { IJazzClient } from "./jazz-client-i.js";
+/**
+ * EIP-712 domain for alphatrion ciphertext verification.
+ */
+export type AlphatrionEip712Domain = Readonly<{
+    /** Domain name */
+    name: 'CiphertextVerification';
+    /** Domain version */
+    version: '1';
+    /** Chain ID */
+    chainId: bigint;
+    /** Contract address that verifies the signatures */
+    verifyingContract: Address;
+}>;
+/**
+ * EIP-712 message for alphatrion ciphertext verification.
+ */
+export type AlphatrionEip712Message = Readonly<{
+    /** List of ciphertext handles (32-byte hex with 0x prefix) */
+    ctHandles: readonly Bytes32Hex[];
+    /** User address (0x-prefixed) */
+    userAddress: Address;
+    /** Contract address (0x-prefixed) */
+    contractAddress: Address;
+    /** Chain ID */
+    chainId: bigint;
+    /** Additional contextual data */
+    extraData: BytesHex;
+}>;
+/**
+ * EIP-712 message with hex string types (alias).
+ */
+export type AlphatrionEip712MessageHex = Readonly<{
+    ctHandles: readonly Bytes32Hex[];
+    userAddress: Address;
+    contractAddress: Address;
+    chainId: bigint;
+    extraData: BytesHex;
+}>;
+/**
+ * EIP-712 type definitions for alphatrion verification.
+ */
+export type AlphatrionEip712Types = {
+    readonly CiphertextVerificationSignData: readonly [
+        {
+            readonly name: 'ctHandles';
+            readonly type: 'bytes32[]';
+        },
+        {
+            readonly name: 'userAddress';
+            readonly type: 'address';
+        },
+        {
+            readonly name: 'contractAddress';
+            readonly type: 'address';
+        },
+        {
+            readonly name: 'chainId';
+            readonly type: 'uint256';
+        },
+        {
+            readonly name: 'extraData';
+            readonly type: 'bytes';
+        }
+    ];
+};
+/**
+ * Complete EIP-712 structure for alphatrion verification.
+ */
+export type AlphatrionEip712 = {
+    readonly domain: AlphatrionEip712Domain;
+    readonly types: AlphatrionEip712Types;
+    readonly message: AlphatrionEip712Message;
+};
+/**
+ * Primary type name for alphatrion EIP-712 verification.
+ */
+export declare const alphatrionEip712PrimaryType = "CiphertextVerificationSignData";
+/**
+ * EIP-712 type definitions for alphatrion verification.
+ *
+ * CRITICAL: Field order is authoritative — it determines the EIP-712 type hash.
+ * Changing the order will produce a different signature and break on-chain verification.
+ * Must match the Solidity struct definition exactly.
+ */
+export declare const alphatrionEip712Types: AlphatrionEip712Types;
+/**
+ * Verifies alphatrion EIP-712 signatures against the Alphatrion signer set.
+ *
+ * This function:
+ * 1. Reconstructs the EIP-712 message from the result
+ * 2. Recovers the signer addresses from each signature
+ * 3. Verifies all recovered addresses are in the Alphatrion signer set
+ * 4. Verifies the threshold is met
+ *
+ * @param client - The Jazz client instance
+ * @param params - Verification parameters (chainId, verifyingContract, userAddress, contractAddress)
+ * @param result - Input proof result containing handles and signatures
+ * @throws Error if verification fails (unknown signer, threshold not met, invalid signature)
+ */
+export declare function verifyHandlesAlphatrionSignatures(client: IJazzClient, params: {
+    chainId: bigint;
+    verifyingContract: Address;
+    userAddress: Address;
+    contractAddress: Address;
+}, result: FetchInputProofResult): Promise<void>;
+/**
+ * Encodes proof data according to the spacebridge-contracts verification format.
+ *
+ * Format:
+ *     numHandles (1 byte) + numSigners (1 byte) + handles (32 bytes each) +
+ *     signatures (65 bytes each) + extraData (variable length)
+ *
+ * @param ctHandles - Array of ciphertext handles (hex strings with 0x prefix)
+ * @param signatures - Array of signatures (hex strings with 0x prefix)
+ * @param extraData - Additional contextual data as Uint8Array
+ * @returns Encoded proof as Uint8Array
+ * @throws Error if numHandles or numSigners exceeds 255, or if handle/signature lengths are invalid
+ */
+export declare function encodeProofData(ctHandles: string[], signatures: string[], extraData: Uint8Array): Uint8Array;

package/dist/jazz/input-proof-p.js

@@ -0,0 +1,265 @@
+import { ethers } from "ethers";
+import { logger } from "../core/logger.js";
+import { formatValue } from "../core/pretty-print.js";
+import { readAlphatrionSignersInfo } from "./read-contract.js";
+import { FheErrorCode } from "../core/errors/error-codes.js";
+import { FheError } from "../core/errors/fhe-error.js";
+// ============================================================================
+// EIP-712 Constants
+// ============================================================================
+/**
+ * Primary type name for alphatrion EIP-712 verification.
+ */
+export const alphatrionEip712PrimaryType = 'CiphertextVerificationSignData';
+/**
+ * EIP-712 type definitions for alphatrion verification.
+ *
+ * CRITICAL: Field order is authoritative — it determines the EIP-712 type hash.
+ * Changing the order will produce a different signature and break on-chain verification.
+ * Must match the Solidity struct definition exactly.
+ */
+export const alphatrionEip712Types = {
+    // EIP712Domain: [
+    //   { name: 'name', type: 'string' },
+    //   { name: 'version', type: 'string' },
+    //   { name: 'chainId', type: 'uint256' },
+    //   { name: 'verifyingContract', type: 'address' },
+    // ] as const,
+    // CRITICAL: Field order is authoritative — it determines the EIP-712 type hash.
+    // Changing the order will produce a different signature and break on-chain verification.
+    // Must match the Solidity struct definition exactly.
+    CiphertextVerificationSignData: [
+        { name: 'ctHandles', type: 'bytes32[]' },
+        { name: 'userAddress', type: 'address' },
+        { name: 'contractAddress', type: 'address' },
+        { name: 'chainId', type: 'uint256' },
+        { name: 'extraData', type: 'bytes' },
+    ],
+};
+// ============================================================================
+// Signature Verification
+// ============================================================================
+/**
+ * Verifies alphatrion EIP-712 signatures against the Alphatrion signer set.
+ *
+ * This function:
+ * 1. Reconstructs the EIP-712 message from the result
+ * 2. Recovers the signer addresses from each signature
+ * 3. Verifies all recovered addresses are in the Alphatrion signer set
+ * 4. Verifies the threshold is met
+ *
+ * @param client - The Jazz client instance
+ * @param params - Verification parameters (chainId, verifyingContract, userAddress, contractAddress)
+ * @param result - Input proof result containing handles and signatures
+ * @throws Error if verification fails (unknown signer, threshold not met, invalid signature)
+ */
+export async function verifyHandlesAlphatrionSignatures(client, params, result) {
+    // Enter method
+    logger.debug(() => ['[verifyHandlesAlphatrionSignatures] Enter', formatValue({ params, result })]);
+    // ============================================================================
+    // Step 1: Build EIP-712 Domain and Message
+    // ============================================================================
+    const domain = {
+        name: 'CiphertextVerification',
+        version: '1',
+        chainId: params.chainId,
+        verifyingContract: params.verifyingContract,
+    };
+    const types = alphatrionEip712Types;
+    const primaryType = 'CiphertextVerificationSignData';
+    const message = {
+        ctHandles: [...result.handles],
+        userAddress: params.userAddress,
+        contractAddress: params.contractAddress,
+        chainId: params.chainId,
+        extraData: result.extraData,
+    };
+    logger.debug(() => ['[verifyHandlesAlphatrionSignatures] EIP-712 built',
+        formatValue({ domain, types, primaryType, message })]);
+    // ============================================================================
+    // Step 2: Recover Signer Addresses
+    // ============================================================================
+    const primaryTypeFields = types[primaryType];
+    if (primaryTypeFields === undefined) {
+        logger.error('[verifyHandlesAlphatrionSignatures] Primary type not found', { primaryType });
+        throw new FheError({ code: FheErrorCode.Internal, message: `Primary type "${primaryType}" not found in types` });
+    }
+    const typesToSign = {
+        [primaryType]: [...primaryTypeFields],
+    };
+    const signatures = result.alphatrionEip712Signatures;
+    const recoveredAddresses = await Promise.all(signatures.map(async (signature, index) => {
+        try {
+            const signerAddress = ethers.verifyTypedData(domain, typesToSign, message, signature);
+            logger.debug('[verifyHandlesAlphatrionSignatures] Signature recovered', {
+                index,
+                signature: signature.substring(0, 20) + '...',
+                signerAddress,
+            });
+            return signerAddress;
+        }
+        catch (error) {
+            logger.error('[verifyHandlesAlphatrionSignatures] Failed to recover signature', {
+                index,
+                error: error.message,
+            });
+            throw error;
+        }
+    }));
+    logger.debug('[verifyHandlesAlphatrionSignatures] Recovered addresses', {
+        recoveredAddresses,
+    });
+    // ============================================================================
+    // Step 3: Verify Against Alphatrion Signer Set
+    // ============================================================================
+    const { alphatrionSigners, alphatrionThreshold } = await readAlphatrionSignersInfo(client);
+    // Verify all recovered signers are in the Alphatrion signer set
+    const isInclude = recoveredAddresses.every(item => alphatrionSigners.includes(item));
+    if (!isInclude) {
+        logger.error('[verifyHandlesAlphatrionSignatures] Unknown Alphatrion signer detected', {
+            recoveredAddresses,
+            allowedSigners: alphatrionSigners,
+        });
+        throw new FheError({ code: FheErrorCode.UnknownSigner, message: 'Unknown Alphatrion Signer' });
+    }
+    // Verify threshold is met
+    if (recoveredAddresses.length < alphatrionThreshold) {
+        logger.error('[verifyHandlesAlphatrionSignatures] Threshold not met', {
+            recoveredCount: recoveredAddresses.length,
+            threshold: alphatrionThreshold,
+        });
+        throw new FheError({ code: FheErrorCode.ThresholdNotMet, message: 'recovered signer addresses should >= threshold' });
+    }
+    logger.info('[verifyHandlesAlphatrionSignatures] All signatures verified successfully', {
+        recoveredCount: recoveredAddresses.length,
+        threshold: alphatrionThreshold,
+    });
+}
+// ============================================================================
+// Proof Encoding
+// ============================================================================
+/**
+ * Encodes proof data according to the spacebridge-contracts verification format.
+ *
+ * Format:
+ *     numHandles (1 byte) + numSigners (1 byte) + handles (32 bytes each) +
+ *     signatures (65 bytes each) + extraData (variable length)
+ *
+ * @param ctHandles - Array of ciphertext handles (hex strings with 0x prefix)
+ * @param signatures - Array of signatures (hex strings with 0x prefix)
+ * @param extraData - Additional contextual data as Uint8Array
+ * @returns Encoded proof as Uint8Array
+ * @throws Error if numHandles or numSigners exceeds 255, or if handle/signature lengths are invalid
+ */
+export function encodeProofData(ctHandles, signatures, extraData) {
+    // Enter method
+    logger.debug(() => ['[encodeProofData] Enter', formatValue({ ctHandles, signatures, extraData })]);
+    const numHandles = ctHandles.length;
+    const numSigners = signatures.length;
+    // ============================================================================
+    // Step 1: Validate Inputs
+    // ============================================================================
+    // Validate counts fit in 1 byte (max 255)
+    if (numHandles > 255 || numSigners > 255) {
+        logger.error('[encodeProofData] Counts exceed 255', {
+            numHandles,
+            numSigners,
+        });
+        throw new FheError({ code: FheErrorCode.InvalidArgument, message: `numHandles:${numHandles} or numSigners:${numSigners} must fit in 1 byte` });
+    }
+    // Validate and convert handles to bytes
+    logger.trace('[encodeProofData] Validating handles');
+    const handlesBytes = ctHandles.map((h, i) => {
+        const b = ethers.getBytes(h);
+        if (b.length !== 32) {
+            logger.error('[encodeProofData] Invalid handle length', {
+                index: i,
+                handle: h.substring(0, 20) + '...',
+                expected: 32,
+                actual: b.length,
+            });
+            throw new FheError({ code: FheErrorCode.InvalidArgument, message: `the length of handle ${i} != 32 bytes` });
+        }
+        return b;
+    });
+    // Validate and convert signatures to bytes
+    logger.trace('[encodeProofData] Validating signatures');
+    const sigBytes = signatures.map((s, i) => {
+        const b = ethers.getBytes(s);
+        if (b.length !== 65) {
+            logger.error('[encodeProofData] Invalid signature length', {
+                index: i,
+                signature: s.substring(0, 20) + '...',
+                expected: 65,
+                actual: b.length,
+            });
+            throw new FheError({ code: FheErrorCode.InvalidArgument, message: `the length of signature ${i} != 65 bytes` });
+        }
+        return b;
+    });
+    // ============================================================================
+    // Step 2: Build Encoded Proof
+    // ============================================================================
+    // Calculate total length: header(2) + handles(32*n) + signatures(65*m) + extraData
+    const totalLen = 1 + 1 + 32 * numHandles + 65 * numSigners + extraData.length;
+    const proof = new Uint8Array(totalLen);
+    let offset = 0;
+    logger.trace('[encodeProofData] Encoding proof data', {
+        totalLength: totalLen,
+        headerSize: 2,
+        handlesSize: 32 * numHandles,
+        signaturesSize: 65 * numSigners,
+        extraDataSize: extraData.length,
+    });
+    // Header: numHandles + numSigners (1 byte each)
+    proof[offset++] = numHandles;
+    proof[offset++] = numSigners;
+    // Handles (32 bytes each)
+    for (let i = 0; i < handlesBytes.length; i++) {
+        const b = handlesBytes[i];
+        proof.set(b, offset);
+        offset += 32;
+        logger.trace('[encodeProofData] Encoded handle', {
+            index: i,
+            offset: offset - 32,
+            size: b.length,
+        });
+    }
+    // Signatures (65 bytes each)
+    for (let i = 0; i < sigBytes.length; i++) {
+        const b = sigBytes[i];
+        proof.set(b, offset);
+        offset += 65;
+        logger.trace('[encodeProofData] Encoded signature', {
+            index: i,
+            offset: offset - 65,
+            size: b.length,
+        });
+    }
+    // Extra data (variable length)
+    if (extraData.length > 0) {
+        proof.set(extraData, offset);
+        offset += extraData.length;
+        logger.trace('[encodeProofData] Encoded extra data', {
+            size: extraData.length,
+            offset: offset - extraData.length,
+        });
+    }
+    // Verify encoding offset matches total length
+    if (offset !== totalLen) {
+        logger.error('[encodeProofData] Length mismatch', {
+            offset,
+            totalLen,
+            diff: offset - totalLen,
+        });
+        throw new FheError({ code: FheErrorCode.Internal, message: `proof encoding length mismatch: offset(${offset}) !== totalLen(${totalLen})` });
+    }
+    logger.info('[encodeProofData] Proof encoded successfully', {
+        totalBytes: totalLen,
+        numHandles,
+        numSigners,
+        extraDataSize: extraData.length,
+    });
+    return proof;
+}
+//# sourceMappingURL=input-proof-p.js.map

package/dist/jazz/input-proof-p.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"input-proof-p.js","sourceRoot":"","sources":["../../src/jazz/input-proof-p.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAK3C,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAqEvD,+EAA+E;AAC/E,oBAAoB;AACpB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,gCAAsE,CAAC;AAElH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAA0B;IAC1D,kBAAkB;IAClB,sCAAsC;IACtC,yCAAyC;IACzC,0CAA0C;IAC1C,oDAAoD;IACpD,cAAc;IACd,gFAAgF;IAChF,yFAAyF;IACzF,qDAAqD;IACrD,8BAA8B,EAAE;QAC9B,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE;QACxC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE;QACxC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,SAAS,EAAE;QAC5C,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE;QACpC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE;KACrC;CACO,CAAC;AAEX,+EAA+E;AAC/E,yBAAyB;AACzB,+EAA+E;AAE/E;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,MAAmB,EACnB,MAKC,EACD,MAA6B;IAE7B,eAAe;IACf,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,2CAA2C,EAAE,WAAW,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAEnG,+EAA+E;IAC/E,2CAA2C;IAC3C,+EAA+E;IAE/E,MAAM,MAAM,GAAG;QACb,IAAI,EAAE,wBAAwB;QAC9B,OAAO,EAAE,GAAG;QACZ,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;KACnC,CAAC;IAEX,MAAM,KAAK,GAAG,qBAAqB,CAAC;IACpC,MAAM,WAAW,GAAG,gCAAgC,CAAC;IAErD,MAAM,OAAO,GAA4B;QACvC,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC;QAC9B,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,SAAS,EAAE,MAAM,CAAC,SAAS;KAC5B,CAAC;IAEF,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,mDAAmD;QACrE,WAAW,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAEzD,+EAA+E;IAC/E,mCAAmC;IACnC,+EAA+E;IAE/E,MAAM,iBAAiB,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IAC7C,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,4DAA4D,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC;QAC5F,MAAM,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE,OAAO,EAAE,iBAAiB,WAAW,sBAAsB,EAAE,CAAC,CAAC;IACnH,CAAC;IAED,MAAM,WAAW,GAAqC;QACpD,CAAC,WAAW,CAAC,EAAE,CAAC,GAAG,iBAAiB,CAAC;KACtC,CAAC;IAEF,MAAM,UAAU,GAAG,MAAM,CAAC,0BAA0B,CAAC;IACrD,MAAM,kBAAkB,GAAG,MAAM,OAAO,CAAC,GAAG,CAC1C,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,SAAmB,EAAE,KAAa,EAAE,EAAE;QAC1D,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;YACtF,MAAM,CAAC,KAAK,CAAC,yDAAyD,EAAE;gBACtE,KAAK;gBACL,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK;gBAC7C,aAAa;aACd,CAAC,CAAC;YACH,OAAO,aAAa,CAAC;QACvB,CAAC;QAAC,OAAO,KAAU,EAAE,CAAC;YACpB,MAAM,CAAC,KAAK,CAAC,iEAAiE,EAAE;gBAC9E,KAAK;gBACL,KAAK,EAAE,KAAK,CAAC,OAAO;aACrB,CAAC,CAAC;YACH,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,KAAK,CAAC,yDAAyD,EAAE;QACtE,kBAAkB;KACnB,CAAC,CAAC;IAEH,+EAA+E;IAC/E,+CAA+C;IAC/C,+EAA+E;IAC/E,MAAM,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,GAAG,MAAM,yBAAyB,CAAC,MAAM,CAAC,CAAC;IAE3F,gEAAgE;IAChE,MAAM,SAAS,GAAY,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9F,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,CAAC,KAAK,CAAC,wEAAwE,EAAE;YACrF,kBAAkB;YAClB,cAAc,EAAE,iBAAiB;SAClC,CAAC,CAAC;QACH,MAAM,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,aAAa,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;IACjG,CAAC;IAED,0BAA0B;IAC1B,IAAI,kBAAkB,CAAC,MAAM,GAAG,mBAAmB,EAAE,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,uDAAuD,EAAE;YACpE,cAAc,EAAE,kBAAkB,CAAC,MAAM;YACzC,SAAS,EAAE,mBAAmB;SAC/B,CAAC,CAAC;QACH,MAAM,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,eAAe,EAAE,OAAO,EAAE,gDAAgD,EAAE,CAAC,CAAC;IACxH,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,0EAA0E,EAAE;QACtF,cAAc,EAAE,kBAAkB,CAAC,MAAM;QACzC,SAAS,EAAE,mBAAmB;KAC/B,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,iBAAiB;AACjB,+EAA+E;AAE/E;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,eAAe,CAC7B,SAAmB,EACnB,UAAoB,EACpB,SAAqB;IAErB,eAAe;IACf,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,yBAAyB,EAAE,WAAW,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;IAEnG,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC;IACpC,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC;IAErC,+EAA+E;IAC/E,0BAA0B;IAC1B,+EAA+E;IAE/E,0CAA0C;IAC1C,IAAI,UAAU,GAAG,GAAG,IAAI,UAAU,GAAG,GAAG,EAAE,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,qCAAqC,EAAE;YAClD,UAAU;YACV,UAAU;SACX,CAAC,CAAC;QACH,MAAM,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,eAAe,EAAE,OAAO,EAAE,cAAc,UAAU,kBAAkB,UAAU,qBAAqB,EAAE,CAAC,CAAC;IACjJ,CAAC;IAED,wCAAwC;IACxC,MAAM,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;IACrD,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC1C,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;YACpB,MAAM,CAAC,KAAK,CAAC,yCAAyC,EAAE;gBACtD,KAAK,EAAE,CAAC;gBACR,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK;gBAClC,QAAQ,EAAE,EAAE;gBACZ,MAAM,EAAE,CAAC,CAAC,MAAM;aACjB,CAAC,CAAC;YACH,MAAM,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,eAAe,EAAE,OAAO,EAAE,wBAAwB,CAAC,cAAc,EAAE,CAAC,CAAC;QAC/G,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;IAEH,2CAA2C;IAC3C,MAAM,CAAC,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACvC,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;YACpB,MAAM,CAAC,KAAK,CAAC,4CAA4C,EAAE;gBACzD,KAAK,EAAE,CAAC;gBACR,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK;gBACrC,QAAQ,EAAE,EAAE;gBACZ,MAAM,EAAE,CAAC,CAAC,MAAM;aACjB,CAAC,CAAC;YACH,MAAM,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,eAAe,EAAE,OAAO,EAAE,2BAA2B,CAAC,cAAc,EAAE,CAAC,CAAC;QAClH,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAC/E,8BAA8B;IAC9B,+EAA+E;IAE/E,mFAAmF;IACnF,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,UAAU,GAAG,EAAE,GAAG,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC;IAC9E,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC;IACvC,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,MAAM,CAAC,KAAK,CAAC,uCAAuC,EAAE;QACpD,WAAW,EAAE,QAAQ;QACrB,UAAU,EAAE,CAAC;QACb,WAAW,EAAE,EAAE,GAAG,UAAU;QAC5B,cAAc,EAAE,EAAE,GAAG,UAAU;QAC/B,aAAa,EAAE,SAAS,CAAC,MAAM;KAChC,CAAC,CAAC;IAEH,gDAAgD;IAChD,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,UAAU,CAAC;IAC7B,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,UAAU,CAAC;IAE7B,0BAA0B;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1B,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACrB,MAAM,IAAI,EAAE,CAAC;QACb,MAAM,CAAC,KAAK,CAAC,kCAAkC,EAAE;YAC/C,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,MAAM,GAAG,EAAE;YACnB,IAAI,EAAE,CAAC,CAAC,MAAM;SACf,CAAC,CAAC;IACL,CAAC;IAED,6BAA6B;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtB,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACrB,MAAM,IAAI,EAAE,CAAC;QACb,MAAM,CAAC,KAAK,CAAC,qCAAqC,EAAE;YAClD,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,MAAM,GAAG,EAAE;YACnB,IAAI,EAAE,CAAC,CAAC,MAAM;SACf,CAAC,CAAC;IACL,CAAC;IAED,+BAA+B;IAC/B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC7B,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC;QAC3B,MAAM,CAAC,KAAK,CAAC,sCAAsC,EAAE;YACnD,IAAI,EAAE,SAAS,CAAC,MAAM;YACtB,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM;SAClC,CAAC,CAAC;IACL,CAAC;IAED,8CAA8C;IAC9C,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,CAAC,KAAK,CAAC,mCAAmC,EAAE;YAChD,MAAM;YACN,QAAQ;YACR,IAAI,EAAE,MAAM,GAAG,QAAQ;SACxB,CAAC,CAAC;QACH,MAAM,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE,OAAO,EAAE,0CAA0C,MAAM,kBAAkB,QAAQ,GAAG,EAAE,CAAC,CAAC;IAC9I,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,8CAA8C,EAAE;QAC1D,UAAU,EAAE,QAAQ;QACpB,UAAU;QACV,UAAU;QACV,aAAa,EAAE,SAAS,CAAC,MAAM;KAChC,CAAC,CAAC;IAEH,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/jazz/jazz-client-i.d.ts

@@ -0,0 +1,16 @@
+import { EncryptParameters, EncryptPayload, EncryptResult } from "./encrypt.js";
+import { GenerateTransportKeyPairResult } from "./key-pair.js";
+import { SignDecryptionPermitParameters, SignedDecryptionPermitResult } from "./permit.js";
+import { PublicDecryptParameters, PublicDecryptPayload, PublicDecryptResult } from "./public-decrypt.js";
+import { UserDecryptParameters, UserDecryptPayload, UserDecryptResult } from "./user-decrypt.js";
+import type { FheTransformSDK } from "../sdk/fhetransform-sdk.js";
+export interface JazzConfig {
+}
+export interface IJazzClient {
+    readonly sdk: FheTransformSDK;
+    encryptValue<T extends EncryptPayload>(parameters: EncryptParameters<T>): Promise<EncryptResult<T>>;
+    decryptPublicValue<T extends PublicDecryptPayload>(parameters: PublicDecryptParameters<T>): Promise<PublicDecryptResult<T>>;
+    generateTransportKeyPair(): Promise<GenerateTransportKeyPairResult>;
+    signDecryptionPermit(parameters: SignDecryptionPermitParameters): Promise<SignedDecryptionPermitResult>;
+    decryptUserValue<T extends UserDecryptPayload>(parameters: UserDecryptParameters<T>): Promise<UserDecryptResult<T>>;
+}

package/dist/jazz/jazz-client-i.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=jazz-client-i.js.map

package/dist/jazz/jazz-client-i.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jazz-client-i.js","sourceRoot":"","sources":["../../src/jazz/jazz-client-i.ts"],"names":[],"mappings":""}