create-izi-noir 0.2.17 → 0.2.18

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.12",
+    "@izi-noir/sdk": "^0.1.13",
     "@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,37 +393,39 @@ function generateTsconfig() {
 // src/generators/circuits.ts
 function generateBalanceProof() {
   return `/**
- * Square Proof Circuit
+ * Balance Proof Circuit
  *
- * Proves knowledge of a secret number whose square equals a public value.
- * This is a fundamental ZK proof pattern that demonstrates the SDK capabilities.
+ * 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.
  *
- * Example: To prove you know the secret 7, set expected = 49 (7\xB2)
+ * Example: Prove that a=30 + b=20 = total=50
  *
- * @param expected - The expected result (secret\xB2) (public)
- * @param secret - The secret number to prove (private, not revealed)
+ * @param total - The expected sum (public)
+ * @param a - First private value (not revealed)
+ * @param b - Second private value (not revealed)
  */
 export function balanceProof(
-  [expected]: [number],
-  [secret]: [number]
+  [total]: [number],
+  [a, b]: [number, number]
 ): void {
-  assert(secret * secret == expected);
+  assert(a + b == total);
 }
 `;
 }
-function generateAgeProof() {
+function generateSquareProof() {
   return `/**
- * Another Square Proof Circuit
+ * Square Proof Circuit
  *
- * Another example proving knowledge of a secret whose square equals a public value.
- * This demonstrates the same ZK pattern with different default values.
+ * Proves knowledge of a secret number whose square equals a public value.
+ * This is a fundamental ZK proof pattern.
  *
- * Example: To prove you know the secret 4, set expected = 16 (4\xB2)
+ * 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 square root to prove (private, not revealed)
  */
-export function ageProof(
+export function squareProof(
   [expected]: [number],
   [secret]: [number]
 ): void {
@@ -462,7 +464,7 @@ function generateCircuitsIndex(template) {
 `;
     default:
       return `export { balanceProof } from './balance-proof.js';
-export { ageProof } from './age-proof.js';
+export { squareProof } from './square-proof.js';
 `;
   }
 }
@@ -738,7 +740,9 @@ import { Chain, Network, getExplorerTxUrl, getExplorerAccountUrl } from '@izi-no
   // Verify state
   const [isVerifying, setIsVerifying] = useState(false);
   const [verified, setVerified] = useState<boolean | null>(null);
-  const [verifyError, setVerifyError] = useState<string | null>(null);` : "";
+  const [verifyError, setVerifyError] = useState<string | null>(null);
+  const [verifyTxSignature, setVerifyTxSignature] = useState<string | null>(null);
+  const [verifyExplorerUrl, setVerifyExplorerUrl] = useState<string | null>(null);` : "";
   const solanaCircuitResetCode = isSolana ? `
       // Reset deploy state when circuit changes (VK will be different)
       setVkAccount(null);
@@ -775,10 +779,14 @@ import { Chain, Network, getExplorerTxUrl, getExplorerAccountUrl } from '@izi-no
 
     setIsVerifying(true);
     setVerifyError(null);
+    setVerifyTxSignature(null);
+    setVerifyExplorerUrl(null);
 
     try {
       const result = await iziInstance.verifyOnChain({ publicKey, sendTransaction }, vkAccount);
       setVerified(result.verified);
+      setVerifyTxSignature(result.signature);
+      setVerifyExplorerUrl(result.explorerUrl);
     } catch (error) {
       const err = error as Error;
       console.error('Verify error details:', {
@@ -878,7 +886,21 @@ import { Chain, Network, getExplorerTxUrl, getExplorerAccountUrl } from '@izi-no
                     {isVerifying ? 'Verifying...' : verified ? 'Verified!' : 'Verify On-Chain'}
                   </button>
                   {verifyError && <p className="error">{verifyError}</p>}
-                  {verified && <p className="success">Proof verified on Solana!</p>}
+                  {verified && (
+                    <div className="success-box">
+                      <p className="success">\u2713 Proof verified on Solana!</p>
+                      {verifyTxSignature && (
+                        <p className="tx-info">
+                          Tx: <code>{verifyTxSignature.slice(0, 8)}...{verifyTxSignature.slice(-8)}</code>
+                          {verifyExplorerUrl && (
+                            <a href={verifyExplorerUrl} target="_blank" rel="noopener noreferrer" className="explorer-link">
+                              View on Explorer \u2192
+                            </a>
+                          )}
+                        </p>
+                      )}
+                    </div>
+                  )}
                 </div>
               </div>
             )}
@@ -1176,7 +1198,7 @@ function getCircuitImports(template) {
     case "balance-proof":
       return `import { balanceProof } from '../circuits';`;
     default:
-      return `import { balanceProof, ageProof } from '../circuits';`;
+      return `import { balanceProof, squareProof } from '../circuits';`;
   }
 }
 function getCircuitOptions(template) {
@@ -1196,9 +1218,9 @@ function getCircuitOptions(template) {
   {
     name: 'balanceProof',
     fn: balanceProof,
-    publicInputKeys: ['expected'],
-    privateInputKeys: ['secret'],
-    defaultInputs: { expected: '49', secret: '7' },
+    publicInputKeys: ['total'],
+    privateInputKeys: ['a', 'b'],
+    defaultInputs: { total: '50', a: '30', b: '20' },
   },
 ]`;
     default:
