@trynullsec/s1-zk 1.0.0

package/dist/frontends/circom/circom-parser.d.ts

@@ -0,0 +1,2 @@
+import type { ParsedCircuitFile } from "../../types.js";
+export declare function parseCircomFile(filePath: string, rawSource: string): ParsedCircuitFile;

package/dist/frontends/circom/circom-parser.js

@@ -0,0 +1,218 @@
+import { columnOf, getLine } from "../../core/source-map.js";
+import { stripCircomComments } from "./circom-comments.js";
+import { baseSignalName, extractSignalReferences, normalizeSignalReference } from "./circom-utils.js";
+function splitStatements(source) {
+    const statements = [];
+    const lines = source.split(/\r?\n/);
+    let buffer = "";
+    let startLine = 1;
+    let startColumn = 1;
+    let templateName;
+    const stack = [];
+    lines.forEach((lineText, index) => {
+        const line = index + 1;
+        const trimmed = lineText.trim();
+        const templateMatch = trimmed.match(/^template\s+([A-Za-z_][A-Za-z0-9_]*)\s*\(([^)]*)\)\s*\{/);
+        if (templateMatch) {
+            templateName = templateMatch[1];
+            stack.push(templateName);
+            statements.push({ text: trimmed, line, column: columnOf(lineText, "template"), snippet: lineText.trim(), templateName });
+            return;
+        }
+        if (!buffer && trimmed) {
+            startLine = line;
+            startColumn = Math.max(1, lineText.search(/\S/) + 1);
+        }
+        buffer += trimmed ? `${trimmed} ` : "";
+        const terminates = trimmed.endsWith(";") || trimmed.endsWith("{") || trimmed.endsWith("}");
+        if (buffer.trim() && terminates) {
+            const text = buffer.trim();
+            statements.push({ text, line: startLine, column: startColumn, snippet: lines[startLine - 1]?.trim() ?? text, templateName });
+            buffer = "";
+        }
+        const closes = (trimmed.match(/}/g) ?? []).length;
+        for (let i = 0; i < closes; i += 1) {
+            stack.pop();
+            templateName = stack[stack.length - 1];
+        }
+    });
+    if (buffer.trim()) {
+        statements.push({ text: buffer.trim(), line: startLine, column: startColumn, snippet: lines[startLine - 1]?.trim() ?? buffer.trim(), templateName });
+    }
+    return statements;
+}
+function parseArrayDimensions(name) {
+    return [...name.matchAll(/\[([^\]]+)\]/g)].map((match) => match[1]?.trim() ?? "");
+}
+function cleanSignalName(name) {
+    return normalizeSignalReference(name.replace(/;$/, ""));
+}
+export function parseCircomFile(filePath, rawSource) {
+    const stripped = stripCircomComments(rawSource).source;
+    const statements = splitStatements(stripped);
+    const templates = [];
+    const signals = [];
+    const components = [];
+    const assignments = [];
+    const constraints = [];
+    const assertions = [];
+    const includes = [];
+    const parserWarnings = [];
+    const componentMap = new Map();
+    for (const statement of statements) {
+        const text = statement.text.replace(/;$/, "").trim();
+        try {
+            const templateMatch = text.match(/^template\s+([A-Za-z_][A-Za-z0-9_]*)\s*\(([^)]*)\)/);
+            if (templateMatch) {
+                templates.push({
+                    name: templateMatch[1] ?? "Unknown",
+                    params: (templateMatch[2] ?? "").split(",").map((p) => p.trim()).filter(Boolean),
+                    file: filePath,
+                    line: statement.line,
+                    column: statement.column,
+                    snippet: statement.snippet,
+                    templateName: templateMatch[1],
+                    startLine: statement.line
+                });
+                continue;
+            }
+            const includeMatch = text.match(/^include\s+["']([^"']+)["']/);
+            if (includeMatch) {
+                includes.push({ path: includeMatch[1] ?? "", file: filePath, line: statement.line, column: statement.column, snippet: statement.snippet, templateName: statement.templateName });
+                continue;
+            }
+            if (/^pragma\b/.test(text))
+                continue;
+            const componentMatch = text.match(/^component\s+([A-Za-z_][A-Za-z0-9_]*)\s*(?:=\s*([A-Za-z_][A-Za-z0-9_]*)\s*\((.*)\))?/);
+            if (componentMatch) {
+                const component = {
+                    name: componentMatch[1] ?? "unknown",
+                    templateType: componentMatch[2],
+                    params: componentMatch[3],
+                    inputs: [],
+                    outputs: ["out"],
+                    file: filePath,
+                    line: statement.line,
+                    column: statement.column,
+                    snippet: statement.snippet,
+                    templateName: statement.templateName
+                };
+                components.push(component);
+                componentMap.set(component.name, component);
+                continue;
+            }
+            const signalMatch = text.match(/^signal\s+(?:(input|output)\s+)?(?:(public|private)\s+)?(.+)$/);
+            if (signalMatch) {
+                const kind = signalMatch[1] ?? "internal";
+                const visibility = signalMatch[2] ?? (kind === "input" ? "unknown" : "unknown");
+                const names = (signalMatch[3] ?? "").split(",").map((part) => part.trim()).filter(Boolean);
+                for (const name of names) {
+                    const cleaned = cleanSignalName(name);
+                    signals.push({
+                        name: cleaned,
+                        baseName: baseSignalName(cleaned),
+                        kind,
+                        visibility,
+                        arrayDimensions: parseArrayDimensions(cleaned),
+                        file: filePath,
+                        line: statement.line,
+                        column: statement.column,
+                        snippet: statement.snippet,
+                        templateName: statement.templateName
+                    });
+                }
+                continue;
+            }
+            const assertMatch = text.match(/^assert\s*\((.*)\)$/);
+            if (assertMatch) {
+                const expression = assertMatch[1] ?? "";
+                assertions.push({
+                    expression,
+                    referencedSignals: extractSignalReferences(expression),
+                    file: filePath,
+                    line: statement.line,
+                    column: statement.column,
+                    snippet: statement.snippet,
+                    templateName: statement.templateName
+                });
+                continue;
+            }
+            const assignmentMatch = text.match(/^(.+?)\s*(<--|<==)\s*(.+)$/);
+            if (assignmentMatch) {
+                const lhs = normalizeSignalReference(assignmentMatch[1] ?? "");
+                const rhs = (assignmentMatch[3] ?? "").trim();
+                const operator = assignmentMatch[2];
+                const assignment = {
+                    lhs,
+                    rhs,
+                    operator,
+                    referencedSignals: extractSignalReferences(`${lhs} ${rhs}`),
+                    file: filePath,
+                    line: statement.line,
+                    column: statement.column,
+                    snippet: statement.snippet,
+                    templateName: statement.templateName
+                };
+                assignments.push(assignment);
+                if (operator === "<==") {
+                    constraints.push({
+                        expression: `${lhs} <== ${rhs}`,
+                        lhs,
+                        rhs,
+                        operator,
+                        referencedSignals: extractSignalReferences(`${lhs} ${rhs}`),
+                        file: filePath,
+                        line: statement.line,
+                        column: statement.column,
+                        snippet: statement.snippet,
+                        templateName: statement.templateName
+                    });
+                }
+                const componentInput = lhs.match(/^([A-Za-z_][A-Za-z0-9_]*)\./);
+                if (componentInput)
+                    componentMap.get(componentInput[1] ?? "")?.inputs.push(lhs);
+                continue;
+            }
+            const equalityMatch = text.match(/^(.+?)\s*===\s*(.+)$/);
+            if (equalityMatch) {
+                const lhs = (equalityMatch[1] ?? "").trim();
+                const rhs = (equalityMatch[2] ?? "").trim();
+                constraints.push({
+                    expression: `${lhs} === ${rhs}`,
+                    lhs,
+                    rhs,
+                    operator: "===",
+                    referencedSignals: extractSignalReferences(`${lhs} ${rhs}`),
+                    file: filePath,
+                    line: statement.line,
+                    column: statement.column,
+                    snippet: statement.snippet,
+                    templateName: statement.templateName
+                });
+                continue;
+            }
+            if (/[<>=-]{2,3}|signal|component|assert/.test(text)) {
+                parserWarnings.push({
+                    message: `Unsupported or partially parsed Circom statement: ${text.slice(0, 120)}`,
+                    file: filePath,
+                    line: statement.line,
+                    column: statement.column,
+                    snippet: getLine(rawSource, statement.line),
+                    templateName: statement.templateName
+                });
+            }
+        }
+        catch (error) {
+            parserWarnings.push({
+                message: `Failed to parse statement: ${error.message}`,
+                file: filePath,
+                line: statement.line,
+                column: statement.column,
+                snippet: getLine(rawSource, statement.line),
+                templateName: statement.templateName
+            });
+        }
+    }
+    return { filePath, rawSource, templates, signals, components, assignments, constraints, assertions, includes, parserWarnings };
+}
+//# sourceMappingURL=circom-parser.js.map

