create-izi-noir 0.2.14 → 0.2.16

package/dist/index.js

@@ -316,7 +316,7 @@ function createGitProgress() {
 function generatePackageJson(options) {
   const isSolana = options.provider === "arkworks";
   const dependencies = {
-    "@izi-noir/sdk": "^0.1.10",
+    "@izi-noir/sdk": "^0.1.11",
     "@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",
@@ -393,39 +393,41 @@ function generateTsconfig() {
 // src/generators/circuits.ts
 function generateBalanceProof() {
   return `/**
- * Balance Proof Circuit
+ * Square Proof Circuit
  *
- * Proves that a private balance is greater than or equal to a public threshold
- * without revealing the actual balance.
+ * Proves knowledge of a secret number whose square equals a public value.
+ * This is a fundamental ZK proof pattern that demonstrates the SDK capabilities.
  *
- * @param threshold - The minimum required balance (public)
- * @param balance - The actual balance to prove (private, not revealed)
+ * Example: To prove you know the secret 7, set expected = 49 (7\xB2)
+ *
+ * @param expected - The expected result (secret\xB2) (public)
+ * @param secret - The secret number to prove (private, not revealed)
  */
 export function balanceProof(
-  [threshold]: [number],
-  [balance]: [number]
+  [expected]: [number],
+  [secret]: [number]
 ): void {
-  assert(balance >= threshold);
+  assert(secret * secret == expected);
 }
 `;
 }
 function generateAgeProof() {
   return `/**
- * Age Proof Circuit
+ * Another Square Proof Circuit
  *
- * Proves that a private birth year results in an age >= minimum age
- * without revealing the actual birth year.
+ * Another example proving knowledge of a secret whose square equals a public value.
+ * This demonstrates the same ZK pattern with different default values.
  *
- * @param currentYear - The current year (public)
- * @param minAge - The minimum required age (public)
- * @param birthYear - The actual birth year (private, not revealed)
+ * Example: To prove you know the secret 4, set expected = 16 (4\xB2)
+ *
+ * @param expected - The expected result (secret\xB2) (public)
+ * @param secret - The secret square root to prove (private, not revealed)
  */
 export function ageProof(
-  [currentYear, minAge]: [number, number],
-  [birthYear]: [number]
+  [expected]: [number],
+  [secret]: [number]
 ): void {
-  const age = currentYear - birthYear;
-  assert(age >= minAge);
+  assert(secret * secret == expected);
 }
 `;
 }
@@ -433,18 +435,20 @@ function generateMinimalCircuit() {
   return `/**
  * My Custom Circuit
  *
- * Replace this with your own circuit logic.
- * Use assert() statements to define constraints.
+ * A minimal ZK proof that proves knowledge of a secret whose square
+ * equals the public expected value.
  *
- * @param publicInput - A public input value
- * @param privateInput - A private input value (not revealed)
+ * Replace with your own circuit logic using assert() statements.
+ *
+ * @param expected - The expected result (secret\xB2) (public)
+ * @param secret - The secret value to prove (private, not revealed)
  */
 export function myCircuit(
-  [publicInput]: [number],
-  [privateInput]: [number]
+  [expected]: [number],
+  [secret]: [number]
 ): void {
-  // Example: prove that private input equals public input
-  assert(privateInput === publicInput);
+  // Prove that secret\xB2 = expected
+  assert(secret * secret == expected);
 }
 `;
 }
@@ -891,6 +895,7 @@ import {
   markWasmInitialized,
   AcornParser,
   generateNoir,
+  type ParsedCircuit,
 } from '@izi-noir/sdk';${solanaImports}
 import { CodeBlock } from './components/CodeBlock';
 ${circuitImports}
@@ -942,6 +947,7 @@ function App() {
   // IziNoir instance and compiled code tracking
   const [iziInstance, setIziInstance] = useState<IziNoir | null>(null);
   const [compiledNoirCode, setCompiledNoirCode] = useState<string | null>(null);
+  const [parsedCircuit, setParsedCircuit] = useState<ParsedCircuit | null>(null);
 ${solanaHooks}
 ${solanaState}
 
@@ -959,7 +965,8 @@ ${solanaState}
       setNoirCode(null);
       // Reset compiled instance (forces recompilation)
       setIziInstance(null);
-      setCompiledNoirCode(null);${solanaCircuitResetCode}
+      setCompiledNoirCode(null);
+      setParsedCircuit(null);${solanaCircuitResetCode}
     }
   }, [selectedCircuit]);
 
@@ -979,9 +986,10 @@ ${solanaState}
           .filter(([key]) => circuit.privateInputKeys.includes(key))
           .map(([, val]) => Number(val));
 
-        const parsedCircuit = parser.parse(circuit.fn, publicInputs, privateInputs);
-        const result = generateNoir(parsedCircuit);
+        const parsed = parser.parse(circuit.fn, publicInputs, privateInputs);
+        const result = generateNoir(parsed);
         setNoirCode(result);
+        setParsedCircuit(parsed);
       } catch (error) {
         setTranspileError((error as Error).message);
         setNoirCode(null);
@@ -1016,7 +1024,8 @@ ${solanaState}
           provider: Provider.${capitalizeFirst(options.provider)},${solanaProviderConfig}
         });
 
