@zkproofport-ai/sdk 0.1.0

package/dist/signer.d.ts

@@ -0,0 +1,69 @@
+import { ethers } from 'ethers';
+/**
+ * Abstract signer interface for ProofPort proof generation.
+ * Enables different wallet providers (ethers.Wallet, CDP MPC, viem, etc.)
+ */
+export interface ProofportSigner {
+    getAddress(): string | Promise<string>;
+    signMessage(message: Uint8Array): Promise<string>;
+    signTypedData(domain: {
+        name: string;
+        version: string;
+        chainId: number;
+        verifyingContract: string;
+    }, types: Record<string, Array<{
+        name: string;
+        type: string;
+    }>>, message: Record<string, unknown>): Promise<string>;
+    sendTransaction(tx: {
+        to: string;
+        data: string;
+        value?: bigint;
+    }): Promise<{
+        hash: string;
+        wait(): Promise<{
+            status: number | null;
+        }>;
+    }>;
+}
+/**
+ * Adapter wrapping ethers.Wallet to implement ProofportSigner.
+ */
+export declare class EthersWalletSigner implements ProofportSigner {
+    private wallet;
+    constructor(wallet: ethers.Wallet);
+    getAddress(): string;
+    signMessage(message: Uint8Array): Promise<string>;
+    signTypedData(domain: {
+        name: string;
+        version: string;
+        chainId: number;
+        verifyingContract: string;
+    }, types: Record<string, Array<{
+        name: string;
+        type: string;
+    }>>, message: Record<string, unknown>): Promise<string>;
+    sendTransaction(tx: {
+        to: string;
+        data: string;
+        value?: bigint;
+    }): Promise<{
+        hash: string;
+        wait(): Promise<{
+            status: number | null;
+        }>;
+    }>;
+    /** Get the underlying ethers.Wallet (for cases needing direct access) */
+    getWallet(): ethers.Wallet;
+}
+/**
+ * Create a ProofportSigner from an ethers.Wallet.
+ * Convenience factory for the most common case.
+ */
+export declare function fromEthersWallet(wallet: ethers.Wallet): ProofportSigner;
+/**
+ * Create a ProofportSigner from a private key string.
+ * Optionally connects to a provider for transaction sending.
+ */
+export declare function fromPrivateKey(privateKey: string, provider?: ethers.Provider): ProofportSigner;
+//# sourceMappingURL=signer.d.ts.map

package/dist/signer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"signer.d.ts","sourceRoot":"","sources":["../src/signer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,UAAU,IAAI,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACvC,WAAW,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAClD,aAAa,CACX,MAAM,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,MAAM,CAAC;QAChB,iBAAiB,EAAE,MAAM,CAAC;KAC3B,EACD,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,EAC5D,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B,OAAO,CAAC,MAAM,CAAC,CAAC;IACnB,eAAe,CAAC,EAAE,EAAE;QAClB,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,MAAM,CAAC;QACb,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,GAAG,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,IAAI,OAAO,CAAC;YAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;SAAE,CAAC,CAAA;KAAE,CAAC,CAAC;CAC3E;AAED;;GAEG;AACH,qBAAa,kBAAmB,YAAW,eAAe;IACxD,OAAO,CAAC,MAAM,CAAgB;gBAElB,MAAM,EAAE,MAAM,CAAC,MAAM;IAIjC,UAAU,IAAI,MAAM;IAId,WAAW,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAIjD,aAAa,CACjB,MAAM,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,MAAM,CAAC;QAChB,iBAAiB,EAAE,MAAM,CAAC;KAC3B,EACD,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,EAC5D,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B,OAAO,CAAC,MAAM,CAAC;IAIZ,eAAe,CAAC,EAAE,EAAE;QACxB,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,MAAM,CAAC;QACb,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,GAAG,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,IAAI,OAAO,CAAC;YAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;SAAE,CAAC,CAAA;KAAE,CAAC;IAWzE,yEAAyE;IACzE,SAAS,IAAI,MAAM,CAAC,MAAM;CAG3B;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,GAAG,eAAe,CAEvE;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,QAAQ,GAAG,eAAe,CAK9F"}