package/dist/frontends/circom/circom-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"circom-parser.js","sourceRoot":"","sources":["../../../src/frontends/circom/circom-parser.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAC;AAUtG,SAAS,eAAe,CAAC,MAAc;IACrC,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,YAAgC,CAAC;IACrC,MAAM,KAAK,GAA8B,EAAE,CAAC;IAE5C,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QAChC,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,aAAa,GAAG,OAAO,CAAC,KAAK,CAAC,yDAAyD,CAAC,CAAC;QAC/F,IAAI,aAAa,EAAE,CAAC;YAClB,YAAY,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACzB,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;YACzH,OAAO;QACT,CAAC;QAED,IAAI,CAAC,MAAM,IAAI,OAAO,EAAE,CAAC;YACvB,SAAS,GAAG,IAAI,CAAC;YACjB,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;QACD,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAEvC,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC3F,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,UAAU,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;YAC3B,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;YAC7H,MAAM,GAAG,EAAE,CAAC;QACd,CAAC;QAED,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,KAAK,CAAC,GAAG,EAAE,CAAC;YACZ,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QAClB,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;IACvJ,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY;IACxC,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,SAAiB;IACjE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;IACvD,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,SAAS,GAA0B,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,cAAc,GAAoB,EAAE,CAAC;IAC3C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAgC,CAAC;IAE7D,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACrD,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,oDAAoD,CAAC,CAAC;YACvF,IAAI,aAAa,EAAE,CAAC;gBAClB,SAAS,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,SAAS;oBACnC,MAAM,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;oBAChF,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,OAAO,EAAE,SAAS,CAAC,OAAO;oBAC1B,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC;oBAC9B,SAAS,EAAE,SAAS,CAAC,IAAI;iBAC1B,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;YAC/D,IAAI,YAAY,EAAE,CAAC;gBACjB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC;gBACjL,SAAS;YACX,CAAC;YAED,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAErC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,sFAAsF,CAAC,CAAC;YAC1H,IAAI,cAAc,EAAE,CAAC;gBACnB,MAAM,SAAS,GAAyB;oBACtC,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,SAAS;oBACpC,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;oBAC/B,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC;oBACzB,MAAM,EAAE,EAAE;oBACV,OAAO,EAAE,CAAC,KAAK,CAAC;oBAChB,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,OAAO,EAAE,SAAS,CAAC,OAAO;oBAC1B,YAAY,EAAE,SAAS,CAAC,YAAY;iBACrC,CAAC;gBACF,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC3B,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC5C,SAAS;YACX,CAAC;YAED,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,+DAA+D,CAAC,CAAC;YAChG,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,IAAI,GAAI,WAAW,CAAC,CAAC,CAA4B,IAAI,UAAU,CAAC;gBACtE,MAAM,UAAU,GAAI,WAAW,CAAC,CAAC,CAAkC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBAClH,MAAM,KAAK,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC3F,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;oBACtC,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,OAAO;wBACb,QAAQ,EAAE,cAAc,CAAC,OAAO,CAAC;wBACjC,IAAI;wBACJ,UAAU;wBACV,eAAe,EAAE,oBAAoB,CAAC,OAAO,CAAC;wBAC9C,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,SAAS,CAAC,IAAI;wBACpB,MAAM,EAAE,SAAS,CAAC,MAAM;wBACxB,OAAO,EAAE,SAAS,CAAC,OAAO;wBAC1B,YAAY,EAAE,SAAS,CAAC,YAAY;qBACrC,CAAC,CAAC;gBACL,CAAC;gBACD,SAAS;YACX,CAAC;YAED,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACtD,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACxC,UAAU,CAAC,IAAI,CAAC;oBACd,UAAU;oBACV,iBAAiB,EAAE,uBAAuB,CAAC,UAAU,CAAC;oBACtD,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,OAAO,EAAE,SAAS,CAAC,OAAO;oBAC1B,YAAY,EAAE,SAAS,CAAC,YAAY;iBACrC,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;YACjE,IAAI,eAAe,EAAE,CAAC;gBACpB,MAAM,GAAG,GAAG,wBAAwB,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC/D,MAAM,GAAG,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC9C,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAkB,CAAC;gBACrD,MAAM,UAAU,GAAe;oBAC7B,GAAG;oBACH,GAAG;oBACH,QAAQ;oBACR,iBAAiB,EAAE,uBAAuB,CAAC,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;oBAC3D,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,OAAO,EAAE,SAAS,CAAC,OAAO;oBAC1B,YAAY,EAAE,SAAS,CAAC,YAAY;iBACrC,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC7B,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;oBACvB,WAAW,CAAC,IAAI,CAAC;wBACf,UAAU,EAAE,GAAG,GAAG,QAAQ,GAAG,EAAE;wBAC/B,GAAG;wBACH,GAAG;wBACH,QAAQ;wBACR,iBAAiB,EAAE,uBAAuB,CAAC,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;wBAC3D,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,SAAS,CAAC,IAAI;wBACpB,MAAM,EAAE,SAAS,CAAC,MAAM;wBACxB,OAAO,EAAE,SAAS,CAAC,OAAO;wBAC1B,YAAY,EAAE,SAAS,CAAC,YAAY;qBACrC,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM,cAAc,GAAG,GAAG,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;gBAChE,IAAI,cAAc;oBAAE,YAAY,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAChF,SAAS;YACX,CAAC;YAED,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;YACzD,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,GAAG,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC5C,MAAM,GAAG,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC5C,WAAW,CAAC,IAAI,CAAC;oBACf,UAAU,EAAE,GAAG,GAAG,QAAQ,GAAG,EAAE;oBAC/B,GAAG;oBACH,GAAG;oBACH,QAAQ,EAAE,KAAK;oBACf,iBAAiB,EAAE,uBAAuB,CAAC,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;oBAC3D,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,OAAO,EAAE,SAAS,CAAC,OAAO;oBAC1B,YAAY,EAAE,SAAS,CAAC,YAAY;iBACrC,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IAAI,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrD,cAAc,CAAC,IAAI,CAAC;oBAClB,OAAO,EAAE,qDAAqD,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;oBAClF,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,OAAO,EAAE,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC;oBAC3C,YAAY,EAAE,SAAS,CAAC,YAAY;iBACrC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,cAAc,CAAC,IAAI,CAAC;gBAClB,OAAO,EAAE,8BAA+B,KAAe,CAAC,OAAO,EAAE;gBACjE,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,OAAO,EAAE,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC;gBAC3C,YAAY,EAAE,SAAS,CAAC,YAAY;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC;AACjI,CAAC"}

