@izi-noir/sdk 0.1.5 → 0.1.7

package/dist/index.cjs

@@ -191,8 +191,15 @@ async function initWasm() {
       } else {
         const moduleUrl = new URL(import_meta.url);
         const isSourceFile = moduleUrl.pathname.includes("/src/");
-        const wasmRelativePath = isSourceFile ? "../../wasm/web/arkworks_groth16_wasm.js" : "./wasm/web/arkworks_groth16_wasm.js";
-        const wasmJsUrl = new URL(wasmRelativePath, moduleUrl);
+        const isViteProduction = moduleUrl.pathname.includes("/assets/");
+        let wasmJsUrl;
+        if (isSourceFile) {
+          wasmJsUrl = new URL("../../wasm/web/arkworks_groth16_wasm.js", moduleUrl);
+        } else if (isViteProduction) {
+          wasmJsUrl = new URL("/wasm/web/arkworks_groth16_wasm.js", moduleUrl.origin);
+        } else {
+          wasmJsUrl = new URL("./wasm/web/arkworks_groth16_wasm.js", moduleUrl);
+        }
         const module2 = await import(
           /* @vite-ignore */
           wasmJsUrl.href
@@ -297,18 +304,12 @@ authors = [""]
           parameters.forEach((p, noirIndex) => {
             const r1csIndex = noirIndex + 1;
             witnessIndexMapping.set(noirIndex, r1csIndex);
-            console.log(`  Parameter "${p.name}" (${p.visibility}): noir[${noirIndex}] \u2192 R1CS w_${r1csIndex}`);
             if (p.visibility === "public") {
               publicR1csIndices.push(r1csIndex);
             } else if (p.visibility === "private") {
               privateR1csIndices.push(r1csIndex);
             }
           });
-          console.log("=== COMPILE: R1CS Witness Assignment ===");
-          console.log("Public R1CS indices:", publicR1csIndices);
-          console.log("Private R1CS indices:", privateR1csIndices);
-          console.log("Witness mapping:", Object.fromEntries(witnessIndexMapping));
-          console.log("=========================================");
           const r1cs = {
             num_witnesses: parameters.length + 1,
             // +1 for w_0
@@ -327,25 +328,18 @@ authors = [""]
               c: [["0x1", publicIdx]]
               // expected
             });
-            console.log(`  Added constraint: w_${privateIdx} * w_${privateIdx} = w_${publicIdx}`);
-          } else {
-            console.warn("Complex circuit detected - R1CS constraint generation may be incomplete");
           }
           const r1csJson = JSON.stringify(r1cs);
-          console.log("R1CS JSON:", r1csJson);
           let provingKey;
           let verifyingKey;
           let verifyingKeyGnark;
           if (this.config.cacheKeys) {
             try {
-              console.log("Running trusted setup from R1CS...");
               const setupResult = wasm.setup_from_r1cs(r1csJson);
               provingKey = setupResult.proving_key;
               verifyingKey = setupResult.verifying_key;
               verifyingKeyGnark = setupResult.verifying_key_gnark;
-              console.log("Setup complete!");
             } catch (error) {
-              console.error("Setup failed:", error);
               throw new Error(`R1CS setup failed: ${error instanceof Error ? error.message : String(error)}`);
             }
           }
@@ -382,60 +376,23 @@ authors = [""]
         const noir = new import_noir_js2.Noir(circuit);
         const { witness: compressedWitness } = await noir.execute(inputs);
         const witnessMapNoir = (0, import_acvm_js.decompressWitness)(compressedWitness);
-        console.log("=== ARKWORKS WASM DEBUG ===");
-        console.log("Circuit ABI parameters:", circuit.abi.parameters);
-        console.log("Inputs provided:", JSON.stringify(inputs));
-        console.log("Compressed witness size:", compressedWitness.length, "bytes");
-        console.log("Decompressed witness entries:", witnessMapNoir.size);
-        console.log("Witness map entries (first 10):");
-        const sortedWitness = Array.from(witnessMapNoir.entries()).sort(([a], [b]) => a - b);
-        for (const [index, value] of sortedWitness.slice(0, 10)) {
-          const strVal = String(value);
-          console.log(`  witness[${index}] = "${strVal.slice(0, 66)}${strVal.length > 66 ? "..." : ""}"`);
-          if (strVal.startsWith("0x")) {
-            try {
-              const decVal = BigInt(strVal).toString(10);
-              console.log(`    \u2192 decimal: ${decVal}`);
-            } catch {
-              console.log(`    \u2192 failed to parse as BigInt`);
-            }
-          }
-        }
         const witnessMap = {};
         const witnessMapping = circuit.witnessIndexMapping;
-        console.log("Converting noir witness to R1CS witness:");
         for (const [noirIndex, value] of witnessMapNoir.entries()) {
           const r1csIndex = witnessMapping.get(noirIndex) ?? noirIndex + 1;
           const strVal = String(value);
           witnessMap[r1csIndex.toString()] = strVal;
-          console.log(`  noir[${noirIndex}] \u2192 R1CS w_${r1csIndex} = ${strVal.slice(0, 20)}...`);
         }
         const witnessJson = JSON.stringify(witnessMap);
-        console.log("Witness JSON for prove:", witnessJson.slice(0, 200) + "...");
-        const r1csParsed = JSON.parse(circuit.r1csJson);
-        console.log("R1CS public_inputs:", r1csParsed.public_inputs);
-        console.log("R1CS private_inputs:", r1csParsed.private_inputs);
-        console.log("R1CS num_witnesses:", r1csParsed.num_witnesses);
-        console.log("R1CS constraints:", r1csParsed.constraints.length);
         let provingKey = circuit.provingKey;
         if (!provingKey) {
-          console.log("Running setup_from_r1cs...");
           const setupResult = wasm.setup_from_r1cs(circuit.r1csJson);
           provingKey = setupResult.proving_key;
           circuit.provingKey = provingKey;
           circuit.verifyingKey = setupResult.verifying_key;
           circuit.verifyingKeyGnark = setupResult.verifying_key_gnark;
         }
-        console.log("Generating proof from R1CS...");
         const proofResult = wasm.prove_from_r1cs(provingKey, circuit.r1csJson, witnessJson);
