feat(demo): support proof

demo/README.md

@@ -31,6 +31,7 @@ npm install
 | `VITE_ADMIN_ADDRESS` | Admin/minter account address |
 | `VITE_ADMIN_KEY` | Admin account private key |
 | `VITE_ACCOUNTS` | JSON array of user accounts (see `.env.example`) |
+| `VITE_PROVING_SERVICE_URL` | Optional. Proving service URL (e.g. `http://136.115.124.93:3000`). If unset, the app uses the mock prover (`execute_view` only) |
 
 ## Running
 
@@ -85,6 +86,6 @@ Open http://localhost:5173.
 
 - **Vite + React + TypeScript** — single-page app
 - **SDK consumption** — `starknet-sdk` linked from `../sdk` (same as e2e)
-- **Proof provider** — `NoValidateProofProvider` calls `execute_view` directly (no real proving)
+- **Proof provider** — With `VITE_PROVING_SERVICE_URL` set, uses the real proving service; otherwise `NoValidateProofProvider` calls `execute_view` directly (mock, no real proof). In the browser, the real prover requires the service to allow CORS.
 - **Discovery** — `IndexerDiscoveryProvider` talks to the local discovery service
 - **Resource bounds** — hardcoded for integration sepolia (2x headroom over actual block prices)

demo/src/config.ts

@@ -17,6 +17,8 @@ export type AppConfig = {
   adminAddress: string;
   adminKey: string;
   accounts: AccountConfig[];
+  /** Proving service URL (e.g. http://136.115.124.93:3000). If set, uses real prover; otherwise mock. */
+  provingServiceUrl?: string;
 };
 
 function requireEnv(key: string): string {
@@ -44,5 +46,8 @@ export function loadConfig(): AppConfig {
     adminAddress: requireEnv("VITE_ADMIN_ADDRESS"),
     adminKey: requireEnv("VITE_ADMIN_KEY"),
     accounts,
+    provingServiceUrl: import.meta.env.VITE_PROVING_SERVICE_URL as
+      | string
+      | undefined,
   };
 }

demo/src/hooks/useTransactions.ts

@@ -125,6 +125,9 @@ export function useTransactions(
 
         const executeTx = await userAccount.execute(callAndProof.call, {
           resourceBounds: POOL_RESOURCE_BOUNDS,
+          ...(callAndProof.proof.proofFacts?.length
+            ? { proofFacts: callAndProof.proof.proofFacts }
+            : {}),
         });
         console.log(`[Deposit] pool tx: ${executeTx.transaction_hash}`);
         const receipt = await provider.waitForTransaction(
@@ -160,6 +163,9 @@ export function useTransactions(
 
         const executeTx = await userAccount.execute(callAndProof.call, {
           resourceBounds: POOL_RESOURCE_BOUNDS,
+          ...(callAndProof.proof.proofFacts?.length
+            ? { proofFacts: callAndProof.proof.proofFacts }
+            : {}),
         });
         console.log(`[Withdraw] pool tx: ${executeTx.transaction_hash}`);
         const receipt = await provider.waitForTransaction(
@@ -196,6 +202,9 @@ export function useTransactions(
 
         const executeTx = await userAccount.execute(callAndProof.call, {
           resourceBounds: POOL_RESOURCE_BOUNDS,
+          ...(callAndProof.proof.proofFacts?.length
+            ? { proofFacts: callAndProof.proof.proofFacts }
+            : {}),
         });
         console.log(`[Transfer] pool tx: ${executeTx.transaction_hash}`);
         const receipt = await provider.waitForTransaction(

demo/src/proof-provider.ts

@@ -34,6 +34,6 @@ export class NoValidateProofProvider implements ProofProviderInterface {
       entrypoint: "execute_view",
       calldata: invocation.calldata!,
     });
-    return { output: result, outputHash: undefined!, data: undefined! };
+    return { output: result, data: undefined!, proofFacts: [] };
   }
 }

demo/src/starknet.ts

@@ -1,5 +1,9 @@
 import { Account, RpcProvider, type constants } from "starknet";
-import { createPrivateTransfers, type PrivateTransfersInterface } from "starknet-sdk";
+import {
+  createPrivateTransfers,
+  ProvingServiceProofProvider,
+  type PrivateTransfersInterface,
+} from "starknet-sdk";
 // Direct import avoids pulling in Node-only modules from the testing barrel
 // @ts-expect-error — deep import into dist, not part of the declared exports
 import { IndexerDiscoveryProvider } from "starknet-sdk/dist/internal/indexer-discovery.js";
@@ -25,10 +29,18 @@ export function createTransfers(
   config: AppConfig,
 ): PrivateTransfersInterface {
   const discovery = new IndexerDiscoveryProvider(config.indexerUrl);
+  const provingProvider = config.provingServiceUrl
+    ? new ProvingServiceProofProvider(
+        config.provingServiceUrl,
+        provider,
+        config.chainId,
+        account,
+      )
+    : new NoValidateProofProvider(provider, config.chainId);
   return createPrivateTransfers({
     account,
     viewingKeyProvider: { getViewingKey: () => BigInt(accountConfig.viewingKey) },
-    provingProvider: new NoValidateProofProvider(provider, config.chainId),
+    provingProvider,
     discoveryProvider: discovery,
     poolContractAddress: config.poolAddress,
   });