create-izi-noir 0.1.4 → 0.1.6

package/dist/index.js

@@ -309,6 +309,20 @@ export { ageProof } from './age-proof.js';
 `;
   }
 }
+function generateCircuitTypes() {
+  return `/**
+ * Global type declarations for IZI-NOIR circuits
+ */
+
+/**
+ * Assert a condition that must be true for the proof to be valid.
+ * This is the core primitive for defining ZK constraints.
+ *
+ * @param condition - The boolean condition to assert
+ */
+declare function assert(condition: boolean): void;
+`;
+}
 
 // src/generators/scripts.ts
 function generateTestScript(options) {
@@ -319,9 +333,16 @@ function generateTestScript(options) {
  *
  * Run with: npm test
  */
-import { IziNoir, Provider } from '@izi-noir/sdk';
+import { IziNoir, Provider, AcornParser, generateNoir } from '@izi-noir/sdk';
 ${imports}
 
+// Helper to convert JS circuit function to Noir code
+function toNoir(circuitFn: Function): string {
+  const parser = new AcornParser();
+  const parsed = parser.parse(circuitFn, [], []);
+  return generateNoir(parsed);
+}
+
 async function main() {
   console.log('Initializing IZI-NOIR...');
   const izi = await IziNoir.init({
@@ -354,40 +375,41 @@ function getTests(template) {
     case "minimal":
       return `  // Test: myCircuit
   console.log('\\nTesting myCircuit...');
-  const result1 = await izi.createProof(
-    myCircuit,
-    [42],     // public: expected value
-    [42]      // private: actual value
-  );
+  const noirCode1 = toNoir(myCircuit);
+  const result1 = await izi.createProof(noirCode1, {
+    publicInput: '42',   // public: expected value
+    privateInput: '42',  // private: actual value
+  });
   console.log('  Proof verified:', result1.verified);`;
     case "balance-proof":
       return `  // Test: Balance Proof
   console.log('\\nTesting balanceProof...');
-  const result1 = await izi.createProof(
-    balanceProof,
-    [100],    // public: threshold
-    [1500]    // private: actual balance
-  );
+  const noirCode1 = toNoir(balanceProof);
+  const result1 = await izi.createProof(noirCode1, {
+    threshold: '100',  // public: minimum required
+    balance: '1500',   // private: actual balance
+  });
   console.log('  Proof verified:', result1.verified);
   console.log('  The prover has >= 100 balance (actual: hidden)');`;
     default:
       return `  // Test 1: Balance Proof
   console.log('\\nTesting balanceProof...');
-  const result1 = await izi.createProof(
-    balanceProof,
-    [100],    // public: threshold
-    [1500]    // private: actual balance
-  );
+  const noirCode1 = toNoir(balanceProof);
+  const result1 = await izi.createProof(noirCode1, {
+    threshold: '100',  // public: minimum required
+    balance: '1500',   // private: actual balance
+  });
   console.log('  Proof verified:', result1.verified);
   console.log('  The prover has >= 100 balance (actual: hidden)');
 
   // Test 2: Age Proof
   console.log('\\nTesting ageProof...');
-  const result2 = await izi.createProof(
-    ageProof,
-    [2024, 18],   // public: current year, minimum age
-    [1990]        // private: birth year
-  );
+  const noirCode2 = toNoir(ageProof);
+  const result2 = await izi.createProof(noirCode2, {
+    currentYear: '2024',  // public: current year
+    minAge: '18',         // public: minimum age
+    birthYear: '1990',    // private: birth year
+  });
   console.log('  Proof verified:', result2.verified);
   console.log('  The prover is >= 18 years old (birth year: hidden)');`;
   }
@@ -604,6 +626,7 @@ async function createProjectStructure(projectDir, options) {
       break;
   }
   files.push(["circuits/index.ts", generateCircuitsIndex(options.template)]);
+  files.push(["circuits/types.d.ts", generateCircuitTypes()]);
   files.push([
     "generated/.gitkeep",
     "# This directory contains compiled circuit artifacts\n# Generated by: npm run build\n"

package/package.json

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