package/dist/frontends/circom/circom-tokenizer.d.ts

@@ -0,0 +1,7 @@
+export interface CircomToken {
+    type: "identifier" | "number" | "operator" | "punctuation" | "string";
+    value: string;
+    line: number;
+    column: number;
+}
+export declare function tokenizeCircom(source: string): CircomToken[];

package/dist/frontends/circom/circom-tokenizer.js

@@ -0,0 +1,79 @@
+export function tokenizeCircom(source) {
+    const tokens = [];
+    let line = 1;
+    let column = 1;
+    let i = 0;
+    const push = (type, value, startLine = line, startColumn = column) => {
+        tokens.push({ type, value, line: startLine, column: startColumn });
+    };
+    while (i < source.length) {
+        const ch = source[i] ?? "";
+        if (ch === "\n") {
+            line += 1;
+            column = 1;
+            i += 1;
+            continue;
+        }
+        if (/\s/.test(ch)) {
+            column += 1;
+            i += 1;
+            continue;
+        }
+        const startLine = line;
+        const startColumn = column;
+        const three = source.slice(i, i + 3);
+        if (three === "<==" || three === "<--" || three === "===") {
+            push("operator", three, startLine, startColumn);
+            i += 3;
+            column += 3;
+            continue;
+        }
+        if (/[A-Za-z_]/.test(ch)) {
+            let value = ch;
+            i += 1;
+            column += 1;
+            while (i < source.length && /[A-Za-z0-9_]/.test(source[i] ?? "")) {
+                value += source[i];
+                i += 1;
+                column += 1;
+            }
+            push("identifier", value, startLine, startColumn);
+            continue;
+        }
+        if (/\d/.test(ch)) {
+            let value = ch;
+            i += 1;
+            column += 1;
+            while (i < source.length && /[A-Za-z0-9_]/.test(source[i] ?? "")) {
+                value += source[i];
+                i += 1;
+                column += 1;
+            }
+            push("number", value, startLine, startColumn);
+            continue;
+        }
+        if (ch === '"' || ch === "'") {
+            const quote = ch;
+            let value = ch;
+            i += 1;
+            column += 1;
+            while (i < source.length && source[i] !== quote) {
+                value += source[i];
+                i += 1;
+                column += 1;
+            }
+            if (i < source.length) {
+                value += source[i];
+                i += 1;
+                column += 1;
+            }
+            push("string", value, startLine, startColumn);
+            continue;
+        }
+        push(/[{}()[\],;]/.test(ch) ? "punctuation" : "operator", ch, startLine, startColumn);
+        i += 1;
+        column += 1;
+    }
+    return tokens;
+}
+//# sourceMappingURL=circom-tokenizer.js.map

