BLS12-381 circuits with output commitments, ENS source tracking

Circuits:
- Compiled from updated Verity compiler (Circom.lean) that makes
  Poseidon commitments circuit OUTPUTS instead of inputs
- Compiled with circom --prime bls12381, vkeys report curve: bls12381
- No JS Poseidon needed (circomlibjs removed from proof pipeline)

Frontend:
- Spec lookup shows source: "from veryclear.eth" (green) or
  "static fallback" (amber) so user sees where the spec came from
- ENS reader normalizes old format (specName) to new format (spec)
- Circuit commitment check uses cached ENS lookup (no redundant RPC)
- Removed unused imports

Author: Th0rgal

src/app/clear-signing/engine/ens.ts

@@ -99,7 +99,18 @@ export async function readSpecFromEns(
     }
 
     console.log("[ENS] Found:", value);
-    const entry = JSON.parse(value) as EnsSpecEntry;
+    const raw = JSON.parse(value);
+    // Normalize: support both old format (specName/type/decimals/symbol)
+    // and new format (spec/deploy/circuits)
+    const entry: EnsSpecEntry = raw.spec
+      ? raw
+      : {
+          spec: raw.specName,
+          deploy: (raw.decimals || raw.symbol)
+            ? { decimals: raw.decimals, symbol: raw.symbol }
+            : undefined,
+          circuits: raw.circuits,
+        };
     ensCache.set(cacheKey, { entry, ts: Date.now() });
     return entry;
   } catch (e) {

src/app/clear-signing/engine/specs.ts

@@ -52,21 +52,45 @@ export const SPECS = STATIC_SPECS;
 
 // ─── ENS-aware lookup ───────────────────────────────────────────────────────
 
+export type SpecLookupResult = {
+  spec: IntentSpec;
+  /** Where the spec was resolved from */
+  source: "ens" | "static";
+  /** ENS entry if resolved from ENS */
+  ensEntry?: EnsSpecEntry;
+};
+
 /**
  * Find a spec by contract address.
  * Tries ENS first (veryclear.eth), falls back to static registry.
+ * Returns the source so the UI can show where the spec came from.
  */
 export async function findSpecFromEns(
   contractAddress: string
-): Promise<IntentSpec | null> {
+): Promise<SpecLookupResult | null> {
+  // Try ENS (veryclear.eth)
   const ensEntry = await readSpecFromEns(contractAddress);
   if (ensEntry) {
     const json = SPEC_JSONS[ensEntry.spec];
     if (json) {
-      return loadIntentSpec(json, contractAddress, ensEntry);
+      console.log("[specs] Resolved from ENS:", ensEntry.spec);
+      return {
+        spec: loadIntentSpec(json, contractAddress, ensEntry),
+        source: "ens",
+        ensEntry,
+      };
     }
+    console.warn("[specs] ENS entry found but no matching spec JSON:", ensEntry.spec);
   }
-  return STATIC_SPECS[contractAddress.toLowerCase()] ?? null;
+
+  // Fall back to static registry
+  const staticSpec = STATIC_SPECS[contractAddress.toLowerCase()];
+  if (staticSpec) {
+    console.log("[specs] Resolved from static fallback");
+    return { spec: staticSpec, source: "static" };
+  }
+
+  return null;
 }
 
 /** Synchronous fallback (for non-async contexts). */

src/app/clear-signing/page.tsx

@@ -16,7 +16,6 @@ import {
   getVkeyHash,
   type ProofResult,
 } from "./engine/prover";
-import { readSpecFromEns, type EnsSpecEntry } from "./engine/ens";
 import { DEMO_EXAMPLE } from "./engine/examples";
 import type {
   IntentSpec,
@@ -32,7 +31,7 @@ import type {
 // ─── Types ──────────────────────────────────────────────────────────────────
 
 type Step =
-  | { kind: "spec-match"; spec: IntentSpec | null; address: string }
+  | { kind: "spec-match"; spec: IntentSpec | null; address: string; source?: "ens" | "static" }
   | { kind: "function-id"; binding: Binding | null; selector: string }
   | {
       kind: "calldata-decode";
@@ -354,7 +353,12 @@ function SpecMatchStep({
             </span>{" "}
             matches{" "}
             <strong className="font-semibold">{step.spec.contractName}</strong>{" "}
-            spec
+            spec{" "}
+            <span className={`text-[12px] font-mono ${
+              step.source === "ens" ? "text-emerald-600" : "text-amber-500"
+            }`}>
+              ({step.source === "ens" ? "from veryclear.eth" : "static fallback"})
+            </span>
           </p>
           {spec && LEAN_SOURCES[spec.contractName] && (
             <details className="mt-2">
@@ -829,11 +833,11 @@ export default function ClearSigningPage() {
     try {
       // Step 1: Spec lookup
       await delay(300);
-      spec = await findSpecFromEns(contractAddress);
-      addStep({ kind: "spec-match", spec, address: contractAddress });
+      const lookup = await findSpecFromEns(contractAddress);
+      spec = lookup?.spec ?? null;
+      addStep({ kind: "spec-match", spec, address: contractAddress, source: lookup?.source });
       if (spec) setActiveSpec(spec);
       if (!spec) {
-
         return;
       }
 
@@ -949,10 +953,9 @@ export default function ClearSigningPage() {
 
           // Verify circuit commitment against ENS registry
           let circuitCheck: { ensHash: string | null; localHash: string | null; match: boolean } | undefined;
-          const ensEntry = await readSpecFromEns(contractAddress);
           const localHash = await getVkeyHash(spec.contractName, binding.intentFnName);
-          if (ensEntry?.circuits && localHash) {
-            const ensHash = ensEntry.circuits[binding.intentFnName] ?? null;
+          if (lookup?.ensEntry?.circuits && localHash) {
+            const ensHash = lookup.ensEntry.circuits[binding.intentFnName] ?? null;
             circuitCheck = {
               ensHash,
               localHash,