create-izi-noir 0.2.11 → 0.2.12

package/dist/index.js

@@ -172,7 +172,7 @@ var ProgressReporter = class {
       const frame = pc2.cyan(frames[frameIndex]);
       const phrase = THINKING_PHRASES[this.thinkingIndex % THINKING_PHRASES.length];
       const dots = ".".repeat(dotCount % 4);
-      process.stdout.write(`\r${frame} ${pc2.dim(phrase)}${dots}   `);
+      process.stdout.write(`\x1B[2K\r${frame} ${pc2.dim(phrase)}${dots}`);
       frameIndex = (frameIndex + 1) % frames.length;
       dotCount++;
       if (dotCount % 12 === 0) {
@@ -243,7 +243,7 @@ var InstallProgress = class {
       const bar = pc2.green("\u2588".repeat(filled)) + pc2.dim("\u2591".repeat(empty));
       const pkg = this.packages[this.currentPackage % this.packages.length];
       process.stdout.write(
-        `\r${frame} Installing dependencies ${bar} ${pc2.dim(pkg)}   `
+        `\x1B[2K\r${frame} Installing dependencies ${bar} ${pc2.dim(pkg)}`
       );
       frameIndex = (frameIndex + 1) % frames.length;
       if (this.progress < 95) {
@@ -288,7 +288,7 @@ var GitProgress = class {
       const frame = pc2.cyan(frames[frameIndex]);
       const phase = this.phases[this.phaseIndex % this.phases.length];
       const dots = ".".repeat(this.dotCount % 4);
-      process.stdout.write(`\r${frame} ${pc2.dim(phase)}${dots}   `);
+      process.stdout.write(`\x1B[2K\r${frame} ${pc2.dim(phase)}${dots}`);
       frameIndex = (frameIndex + 1) % frames.length;
       this.dotCount++;
       if (this.dotCount % 8 === 0) {
@@ -316,7 +316,7 @@ function createGitProgress() {
 function generatePackageJson(options) {
   const isSolana = options.provider === "arkworks";
   const dependencies = {
-    "@izi-noir/sdk": "^0.1.6",
+    "@izi-noir/sdk": "^0.1.8",
     "@noir-lang/acvm_js": "1.0.0-beta.13-1d260df.nightly",
     "@noir-lang/noirc_abi": "1.0.0-beta.13-1d260df.nightly",
     "react": "^18.3.1",
@@ -483,7 +483,7 @@ function generateReadme(options) {
   const networkInfo = isSolana ? "- Deploy VK to Solana devnet\n- Verify proofs on-chain" : "- Local proof verification";
   return `# ${options.projectName}
 
-ZK proof demo built with [IZI-NOIR](https://github.com/izi-noir/izi-noir) and React.
+ZK proof demo built with [IZI-NOIR](https://github.com/izi-noir) and React.
 
 ## Getting Started
 
@@ -543,7 +543,7 @@ After adding a new circuit:
 
 ## Learn More
 
-- [IZI-NOIR Documentation](https://github.com/izi-noir/izi-noir)
+- [IZI-NOIR Documentation](https://github.com/izi-noir)
 - [Noir Language](https://noir-lang.org)
 - [Vite](https://vitejs.dev)
 - [React](https://react.dev)
@@ -735,6 +735,16 @@ import { Chain, Network, getExplorerTxUrl, getExplorerAccountUrl } from '@izi-no
   const [isVerifying, setIsVerifying] = useState(false);
   const [verified, setVerified] = useState<boolean | null>(null);
   const [verifyError, setVerifyError] = useState<string | null>(null);` : "";
+  const solanaCircuitResetCode = isSolana ? `
+      // Reset deploy state when circuit changes (VK will be different)
+      setVkAccount(null);
+      setDeployTx(null);
+      setVerified(null);` : "";
+  const solanaRecompileResetCode = isSolana ? `
+        // Reset deploy state since VK will change with recompilation
+        setVkAccount(null);
+        setDeployTx(null);
+        setVerified(null);` : "";
   const solanaHandlers = isSolana ? `
   // Deploy VK to Solana
   const handleDeploy = async () => {
@@ -777,6 +787,12 @@ import { Chain, Network, getExplorerTxUrl, getExplorerAccountUrl } from '@izi-no
       setIsVerifying(false);
     }
   };` : "";
+  const solanaVkWarning = isSolana ? `
+          {vkAccount && compiledNoirCode !== noirCode && (
+            <div className="warning">
+              Circuit code changed. Generating a new proof will require re-deploying the VK.
+            </div>
+          )}` : "";
   const solanaDeploySection = isSolana ? `
         {/* Deploy & Verify Section */}
         {proof && (
@@ -923,8 +939,9 @@ function App() {
   const [localVerified, setLocalVerified] = useState<boolean | null>(null);
   const [publicInputs, setPublicInputs] = useState<string[] | null>(null);
 
-  // IziNoir instance
+  // IziNoir instance and compiled code tracking
   const [iziInstance, setIziInstance] = useState<IziNoir | null>(null);
+  const [compiledNoirCode, setCompiledNoirCode] = useState<string | null>(null);
 ${solanaHooks}
 ${solanaState}
 
@@ -940,6 +957,9 @@ ${solanaState}
       setLocalVerified(null);
       setPublicInputs(null);
       setNoirCode(null);
+      // Reset compiled instance (forces recompilation)
+      setIziInstance(null);
+      setCompiledNoirCode(null);${solanaCircuitResetCode}
     }
   }, [selectedCircuit]);
 
@@ -987,14 +1007,21 @@ ${solanaState}
 
       const startTime = performance.now();
 
-      const izi = await IziNoir.init({
-        provider: Provider.${capitalizeFirst(options.provider)},${solanaProviderConfig}
-      });
+      // Reuse existing instance if circuit hasn't changed
+      let izi = iziInstance;
+      const needsRecompile = !izi || compiledNoirCode !== noirCode;
+
+      if (needsRecompile) {
+        izi = await IziNoir.init({
+          provider: Provider.${capitalizeFirst(options.provider)},${solanaProviderConfig}
+        });
 
-      await izi.compile(noirCode);
+        await izi.compile(noirCode);
+        setIziInstance(izi);
+        setCompiledNoirCode(noirCode);${solanaRecompileResetCode}
+      }
 
-      const proofResult = await izi.prove(inputs);
-      setIziInstance(izi);
+      const proofResult = await izi!.prove(inputs);
 
       // Get proof bytes
       const proofBytes = 'bytes' in proofResult.proof
@@ -1005,7 +1032,7 @@ ${solanaState}
         : proofResult.publicInputs;
 
       // Local verification
-      const verified = await izi.verify(proofBytes, publicInputsHex);
+      const verified = await izi!.verify(proofBytes, publicInputsHex);
       setLocalVerified(verified);
 
       const endTime = performance.now();
@@ -1018,7 +1045,7 @@ ${solanaState}
     } finally {
       setIsGenerating(false);
     }
-  }, [noirCode, inputs]);
+  }, [noirCode, inputs, iziInstance, compiledNoirCode]);
 ${solanaHandlers}
 
   return (
@@ -1090,7 +1117,7 @@ ${solanaHandlers}
 
         {/* Generate Proof */}
         <div className="section">
-          <h2>4. Generate Proof</h2>
+          <h2>4. Generate Proof</h2>${solanaVkWarning}
           <button
             onClick={handleGenerateProof}
             disabled={isGenerating || !noirCode || !!transpileError}
@@ -1124,7 +1151,7 @@ ${solanaDeploySection}
       </main>
 
       <footer>
-        <p>Built with <a href="https://github.com/izi-noir/izi-noir" target="_blank">IZI-NOIR</a></p>
+        <p>Built with <a href="https://github.com/izi-noir" target="_blank">IZI-NOIR</a></p>
       </footer>
     </div>
   );
@@ -1517,6 +1544,16 @@ main {
   border-radius: 8px;
 }
 
+.warning {
+  padding: 0.75rem 1rem;
+  background: rgba(255, 193, 7, 0.1);
+  border: 1px solid rgba(255, 193, 7, 0.3);
+  border-radius: 8px;
+  color: #ffc107;
+  font-size: 0.875rem;
+  margin-bottom: 1rem;
+}
+
 /* ================================
    Noir Code Details
    ================================ */
@@ -2905,7 +2942,7 @@ function printSuccessMessage(options) {
   console.log(pc3.dim("  3. Add it to CIRCUITS array in src/App.tsx"));
   console.log();
   console.log(
-    pc3.dim("Learn more: ") + pc3.blue("https://github.com/izi-noir/izi-noir")
+    pc3.dim("Learn more: ") + pc3.blue("https://github.com/izi-noir")
   );
   console.log();
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "create-izi-noir",
-  "version": "0.2.11",
+  "version": "0.2.12",
   "description": "CLI to scaffold IZI-NOIR ZK projects",
   "type": "module",
   "bin": {
@@ -41,7 +41,7 @@
   "license": "MIT",
   "repository": {
     "type": "git",
-    "url": "https://github.com/izi-noir/izi-noir.git",
+    "url": "https://github.com/izi-noir.git",
     "directory": "packages/create-izi-noir"
   }
 }