-        await izi.compile(noirCode);
+        // Pass parsedCircuit for dynamic R1CS generation
+        await izi.compile(noirCode, parsedCircuit ? { parsedCircuit } : undefined);
         setIziInstance(izi);
         setCompiledNoirCode(noirCode);${solanaRecompileResetCode}
       }
@@ -1045,7 +1054,7 @@ ${solanaState}
     } finally {
       setIsGenerating(false);
     }
-  }, [noirCode, inputs, iziInstance, compiledNoirCode]);
+  }, [noirCode, inputs, iziInstance, compiledNoirCode, parsedCircuit]);
 ${solanaHandlers}
 
   return (
@@ -1177,9 +1186,9 @@ function getCircuitOptions(template) {
   {
     name: 'myCircuit',
     fn: myCircuit,
-    publicInputKeys: ['publicInput'],
-    privateInputKeys: ['privateInput'],
-    defaultInputs: { publicInput: '42', privateInput: '42' },
+    publicInputKeys: ['expected'],
+    privateInputKeys: ['secret'],
+    defaultInputs: { expected: '49', secret: '7' },
   },
 ]`;
     case "balance-proof":
@@ -1187,9 +1196,9 @@ function getCircuitOptions(template) {
   {
     name: 'balanceProof',
     fn: balanceProof,
-    publicInputKeys: ['threshold'],
-    privateInputKeys: ['balance'],
-    defaultInputs: { threshold: '100', balance: '1500' },
+    publicInputKeys: ['expected'],
+    privateInputKeys: ['secret'],
+    defaultInputs: { expected: '49', secret: '7' },
   },
 ]`;
     default:
@@ -1197,16 +1206,16 @@ function getCircuitOptions(template) {
   {
     name: 'balanceProof',
     fn: balanceProof,
-    publicInputKeys: ['threshold'],
-    privateInputKeys: ['balance'],
-    defaultInputs: { threshold: '100', balance: '1500' },
+    publicInputKeys: ['expected'],
+    privateInputKeys: ['secret'],
+    defaultInputs: { expected: '49', secret: '7' },
   },
   {
     name: 'ageProof',
     fn: ageProof,
-    publicInputKeys: ['currentYear', 'minAge'],
-    privateInputKeys: ['birthYear'],
-    defaultInputs: { currentYear: '2024', minAge: '18', birthYear: '1990' },
+    publicInputKeys: ['expected'],
+    privateInputKeys: ['secret'],
+    defaultInputs: { expected: '16', secret: '4' },
   },
 ]`;
   }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "create-izi-noir",
-  "version": "0.2.14",
+  "version": "0.2.16",
   "description": "CLI to scaffold IZI-NOIR ZK projects",
   "type": "module",
   "bin": {