@@ -1206,16 +1228,16 @@ function getCircuitOptions(template) {
   {
     name: 'balanceProof',
     fn: balanceProof,
-    publicInputKeys: ['expected'],
-    privateInputKeys: ['secret'],
-    defaultInputs: { expected: '49', secret: '7' },
+    publicInputKeys: ['total'],
+    privateInputKeys: ['a', 'b'],
+    defaultInputs: { total: '50', a: '30', b: '20' },
   },
   {
-    name: 'ageProof',
-    fn: ageProof,
+    name: 'squareProof',
+    fn: squareProof,
     publicInputKeys: ['expected'],
     privateInputKeys: ['secret'],
-    defaultInputs: { expected: '16', secret: '4' },
+    defaultInputs: { expected: '49', secret: '7' },
   },
 ]`;
   }
@@ -1546,6 +1568,10 @@ main {
 .success {
   color: var(--solana-green);
   font-size: 0.875rem;
+  margin: 0;
+}
+
+.success-box {
   margin-top: 0.5rem;
   padding: 0.75rem 1rem;
   background: rgba(20, 241, 149, 0.1);
@@ -1553,6 +1579,36 @@ main {
   border-radius: 8px;
 }
 
+.tx-info {
+  font-size: 0.8rem;
+  color: var(--text-muted);
+  margin-top: 0.5rem;
+  display: flex;
+  align-items: center;
+  gap: 0.5rem;
+  flex-wrap: wrap;
+}
+
+.tx-info code {
+  font-family: 'Fira Code', 'SF Mono', Monaco, monospace;
+  background: rgba(255, 255, 255, 0.05);
+  padding: 0.2rem 0.4rem;
+  border-radius: 4px;
+  font-size: 0.75rem;
+}
+
+.explorer-link {
+  color: var(--solana-purple);
+  text-decoration: none;
+  font-weight: 500;
+  transition: color 0.2s;
+}
+
+.explorer-link:hover {
+  color: var(--solana-green);
+  text-decoration: underline;
+}
+
 .warning {
   padding: 0.75rem 1rem;
   background: rgba(255, 193, 7, 0.1);
@@ -2906,7 +2962,7 @@ async function createProjectStructure(projectDir, options, progress) {
       break;
     default:
       files.push(["circuits/balance-proof.ts", generateBalanceProof()]);
-      files.push(["circuits/age-proof.ts", generateAgeProof()]);
+      files.push(["circuits/square-proof.ts", generateSquareProof()]);
       break;
   }
   files.push(["circuits/index.ts", generateCircuitsIndex(options.template)]);

package/package.json

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