@permissionless-technologies/upp-sdk 0.3.3 → 0.3.5

package/dist/react/index.d.cts

@@ -638,6 +638,8 @@ interface SplitNoteParams {
     targetAmount: bigint;
     /** ASP ID to use for the proof (defaults to DEMO_ASP_ID if not provided) */
     aspId?: bigint;
+    /** Pre-fetched ASP proof from the service */
+    aspProof?: ASPProofParam;
 }
 interface SplitNoteBuildData {
     /** Transfer proof for contract call */
@@ -689,6 +691,12 @@ interface UseSwapReturn {
     /** Reset state */
     reset: () => void;
 }
+/** Pre-fetched ASP proof from the platform's ASP service */
+interface ASPProofParam {
+    root: bigint;
+    pathElements: bigint[];
+    pathIndices: number[];
+}
 interface PlaceOrderParams {
     /** Token to sell */
     sellToken: Address;
@@ -702,8 +710,10 @@ interface PlaceOrderParams {
     requiredFillerAspId?: bigint;
     /** Number of blocks until expiry */
     expiryBlocks: bigint;
-    /** ASP ID — must be a registered personal ASP */
+    /** ASP ID */
     aspId: bigint;
+    /** Pre-fetched ASP proof from the service. If omitted, falls back to local computation. */
+    aspProof?: ASPProofParam;
     /** Explicit note to spend (skips note selection). Used after auto-split. */
     noteOverride?: ShieldedNote;
 }
@@ -718,8 +728,10 @@ interface FillOrderParams {
     sellToken: Address;
     /** The order's buyToken (filler pays this) */
     buyToken: Address;
-    /** ASP ID — must be a registered personal ASP */
+    /** ASP ID */
     aspId: bigint;
+    /** Pre-fetched ASP proof from the service. If omitted, falls back to local computation. */
+    aspProof?: ASPProofParam;
     /** Explicit note to spend (skips note selection). Used after auto-split. */
     noteOverride?: ShieldedNote;
 }

package/dist/react/index.d.ts

@@ -638,6 +638,8 @@ interface SplitNoteParams {
     targetAmount: bigint;
     /** ASP ID to use for the proof (defaults to DEMO_ASP_ID if not provided) */
     aspId?: bigint;
+    /** Pre-fetched ASP proof from the service */
+    aspProof?: ASPProofParam;
 }
 interface SplitNoteBuildData {
     /** Transfer proof for contract call */
@@ -689,6 +691,12 @@ interface UseSwapReturn {
     /** Reset state */
     reset: () => void;
 }
+/** Pre-fetched ASP proof from the platform's ASP service */
+interface ASPProofParam {
+    root: bigint;
+    pathElements: bigint[];
+    pathIndices: number[];
+}
 interface PlaceOrderParams {
     /** Token to sell */
     sellToken: Address;
@@ -702,8 +710,10 @@ interface PlaceOrderParams {
     requiredFillerAspId?: bigint;
     /** Number of blocks until expiry */
     expiryBlocks: bigint;
-    /** ASP ID — must be a registered personal ASP */
+    /** ASP ID */
     aspId: bigint;
+    /** Pre-fetched ASP proof from the service. If omitted, falls back to local computation. */
+    aspProof?: ASPProofParam;
     /** Explicit note to spend (skips note selection). Used after auto-split. */
     noteOverride?: ShieldedNote;
 }
@@ -718,8 +728,10 @@ interface FillOrderParams {
     sellToken: Address;
     /** The order's buyToken (filler pays this) */
     buyToken: Address;
-    /** ASP ID — must be a registered personal ASP */
+    /** ASP ID */
     aspId: bigint;
+    /** Pre-fetched ASP proof from the service. If omitted, falls back to local computation. */
+    aspProof?: ASPProofParam;
     /** Explicit note to spend (skips note selection). Used after auto-split. */
     noteOverride?: ShieldedNote;
 }

package/dist/react/index.js

@@ -594,7 +594,41 @@ function UPPAccountProvider({
           }
           try {
             const currentNotes = store ? store.getNotes() : notes;
-            const spentSnarkNotes = currentNotes.filter((n) => n.status === "spent" && n.proofSystem !== "stark");
+            const snarkNotes = currentNotes.filter((n) => n.proofSystem !== "stark");
+            const unspentSnarkNotes = snarkNotes.filter((n) => n.status !== "spent");
+            if (unspentSnarkNotes.length > 0) {
+              const sdk2 = await loadSDK();
+              for (const note of unspentSnarkNotes) {
+                const correctLeaf = commitmentLeafMap.get(note.commitment.toLowerCase());
+                if (correctLeaf === void 0) continue;
+                const ownerSecret = BigInt(note.ownerSecret);
+                const commitment = BigInt(note.commitment);
+                const nullifier = await sdk2.poseidon([
+                  ownerSecret % 2736030358979909402780800718157159386076813972158567259200215660948447373041n,
+                  BigInt(correctLeaf),
+                  commitment
+                ]);
+                const nullifierHex = toHex(nullifier, { size: 32 });
+                const isUsed = await client.readContract({
+                  address: contractAddress,
+                  abi: [{
+                    type: "function",
+                    name: "nullifierUsed",
+                    inputs: [{ name: "", type: "bytes32" }],
+                    outputs: [{ name: "", type: "bool" }],
+                    stateMutability: "view"
+                  }],
+                  functionName: "nullifierUsed",
+                  args: [nullifierHex]
+                });
+                if (isUsed) {
+                  console.log(`[syncNotes] Marking note ${note.commitment.slice(0, 12)} as spent \u2014 nullifier found on-chain`);
+                  if (store) store.markSpent(note.commitment);
+                  repaired++;
+                }
+              }
+            }
+            const spentSnarkNotes = snarkNotes.filter((n) => n.status === "spent");
             if (spentSnarkNotes.length > 0) {
               const sdk2 = await loadSDK();
               for (const note of spentSnarkNotes) {
@@ -1567,7 +1601,7 @@ function usePoolTransfer(config) {
         const recipientNote = await createNoteForSelf(amount, origin, token);
         const changeNote = await createNoteForSelf(changeAmount, origin, token);
         const [transferModule, proofModule, aspModule] = await Promise.all([
-          import('../transfer-3QFLYTOI.js'),
+          import('../transfer-P4D57KJ5.js'),
           import('../proof-C4YBP6RY.js'),
           import('../asp-ZA3RGN7G.js')
         ]);
@@ -1726,7 +1760,7 @@ function useWithdraw(config) {
         const token = BigInt(selectedNote.token);
         setStage("creating_outputs");
         const [transferModule, proofModule, sdk] = await Promise.all([
-          import('../transfer-3QFLYTOI.js'),
+          import('../transfer-P4D57KJ5.js'),
           import('../proof-C4YBP6RY.js'),
           import('../index.js')
         ]);
@@ -2105,7 +2139,7 @@ function useSwap(config) {
         }
         setStage("creating_outputs");
         const [transferModule, proofModule, sdk, aspModule] = await Promise.all([
-          import('../transfer-3QFLYTOI.js'),
+          import('../transfer-P4D57KJ5.js'),
           import('../proof-C4YBP6RY.js'),
           import('../index.js'),
           import('../asp-ZA3RGN7G.js')
@@ -2152,7 +2186,7 @@ function useSwap(config) {
           BigInt(actualLeafIndex),
           storedCommitment
         ]);
-        const aspProofData = await generateASPProof2(aspId, origin, cfg.aspApprovedOrigins);
+        const aspProofData = params.aspProof ? { aspId, aspRoot: params.aspProof.root, aspPathElements: params.aspProof.pathElements, aspPathIndices: params.aspProof.pathIndices } : await generateASPProof2(aspId, origin, cfg.aspApprovedOrigins);
         const circuitInputs = {
           stateRoot: stateRootBI.toString(),
           aspRoot: aspProofData.aspRoot.toString(),
@@ -2257,7 +2291,7 @@ function useSwap(config) {
         }
         setStage("creating_outputs");
         const [transferModule, proofModule, sdk, aspModule] = await Promise.all([
-          import('../transfer-3QFLYTOI.js'),
+          import('../transfer-P4D57KJ5.js'),
           import('../proof-C4YBP6RY.js'),
           import('../index.js'),
           import('../asp-ZA3RGN7G.js')
@@ -2310,7 +2344,7 @@ function useSwap(config) {
           BigInt(actualLeafIndex),
           storedCommitmentF
         ]);
-        const aspProofData = await generateASPProof2(aspId, origin, cfg.aspApprovedOrigins);
+        const aspProofData = params.aspProof ? { aspId, aspRoot: params.aspProof.root, aspPathElements: params.aspProof.pathElements, aspPathIndices: params.aspProof.pathIndices } : await generateASPProof2(aspId, origin, cfg.aspApprovedOrigins);
         const circuitInputs = {
           stateRoot: stateRootBI.toString(),
           aspRoot: aspProofData.aspRoot.toString(),
@@ -2487,7 +2521,7 @@ function useSwap(config) {
           createNoteForSelf(changeAmount, origin, token)
         ]);
         const [transferModule, proofModule, aspModule] = await Promise.all([
-          import('../transfer-3QFLYTOI.js'),
+          import('../transfer-P4D57KJ5.js'),
           import('../proof-C4YBP6RY.js'),
           import('../asp-ZA3RGN7G.js')
         ]);
@@ -2507,7 +2541,7 @@ function useSwap(config) {
           token
         };
         const [noteProof] = await getMerkleProofsForNotes([spendableNote], leaves, tree);
-        const aspProof = await generateASPProof2(splitAspId ?? DEMO_ASP_ID, origin, cfg.aspApprovedOrigins);
+        const aspProof = params.aspProof ? { aspId: splitAspId ?? DEMO_ASP_ID, aspRoot: params.aspProof.root, aspPathElements: params.aspProof.pathElements, aspPathIndices: params.aspProof.pathIndices } : await generateASPProof2(splitAspId ?? DEMO_ASP_ID, origin, cfg.aspApprovedOrigins);
         setStage("generating_proof");
         const exactNoteWithAmount = { ...exactNoteData, amount: targetAmount };
         const changeNoteWithAmount = { ...changeNoteData, amount: changeAmount };