-        console.log("=== PROOF RESULT DEBUG ===");
-        console.log("Proof public inputs from arkworks:", proofResult.public_inputs);
-        proofResult.public_inputs.forEach((input, i) => {
-          const hexValue = input.startsWith("0x") ? input : `0x${input}`;
-          const decValue = BigInt(hexValue).toString(10);
-          console.log(`  Public input ${i}: ${input} (dec: ${decValue})`);
-        });
-        console.log("===========================");
         const proofBytes = base64ToUint8Array(proofResult.proof_gnark);
         return {
           proof: proofBytes,
@@ -1529,6 +1486,18 @@ var IziNoir = class _IziNoir {
     const networkConfig = NETWORK_CONFIG[this._network];
     const { Connection, Transaction, PublicKey } = await import("@solana/web3.js");
     const connection = new Connection(networkConfig.rpcUrl, "confirmed");
+    const vkPubkey = new PublicKey(vk);
+    const accountInfo = await connection.getAccountInfo(vkPubkey);
+    if (!accountInfo) {
+      throw new Error(
+        `VK account ${vk} does not exist on ${this._network}. Did deploy() succeed? Check the account on explorer: ${getExplorerAccountUrl(this._network, vk)}`
+      );
+    }
+    if (accountInfo.data.length < 8) {
+      throw new Error(
+        `VK account ${vk} has invalid data (${accountInfo.data.length} bytes). Expected at least 8 bytes for a valid account.`
+      );
+    }
     const builder = new SolanaTransactionBuilder({
       programId: networkConfig.programId,
       computeUnits: 4e5
@@ -1556,12 +1525,59 @@ var IziNoir = class _IziNoir {
     const { blockhash, lastValidBlockHeight } = await connection.getLatestBlockhash("confirmed");
     tx.recentBlockhash = blockhash;
     tx.feePayer = new PublicKey(wallet.publicKey.toBase58());
-    const signature = await wallet.sendTransaction(tx, connection);
-    await connection.confirmTransaction({
-      signature,
-      blockhash,
-      lastValidBlockHeight
-    });
+    try {
+      const simulation = await connection.simulateTransaction(tx);
+      if (simulation.value.err) {
+        const logs = simulation.value.logs?.join("\n") || "No logs available";
+        throw new Error(
+          `Transaction simulation failed:
+Error: ${JSON.stringify(simulation.value.err)}
+Logs:
+${logs}`
+        );
+      }
+    } catch (simError) {
+      if (simError instanceof Error && simError.message.includes("Transaction simulation failed")) {
+        throw simError;
+      }
+      const err = simError;
+      throw new Error(
+        `Failed to simulate transaction: ${err.message}
+VK Account: ${vk}
+Network: ${this._network}
+Proof size: ${proofData.proof.bytes.length} bytes
+Public inputs: ${proofData.publicInputs.hex.length} items`
+      );
+    }
+    let signature;
+    try {
+      signature = await wallet.sendTransaction(tx, connection);
+    } catch (sendError) {
+      const originalError = sendError;
+      const enhancedError = new Error(
+        `Failed to send verify transaction: ${originalError.message}
+VK Account: ${vk}
+Network: ${this._network}
+Proof size: ${proofData.proof.bytes.length} bytes
+Public inputs: ${proofData.publicInputs.hex.length} items`
+      );
+      enhancedError.cause = originalError;
+      throw enhancedError;
+    }
+    try {
+      await connection.confirmTransaction({
+        signature,
+        blockhash,
+        lastValidBlockHeight
+      });
+    } catch (confirmError) {
+      const err = confirmError;
+      throw new Error(
+        `Transaction sent but confirmation failed: ${err.message}
+Signature: ${signature}
+Check on explorer: ${getExplorerTxUrl(this._network, signature)}`
+      );
+    }
     return {
       verified: true,
       signature,

package/dist/index.js

@@ -172,8 +172,15 @@ async function initWasm() {
       } else {
         const moduleUrl = new URL(import.meta.url);
         const isSourceFile = moduleUrl.pathname.includes("/src/");
-        const wasmRelativePath = isSourceFile ? "../../wasm/web/arkworks_groth16_wasm.js" : "./wasm/web/arkworks_groth16_wasm.js";
-        const wasmJsUrl = new URL(wasmRelativePath, moduleUrl);
+        const isViteProduction = moduleUrl.pathname.includes("/assets/");
+        let wasmJsUrl;
+        if (isSourceFile) {
+          wasmJsUrl = new URL("../../wasm/web/arkworks_groth16_wasm.js", moduleUrl);
+        } else if (isViteProduction) {
+          wasmJsUrl = new URL("/wasm/web/arkworks_groth16_wasm.js", moduleUrl.origin);
+        } else {
+          wasmJsUrl = new URL("./wasm/web/arkworks_groth16_wasm.js", moduleUrl);
+        }
         const module = await import(
           /* @vite-ignore */
           wasmJsUrl.href
@@ -274,18 +281,12 @@ authors = [""]
           parameters.forEach((p, noirIndex) => {
             const r1csIndex = noirIndex + 1;
             witnessIndexMapping.set(noirIndex, r1csIndex);
-            console.log(`  Parameter "${p.name}" (${p.visibility}): noir[${noirIndex}] \u2192 R1CS w_${r1csIndex}`);
             if (p.visibility === "public") {
               publicR1csIndices.push(r1csIndex);
             } else if (p.visibility === "private") {
               privateR1csIndices.push(r1csIndex);
             }
           });
-          console.log("=== COMPILE: R1CS Witness Assignment ===");
-          console.log("Public R1CS indices:", publicR1csIndices);
-          console.log("Private R1CS indices:", privateR1csIndices);
-          console.log("Witness mapping:", Object.fromEntries(witnessIndexMapping));
-          console.log("=========================================");
           const r1cs = {
             num_witnesses: parameters.length + 1,
             // +1 for w_0
@@ -304,25 +305,18 @@ authors = [""]
               c: [["0x1", publicIdx]]
               // expected
             });
-            console.log(`  Added constraint: w_${privateIdx} * w_${privateIdx} = w_${publicIdx}`);
-          } else {
-            console.warn("Complex circuit detected - R1CS constraint generation may be incomplete");
           }
           const r1csJson = JSON.stringify(r1cs);
-          console.log("R1CS JSON:", r1csJson);
           let provingKey;
           let verifyingKey;
           let verifyingKeyGnark;
           if (this.config.cacheKeys) {
             try {
-              console.log("Running trusted setup from R1CS...");
               const setupResult = wasm.setup_from_r1cs(r1csJson);
               provingKey = setupResult.proving_key;
               verifyingKey = setupResult.verifying_key;
               verifyingKeyGnark = setupResult.verifying_key_gnark;
-              console.log("Setup complete!");
             } catch (error) {
-              console.error("Setup failed:", error);
               throw new Error(`R1CS setup failed: ${error instanceof Error ? error.message : String(error)}`);
             }
           }
@@ -359,60 +353,23 @@ authors = [""]
         const noir = new Noir2(circuit);
         const { witness: compressedWitness } = await noir.execute(inputs);
         const witnessMapNoir = decompressWitness(compressedWitness);
-        console.log("=== ARKWORKS WASM DEBUG ===");
-        console.log("Circuit ABI parameters:", circuit.abi.parameters);
-        console.log("Inputs provided:", JSON.stringify(inputs));
-        console.log("Compressed witness size:", compressedWitness.length, "bytes");
-        console.log("Decompressed witness entries:", witnessMapNoir.size);
-        console.log("Witness map entries (first 10):");
-        const sortedWitness = Array.from(witnessMapNoir.entries()).sort(([a], [b]) => a - b);
-        for (const [index, value] of sortedWitness.slice(0, 10)) {
-          const strVal = String(value);
-          console.log(`  witness[${index}] = "${strVal.slice(0, 66)}${strVal.length > 66 ? "..." : ""}"`);
-          if (strVal.startsWith("0x")) {
-            try {
-              const decVal = BigInt(strVal).toString(10);
-              console.log(`    \u2192 decimal: ${decVal}`);
-            } catch {
-              console.log(`    \u2192 failed to parse as BigInt`);
-            }
-          }
-        }
         const witnessMap = {};
         const witnessMapping = circuit.witnessIndexMapping;
-        console.log("Converting noir witness to R1CS witness:");
         for (const [noirIndex, value] of witnessMapNoir.entries()) {
           const r1csIndex = witnessMapping.get(noirIndex) ?? noirIndex + 1;
           const strVal = String(value);
           witnessMap[r1csIndex.toString()] = strVal;
-          console.log(`  noir[${noirIndex}] \u2192 R1CS w_${r1csIndex} = ${strVal.slice(0, 20)}...`);
         }
         const witnessJson = JSON.stringify(witnessMap);
-        console.log("Witness JSON for prove:", witnessJson.slice(0, 200) + "...");
-        const r1csParsed = JSON.parse(circuit.r1csJson);
-        console.log("R1CS public_inputs:", r1csParsed.public_inputs);
-        console.log("R1CS private_inputs:", r1csParsed.private_inputs);
-        console.log("R1CS num_witnesses:", r1csParsed.num_witnesses);
-        console.log("R1CS constraints:", r1csParsed.constraints.length);
         let provingKey = circuit.provingKey;
         if (!provingKey) {
-          console.log("Running setup_from_r1cs...");
           const setupResult = wasm.setup_from_r1cs(circuit.r1csJson);
           provingKey = setupResult.proving_key;
           circuit.provingKey = provingKey;
           circuit.verifyingKey = setupResult.verifying_key;
           circuit.verifyingKeyGnark = setupResult.verifying_key_gnark;
         }
-        console.log("Generating proof from R1CS...");
         const proofResult = wasm.prove_from_r1cs(provingKey, circuit.r1csJson, witnessJson);
-        console.log("=== PROOF RESULT DEBUG ===");
-        console.log("Proof public inputs from arkworks:", proofResult.public_inputs);
-        proofResult.public_inputs.forEach((input, i) => {
-          const hexValue = input.startsWith("0x") ? input : `0x${input}`;
-          const decValue = BigInt(hexValue).toString(10);
-          console.log(`  Public input ${i}: ${input} (dec: ${decValue})`);
-        });
-        console.log("===========================");
         const proofBytes = base64ToUint8Array(proofResult.proof_gnark);
         return {
           proof: proofBytes,
@@ -1461,6 +1418,18 @@ var IziNoir = class _IziNoir {
     const networkConfig = NETWORK_CONFIG[this._network];
     const { Connection, Transaction, PublicKey } = await import("@solana/web3.js");
     const connection = new Connection(networkConfig.rpcUrl, "confirmed");
+    const vkPubkey = new PublicKey(vk);
+    const accountInfo = await connection.getAccountInfo(vkPubkey);
+    if (!accountInfo) {
+      throw new Error(
+        `VK account ${vk} does not exist on ${this._network}. Did deploy() succeed? Check the account on explorer: ${getExplorerAccountUrl(this._network, vk)}`
+      );
+    }
+    if (accountInfo.data.length < 8) {
+      throw new Error(
+        `VK account ${vk} has invalid data (${accountInfo.data.length} bytes). Expected at least 8 bytes for a valid account.`
+      );
+    }
     const builder = new SolanaTransactionBuilder({
       programId: networkConfig.programId,
       computeUnits: 4e5
@@ -1488,12 +1457,59 @@ var IziNoir = class _IziNoir {
     const { blockhash, lastValidBlockHeight } = await connection.getLatestBlockhash("confirmed");
     tx.recentBlockhash = blockhash;
     tx.feePayer = new PublicKey(wallet.publicKey.toBase58());
-    const signature = await wallet.sendTransaction(tx, connection);
-    await connection.confirmTransaction({
-      signature,
-      blockhash,
-      lastValidBlockHeight
-    });
+    try {
+      const simulation = await connection.simulateTransaction(tx);
+      if (simulation.value.err) {
+        const logs = simulation.value.logs?.join("\n") || "No logs available";
+        throw new Error(
+          `Transaction simulation failed:
+Error: ${JSON.stringify(simulation.value.err)}
+Logs:
+${logs}`
+        );
+      }
+    } catch (simError) {
+      if (simError instanceof Error && simError.message.includes("Transaction simulation failed")) {
+        throw simError;
+      }
+      const err = simError;
+      throw new Error(
+        `Failed to simulate transaction: ${err.message}
+VK Account: ${vk}
+Network: ${this._network}
+Proof size: ${proofData.proof.bytes.length} bytes
+Public inputs: ${proofData.publicInputs.hex.length} items`
+      );
+    }
+    let signature;
+    try {
+      signature = await wallet.sendTransaction(tx, connection);
+    } catch (sendError) {
+      const originalError = sendError;
+      const enhancedError = new Error(
+        `Failed to send verify transaction: ${originalError.message}
+VK Account: ${vk}
+Network: ${this._network}
+Proof size: ${proofData.proof.bytes.length} bytes
+Public inputs: ${proofData.publicInputs.hex.length} items`
+      );
+      enhancedError.cause = originalError;
+      throw enhancedError;
+    }
+    try {
+      await connection.confirmTransaction({
+        signature,
+        blockhash,
+        lastValidBlockHeight
+      });
+    } catch (confirmError) {
+      const err = confirmError;
+      throw new Error(
+        `Transaction sent but confirmation failed: ${err.message}
+Signature: ${signature}
+Check on explorer: ${getExplorerTxUrl(this._network, signature)}`
+      );
+    }
     return {
       verified: true,
       signature,

package/dist/providers/arkworks.cjs

@@ -96,8 +96,15 @@ async function initWasm() {
       } else {
         const moduleUrl = new URL(import_meta.url);
         const isSourceFile = moduleUrl.pathname.includes("/src/");
-        const wasmRelativePath = isSourceFile ? "../../wasm/web/arkworks_groth16_wasm.js" : "./wasm/web/arkworks_groth16_wasm.js";
-        const wasmJsUrl = new URL(wasmRelativePath, moduleUrl);
+        const isViteProduction = moduleUrl.pathname.includes("/assets/");
+        let wasmJsUrl;
+        if (isSourceFile) {
+          wasmJsUrl = new URL("../../wasm/web/arkworks_groth16_wasm.js", moduleUrl);
+        } else if (isViteProduction) {
+          wasmJsUrl = new URL("/wasm/web/arkworks_groth16_wasm.js", moduleUrl.origin);
+        } else {
+          wasmJsUrl = new URL("./wasm/web/arkworks_groth16_wasm.js", moduleUrl);
+        }
         const module2 = await import(
           /* @vite-ignore */
           wasmJsUrl.href
@@ -202,18 +209,12 @@ authors = [""]
           parameters.forEach((p, noirIndex) => {
             const r1csIndex = noirIndex + 1;
             witnessIndexMapping.set(noirIndex, r1csIndex);
-            console.log(`  Parameter "${p.name}" (${p.visibility}): noir[${noirIndex}] \u2192 R1CS w_${r1csIndex}`);
             if (p.visibility === "public") {
               publicR1csIndices.push(r1csIndex);
             } else if (p.visibility === "private") {
               privateR1csIndices.push(r1csIndex);
             }
           });
-          console.log("=== COMPILE: R1CS Witness Assignment ===");
-          console.log("Public R1CS indices:", publicR1csIndices);
-          console.log("Private R1CS indices:", privateR1csIndices);
-          console.log("Witness mapping:", Object.fromEntries(witnessIndexMapping));
-          console.log("=========================================");
           const r1cs = {
             num_witnesses: parameters.length + 1,
             // +1 for w_0
@@ -232,25 +233,18 @@ authors = [""]
               c: [["0x1", publicIdx]]
               // expected
             });
-            console.log(`  Added constraint: w_${privateIdx} * w_${privateIdx} = w_${publicIdx}`);
-          } else {
-            console.warn("Complex circuit detected - R1CS constraint generation may be incomplete");
           }
           const r1csJson = JSON.stringify(r1cs);
-          console.log("R1CS JSON:", r1csJson);
           let provingKey;
           let verifyingKey;
           let verifyingKeyGnark;
           if (this.config.cacheKeys) {
             try {
-              console.log("Running trusted setup from R1CS...");
               const setupResult = wasm.setup_from_r1cs(r1csJson);
               provingKey = setupResult.proving_key;
               verifyingKey = setupResult.verifying_key;
               verifyingKeyGnark = setupResult.verifying_key_gnark;
-              console.log("Setup complete!");
             } catch (error) {
-              console.error("Setup failed:", error);
               throw new Error(`R1CS setup failed: ${error instanceof Error ? error.message : String(error)}`);
             }
           }
@@ -287,60 +281,23 @@ authors = [""]
         const noir = new import_noir_js.Noir(circuit);
         const { witness: compressedWitness } = await noir.execute(inputs);
         const witnessMapNoir = (0, import_acvm_js.decompressWitness)(compressedWitness);
-        console.log("=== ARKWORKS WASM DEBUG ===");
-        console.log("Circuit ABI parameters:", circuit.abi.parameters);
-        console.log("Inputs provided:", JSON.stringify(inputs));
-        console.log("Compressed witness size:", compressedWitness.length, "bytes");
-        console.log("Decompressed witness entries:", witnessMapNoir.size);
-        console.log("Witness map entries (first 10):");
-        const sortedWitness = Array.from(witnessMapNoir.entries()).sort(([a], [b]) => a - b);
-        for (const [index, value] of sortedWitness.slice(0, 10)) {
-          const strVal = String(value);
-          console.log(`  witness[${index}] = "${strVal.slice(0, 66)}${strVal.length > 66 ? "..." : ""}"`);
-          if (strVal.startsWith("0x")) {
-            try {
-              const decVal = BigInt(strVal).toString(10);
-              console.log(`    \u2192 decimal: ${decVal}`);
-            } catch {
-              console.log(`    \u2192 failed to parse as BigInt`);
-            }
-          }
-        }
         const witnessMap = {};
         const witnessMapping = circuit.witnessIndexMapping;
-        console.log("Converting noir witness to R1CS witness:");
         for (const [noirIndex, value] of witnessMapNoir.entries()) {
           const r1csIndex = witnessMapping.get(noirIndex) ?? noirIndex + 1;
           const strVal = String(value);
           witnessMap[r1csIndex.toString()] = strVal;
-          console.log(`  noir[${noirIndex}] \u2192 R1CS w_${r1csIndex} = ${strVal.slice(0, 20)}...`);
         }
         const witnessJson = JSON.stringify(witnessMap);
-        console.log("Witness JSON for prove:", witnessJson.slice(0, 200) + "...");
-        const r1csParsed = JSON.parse(circuit.r1csJson);
-        console.log("R1CS public_inputs:", r1csParsed.public_inputs);
-        console.log("R1CS private_inputs:", r1csParsed.private_inputs);
-        console.log("R1CS num_witnesses:", r1csParsed.num_witnesses);
-        console.log("R1CS constraints:", r1csParsed.constraints.length);
         let provingKey = circuit.provingKey;
         if (!provingKey) {
-          console.log("Running setup_from_r1cs...");
           const setupResult = wasm.setup_from_r1cs(circuit.r1csJson);
           provingKey = setupResult.proving_key;
           circuit.provingKey = provingKey;
           circuit.verifyingKey = setupResult.verifying_key;
           circuit.verifyingKeyGnark = setupResult.verifying_key_gnark;
         }
-        console.log("Generating proof from R1CS...");
         const proofResult = wasm.prove_from_r1cs(provingKey, circuit.r1csJson, witnessJson);
-        console.log("=== PROOF RESULT DEBUG ===");
-        console.log("Proof public inputs from arkworks:", proofResult.public_inputs);
-        proofResult.public_inputs.forEach((input, i) => {
-          const hexValue = input.startsWith("0x") ? input : `0x${input}`;
-          const decValue = BigInt(hexValue).toString(10);
-          console.log(`  Public input ${i}: ${input} (dec: ${decValue})`);
-        });
-        console.log("===========================");
         const proofBytes = base64ToUint8Array(proofResult.proof_gnark);
         return {
           proof: proofBytes,
@@ -643,6 +600,11 @@ function getExplorerTxUrl(network, signature) {
   const clusterParam = network === "mainnet-beta" /* Mainnet */ ? "" : `?cluster=${network}`;
   return `${config.explorerUrl.replace(/\?.*$/, "")}/tx/${signature}${clusterParam}`;
 }
+function getExplorerAccountUrl(network, address) {
+  const config = NETWORK_CONFIG[network];
+  const clusterParam = network === "mainnet-beta" /* Mainnet */ ? "" : `?cluster=${network}`;
+  return `${config.explorerUrl.replace(/\?.*$/, "")}/address/${address}${clusterParam}`;
+}
 
 // src/domain/types/provider.ts
 var Provider = /* @__PURE__ */ ((Provider2) => {
@@ -1402,6 +1364,18 @@ var IziNoir = class _IziNoir {
     const networkConfig = NETWORK_CONFIG[this._network];
     const { Connection, Transaction, PublicKey } = await import("@solana/web3.js");
     const connection = new Connection(networkConfig.rpcUrl, "confirmed");
+    const vkPubkey = new PublicKey(vk);
+    const accountInfo = await connection.getAccountInfo(vkPubkey);
+    if (!accountInfo) {
+      throw new Error(
+        `VK account ${vk} does not exist on ${this._network}. Did deploy() succeed? Check the account on explorer: ${getExplorerAccountUrl(this._network, vk)}`
+      );
+    }
+    if (accountInfo.data.length < 8) {
+      throw new Error(
+        `VK account ${vk} has invalid data (${accountInfo.data.length} bytes). Expected at least 8 bytes for a valid account.`
+      );
+    }
     const builder = new SolanaTransactionBuilder({
       programId: networkConfig.programId,
       computeUnits: 4e5
@@ -1429,12 +1403,59 @@ var IziNoir = class _IziNoir {
     const { blockhash, lastValidBlockHeight } = await connection.getLatestBlockhash("confirmed");
     tx.recentBlockhash = blockhash;
     tx.feePayer = new PublicKey(wallet.publicKey.toBase58());
-    const signature = await wallet.sendTransaction(tx, connection);
-    await connection.confirmTransaction({
-      signature,
-      blockhash,
-      lastValidBlockHeight
-    });
+    try {
+      const simulation = await connection.simulateTransaction(tx);
+      if (simulation.value.err) {
+        const logs = simulation.value.logs?.join("\n") || "No logs available";
+        throw new Error(
+          `Transaction simulation failed:
+Error: ${JSON.stringify(simulation.value.err)}
+Logs:
+${logs}`
+        );
+      }
+    } catch (simError) {
+      if (simError instanceof Error && simError.message.includes("Transaction simulation failed")) {
+        throw simError;
+      }
+      const err = simError;
+      throw new Error(
+        `Failed to simulate transaction: ${err.message}
+VK Account: ${vk}
+Network: ${this._network}
+Proof size: ${proofData.proof.bytes.length} bytes
+Public inputs: ${proofData.publicInputs.hex.length} items`
+      );
+    }
+    let signature;
+    try {
+      signature = await wallet.sendTransaction(tx, connection);
+    } catch (sendError) {
+      const originalError = sendError;
+      const enhancedError = new Error(
+        `Failed to send verify transaction: ${originalError.message}
+VK Account: ${vk}
+Network: ${this._network}
+Proof size: ${proofData.proof.bytes.length} bytes
+Public inputs: ${proofData.publicInputs.hex.length} items`
+      );
+      enhancedError.cause = originalError;
+      throw enhancedError;
+    }
+    try {
+      await connection.confirmTransaction({
+        signature,
+        blockhash,
+        lastValidBlockHeight
+      });
+    } catch (confirmError) {
+      const err = confirmError;
+      throw new Error(
+        `Transaction sent but confirmation failed: ${err.message}
+Signature: ${signature}
+Check on explorer: ${getExplorerTxUrl(this._network, signature)}`
+      );
+    }
     return {
       verified: true,
       signature,

package/dist/providers/arkworks.js

@@ -77,8 +77,15 @@ async function initWasm() {
       } else {
         const moduleUrl = new URL(import.meta.url);
         const isSourceFile = moduleUrl.pathname.includes("/src/");
-        const wasmRelativePath = isSourceFile ? "../../wasm/web/arkworks_groth16_wasm.js" : "./wasm/web/arkworks_groth16_wasm.js";
-        const wasmJsUrl = new URL(wasmRelativePath, moduleUrl);
+        const isViteProduction = moduleUrl.pathname.includes("/assets/");
+        let wasmJsUrl;
+        if (isSourceFile) {
+          wasmJsUrl = new URL("../../wasm/web/arkworks_groth16_wasm.js", moduleUrl);
+        } else if (isViteProduction) {
+          wasmJsUrl = new URL("/wasm/web/arkworks_groth16_wasm.js", moduleUrl.origin);
+        } else {
+          wasmJsUrl = new URL("./wasm/web/arkworks_groth16_wasm.js", moduleUrl);
+        }
         const module = await import(
           /* @vite-ignore */
           wasmJsUrl.href
@@ -179,18 +186,12 @@ authors = [""]
           parameters.forEach((p, noirIndex) => {
             const r1csIndex = noirIndex + 1;
             witnessIndexMapping.set(noirIndex, r1csIndex);
-            console.log(`  Parameter "${p.name}" (${p.visibility}): noir[${noirIndex}] \u2192 R1CS w_${r1csIndex}`);
             if (p.visibility === "public") {
               publicR1csIndices.push(r1csIndex);
             } else if (p.visibility === "private") {
               privateR1csIndices.push(r1csIndex);
             }
           });
-          console.log("=== COMPILE: R1CS Witness Assignment ===");
-          console.log("Public R1CS indices:", publicR1csIndices);
-          console.log("Private R1CS indices:", privateR1csIndices);
-          console.log("Witness mapping:", Object.fromEntries(witnessIndexMapping));
-          console.log("=========================================");
           const r1cs = {
             num_witnesses: parameters.length + 1,
             // +1 for w_0
@@ -209,25 +210,18 @@ authors = [""]
               c: [["0x1", publicIdx]]
               // expected
             });
-            console.log(`  Added constraint: w_${privateIdx} * w_${privateIdx} = w_${publicIdx}`);
-          } else {
-            console.warn("Complex circuit detected - R1CS constraint generation may be incomplete");
           }
           const r1csJson = JSON.stringify(r1cs);
-          console.log("R1CS JSON:", r1csJson);
           let provingKey;
           let verifyingKey;
           let verifyingKeyGnark;
           if (this.config.cacheKeys) {
             try {
-              console.log("Running trusted setup from R1CS...");
               const setupResult = wasm.setup_from_r1cs(r1csJson);
               provingKey = setupResult.proving_key;
               verifyingKey = setupResult.verifying_key;
               verifyingKeyGnark = setupResult.verifying_key_gnark;
-              console.log("Setup complete!");
             } catch (error) {
-              console.error("Setup failed:", error);
               throw new Error(`R1CS setup failed: ${error instanceof Error ? error.message : String(error)}`);
             }
           }
@@ -264,60 +258,23 @@ authors = [""]
         const noir = new Noir(circuit);
         const { witness: compressedWitness } = await noir.execute(inputs);
         const witnessMapNoir = decompressWitness(compressedWitness);
-        console.log("=== ARKWORKS WASM DEBUG ===");
-        console.log("Circuit ABI parameters:", circuit.abi.parameters);
-        console.log("Inputs provided:", JSON.stringify(inputs));
-        console.log("Compressed witness size:", compressedWitness.length, "bytes");
-        console.log("Decompressed witness entries:", witnessMapNoir.size);
-        console.log("Witness map entries (first 10):");
-        const sortedWitness = Array.from(witnessMapNoir.entries()).sort(([a], [b]) => a - b);
-        for (const [index, value] of sortedWitness.slice(0, 10)) {
-          const strVal = String(value);
-          console.log(`  witness[${index}] = "${strVal.slice(0, 66)}${strVal.length > 66 ? "..." : ""}"`);
-          if (strVal.startsWith("0x")) {
-            try {
-              const decVal = BigInt(strVal).toString(10);
-              console.log(`    \u2192 decimal: ${decVal}`);
-            } catch {
-              console.log(`    \u2192 failed to parse as BigInt`);
-            }
-          }
-        }
         const witnessMap = {};
         const witnessMapping = circuit.witnessIndexMapping;
-        console.log("Converting noir witness to R1CS witness:");
         for (const [noirIndex, value] of witnessMapNoir.entries()) {
           const r1csIndex = witnessMapping.get(noirIndex) ?? noirIndex + 1;
           const strVal = String(value);
           witnessMap[r1csIndex.toString()] = strVal;
-          console.log(`  noir[${noirIndex}] \u2192 R1CS w_${r1csIndex} = ${strVal.slice(0, 20)}...`);
         }
         const witnessJson = JSON.stringify(witnessMap);
-        console.log("Witness JSON for prove:", witnessJson.slice(0, 200) + "...");
-        const r1csParsed = JSON.parse(circuit.r1csJson);
-        console.log("R1CS public_inputs:", r1csParsed.public_inputs);
-        console.log("R1CS private_inputs:", r1csParsed.private_inputs);
-        console.log("R1CS num_witnesses:", r1csParsed.num_witnesses);
-        console.log("R1CS constraints:", r1csParsed.constraints.length);
         let provingKey = circuit.provingKey;
         if (!provingKey) {
-          console.log("Running setup_from_r1cs...");
           const setupResult = wasm.setup_from_r1cs(circuit.r1csJson);
           provingKey = setupResult.proving_key;
           circuit.provingKey = provingKey;
           circuit.verifyingKey = setupResult.verifying_key;
           circuit.verifyingKeyGnark = setupResult.verifying_key_gnark;
         }
-        console.log("Generating proof from R1CS...");
         const proofResult = wasm.prove_from_r1cs(provingKey, circuit.r1csJson, witnessJson);
-        console.log("=== PROOF RESULT DEBUG ===");
-        console.log("Proof public inputs from arkworks:", proofResult.public_inputs);
-        proofResult.public_inputs.forEach((input, i) => {
-          const hexValue = input.startsWith("0x") ? input : `0x${input}`;
-          const decValue = BigInt(hexValue).toString(10);
-          console.log(`  Public input ${i}: ${input} (dec: ${decValue})`);
-        });
-        console.log("===========================");
         const proofBytes = base64ToUint8Array(proofResult.proof_gnark);
         return {
           proof: proofBytes,
@@ -610,6 +567,11 @@ function getExplorerTxUrl(network, signature) {
   const clusterParam = network === "mainnet-beta" /* Mainnet */ ? "" : `?cluster=${network}`;
   return `${config.explorerUrl.replace(/\?.*$/, "")}/tx/${signature}${clusterParam}`;
 }
+function getExplorerAccountUrl(network, address) {
+  const config = NETWORK_CONFIG[network];
+  const clusterParam = network === "mainnet-beta" /* Mainnet */ ? "" : `?cluster=${network}`;
+  return `${config.explorerUrl.replace(/\?.*$/, "")}/address/${address}${clusterParam}`;
+}
 
 // src/domain/types/provider.ts
 var Provider = /* @__PURE__ */ ((Provider2) => {
@@ -1369,6 +1331,18 @@ var IziNoir = class _IziNoir {
     const networkConfig = NETWORK_CONFIG[this._network];
     const { Connection, Transaction, PublicKey } = await import("@solana/web3.js");
     const connection = new Connection(networkConfig.rpcUrl, "confirmed");
+    const vkPubkey = new PublicKey(vk);
+    const accountInfo = await connection.getAccountInfo(vkPubkey);
+    if (!accountInfo) {
+      throw new Error(
+        `VK account ${vk} does not exist on ${this._network}. Did deploy() succeed? Check the account on explorer: ${getExplorerAccountUrl(this._network, vk)}`
+      );
+    }
+    if (accountInfo.data.length < 8) {
+      throw new Error(
+        `VK account ${vk} has invalid data (${accountInfo.data.length} bytes). Expected at least 8 bytes for a valid account.`
+      );
+    }
     const builder = new SolanaTransactionBuilder({
       programId: networkConfig.programId,
       computeUnits: 4e5
@@ -1396,12 +1370,59 @@ var IziNoir = class _IziNoir {
     const { blockhash, lastValidBlockHeight } = await connection.getLatestBlockhash("confirmed");
     tx.recentBlockhash = blockhash;
     tx.feePayer = new PublicKey(wallet.publicKey.toBase58());
-    const signature = await wallet.sendTransaction(tx, connection);
-    await connection.confirmTransaction({
-      signature,
-      blockhash,
-      lastValidBlockHeight
-    });
+    try {
+      const simulation = await connection.simulateTransaction(tx);
+      if (simulation.value.err) {
+        const logs = simulation.value.logs?.join("\n") || "No logs available";
+        throw new Error(
+          `Transaction simulation failed:
+Error: ${JSON.stringify(simulation.value.err)}
+Logs:
+${logs}`
+        );
+      }
+    } catch (simError) {
+      if (simError instanceof Error && simError.message.includes("Transaction simulation failed")) {
+        throw simError;
+      }
+      const err = simError;
+      throw new Error(
+        `Failed to simulate transaction: ${err.message}
+VK Account: ${vk}
+Network: ${this._network}
+Proof size: ${proofData.proof.bytes.length} bytes
+Public inputs: ${proofData.publicInputs.hex.length} items`
+      );
+    }
+    let signature;
+    try {
+      signature = await wallet.sendTransaction(tx, connection);
+    } catch (sendError) {
+      const originalError = sendError;
+      const enhancedError = new Error(
+        `Failed to send verify transaction: ${originalError.message}
+VK Account: ${vk}
+Network: ${this._network}
+Proof size: ${proofData.proof.bytes.length} bytes
+Public inputs: ${proofData.publicInputs.hex.length} items`
+      );
+      enhancedError.cause = originalError;
+      throw enhancedError;
+    }
+    try {
+      await connection.confirmTransaction({
+        signature,
+        blockhash,
+        lastValidBlockHeight
+      });
+    } catch (confirmError) {
+      const err = confirmError;
+      throw new Error(
+        `Transaction sent but confirmation failed: ${err.message}
+Signature: ${signature}
+Check on explorer: ${getExplorerTxUrl(this._network, signature)}`
+      );
+    }
     return {
       verified: true,
       signature,

package/dist/providers/barretenberg.cjs

@@ -191,8 +191,15 @@ async function initWasm() {
       } else {
         const moduleUrl = new URL(import_meta.url);
         const isSourceFile = moduleUrl.pathname.includes("/src/");
-        const wasmRelativePath = isSourceFile ? "../../wasm/web/arkworks_groth16_wasm.js" : "./wasm/web/arkworks_groth16_wasm.js";
-        const wasmJsUrl = new URL(wasmRelativePath, moduleUrl);
+        const isViteProduction = moduleUrl.pathname.includes("/assets/");
+        let wasmJsUrl;
+        if (isSourceFile) {
+          wasmJsUrl = new URL("../../wasm/web/arkworks_groth16_wasm.js", moduleUrl);
+        } else if (isViteProduction) {
+          wasmJsUrl = new URL("/wasm/web/arkworks_groth16_wasm.js", moduleUrl.origin);
+        } else {
+          wasmJsUrl = new URL("./wasm/web/arkworks_groth16_wasm.js", moduleUrl);
+        }
         const module2 = await import(
           /* @vite-ignore */
           wasmJsUrl.href
@@ -297,18 +304,12 @@ authors = [""]
           parameters.forEach((p, noirIndex) => {
             const r1csIndex = noirIndex + 1;
             witnessIndexMapping.set(noirIndex, r1csIndex);
-            console.log(`  Parameter "${p.name}" (${p.visibility}): noir[${noirIndex}] \u2192 R1CS w_${r1csIndex}`);
             if (p.visibility === "public") {
               publicR1csIndices.push(r1csIndex);
             } else if (p.visibility === "private") {
               privateR1csIndices.push(r1csIndex);
             }
           });
-          console.log("=== COMPILE: R1CS Witness Assignment ===");
-          console.log("Public R1CS indices:", publicR1csIndices);
-          console.log("Private R1CS indices:", privateR1csIndices);
-          console.log("Witness mapping:", Object.fromEntries(witnessIndexMapping));
-          console.log("=========================================");
           const r1cs = {
             num_witnesses: parameters.length + 1,
             // +1 for w_0
@@ -327,25 +328,18 @@ authors = [""]
               c: [["0x1", publicIdx]]
               // expected
             });
-            console.log(`  Added constraint: w_${privateIdx} * w_${privateIdx} = w_${publicIdx}`);
-          } else {
-            console.warn("Complex circuit detected - R1CS constraint generation may be incomplete");
           }
           const r1csJson = JSON.stringify(r1cs);
-          console.log("R1CS JSON:", r1csJson);
           let provingKey;
           let verifyingKey;
           let verifyingKeyGnark;
           if (this.config.cacheKeys) {
             try {
-              console.log("Running trusted setup from R1CS...");
               const setupResult = wasm.setup_from_r1cs(r1csJson);
               provingKey = setupResult.proving_key;
               verifyingKey = setupResult.verifying_key;
               verifyingKeyGnark = setupResult.verifying_key_gnark;
-              console.log("Setup complete!");
             } catch (error) {
-              console.error("Setup failed:", error);
               throw new Error(`R1CS setup failed: ${error instanceof Error ? error.message : String(error)}`);
             }
           }
@@ -382,60 +376,23 @@ authors = [""]
         const noir = new import_noir_js2.Noir(circuit);
         const { witness: compressedWitness } = await noir.execute(inputs);
         const witnessMapNoir = (0, import_acvm_js.decompressWitness)(compressedWitness);
-        console.log("=== ARKWORKS WASM DEBUG ===");
-        console.log("Circuit ABI parameters:", circuit.abi.parameters);
-        console.log("Inputs provided:", JSON.stringify(inputs));
-        console.log("Compressed witness size:", compressedWitness.length, "bytes");
-        console.log("Decompressed witness entries:", witnessMapNoir.size);
-        console.log("Witness map entries (first 10):");
-        const sortedWitness = Array.from(witnessMapNoir.entries()).sort(([a], [b]) => a - b);
-        for (const [index, value] of sortedWitness.slice(0, 10)) {
-          const strVal = String(value);
-          console.log(`  witness[${index}] = "${strVal.slice(0, 66)}${strVal.length > 66 ? "..." : ""}"`);
-          if (strVal.startsWith("0x")) {
-            try {
-              const decVal = BigInt(strVal).toString(10);
-              console.log(`    \u2192 decimal: ${decVal}`);
-            } catch {
-              console.log(`    \u2192 failed to parse as BigInt`);
-            }
-          }
-        }
         const witnessMap = {};
         const witnessMapping = circuit.witnessIndexMapping;
-        console.log("Converting noir witness to R1CS witness:");
         for (const [noirIndex, value] of witnessMapNoir.entries()) {
           const r1csIndex = witnessMapping.get(noirIndex) ?? noirIndex + 1;
           const strVal = String(value);
           witnessMap[r1csIndex.toString()] = strVal;
-          console.log(`  noir[${noirIndex}] \u2192 R1CS w_${r1csIndex} = ${strVal.slice(0, 20)}...`);
         }
         const witnessJson = JSON.stringify(witnessMap);
-        console.log("Witness JSON for prove:", witnessJson.slice(0, 200) + "...");
-        const r1csParsed = JSON.parse(circuit.r1csJson);
-        console.log("R1CS public_inputs:", r1csParsed.public_inputs);
-        console.log("R1CS private_inputs:", r1csParsed.private_inputs);
-        console.log("R1CS num_witnesses:", r1csParsed.num_witnesses);
-        console.log("R1CS constraints:", r1csParsed.constraints.length);
         let provingKey = circuit.provingKey;
         if (!provingKey) {
-          console.log("Running setup_from_r1cs...");
           const setupResult = wasm.setup_from_r1cs(circuit.r1csJson);
           provingKey = setupResult.proving_key;
           circuit.provingKey = provingKey;
           circuit.verifyingKey = setupResult.verifying_key;
           circuit.verifyingKeyGnark = setupResult.verifying_key_gnark;
         }
-        console.log("Generating proof from R1CS...");
         const proofResult = wasm.prove_from_r1cs(provingKey, circuit.r1csJson, witnessJson);
-        console.log("=== PROOF RESULT DEBUG ===");
-        console.log("Proof public inputs from arkworks:", proofResult.public_inputs);
-        proofResult.public_inputs.forEach((input, i) => {
-          const hexValue = input.startsWith("0x") ? input : `0x${input}`;
-          const decValue = BigInt(hexValue).toString(10);
-          console.log(`  Public input ${i}: ${input} (dec: ${decValue})`);
-        });
-        console.log("===========================");
         const proofBytes = base64ToUint8Array(proofResult.proof_gnark);
         return {
           proof: proofBytes,
@@ -642,6 +599,11 @@ function getExplorerTxUrl(network, signature) {
   const clusterParam = network === "mainnet-beta" /* Mainnet */ ? "" : `?cluster=${network}`;
   return `${config.explorerUrl.replace(/\?.*$/, "")}/tx/${signature}${clusterParam}`;
 }
+function getExplorerAccountUrl(network, address) {
+  const config = NETWORK_CONFIG[network];
+  const clusterParam = network === "mainnet-beta" /* Mainnet */ ? "" : `?cluster=${network}`;
+  return `${config.explorerUrl.replace(/\?.*$/, "")}/address/${address}${clusterParam}`;
+}
 
 // src/domain/types/provider.ts
 var Provider = /* @__PURE__ */ ((Provider2) => {
@@ -1401,6 +1363,18 @@ var IziNoir = class _IziNoir {
     const networkConfig = NETWORK_CONFIG[this._network];
     const { Connection, Transaction, PublicKey } = await import("@solana/web3.js");
     const connection = new Connection(networkConfig.rpcUrl, "confirmed");
+    const vkPubkey = new PublicKey(vk);
+    const accountInfo = await connection.getAccountInfo(vkPubkey);
+    if (!accountInfo) {
+      throw new Error(
+        `VK account ${vk} does not exist on ${this._network}. Did deploy() succeed? Check the account on explorer: ${getExplorerAccountUrl(this._network, vk)}`
+      );
+    }
+    if (accountInfo.data.length < 8) {
+      throw new Error(
+        `VK account ${vk} has invalid data (${accountInfo.data.length} bytes). Expected at least 8 bytes for a valid account.`
+      );
+    }
     const builder = new SolanaTransactionBuilder({
       programId: networkConfig.programId,
       computeUnits: 4e5
@@ -1428,12 +1402,59 @@ var IziNoir = class _IziNoir {
     const { blockhash, lastValidBlockHeight } = await connection.getLatestBlockhash("confirmed");
     tx.recentBlockhash = blockhash;
     tx.feePayer = new PublicKey(wallet.publicKey.toBase58());
-    const signature = await wallet.sendTransaction(tx, connection);
-    await connection.confirmTransaction({
-      signature,
-      blockhash,
-      lastValidBlockHeight
-    });
+    try {
+      const simulation = await connection.simulateTransaction(tx);
+      if (simulation.value.err) {
+        const logs = simulation.value.logs?.join("\n") || "No logs available";
+        throw new Error(
+          `Transaction simulation failed:
+Error: ${JSON.stringify(simulation.value.err)}
+Logs:
+${logs}`
+        );
+      }
+    } catch (simError) {
+      if (simError instanceof Error && simError.message.includes("Transaction simulation failed")) {
+        throw simError;
+      }
+      const err = simError;
+      throw new Error(
+        `Failed to simulate transaction: ${err.message}
+VK Account: ${vk}
+Network: ${this._network}
+Proof size: ${proofData.proof.bytes.length} bytes
+Public inputs: ${proofData.publicInputs.hex.length} items`
+      );
+    }
+    let signature;
+    try {
+      signature = await wallet.sendTransaction(tx, connection);
+    } catch (sendError) {
+      const originalError = sendError;
+      const enhancedError = new Error(
+        `Failed to send verify transaction: ${originalError.message}
+VK Account: ${vk}
+Network: ${this._network}
+Proof size: ${proofData.proof.bytes.length} bytes
+Public inputs: ${proofData.publicInputs.hex.length} items`
+      );
+      enhancedError.cause = originalError;
+      throw enhancedError;
+    }
+    try {
+      await connection.confirmTransaction({
+        signature,
+        blockhash,
+        lastValidBlockHeight
+      });
+    } catch (confirmError) {
+      const err = confirmError;
+      throw new Error(
+        `Transaction sent but confirmation failed: ${err.message}
+Signature: ${signature}
+Check on explorer: ${getExplorerTxUrl(this._network, signature)}`
+      );
+    }
     return {
       verified: true,
       signature,

package/dist/providers/barretenberg.js

@@ -172,8 +172,15 @@ async function initWasm() {
       } else {
         const moduleUrl = new URL(import.meta.url);
         const isSourceFile = moduleUrl.pathname.includes("/src/");
-        const wasmRelativePath = isSourceFile ? "../../wasm/web/arkworks_groth16_wasm.js" : "./wasm/web/arkworks_groth16_wasm.js";
-        const wasmJsUrl = new URL(wasmRelativePath, moduleUrl);
+        const isViteProduction = moduleUrl.pathname.includes("/assets/");
+        let wasmJsUrl;
+        if (isSourceFile) {
+          wasmJsUrl = new URL("../../wasm/web/arkworks_groth16_wasm.js", moduleUrl);
+        } else if (isViteProduction) {
+          wasmJsUrl = new URL("/wasm/web/arkworks_groth16_wasm.js", moduleUrl.origin);
+        } else {
+          wasmJsUrl = new URL("./wasm/web/arkworks_groth16_wasm.js", moduleUrl);
+        }
         const module = await import(
           /* @vite-ignore */
           wasmJsUrl.href
@@ -274,18 +281,12 @@ authors = [""]
           parameters.forEach((p, noirIndex) => {
             const r1csIndex = noirIndex + 1;
             witnessIndexMapping.set(noirIndex, r1csIndex);
-            console.log(`  Parameter "${p.name}" (${p.visibility}): noir[${noirIndex}] \u2192 R1CS w_${r1csIndex}`);
             if (p.visibility === "public") {
               publicR1csIndices.push(r1csIndex);
             } else if (p.visibility === "private") {
               privateR1csIndices.push(r1csIndex);
             }
           });
-          console.log("=== COMPILE: R1CS Witness Assignment ===");
-          console.log("Public R1CS indices:", publicR1csIndices);
-          console.log("Private R1CS indices:", privateR1csIndices);
-          console.log("Witness mapping:", Object.fromEntries(witnessIndexMapping));
-          console.log("=========================================");
           const r1cs = {
             num_witnesses: parameters.length + 1,
             // +1 for w_0
@@ -304,25 +305,18 @@ authors = [""]
               c: [["0x1", publicIdx]]
               // expected
             });
-            console.log(`  Added constraint: w_${privateIdx} * w_${privateIdx} = w_${publicIdx}`);
-          } else {
-            console.warn("Complex circuit detected - R1CS constraint generation may be incomplete");
           }
           const r1csJson = JSON.stringify(r1cs);
-          console.log("R1CS JSON:", r1csJson);
           let provingKey;
           let verifyingKey;
           let verifyingKeyGnark;
           if (this.config.cacheKeys) {
             try {
-              console.log("Running trusted setup from R1CS...");
               const setupResult = wasm.setup_from_r1cs(r1csJson);
               provingKey = setupResult.proving_key;
               verifyingKey = setupResult.verifying_key;
               verifyingKeyGnark = setupResult.verifying_key_gnark;
-              console.log("Setup complete!");
             } catch (error) {
-              console.error("Setup failed:", error);
               throw new Error(`R1CS setup failed: ${error instanceof Error ? error.message : String(error)}`);
             }
           }
@@ -359,60 +353,23 @@ authors = [""]
         const noir = new Noir2(circuit);
         const { witness: compressedWitness } = await noir.execute(inputs);
         const witnessMapNoir = decompressWitness(compressedWitness);
-        console.log("=== ARKWORKS WASM DEBUG ===");
-        console.log("Circuit ABI parameters:", circuit.abi.parameters);
-        console.log("Inputs provided:", JSON.stringify(inputs));
-        console.log("Compressed witness size:", compressedWitness.length, "bytes");
-        console.log("Decompressed witness entries:", witnessMapNoir.size);
-        console.log("Witness map entries (first 10):");
-        const sortedWitness = Array.from(witnessMapNoir.entries()).sort(([a], [b]) => a - b);
-        for (const [index, value] of sortedWitness.slice(0, 10)) {
-          const strVal = String(value);
-          console.log(`  witness[${index}] = "${strVal.slice(0, 66)}${strVal.length > 66 ? "..." : ""}"`);
-          if (strVal.startsWith("0x")) {
-            try {
-              const decVal = BigInt(strVal).toString(10);
-              console.log(`    \u2192 decimal: ${decVal}`);
-            } catch {
-              console.log(`    \u2192 failed to parse as BigInt`);
-            }
-          }
-        }
         const witnessMap = {};
         const witnessMapping = circuit.witnessIndexMapping;
-        console.log("Converting noir witness to R1CS witness:");
         for (const [noirIndex, value] of witnessMapNoir.entries()) {
           const r1csIndex = witnessMapping.get(noirIndex) ?? noirIndex + 1;
           const strVal = String(value);
           witnessMap[r1csIndex.toString()] = strVal;
-          console.log(`  noir[${noirIndex}] \u2192 R1CS w_${r1csIndex} = ${strVal.slice(0, 20)}...`);
         }
         const witnessJson = JSON.stringify(witnessMap);
-        console.log("Witness JSON for prove:", witnessJson.slice(0, 200) + "...");
-        const r1csParsed = JSON.parse(circuit.r1csJson);
-        console.log("R1CS public_inputs:", r1csParsed.public_inputs);
-        console.log("R1CS private_inputs:", r1csParsed.private_inputs);
-        console.log("R1CS num_witnesses:", r1csParsed.num_witnesses);
-        console.log("R1CS constraints:", r1csParsed.constraints.length);
         let provingKey = circuit.provingKey;
         if (!provingKey) {
-          console.log("Running setup_from_r1cs...");
           const setupResult = wasm.setup_from_r1cs(circuit.r1csJson);
           provingKey = setupResult.proving_key;
           circuit.provingKey = provingKey;
           circuit.verifyingKey = setupResult.verifying_key;
           circuit.verifyingKeyGnark = setupResult.verifying_key_gnark;
         }
-        console.log("Generating proof from R1CS...");
         const proofResult = wasm.prove_from_r1cs(provingKey, circuit.r1csJson, witnessJson);
-        console.log("=== PROOF RESULT DEBUG ===");
-        console.log("Proof public inputs from arkworks:", proofResult.public_inputs);
-        proofResult.public_inputs.forEach((input, i) => {
-          const hexValue = input.startsWith("0x") ? input : `0x${input}`;
-          const decValue = BigInt(hexValue).toString(10);
-          console.log(`  Public input ${i}: ${input} (dec: ${decValue})`);
-        });
-        console.log("===========================");
         const proofBytes = base64ToUint8Array(proofResult.proof_gnark);
         return {
           proof: proofBytes,
@@ -610,6 +567,11 @@ function getExplorerTxUrl(network, signature) {
   const clusterParam = network === "mainnet-beta" /* Mainnet */ ? "" : `?cluster=${network}`;
   return `${config.explorerUrl.replace(/\?.*$/, "")}/tx/${signature}${clusterParam}`;
 }
+function getExplorerAccountUrl(network, address) {
+  const config = NETWORK_CONFIG[network];
+  const clusterParam = network === "mainnet-beta" /* Mainnet */ ? "" : `?cluster=${network}`;
+  return `${config.explorerUrl.replace(/\?.*$/, "")}/address/${address}${clusterParam}`;
+}
 
 // src/domain/types/provider.ts
 var Provider = /* @__PURE__ */ ((Provider2) => {
@@ -1369,6 +1331,18 @@ var IziNoir = class _IziNoir {
     const networkConfig = NETWORK_CONFIG[this._network];
     const { Connection, Transaction, PublicKey } = await import("@solana/web3.js");
     const connection = new Connection(networkConfig.rpcUrl, "confirmed");
+    const vkPubkey = new PublicKey(vk);
+    const accountInfo = await connection.getAccountInfo(vkPubkey);
+    if (!accountInfo) {
+      throw new Error(
+        `VK account ${vk} does not exist on ${this._network}. Did deploy() succeed? Check the account on explorer: ${getExplorerAccountUrl(this._network, vk)}`
+      );
+    }
+    if (accountInfo.data.length < 8) {
+      throw new Error(
+        `VK account ${vk} has invalid data (${accountInfo.data.length} bytes). Expected at least 8 bytes for a valid account.`
+      );
+    }
     const builder = new SolanaTransactionBuilder({
       programId: networkConfig.programId,
       computeUnits: 4e5
@@ -1396,12 +1370,59 @@ var IziNoir = class _IziNoir {
     const { blockhash, lastValidBlockHeight } = await connection.getLatestBlockhash("confirmed");
     tx.recentBlockhash = blockhash;
     tx.feePayer = new PublicKey(wallet.publicKey.toBase58());
-    const signature = await wallet.sendTransaction(tx, connection);
-    await connection.confirmTransaction({
-      signature,
-      blockhash,
-      lastValidBlockHeight
-    });
+    try {
+      const simulation = await connection.simulateTransaction(tx);
+      if (simulation.value.err) {
+        const logs = simulation.value.logs?.join("\n") || "No logs available";
+        throw new Error(
+          `Transaction simulation failed:
+Error: ${JSON.stringify(simulation.value.err)}
+Logs:
+${logs}`
+        );
+      }
+    } catch (simError) {
+      if (simError instanceof Error && simError.message.includes("Transaction simulation failed")) {
+        throw simError;
+      }
+      const err = simError;
+      throw new Error(
+        `Failed to simulate transaction: ${err.message}
+VK Account: ${vk}
+Network: ${this._network}
+Proof size: ${proofData.proof.bytes.length} bytes
+Public inputs: ${proofData.publicInputs.hex.length} items`
+      );
+    }
+    let signature;
+    try {
+      signature = await wallet.sendTransaction(tx, connection);
+    } catch (sendError) {
+      const originalError = sendError;
+      const enhancedError = new Error(
+        `Failed to send verify transaction: ${originalError.message}
+VK Account: ${vk}
+Network: ${this._network}
+Proof size: ${proofData.proof.bytes.length} bytes
+Public inputs: ${proofData.publicInputs.hex.length} items`
+      );
+      enhancedError.cause = originalError;
+      throw enhancedError;
+    }
+    try {
+      await connection.confirmTransaction({
+        signature,
+        blockhash,
+        lastValidBlockHeight
+      });
+    } catch (confirmError) {
+      const err = confirmError;
+      throw new Error(
+        `Transaction sent but confirmation failed: ${err.message}
+Signature: ${signature}
+Check on explorer: ${getExplorerTxUrl(this._network, signature)}`
+      );
+    }
     return {
       verified: true,
       signature,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@izi-noir/sdk",
-  "version": "0.1.5",
+  "version": "0.1.7",
   "description": "Write ZK circuits in JavaScript/TypeScript, generate Noir code and proofs automatically",
   "type": "module",
   "main": "./dist/index.cjs",