package/dist/frontends/circom/circom-tokenizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"circom-tokenizer.js","sourceRoot":"","sources":["../../../src/frontends/circom/circom-tokenizer.ts"],"names":[],"mappings":"AAOA,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,MAAM,IAAI,GAAG,CAAC,IAAyB,EAAE,KAAa,EAAE,SAAS,GAAG,IAAI,EAAE,WAAW,GAAG,MAAM,EAAE,EAAE;QAChG,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IACrE,CAAC,CAAC;IAEF,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3B,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,IAAI,IAAI,CAAC,CAAC;YACV,MAAM,GAAG,CAAC,CAAC;YACX,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,CAAC,CAAC;YACZ,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC;QACvB,MAAM,WAAW,GAAG,MAAM,CAAC;QAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;YAC1D,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;YAChD,CAAC,IAAI,CAAC,CAAC;YACP,MAAM,IAAI,CAAC,CAAC;YACZ,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,CAAC,IAAI,CAAC,CAAC;YACP,MAAM,IAAI,CAAC,CAAC;YACZ,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBACjE,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;gBACnB,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM,IAAI,CAAC,CAAC;YACd,CAAC;YACD,IAAI,CAAC,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;YAClD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,CAAC,IAAI,CAAC,CAAC;YACP,MAAM,IAAI,CAAC,CAAC;YACZ,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBACjE,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;gBACnB,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM,IAAI,CAAC,CAAC;YACd,CAAC;YACD,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;YAC9C,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,EAAE,CAAC;YACjB,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,CAAC,IAAI,CAAC,CAAC;YACP,MAAM,IAAI,CAAC,CAAC;YACZ,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;gBAChD,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;gBACnB,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM,IAAI,CAAC,CAAC;YACd,CAAC;YACD,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;gBACtB,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;gBACnB,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM,IAAI,CAAC,CAAC;YACd,CAAC;YACD,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;YAC9C,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;QACtF,CAAC,IAAI,CAAC,CAAC;QACP,MAAM,IAAI,CAAC,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/frontends/circom/circom-utils.d.ts