package/dist/signer.js

@@ -0,0 +1,51 @@
+import { ethers } from 'ethers';
+/**
+ * Adapter wrapping ethers.Wallet to implement ProofportSigner.
+ */
+export class EthersWalletSigner {
+    wallet;
+    constructor(wallet) {
+        this.wallet = wallet;
+    }
+    getAddress() {
+        return this.wallet.address;
+    }
+    async signMessage(message) {
+        return this.wallet.signMessage(message);
+    }
+    async signTypedData(domain, types, message) {
+        return this.wallet.signTypedData(domain, types, message);
+    }
+    async sendTransaction(tx) {
+        const response = await this.wallet.sendTransaction(tx);
+        return {
+            hash: response.hash,
+            wait: async () => {
+                const receipt = await response.wait();
+                return { status: receipt?.status ?? null };
+            },
+        };
+    }
+    /** Get the underlying ethers.Wallet (for cases needing direct access) */
+    getWallet() {
+        return this.wallet;
+    }
+}
+/**
+ * Create a ProofportSigner from an ethers.Wallet.
+ * Convenience factory for the most common case.
+ */
+export function fromEthersWallet(wallet) {
+    return new EthersWalletSigner(wallet);
+}
+/**
+ * Create a ProofportSigner from a private key string.
+ * Optionally connects to a provider for transaction sending.
+ */
+export function fromPrivateKey(privateKey, provider) {
+    const wallet = provider
+        ? new ethers.Wallet(privateKey, provider)
+        : new ethers.Wallet(privateKey);
+    return new EthersWalletSigner(wallet);
+}
+//# sourceMappingURL=signer.js.map

