create-izi-noir 0.2.18 → 0.2.20

package/README.md

@@ -28,7 +28,7 @@ npx create-izi-noir my-project --skip-install --skip-git
 ## Templates
 
 ### Default
-Includes balance proof and age proof circuit examples.
+Includes balance proof and square proof circuit examples.
 
 ### Minimal
 Empty circuit for starting from scratch.

package/dist/index.js

@@ -12,7 +12,7 @@ import pc3 from "picocolors";
 import prompts from "prompts";
 import pc from "picocolors";
 var TEMPLATES = [
-  { title: "Default (balance + age proofs)", value: "default" },
+  { title: "Default (balance + square proofs)", value: "default" },
   { title: "Minimal (empty circuit)", value: "minimal" },
   { title: "Balance Proof only", value: "balance-proof" }
 ];
@@ -316,7 +316,7 @@ function createGitProgress() {
 function generatePackageJson(options) {
   const isSolana = options.provider === "arkworks";
   const dependencies = {
-    "@izi-noir/sdk": "^0.1.13",
+    "@izi-noir/sdk": "^0.1.14",
     "@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",
@@ -395,21 +395,19 @@ function generateBalanceProof() {
   return `/**
  * Balance Proof Circuit
  *
- * Proves that two private values sum to a public total.
- * This demonstrates a real-world use case: proving you have sufficient balance
- * without revealing the individual amounts.
+ * Proves you have enough balance to cover a required amount.
+ * This is a real-world use case: proving solvency without revealing your actual balance.
  *
- * Example: Prove that a=30 + b=20 = total=50
+ * Example: Prove balance=1000 >= threshold=500
  *
- * @param total - The expected sum (public)
- * @param a - First private value (not revealed)
- * @param b - Second private value (not revealed)
+ * @param threshold - The minimum required amount (public)
+ * @param balance - Your actual balance (private, not revealed)
  */
 export function balanceProof(
-  [total]: [number],
-  [a, b]: [number, number]
+  [threshold]: [number],
+  [balance]: [number]
 ): void {
-  assert(a + b == total);
+  assert(balance >= threshold);
 }
 `;
 }
@@ -1218,9 +1216,9 @@ function getCircuitOptions(template) {
   {
     name: 'balanceProof',
     fn: balanceProof,
-    publicInputKeys: ['total'],
-    privateInputKeys: ['a', 'b'],
-    defaultInputs: { total: '50', a: '30', b: '20' },
+    publicInputKeys: ['threshold'],
+    privateInputKeys: ['balance'],
+    defaultInputs: { threshold: '500', balance: '1000' },
   },
 ]`;
     default:
@@ -1228,9 +1226,9 @@ function getCircuitOptions(template) {
   {
     name: 'balanceProof',
     fn: balanceProof,
-    publicInputKeys: ['total'],
-    privateInputKeys: ['a', 'b'],
-    defaultInputs: { total: '50', a: '30', b: '20' },
+    publicInputKeys: ['threshold'],
+    privateInputKeys: ['balance'],
+    defaultInputs: { threshold: '500', balance: '1000' },
   },
   {
     name: 'squareProof',

package/package.json

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