@@ -0,0 +1,9 @@
+export declare function normalizeSignalReference(reference: string): string;
+export declare function baseSignalName(reference: string): string;
+export declare function extractSignalReferences(expression: string): string[];
+export declare function isBooleanLikeName(name: string): boolean;
+export declare function isSelectorLikeName(name: string): boolean;
+export declare function isNumericLikeName(name: string): boolean;
+export declare function isHighValueNumericName(name: string): boolean;
+export declare function expressionHasDivisionOrInverse(expression: string): boolean;
+export declare function expressionHasHashContext(expression: string): boolean;

package/dist/frontends/circom/circom-utils.js

@@ -0,0 +1,88 @@
+const reserved = new Set([
+    "signal",
+    "input",
+    "output",
+    "component",
+    "template",
+    "pragma",
+    "include",
+    "assert",
+    "var",
+    "for",
+    "if",
+    "else",
+    "return",
+    "public",
+    "private",
+    "main",
+    "true",
+    "false"
+]);
+export function normalizeSignalReference(reference) {
+    return reference.trim().replace(/\s+/g, "").replace(/\[[^\]]+\]/g, "[]");
+}
+export function baseSignalName(reference) {
+    const normalized = normalizeSignalReference(reference);
+    return normalized.split(/[.\[]/)[0] ?? normalized;
+}
+export function extractSignalReferences(expression) {
+    const refs = new Set();
+    const pattern = /\b[A-Za-z_][A-Za-z0-9_]*(?:\s*(?:\[[^\]]+\]|\.[A-Za-z_][A-Za-z0-9_]*))*\b/g;
+    for (const match of expression.matchAll(pattern)) {
+        const value = normalizeSignalReference(match[0]);
+        const root = value.split(".")[0]?.replace(/\[\]/g, "") ?? value;
+        if (!reserved.has(root) && !/^\d+$/.test(root))
+            refs.add(value);
+    }
+    return [...refs];
+}
+export function isBooleanLikeName(name) {
+    const lower = name.toLowerCase();
+    const exactOrSuffix = ["enabled", "flag", "bool", "valid", "verified", "admin", "approved", "allowed", "selector", "direction", "bit", "pathindex", "path_index"].some((token) => lower === token || lower.endsWith(`_${token}`) || lower.endsWith(token));
+    return (/^is[A-Z_]/.test(name) ||
+        /^has[A-Z_]/.test(name) ||
+        /^should[A-Z_]/.test(name) ||
+        /^can[A-Z_]/.test(name) ||
+        exactOrSuffix);
+}
+export function isSelectorLikeName(name) {
+    const lower = name.toLowerCase();
+    return ["selector", "select", "enabled", "flag", "direction", "pathindex", "isleft", "isright", "choose", "switch"].some((token) => lower.includes(token));
+}
+export function isNumericLikeName(name) {
+    const lower = name.toLowerCase();
+    return [
+        "amount",
+        "balance",
+        "fee",
+        "nonce",
+        "index",
+        "idx",
+        "id",
+        "timestamp",
+        "price",
+        "quantity",
+        "value",
+        "limb",
+        "total",
+        "count",
+        "size",
+        "length",
+        "depth",
+        "level",
+        "nullifier",
+        "asset",
+        "token"
+    ].some((token) => lower.includes(token));
+}
+export function isHighValueNumericName(name) {
+    const lower = name.toLowerCase();
+    return ["amount", "balance", "fee", "nonce", "nullifier", "commitment", "root", "limb"].some((token) => lower.includes(token));
+}
+export function expressionHasDivisionOrInverse(expression) {
+    return /\/|\binv(?:erse)?\b|\bIsZero\b/i.test(expression);
+}
+export function expressionHasHashContext(expression) {
+    return /poseidon|pedersen|mimc|hash|commitment|nullifier|root/i.test(expression);
+}
+//# sourceMappingURL=circom-utils.js.map