package/dist/signer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"signer.js","sourceRoot":"","sources":["../src/signer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AA0BhC;;GAEG;AACH,MAAM,OAAO,kBAAkB;IACrB,MAAM,CAAgB;IAE9B,YAAY,MAAqB;QAC/B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;IAC7B,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,OAAmB;QACnC,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,aAAa,CACjB,MAKC,EACD,KAA4D,EAC5D,OAAgC;QAEhC,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,KAAK,CAAC,eAAe,CAAC,EAIrB;QACC,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;QACvD,OAAO;YACL,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,IAAI,EAAE,KAAK,IAAI,EAAE;gBACf,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACtC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,IAAI,IAAI,EAAE,CAAC;YAC7C,CAAC;SACF,CAAC;IACJ,CAAC;IAED,yEAAyE;IACzE,SAAS;QACP,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAqB;IACpD,OAAO,IAAI,kBAAkB,CAAC,MAAM,CAAC,CAAC;AACxC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,UAAkB,EAAE,QAA0B;IAC3E,MAAM,MAAM,GAAG,QAAQ;QACrB,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC;QACzC,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAClC,OAAO,IAAI,kBAAkB,CAAC,MAAM,CAAC,CAAC;AACxC,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,136 @@
+/** Client-friendly circuit aliases. */
+export type CircuitName = 'coinbase_kyc' | 'coinbase_country';
+/** Canonical circuit IDs matching Nargo.toml names. */
+export type CircuitId = 'coinbase_attestation' | 'coinbase_country_attestation';
+/** Map client-friendly names to canonical circuit IDs. */
+export declare const CIRCUIT_NAME_MAP: Record<CircuitName, CircuitId>;
+/** Map canonical circuit IDs back to client-friendly names. */
+export declare const CIRCUIT_ID_MAP: Record<CircuitId, CircuitName>;
+export interface ClientConfig {
+    /** proofport-ai server URL (e.g. https://stg-ai.zkproofport.app) */
+    baseUrl: string;
+    /** Base Mainnet RPC for EAS attestation fetching */
+    easRpcUrl?: string;
+    /** EAS GraphQL endpoint */
+    easGraphqlUrl?: string;
+}
+export interface PaymentInfo {
+    nonce: string;
+    recipient: string;
+    amount: number;
+    asset: string;
+    network: string;
+    instruction: string;
+}
+export interface PaymentRequirements {
+    scheme: string;
+    network: string;
+    maxAmountRequired: string;
+    resource: string;
+    description: string;
+    mimeType: string;
+    payTo: string;
+    extra: {
+        name: string;
+        version: string;
+        nonce: string;
+    };
+}
+export interface ChallengeResponse {
+    error: string;
+    message: string;
+    nonce: string;
+    payment: PaymentRequirements;
+}
+export interface ProveInputs {
+    signal_hash: string;
+    nullifier: string;
+    scope_bytes: string;
+    merkle_root: string;
+    user_address: string;
+    signature: string;
+    user_pubkey_x: string;
+    user_pubkey_y: string;
+    raw_transaction: string;
+    tx_length: number;
+    coinbase_attester_pubkey_x: string;
+    coinbase_attester_pubkey_y: string;
+    merkle_proof: string[];
+    leaf_index: number;
+    depth: number;
+    country_list?: string[];
+    is_included?: boolean;
+}
+export interface ProveRequest {
+    circuit: CircuitName;
+    inputs: ProveInputs;
+}
+export interface ProveResponse {
+    proof: string;
+    publicInputs: string;
+    proofWithInputs: string;
+    attestation: {
+        document: string;
+        proof_hash: string;
+        verification: {
+            rootCaValid: boolean;
+            chainValid: boolean;
+            signatureValid: boolean;
+            pcrs: Record<number, string>;
+        };
+    } | null;
+    timing: {
+        totalMs: number;
+        paymentVerifyMs?: number;
+        inputBuildMs?: number;
+        proveMs?: number;
+    };
+    verification: {
+        chainId: number;
+        verifierAddress: string;
+        rpcUrl: string;
+    } | null;
+}
+export interface VerifyResult {
+    valid: boolean;
+    transactionHash?: string;
+    error?: string;
+}
+export interface EASAttestation {
+    id: string;
+    txid: string;
+    recipient: string;
+    attester: string;
+    time: number;
+    expirationTime: number;
+    schemaId: string;
+}
+export interface AttestationData {
+    attestation: EASAttestation;
+    rawTransaction: string;
+}
+export interface ProofParams {
+    circuit: CircuitName;
+    /** Scope string for the proof (defaults to "proofport") */
+    scope?: string;
+    /** Country codes for the country circuit (e.g. ["US", "KR"]) */
+    countryList?: string[];
+    /** Whether the country list is an inclusion or exclusion list */
+    isIncluded?: boolean;
+}
+export interface ProofResult {
+    proof: string;
+    publicInputs: string;
+    proofWithInputs: string;
+    paymentTxHash: string;
+    attestation: ProveResponse['attestation'];
+    timing: ProveResponse['timing'];
+    verification: ProveResponse['verification'];
+}
+export interface StepResult<T = unknown> {
+    step: number;
+    name: string;
+    data: T;
+    durationMs: number;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAEA,uCAAuC;AACvC,MAAM,MAAM,WAAW,GAAG,cAAc,GAAG,kBAAkB,CAAC;AAE9D,uDAAuD;AACvD,MAAM,MAAM,SAAS,GAAG,sBAAsB,GAAG,8BAA8B,CAAC;AAEhF,0DAA0D;AAC1D,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,WAAW,EAAE,SAAS,CAG3D,CAAC;AAEF,+DAA+D;AAC/D,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,CAGzD,CAAC;AAIF,MAAM,WAAW,YAAY;IAC3B,oEAAoE;IACpE,OAAO,EAAE,MAAM,CAAC;IAChB,oDAAoD;IACpD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,2BAA2B;IAC3B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAID,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;CACrB;AAID,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CACzD;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,mBAAmB,CAAC;CAC9B;AAID,MAAM,WAAW,WAAW;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,0BAA0B,EAAE,MAAM,CAAC;IACnC,0BAA0B,EAAE,MAAM,CAAC;IACnC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,WAAW,CAAC;IACrB,MAAM,EAAE,WAAW,CAAC;CACrB;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE;QACX,QAAQ,EAAE,MAAM,CAAC;QACjB,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE;YACZ,WAAW,EAAE,OAAO,CAAC;YACrB,UAAU,EAAE,OAAO,CAAC;YACpB,cAAc,EAAE,OAAO,CAAC;YACxB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;SAC9B,CAAC;KACH,GAAG,IAAI,CAAC;IACT,MAAM,EAAE;QACN,OAAO,EAAE,MAAM,CAAC;QAChB,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,OAAO,CAAC,EAAE,MAAM,CAAC;KAClB,CAAC;IACF,YAAY,EAAE;QACZ,OAAO,EAAE,MAAM,CAAC;QAChB,eAAe,EAAE,MAAM,CAAC;QACxB,MAAM,EAAE,MAAM,CAAC;KAChB,GAAG,IAAI,CAAC;CACV;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,OAAO,CAAC;IACf,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAID,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,cAAc,EAAE,MAAM,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,WAAW,EAAE,cAAc,CAAC;IAC5B,cAAc,EAAE,MAAM,CAAC;CACxB;AAID,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,WAAW,CAAC;IACrB,2DAA2D;IAC3D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,gEAAgE;IAChE,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,iEAAiE;IACjE,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;IAC1C,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;IAChC,YAAY,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;CAC7C;AAID,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,OAAO;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,CAAC,CAAC;IACR,UAAU,EAAE,MAAM,CAAC;CACpB"}

package/dist/types.js

@@ -0,0 +1,12 @@
+// ─── Circuit name mappings ──────────────────────────────────────────────
+/** Map client-friendly names to canonical circuit IDs. */
+export const CIRCUIT_NAME_MAP = {
+    coinbase_kyc: 'coinbase_attestation',
+    coinbase_country: 'coinbase_country_attestation',
+};
+/** Map canonical circuit IDs back to client-friendly names. */
+export const CIRCUIT_ID_MAP = {
+    coinbase_attestation: 'coinbase_kyc',
+    coinbase_country_attestation: 'coinbase_country',
+};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAQ3E,0DAA0D;AAC1D,MAAM,CAAC,MAAM,gBAAgB,GAAmC;IAC9D,YAAY,EAAE,sBAAsB;IACpC,gBAAgB,EAAE,8BAA8B;CACjD,CAAC;AAEF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,cAAc,GAAmC;IAC5D,oBAAoB,EAAE,cAAc;IACpC,4BAA4B,EAAE,kBAAkB;CACjD,CAAC"}

package/dist/verify.d.ts

@@ -0,0 +1,29 @@
+import type { VerifyResult, ProveResponse } from './types.js';
+/**
+ * Verify a ZK proof on-chain using server-provided verification info.
+ *
+ * @param verification - Chain info from ProveResponse (chainId, verifierAddress, rpcUrl)
+ * @param proof - Raw proof hex
+ * @param publicInputs - Concatenated public inputs hex
+ */
+export declare function verifyOnChain(verification: {
+    chainId: number;
+    verifierAddress: string;
+    rpcUrl: string;
+}, proof: string, publicInputs: string): Promise<VerifyResult>;
+/**
+ * Verify a proof using the verification info from a ProveResponse.
+ * Convenience wrapper that extracts verification data from the prove result.
+ *
+ * @param result - The full ProveResponse from generateProof()
+ * @returns VerifyResult
+ *
+ * @example
+ * ```typescript
+ * const result = await generateProof(config, signers, params);
+ * const verified = await verifyProof(result);
+ * console.log(verified.valid); // true
+ * ```
+ */
+export declare function verifyProof(result: ProveResponse): Promise<VerifyResult>;
+//# sourceMappingURL=verify.d.ts.map

package/dist/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAkB9D;;;;;;GAMG;AACH,wBAAsB,aAAa,CACjC,YAAY,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EAC1E,KAAK,EAAE,MAAM,EACb,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,YAAY,CAAC,CAYvB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,WAAW,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC,CAK9E"}

package/dist/verify.js

@@ -0,0 +1,56 @@
+import { ethers } from 'ethers';
+const VERIFIER_ABI = [
+    'function verify(bytes calldata _proof, bytes32[] calldata _publicInputs) external view returns (bool)',
+];
+/**
+ * Split concatenated public inputs hex into array of bytes32 values.
+ */
+function splitPublicInputs(publicInputsHex) {
+    const hex = publicInputsHex.startsWith('0x') ? publicInputsHex.slice(2) : publicInputsHex;
+    const chunks = [];
+    for (let i = 0; i < hex.length; i += 64) {
+        chunks.push('0x' + hex.slice(i, i + 64));
+    }
+    return chunks;
+}
+/**
+ * Verify a ZK proof on-chain using server-provided verification info.
+ *
+ * @param verification - Chain info from ProveResponse (chainId, verifierAddress, rpcUrl)
+ * @param proof - Raw proof hex
+ * @param publicInputs - Concatenated public inputs hex
+ */
+export async function verifyOnChain(verification, proof, publicInputs) {
+    const provider = new ethers.JsonRpcProvider(verification.rpcUrl);
+    const verifier = new ethers.Contract(verification.verifierAddress, VERIFIER_ABI, provider);
+    const publicInputsArray = splitPublicInputs(publicInputs);
+    try {
+        const result = await verifier.verify(proof, publicInputsArray);
+        return { valid: result === true };
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        return { valid: false, error: `On-chain verification failed: ${message}` };
+    }
+}
+/**
+ * Verify a proof using the verification info from a ProveResponse.
+ * Convenience wrapper that extracts verification data from the prove result.
+ *
+ * @param result - The full ProveResponse from generateProof()
+ * @returns VerifyResult
+ *
+ * @example
+ * ```typescript
+ * const result = await generateProof(config, signers, params);
+ * const verified = await verifyProof(result);
+ * console.log(verified.valid); // true
+ * ```
+ */
+export async function verifyProof(result) {
+    if (!result.verification) {
+        return { valid: false, error: 'No verification info in response (verifier not deployed on this network)' };
+    }
+    return verifyOnChain(result.verification, result.proof, result.publicInputs);
+}
+//# sourceMappingURL=verify.js.map

package/dist/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGhC,MAAM,YAAY,GAAG;IACnB,uGAAuG;CACxG,CAAC;AAEF;;GAEG;AACH,SAAS,iBAAiB,CAAC,eAAuB;IAChD,MAAM,GAAG,GAAG,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC;IAC1F,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,YAA0E,EAC1E,KAAa,EACb,YAAoB;IAEpB,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,eAAe,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC3F,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,YAAY,CAAC,CAAC;IAE1D,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAC/D,OAAO,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,EAAE,CAAC;IACpC,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,iCAAiC,OAAO,EAAE,EAAE,CAAC;IAC7E,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,MAAqB;IACrD,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;QACzB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,0EAA0E,EAAE,CAAC;IAC7G,CAAC;IACD,OAAO,aAAa,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;AAC/E,CAAC"}

package/package.json

@@ -0,0 +1,34 @@
+{
+  "name": "@zkproofport-ai/sdk",
+  "version": "0.1.0",
+  "description": "Client SDK for ZKProofport proof generation",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    }
+  },
+  "scripts": {
+    "build": "tsc",
+    "typecheck": "tsc --noEmit"
+  },
+  "dependencies": {
+    "ethers": "^6.13.0"
+  },
+  "devDependencies": {
+    "typescript": "^5.6.0"
+  },
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/zkproofport/proofport-ai",
+    "directory": "packages/sdk"
+  }
+}