package/dist/frontends/circom/circom-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"circom-utils.js","sourceRoot":"","sources":["../../../src/frontends/circom/circom-utils.ts"],"names":[],"mappings":"AAAA,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACvB,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,WAAW;IACX,UAAU;IACV,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,KAAK;IACL,KAAK;IACL,IAAI;IACJ,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,MAAM;IACN,MAAM;IACN,OAAO;CACR,CAAC,CAAC;AAEH,MAAM,UAAU,wBAAwB,CAAC,SAAiB;IACxD,OAAO,SAAS,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,SAAiB;IAC9C,MAAM,UAAU,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;IACvD,OAAO,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,UAAkB;IACxD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAG,4EAA4E,CAAC;IAC7F,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC;QAChE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,MAAM,aAAa,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,IAAI,CACpK,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CACnF,CAAC;IACF,OAAO,CACL,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;QACtB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QACvB,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1B,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QACvB,aAAa,CACd,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,OAAO,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACjI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CACtB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,OAAO;QACL,QAAQ;QACR,SAAS;QACT,KAAK;QACL,OAAO;QACP,OAAO;QACP,KAAK;QACL,IAAI;QACJ,WAAW;QACX,OAAO;QACP,UAAU;QACV,OAAO;QACP,MAAM;QACN,OAAO;QACP,OAAO;QACP,MAAM;QACN,QAAQ;QACR,OAAO;QACP,OAAO;QACP,WAAW;QACX,OAAO;QACP,OAAO;KACR,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AACjI,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,UAAkB;IAC/D,OAAO,iCAAiC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,UAAkB;IACzD,OAAO,wDAAwD,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AACnF,CAAC"}

package/dist/frontends/gnark/gnark-adapter.d.ts

@@ -0,0 +1,5 @@
+export interface GnarkAdapter {
+    readonly frontend: "gnark";
+    parse(): never;
+}
+export declare const gnarkAdapter: GnarkAdapter;

package/dist/frontends/gnark/gnark-adapter.js

@@ -0,0 +1,7 @@
+export const gnarkAdapter = {
+    frontend: "gnark",
+    parse() {
+        throw new Error("gnark frontend is planned but not implemented in v1.");
+    }
+};
+//# sourceMappingURL=gnark-adapter.js.map

package/dist/frontends/gnark/gnark-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gnark-adapter.js","sourceRoot":"","sources":["../../../src/frontends/gnark/gnark-adapter.ts"],"names":[],"mappings":"AAKA,MAAM,CAAC,MAAM,YAAY,GAAiB;IACxC,QAAQ,EAAE,OAAO;IACjB,KAAK;QACH,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;CACF,CAAC"}

package/dist/frontends/halo2/halo2-adapter.d.ts

@@ -0,0 +1,8 @@
+import type { LoadedFile } from "../../core/file-loader.js";
+import type { Halo2CircuitFile, Halo2IR } from "./halo2-types.js";
+export interface Halo2Adapter {
+    readonly frontend: "Halo2";
+    parseFile(file: LoadedFile): Halo2CircuitFile;
+    buildIR(files: Halo2CircuitFile[]): Halo2IR;
+}
+export declare const halo2Adapter: Halo2Adapter;

package/dist/frontends/halo2/halo2-adapter.js

@@ -0,0 +1,12 @@
+import { parseHalo2File } from "./halo2-parser.js";
+import { buildHalo2IR } from "./halo2-ir-builder.js";
+export const halo2Adapter = {
+    frontend: "Halo2",
+    parseFile(file) {
+        return parseHalo2File(file.filePath, file.rawSource);
+    },
+    buildIR(files) {
+        return buildHalo2IR(files);
+    }
+};
+//# sourceMappingURL=halo2-adapter.js.map

package/dist/frontends/halo2/halo2-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"halo2-adapter.js","sourceRoot":"","sources":["../../../src/frontends/halo2/halo2-adapter.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AASrD,MAAM,CAAC,MAAM,YAAY,GAAiB;IACxC,QAAQ,EAAE,OAAO;IACjB,SAAS,CAAC,IAAI;QACZ,OAAO,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,CAAC,KAAK;QACX,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;CACF,CAAC"}

package/dist/frontends/halo2/halo2-constraint-extractor.d.ts

@@ -0,0 +1,29 @@
+import type { Halo2Assignment, Halo2Gate, Halo2IR, Halo2InstanceConstraint, Halo2Lookup, Halo2Query, Halo2Region, Halo2Selector } from "./halo2-types.js";
+export interface Halo2GateConstraint {
+    gate: Halo2Gate;
+    selectorColumns: string[];
+    adviceColumns: string[];
+    instanceColumns: string[];
+    fixedColumns: string[];
+    expressions: string[];
+    variableReferences: string[];
+}
+export interface Halo2AssignmentNode {
+    id: string;
+    assignment: Halo2Assignment;
+    columnName?: string;
+    label?: string;
+    cellVariable?: string;
+    region?: Halo2Region;
+    connectedBy: string[];
+}
+export interface Halo2ConstraintModel {
+    gates: Halo2GateConstraint[];
+    assignments: Halo2AssignmentNode[];
+    selectors: Halo2Selector[];
+    instanceQueries: Halo2Query[];
+    instanceBindings: Halo2InstanceConstraint[];
+    lookups: Halo2Lookup[];
+}
+export declare function extractHalo2ConstraintModel(ir: Halo2IR): Halo2ConstraintModel;
+export declare function normalizeHalo2Column(value?: string): string | undefined;

package/dist/frontends/halo2/halo2-constraint-extractor.js

@@ -0,0 +1,38 @@
+function normalizeColumn(value) {
+    return value?.trim().replace(/^config\./, "").replace(/^self\./, "").split(".").pop();
+}
+export function extractHalo2ConstraintModel(ir) {
+    const gates = ir.gates.map((gate) => ({
+        gate,
+        selectorColumns: Object.values(gate.selectorAliases ?? {}).map(normalizeColumn).filter((value) => Boolean(value)),
+        adviceColumns: Object.values(gate.adviceAliases ?? {}).map(normalizeColumn).filter((value) => Boolean(value)),
+        instanceColumns: Object.values(gate.instanceAliases ?? {}).map(normalizeColumn).filter((value) => Boolean(value)),
+        fixedColumns: Object.values(gate.fixedAliases ?? {}).map(normalizeColumn).filter((value) => Boolean(value)),
+        expressions: gate.returnedExpressions ?? gate.expressions,
+        variableReferences: gate.variableReferences ?? []
+    }));
+    const assignments = ir.assignments.map((assignment, index) => {
+        const region = ir.regions.find((candidate) => candidate.file === assignment.file && assignment.line >= candidate.line && candidate.assignments.includes(assignment));
+        return {
+            id: `${assignment.file}:${assignment.line}:${index}`,
+            assignment,
+            columnName: normalizeColumn(assignment.columnName ?? assignment.target),
+            label: assignment.label,
+            cellVariable: assignment.cellVariable,
+            region,
+            connectedBy: []
+        };
+    });
+    return {
+        gates,
+        assignments,
+        selectors: ir.selectors,
+        instanceQueries: ir.queries.filter((query) => query.queryType === "instance"),
+        instanceBindings: ir.instanceConstraints,
+        lookups: ir.lookups
+    };
+}
+export function normalizeHalo2Column(value) {
+    return normalizeColumn(value);
+}
+//# sourceMappingURL=halo2-constraint-extractor.js.map

package/dist/frontends/halo2/halo2-constraint-extractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"halo2-constraint-extractor.js","sourceRoot":"","sources":["../../../src/frontends/halo2/halo2-constraint-extractor.ts"],"names":[],"mappings":"AAwCA,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;AACxF,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,EAAW;IACrD,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACpC,IAAI;QACJ,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAClI,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9H,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAClI,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC5H,WAAW,EAAE,IAAI,CAAC,mBAAmB,IAAI,IAAI,CAAC,WAAW;QACzD,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,IAAI,EAAE;KAClD,CAAC,CAAC,CAAC;IAEJ,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;QAC3D,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QACrK,OAAO;YACL,EAAE,EAAE,GAAG,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,IAAI,KAAK,EAAE;YACpD,UAAU;YACV,UAAU,EAAE,eAAe,CAAC,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,CAAC;YACvE,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,YAAY,EAAE,UAAU,CAAC,YAAY;YACrC,MAAM;YACN,WAAW,EAAE,EAAE;SAChB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,KAAK;QACL,WAAW;QACX,SAAS,EAAE,EAAE,CAAC,SAAS;QACvB,eAAe,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,UAAU,CAAC;QAC7E,gBAAgB,EAAE,EAAE,CAAC,mBAAmB;QACxC,OAAO,EAAE,EAAE,CAAC,OAAO;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC"}

package/dist/frontends/halo2/halo2-constraint-graph.d.ts

@@ -0,0 +1,16 @@
+import { type Halo2AssignmentNode, type Halo2ConstraintModel } from "./halo2-constraint-extractor.js";
+import type { Halo2Assignment, Halo2IR } from "./halo2-types.js";
+export declare class Halo2ConstraintGraph {
+    readonly ir: Halo2IR;
+    readonly model: Halo2ConstraintModel;
+    constructor(ir: Halo2IR);
+    assignmentNode(assignment: Halo2Assignment): Halo2AssignmentNode | undefined;
+    gatesForColumn(columnName: string | undefined): string[];
+    isAssignmentConnected(assignment: Halo2Assignment): boolean;
+    assignmentConnections(assignment: Halo2Assignment): string[];
+    selectorEnabled(selectorName: string): boolean;
+    selectorUsedAsGateMultiplier(selectorName: string): boolean;
+    instanceQueryIsBound(queryColumnName: string, file: string): boolean;
+    columnHasEqualityEnabled(columnName: string | undefined): boolean;
+    equalityConstraintHasEnabledColumn(snippet: string | undefined): boolean;
+}