@trynullsec/s1-zk 1.0.0

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

@@ -0,0 +1,96 @@
+import { expressionUsesAliasAsMultiplier } from "./halo2-expression-parser.js";
+import { extractHalo2ConstraintModel, normalizeHalo2Column } from "./halo2-constraint-extractor.js";
+function includesToken(text, token) {
+    if (!text || !token)
+        return false;
+    const escaped = token.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+    return new RegExp(`(^|[^A-Za-z0-9_])${escaped}([^A-Za-z0-9_]|$)`).test(text);
+}
+function assignmentTokens(node) {
+    return [
+        node.columnName,
+        node.label,
+        node.cellVariable,
+        node.assignment.assignedVariable,
+        node.assignment.target,
+        ...node.assignment.referencedSymbols
+    ].filter((value) => Boolean(value));
+}
+export class Halo2ConstraintGraph {
+    ir;
+    model;
+    constructor(ir) {
+        this.ir = ir;
+        this.model = extractHalo2ConstraintModel(ir);
+    }
+    assignmentNode(assignment) {
+        return this.model.assignments.find((node) => node.assignment === assignment);
+    }
+    gatesForColumn(columnName) {
+        const normalized = normalizeHalo2Column(columnName);
+        if (!normalized)
+            return [];
+        return this.model.gates.filter((gate) => gate.adviceColumns.includes(normalized) || gate.instanceColumns.includes(normalized)).map((gate) => gate.gate.name);
+    }
+    isAssignmentConnected(assignment) {
+        return this.assignmentConnections(assignment).length > 0;
+    }
+    assignmentConnections(assignment) {
+        const node = this.assignmentNode(assignment);
+        if (!node)
+            return [];
+        const tokens = assignmentTokens(node);
+        const connections = new Set();
+        const columnGates = this.gatesForColumn(node.columnName);
+        for (const gateName of columnGates)
+            connections.add(`gate:${gateName}`);
+        for (const gate of this.model.gates.filter((candidate) => candidate.gate.file === assignment.file)) {
+            if (tokens.some((token) => gate.expressions.some((expression) => includesToken(expression, token))))
+                connections.add(`gate-expression:${gate.gate.name}`);
+        }
+        for (const eq of this.ir.equalityConstraints.filter((constraint) => constraint.file === assignment.file)) {
+            if (tokens.some((token) => includesToken(eq.snippet, token)))
+                connections.add("equality");
+        }
+        for (const copy of this.ir.copyConstraints.filter((constraint) => constraint.file === assignment.file)) {
+            if (tokens.some((token) => includesToken(copy.snippet, token)))
+                connections.add("copy");
+        }
+        for (const binding of this.model.instanceBindings.filter((constraint) => constraint.file === assignment.file)) {
+            if (tokens.some((token) => includesToken(binding.snippet, token)))
+                connections.add("instance");
+        }
+        for (const lookup of this.model.lookups.filter((candidate) => candidate.file === assignment.file)) {
+            if (tokens.some((token) => includesToken(lookup.expression, token)))
+                connections.add("lookup");
+        }
+        return [...connections];
+    }
+    selectorEnabled(selectorName) {
+        const normalized = normalizeHalo2Column(selectorName) ?? selectorName;
+        return this.ir.selectors.some((selector) => (selector.name === normalized || normalizeHalo2Column(selector.name) === normalized) && selector.enabledLines.length > 0);
+    }
+    selectorUsedAsGateMultiplier(selectorName) {
+        const normalized = normalizeHalo2Column(selectorName) ?? selectorName;
+        return this.model.gates.some((gate) => {
+            const aliases = Object.entries(gate.gate.selectorAliases ?? {}).filter(([, column]) => normalizeHalo2Column(column) === normalized).map(([alias]) => alias);
+            return aliases.some((alias) => gate.expressions.some((expression) => expressionUsesAliasAsMultiplier(expression, alias)));
+        });
+    }
+    instanceQueryIsBound(queryColumnName, file) {
+        const normalized = normalizeHalo2Column(queryColumnName) ?? queryColumnName;
+        const queriedInGate = this.model.gates.some((gate) => gate.gate.file === file && gate.instanceColumns.includes(normalized));
+        const exposed = this.model.instanceBindings.some((binding) => binding.file === file && includesToken(binding.snippet, normalized));
+        return queriedInGate || exposed;
+    }
+    columnHasEqualityEnabled(columnName) {
+        const normalized = normalizeHalo2Column(columnName);
+        if (!normalized)
+            return false;
+        return this.ir.columns.some((column) => normalizeHalo2Column(column.name) === normalized && column.equalityEnabled);
+    }
+    equalityConstraintHasEnabledColumn(snippet) {
+        return this.ir.columns.some((column) => column.equalityEnabled && includesToken(snippet, column.name));
+    }
+}
+//# sourceMappingURL=halo2-constraint-graph.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"halo2-constraint-graph.js","sourceRoot":"","sources":["../../../src/frontends/halo2/halo2-constraint-graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,+BAA+B,EAAE,MAAM,8BAA8B,CAAC;AAC/E,OAAO,EAAE,2BAA2B,EAAE,oBAAoB,EAAuD,MAAM,iCAAiC,CAAC;AAGzJ,SAAS,aAAa,CAAC,IAAwB,EAAE,KAAyB;IACxE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IAClC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAC7D,OAAO,IAAI,MAAM,CAAC,oBAAoB,OAAO,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAyB;IACjD,OAAO;QACL,IAAI,CAAC,UAAU;QACf,IAAI,CAAC,KAAK;QACV,IAAI,CAAC,YAAY;QACjB,IAAI,CAAC,UAAU,CAAC,gBAAgB;QAChC,IAAI,CAAC,UAAU,CAAC,MAAM;QACtB,GAAG,IAAI,CAAC,UAAU,CAAC,iBAAiB;KACrC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,OAAO,oBAAoB;IAGV;IAFZ,KAAK,CAAuB;IAErC,YAAqB,EAAW;QAAX,OAAE,GAAF,EAAE,CAAS;QAC9B,IAAI,CAAC,KAAK,GAAG,2BAA2B,CAAC,EAAE,CAAC,CAAC;IAC/C,CAAC;IAED,cAAc,CAAC,UAA2B;QACxC,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;IAC/E,CAAC;IAED,cAAc,CAAC,UAA8B;QAC3C,MAAM,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,CAAC,UAAU;YAAE,OAAO,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/J,CAAC;IAED,qBAAqB,CAAC,UAA2B;QAC/C,OAAO,IAAI,CAAC,qBAAqB,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3D,CAAC;IAED,qBAAqB,CAAC,UAA2B;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzD,KAAK,MAAM,QAAQ,IAAI,WAAW;YAAE,WAAW,CAAC,GAAG,CAAC,QAAQ,QAAQ,EAAE,CAAC,CAAC;QAExE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACnG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC;gBAAE,WAAW,CAAC,GAAG,CAAC,mBAAmB,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5J,CAAC;QAED,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACzG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAAE,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC5F,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACvG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAAE,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1F,CAAC;QAED,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9G,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAAE,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjG,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAClG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;gBAAE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACjG,CAAC;QAED,OAAO,CAAC,GAAG,WAAW,CAAC,CAAC;IAC1B,CAAC;IAED,eAAe,CAAC,YAAoB;QAClC,MAAM,UAAU,GAAG,oBAAoB,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC;QACtE,OAAO,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,IAAI,QAAQ,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACxK,CAAC;IAED,4BAA4B,CAAC,YAAoB;QAC/C,MAAM,UAAU,GAAG,oBAAoB,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC;QACtE,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;YACpC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;YAC5J,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,+BAA+B,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC5H,CAAC,CAAC,CAAC;IACL,CAAC;IAED,oBAAoB,CAAC,eAAuB,EAAE,IAAY;QACxD,MAAM,UAAU,GAAG,oBAAoB,CAAC,eAAe,CAAC,IAAI,eAAe,CAAC;QAC5E,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC5H,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,IAAI,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;QACnI,OAAO,aAAa,IAAI,OAAO,CAAC;IAClC,CAAC;IAED,wBAAwB,CAAC,UAA8B;QACrD,MAAM,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,CAAC,UAAU;YAAE,OAAO,KAAK,CAAC;QAC9B,OAAO,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,UAAU,IAAI,MAAM,CAAC,eAAe,CAAC,CAAC;IACtH,CAAC;IAED,kCAAkC,CAAC,OAA2B;QAC5D,OAAO,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,eAAe,IAAI,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACzG,CAAC;CACF"}

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

@@ -0,0 +1,11 @@
+import type { Halo2Assignment } from "./halo2-types.js";
+import { Halo2ConstraintGraph } from "./halo2-constraint-graph.js";
+export interface Halo2AssignmentFlow {
+    assignment: Halo2Assignment;
+    connected: boolean;
+    connections: string[];
+    ecRelated: boolean;
+}
+export declare function assignmentFlows(graph: Halo2ConstraintGraph): Halo2AssignmentFlow[];
+export declare function unconstrainedAssignments(graph: Halo2ConstraintGraph): Halo2AssignmentFlow[];
+export declare function unconstrainedEcAssignments(graph: Halo2ConstraintGraph): Halo2AssignmentFlow[];

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

@@ -0,0 +1,19 @@
+import { isEcLikeName } from "./halo2-patterns.js";
+export function assignmentFlows(graph) {
+    return graph.ir.assignments.map((assignment) => {
+        const connections = graph.assignmentConnections(assignment);
+        return {
+            assignment,
+            connected: connections.length > 0,
+            connections,
+            ecRelated: isEcLikeName(`${assignment.expression} ${assignment.label ?? ""} ${assignment.columnName ?? ""} ${assignment.assignedVariable ?? ""}`)
+        };
+    });
+}
+export function unconstrainedAssignments(graph) {
+    return assignmentFlows(graph).filter((flow) => !flow.connected);
+}
+export function unconstrainedEcAssignments(graph) {
+    return unconstrainedAssignments(graph).filter((flow) => flow.ecRelated);
+}
+//# sourceMappingURL=halo2-dataflow.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"halo2-dataflow.js","sourceRoot":"","sources":["../../../src/frontends/halo2/halo2-dataflow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAWnD,MAAM,UAAU,eAAe,CAAC,KAA2B;IACzD,OAAO,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;QAC7C,MAAM,WAAW,GAAG,KAAK,CAAC,qBAAqB,CAAC,UAAU,CAAC,CAAC;QAC5D,OAAO;YACL,UAAU;YACV,SAAS,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC;YACjC,WAAW;YACX,SAAS,EAAE,YAAY,CAAC,GAAG,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,KAAK,IAAI,EAAE,IAAI,UAAU,CAAC,UAAU,IAAI,EAAE,IAAI,UAAU,CAAC,gBAAgB,IAAI,EAAE,EAAE,CAAC;SAClJ,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAA2B;IAClE,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAA2B;IACpE,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AAC1E,CAAC"}

package/dist/frontends/halo2/halo2-expression-parser.d.ts

@@ -0,0 +1,14 @@
+export interface Halo2ParsedGateExpression {
+    returnedExpressions: string[];
+    variableReferences: string[];
+    selectorAliases: Record<string, string>;
+    adviceAliases: Record<string, string>;
+    instanceAliases: Record<string, string>;
+    fixedAliases: Record<string, string>;
+    rotations: Array<{
+        alias: string;
+        rotation: "cur" | "prev" | "next" | string;
+    }>;
+}
+export declare function parseHalo2GateExpression(body: string): Halo2ParsedGateExpression;
+export declare function expressionUsesAliasAsMultiplier(expression: string, alias: string): boolean;

package/dist/frontends/halo2/halo2-expression-parser.js

@@ -0,0 +1,62 @@
+import { extractRustSymbols } from "./halo2-patterns.js";
+function normalizeColumn(value) {
+    return value.trim().replace(/^config\./, "").replace(/^self\./, "");
+}
+function extractVecExpressions(body) {
+    const vecMatch = body.match(/vec!\s*\[([\s\S]*?)\]\s*;?/);
+    if (!vecMatch)
+        return [];
+    const inner = vecMatch[1] ?? "";
+    const expressions = [];
+    let depth = 0;
+    let current = "";
+    for (const ch of inner) {
+        if (ch === "(" || ch === "[" || ch === "{")
+            depth += 1;
+        if (ch === ")" || ch === "]" || ch === "}")
+            depth -= 1;
+        if (ch === "," && depth === 0) {
+            if (current.trim())
+                expressions.push(current.trim());
+            current = "";
+            continue;
+        }
+        current += ch;
+    }
+    if (current.trim())
+        expressions.push(current.trim());
+    return expressions;
+}
+export function parseHalo2GateExpression(body) {
+    const selectorAliases = {};
+    const adviceAliases = {};
+    const instanceAliases = {};
+    const fixedAliases = {};
+    const rotations = [];
+    const queryPattern = /let\s+([A-Za-z_][A-Za-z0-9_]*)\s*=\s*meta\.query_(advice|instance|fixed|selector)\s*\(([^)]*)\)/g;
+    for (const match of body.matchAll(queryPattern)) {
+        const alias = match[1] ?? "unknown";
+        const queryType = match[2] ?? "unknown";
+        const args = (match[3] ?? "").split(",").map((arg) => arg.trim());
+        const columnName = normalizeColumn(args[0] ?? "unknown");
+        const rotation = args.find((arg) => /Rotation::/.test(arg))?.match(/Rotation::([A-Za-z_][A-Za-z0-9_]*)/)?.[1] ?? "cur";
+        if (queryType === "selector")
+            selectorAliases[alias] = columnName;
+        if (queryType === "advice")
+            adviceAliases[alias] = columnName;
+        if (queryType === "instance")
+            instanceAliases[alias] = columnName;
+        if (queryType === "fixed")
+            fixedAliases[alias] = columnName;
+        if (queryType !== "selector")
+            rotations.push({ alias, rotation });
+    }
+    const returnedExpressions = extractVecExpressions(body);
+    const variableReferences = [...new Set(returnedExpressions.flatMap((expression) => extractRustSymbols(expression)))];
+    return { returnedExpressions, variableReferences, selectorAliases, adviceAliases, instanceAliases, fixedAliases, rotations };
+}
+export function expressionUsesAliasAsMultiplier(expression, alias) {
+    const compact = expression.replace(/\s+/g, "");
+    return compact.includes(`${alias}*`) || compact.includes(`*${alias}`);
+}
+//# sourceMappingURL=halo2-expression-parser.js.map

package/dist/frontends/halo2/halo2-expression-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"halo2-expression-parser.js","sourceRoot":"","sources":["../../../src/frontends/halo2/halo2-expression-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAYzD,SAAS,eAAe,CAAC,KAAa;IACpC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAY;IACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC1D,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;QACvD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;QACvD,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAC9B,IAAI,OAAO,CAAC,IAAI,EAAE;gBAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YACrD,OAAO,GAAG,EAAE,CAAC;YACb,SAAS;QACX,CAAC;QACD,OAAO,IAAI,EAAE,CAAC;IAChB,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,EAAE;QAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACrD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAAY;IACnD,MAAM,eAAe,GAA2B,EAAE,CAAC;IACnD,MAAM,aAAa,GAA2B,EAAE,CAAC;IACjD,MAAM,eAAe,GAA2B,EAAE,CAAC;IACnD,MAAM,YAAY,GAA2B,EAAE,CAAC;IAChD,MAAM,SAAS,GAA2C,EAAE,CAAC;IAE7D,MAAM,YAAY,GAAG,kGAAkG,CAAC;IACxH,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC;QACpC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC;QACxC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAClE,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,oCAAoC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;QACvH,IAAI,SAAS,KAAK,UAAU;YAAE,eAAe,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC;QAClE,IAAI,SAAS,KAAK,QAAQ;YAAE,aAAa,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC;QAC9D,IAAI,SAAS,KAAK,UAAU;YAAE,eAAe,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC;QAClE,IAAI,SAAS,KAAK,OAAO;YAAE,YAAY,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC;QAC5D,IAAI,SAAS,KAAK,UAAU;YAAE,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,MAAM,mBAAmB,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,kBAAkB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACrH,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;AAC/H,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,UAAkB,EAAE,KAAa;IAC/E,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC/C,OAAO,OAAO,CAAC,QAAQ,CAAC,GAAG,KAAK,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;AACxE,CAAC"}

package/dist/frontends/halo2/halo2-ir-builder.d.ts

@@ -0,0 +1,2 @@
+import type { Halo2CircuitFile, Halo2IR } from "./halo2-types.js";
+export declare function buildHalo2IR(files: Halo2CircuitFile[]): Halo2IR;

package/dist/frontends/halo2/halo2-ir-builder.js

@@ -0,0 +1,17 @@
+export function buildHalo2IR(files) {
+    return {
+        files,
+        columns: files.flatMap((file) => file.columns),
+        selectors: files.flatMap((file) => file.selectors),
+        gates: files.flatMap((file) => file.gates),
+        queries: files.flatMap((file) => file.queries),
+        assignments: files.flatMap((file) => file.assignments),
+        equalityConstraints: files.flatMap((file) => file.equalityConstraints),
+        instanceConstraints: files.flatMap((file) => file.instanceConstraints),
+        lookups: files.flatMap((file) => file.lookups),
+        regions: files.flatMap((file) => file.regions),
+        copyConstraints: files.flatMap((file) => file.copyConstraints),
+        parserWarnings: files.flatMap((file) => file.parserWarnings)
+    };
+}
+//# sourceMappingURL=halo2-ir-builder.js.map

package/dist/frontends/halo2/halo2-ir-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"halo2-ir-builder.js","sourceRoot":"","sources":["../../../src/frontends/halo2/halo2-ir-builder.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,YAAY,CAAC,KAAyB;IACpD,OAAO;QACL,KAAK;QACL,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;QAC9C,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;QAClD,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;QAC1C,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;QAC9C,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC;QACtD,mBAAmB,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC;QACtE,mBAAmB,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC;QACtE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;QAC9C,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;QAC9C,eAAe,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC;QAC9D,cAAc,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC;KAC7D,CAAC;AACJ,CAAC"}

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

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

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

@@ -0,0 +1,316 @@
+import { columnOf, getLine } from "../../core/source-map.js";
+import { extractRustSymbols, halo2DetectionPatterns, isLikelyHalo2Source } from "./halo2-patterns.js";
+import { parseHalo2GateExpression } from "./halo2-expression-parser.js";
+function lineNumberAt(source, index) {
+    return source.slice(0, index).split(/\r?\n/).length;
+}
+function findBalancedBlock(source, startIndex) {
+    const open = source.indexOf("{", startIndex);
+    if (open < 0)
+        return undefined;
+    let depth = 0;
+    for (let i = open; i < source.length; i += 1) {
+        const ch = source[i];
+        if (ch === "{")
+            depth += 1;
+        if (ch === "}")
+            depth -= 1;
+        if (depth === 0) {
+            const startLine = lineNumberAt(source, startIndex);
+            return {
+                text: source.slice(open + 1, i),
+                startLine,
+                endLine: lineNumberAt(source, i),
+                snippet: getLine(source, startLine).trim()
+            };
+        }
+    }
+    return undefined;
+}
+function extractGateName(prefix) {
+    const quoted = prefix.match(/create_gate\s*\(\s*"([^"]+)"/);
+    return quoted?.[1] ?? "unnamed gate";
+}
+function extractQueries(filePath, source, gateName, lineOffset = 0) {
+    const queries = [];
+    const regex = /query_(advice|fixed|instance|selector)\s*\(([^)]*)\)/g;
+    for (const match of source.matchAll(regex)) {
+        const queryType = match[1];
+        const args = (match[2] ?? "").split(",").map((arg) => arg.trim());
+        const line = lineOffset + lineNumberAt(source, match.index ?? 0);
+        queries.push({
+            queryType,
+            columnName: args[0] ?? "unknown",
+            rotation: args[1],
+            gateName,
+            file: filePath,
+            line,
+            column: columnOf(getLine(source, line - lineOffset), match[0] ?? ""),
+            snippet: getLine(source, line - lineOffset).trim()
+        });
+    }
+    return queries;
+}
+function extractColumns(filePath, rawSource) {
+    const columns = [];
+    const lines = rawSource.split(/\r?\n/);
+    const regex = /(?:let\s+)?([A-Za-z_][A-Za-z0-9_]*)\s*=\s*(?:meta\.)?(advice_column|fixed_column|instance_column)\s*\(/;
+    lines.forEach((lineText, index) => {
+        const match = lineText.match(regex);
+        if (!match)
+            return;
+        const kind = match[2] === "advice_column" ? "advice" : match[2] === "fixed_column" ? "fixed" : "instance";
+        const name = match[1] ?? "unknown";
+        const equalityEnabled = new RegExp(`enable_equality\\s*\\(\\s*${name}\\s*\\)`).test(rawSource);
+        columns.push({
+            name,
+            columnType: kind,
+            equalityEnabled,
+            file: filePath,
+            line: index + 1,
+            column: columnOf(lineText, name),
+            snippet: lineText.trim()
+        });
+    });
+    return columns;
+}
+function extractSelectors(filePath, rawSource, gates) {
+    const selectors = new Map();
+    const lines = rawSource.split(/\r?\n/);
+    lines.forEach((lineText, index) => {
+        const construct = lineText.match(/(?:let\s+)?([A-Za-z_][A-Za-z0-9_]*)\s*=\s*(?:meta\.)?(selector|complex_selector)\s*\(/);
+        const typed = lineText.match(/([A-Za-z_][A-Za-z0-9_]*)\s*:\s*Selector\b/);
+        const match = construct ?? typed;
+        if (!match)
+            return;
+        const name = match[1] ?? "selector";
+        selectors.set(name, {
+            name,
+            enabledLines: [],
+            usedInGates: [],
+            file: filePath,
+            line: index + 1,
+            column: columnOf(lineText, name),
+            snippet: lineText.trim()
+        });
+    });
+    for (const gate of gates) {
+        for (const selector of gate.selectors) {
+            const existing = selectors.get(selector) ??
+                {
+                    name: selector,
+                    enabledLines: [],
+                    usedInGates: [],
+                    file: filePath,
+                    line: gate.line,
+                    column: gate.column,
+                    snippet: gate.snippet
+                };
+            existing.usedInGates.push(gate.name);
+            selectors.set(selector, existing);
+        }
+    }
+    lines.forEach((lineText, index) => {
+        const enable = lineText.match(/([A-Za-z_][A-Za-z0-9_.]*)\.enable\s*\(/);
+        if (!enable)
+            return;
+        const name = (enable[1] ?? "").split(".").pop() ?? enable[1] ?? "";
+        const existing = selectors.get(name) ??
+            {
+                name,
+                enabledLines: [],
+                usedInGates: [],
+                file: filePath,
+                line: index + 1,
+                column: columnOf(lineText, name),
+                snippet: lineText.trim()
+            };
+        existing.enabledLines.push(index + 1);
+        selectors.set(name, existing);
+    });
+    return [...selectors.values()];
+}
+function extractGates(filePath, rawSource) {
+    const gates = [];
+    const regex = /create_gate\s*\(/g;
+    for (const match of rawSource.matchAll(regex)) {
+        const start = match.index ?? 0;
+        const block = findBalancedBlock(rawSource, start);
+        if (!block)
+            continue;
+        const prefix = rawSource.slice(start, rawSource.indexOf("{", start));
+        const name = extractGateName(prefix);
+        const queries = extractQueries(filePath, block.text, name, block.startLine - 1);
+        const parsedExpression = parseHalo2GateExpression(block.text);
+        gates.push({
+            name,
+            body: block.text,
+            queries,
+            selectors: queries.filter((query) => query.queryType === "selector").map((query) => query.columnName),
+            expressions: block.text.split(/\r?\n/).map((line) => line.trim()).filter(Boolean),
+            returnedExpressions: parsedExpression.returnedExpressions,
+            variableReferences: parsedExpression.variableReferences,
+            selectorAliases: parsedExpression.selectorAliases,
+            adviceAliases: parsedExpression.adviceAliases,
+            instanceAliases: parsedExpression.instanceAliases,
+            fixedAliases: parsedExpression.fixedAliases,
+            file: filePath,
+            line: block.startLine,
+            column: 1,
+            snippet: block.snippet
+        });
+    }
+    return gates;
+}
+function extractAssignments(filePath, rawSource) {
+    const assignments = [];
+    rawSource.split(/\r?\n/).forEach((lineText, index) => {
+        const match = lineText.match(/\b(assign_advice|assign_fixed)\s*\((.*)/);
+        if (!match)
+            return;
+        const label = lineText.match(/\|\|\s*"([^"]+)"/)?.[1];
+        const args = lineText.split(",");
+        const columnName = args.find((arg) => /config\.|\.advice|\.fixed|[A-Za-z_][A-Za-z0-9_]*\./.test(arg))?.trim();
+        const rowOffset = args.find((arg) => /^\s*\d+\s*$/.test(arg))?.trim();
+        const cellVariable = lineText.match(/(?:let\s+)?([A-Za-z_][A-Za-z0-9_]*)\s*=\s*.*assign_(?:advice|fixed)/)?.[1];
+        assignments.push({
+            assignmentType: match[1] === "assign_advice" ? "advice" : "fixed",
+            target: columnName,
+            columnName,
+            label,
+            rowOffset,
+            cellVariable,
+            assignedVariable: lineText.match(/Value::known\s*\(([^)]+)\)/)?.[1]?.trim(),
+            expression: lineText.trim(),
+            referencedSymbols: extractRustSymbols(lineText),
+            file: filePath,
+            line: index + 1,
+            column: columnOf(lineText, match[1] ?? "assign"),
+            snippet: lineText.trim()
+        });
+    });
+    return assignments;
+}
+function extractCopyConstraints(filePath, rawSource) {
+    return rawSource
+        .split(/\r?\n/)
+        .map((lineText, index) => ({ lineText, index }))
+        .filter(({ lineText }) => /\.copy_advice\s*\(/.test(lineText))
+        .map(({ lineText, index }) => ({
+        source: lineText.match(/([A-Za-z_][A-Za-z0-9_.]*)\.copy_advice/)?.[1] ?? "unknown",
+        targetColumn: lineText.split(",").find((part) => /config\.|\.advice|\.fixed|\.instance/.test(part))?.trim(),
+        targetOffset: lineText.split(",").find((part) => /^\s*\d+\s*\)/.test(part))?.replace(/\D/g, ""),
+        referencedSymbols: extractRustSymbols(lineText),
+        file: filePath,
+        line: index + 1,
+        column: columnOf(lineText, "copy_advice"),
+        snippet: lineText.trim()
+    }));
+}
+function extractConstraints(filePath, rawSource) {
+    const equalityConstraints = [];
+    const instanceConstraints = [];
+    rawSource.split(/\r?\n/).forEach((lineText, index) => {
+        const equal = lineText.match(/\bconstrain_equal\s*\(([^,]+),\s*([^)]+)\)/);
+        if (equal) {
+            equalityConstraints.push({
+                lhs: (equal[1] ?? "").trim(),
+                rhs: (equal[2] ?? "").trim(),
+                referencedColumns: extractRustSymbols(lineText),
+                file: filePath,
+                line: index + 1,
+                column: columnOf(lineText, "constrain_equal"),
+                snippet: lineText.trim()
+            });
+        }
+        const instance = lineText.match(/\bconstrain_instance\s*\(([^,]+),\s*([^,]+),\s*([^)]+)\)/);
+        if (instance) {
+            instanceConstraints.push({
+                cell: (instance[1] ?? "").trim(),
+                instanceColumn: (instance[2] ?? "").trim(),
+                row: (instance[3] ?? "").trim(),
+                file: filePath,
+                line: index + 1,
+                column: columnOf(lineText, "constrain_instance"),
+                snippet: lineText.trim()
+            });
+        }
+    });
+    return { equalityConstraints, instanceConstraints };
+}
+function extractLookups(filePath, rawSource) {
+    return rawSource
+        .split(/\r?\n/)
+        .map((lineText, index) => ({ lineText, index }))
+        .filter(({ lineText }) => /\.lookup\b|create_lookup|lookup_any|lookup_table_column/.test(lineText))
+        .map(({ lineText, index }) => ({
+        expression: lineText.trim(),
+        referencedSymbols: extractRustSymbols(lineText),
+        file: filePath,
+        line: index + 1,
+        column: columnOf(lineText, "lookup"),
+        snippet: lineText.trim()
+    }));
+}
+function extractRegions(filePath, rawSource, assignments, equalityConstraints, instanceConstraints, copyConstraints) {
+    const regions = [];
+    const regex = /assign_region\s*\(\s*\|\|\s*"([^"]+)"/g;
+    for (const match of rawSource.matchAll(regex)) {
+        const start = match.index ?? 0;
+        const block = findBalancedBlock(rawSource, start);
+        const line = lineNumberAt(rawSource, start);
+        const endLine = block?.endLine ?? line;
+        regions.push({
+            name: match[1] ?? "region",
+            assignments: assignments.filter((assignment) => assignment.line >= line && assignment.line <= endLine),
+            selectorEnables: (block?.text.match(/([A-Za-z_][A-Za-z0-9_.]*)\.enable\s*\(/g) ?? []).map((value) => value.split(".").at(-2) ?? value),
+            copyAdvice: copyConstraints.filter((constraint) => constraint.line >= line && constraint.line <= endLine),
+            equalityConstraints: equalityConstraints.filter((constraint) => constraint.line >= line && constraint.line <= endLine),
+            instanceConstraints: instanceConstraints.filter((constraint) => constraint.line >= line && constraint.line <= endLine),
+            file: filePath,
+            line,
+            column: 1,
+            snippet: getLine(rawSource, line).trim()
+        });
+    }
+    return regions;
+}
+export function parseHalo2File(filePath, rawSource) {
+    const parserWarnings = [];
+    const detectedPatterns = halo2DetectionPatterns.filter((pattern) => rawSource.includes(pattern));
+    if (!isLikelyHalo2Source(rawSource)) {
+        parserWarnings.push({
+            message: "Rust file does not contain known Halo2 patterns; parsed with low confidence.",
+            file: filePath,
+            line: 1,
+            column: 1,
+            snippet: getLine(rawSource, 1)
+        });
+    }
+    const gates = extractGates(filePath, rawSource);
+    const queries = [...extractQueries(filePath, rawSource), ...gates.flatMap((gate) => gate.queries)];
+    const columns = extractColumns(filePath, rawSource);
+    const assignments = extractAssignments(filePath, rawSource);
+    const { equalityConstraints, instanceConstraints } = extractConstraints(filePath, rawSource);
+    const copyConstraints = extractCopyConstraints(filePath, rawSource);
+    const lookups = extractLookups(filePath, rawSource);
+    const regions = extractRegions(filePath, rawSource, assignments, equalityConstraints, instanceConstraints, copyConstraints);
+    const selectors = extractSelectors(filePath, rawSource, gates);
+    return {
+        filePath,
+        rawSource,
+        columns,
+        selectors,
+        gates,
+        queries,
+        assignments,
+        equalityConstraints,
+        instanceConstraints,
+        lookups,
+        regions,
+        copyConstraints,
+        parserWarnings,
+        detectedPatterns
+    };
+}
+//# sourceMappingURL=halo2-parser.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"halo2-parser.js","sourceRoot":"","sources":["../../../src/frontends/halo2/halo2-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAc7D,OAAO,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AACtG,OAAO,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AAUxE,SAAS,YAAY,CAAC,MAAc,EAAE,KAAa;IACjD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;AACtD,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAc,EAAE,UAAkB;IAC3D,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAC7C,IAAI,IAAI,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;QAC3B,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;QAC3B,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YACnD,OAAO;gBACL,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC/B,SAAS;gBACT,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;gBAChC,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,IAAI,EAAE;aAC3C,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CAAC,MAAc;IACrC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAC5D,OAAO,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC;AACvC,CAAC;AAED,SAAS,cAAc,CAAC,QAAgB,EAAE,MAAc,EAAE,QAAiB,EAAE,UAAU,GAAG,CAAC;IACzF,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,uDAAuD,CAAC;IACtE,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAA4B,CAAC;QACtD,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAClE,MAAM,IAAI,GAAG,UAAU,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC;YACX,SAAS;YACT,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,SAAS;YAChC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;YACjB,QAAQ;YACR,IAAI,EAAE,QAAQ;YACd,IAAI;YACJ,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,GAAG,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACpE,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE;SACnD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,cAAc,CAAC,QAAgB,EAAE,SAAiB;IACzD,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,wGAAwG,CAAC;IACvH,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QAChC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;QAC1G,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC;QACnC,MAAM,eAAe,GAAG,IAAI,MAAM,CAAC,6BAA6B,IAAI,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC/F,OAAO,CAAC,IAAI,CAAC;YACX,IAAI;YACJ,UAAU,EAAE,IAAI;YAChB,eAAe;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,KAAK,GAAG,CAAC;YACf,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;YAChC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE;SACzB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAgB,EAAE,SAAiB,EAAE,KAAkB;IAC/E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAC;IACnD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACvC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QAChC,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,uFAAuF,CAAC,CAAC;QAC1H,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,SAAS,IAAI,KAAK,CAAC;QACjC,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC;QACpC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE;YAClB,IAAI;YACJ,YAAY,EAAE,EAAE;YAChB,WAAW,EAAE,EAAE;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,KAAK,GAAG,CAAC;YACf,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;YAChC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE;SACzB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACtC,MAAM,QAAQ,GACZ,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC;gBACtB;oBACC,IAAI,EAAE,QAAQ;oBACd,YAAY,EAAE,EAAE;oBAChB,WAAW,EAAE,EAAE;oBACf,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACG,CAAC;YAC7B,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QAChC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,wCAAwC,CAAC,CAAC;QACxE,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACnE,MAAM,QAAQ,GACZ,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;YAClB;gBACC,IAAI;gBACJ,YAAY,EAAE,EAAE;gBAChB,WAAW,EAAE,EAAE;gBACf,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,KAAK,GAAG,CAAC;gBACf,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;gBAChC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE;aACA,CAAC;QAC7B,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACtC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,OAAO,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,YAAY,CAAC,QAAgB,EAAE,SAAiB;IACvD,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,mBAAmB,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAClD,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;QAChF,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC;YACT,IAAI;YACJ,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO;YACP,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC;YACrG,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;YACjF,mBAAmB,EAAE,gBAAgB,CAAC,mBAAmB;YACzD,kBAAkB,EAAE,gBAAgB,CAAC,kBAAkB;YACvD,eAAe,EAAE,gBAAgB,CAAC,eAAe;YACjD,aAAa,EAAE,gBAAgB,CAAC,aAAa;YAC7C,eAAe,EAAE,gBAAgB,CAAC,eAAe;YACjD,YAAY,EAAE,gBAAgB,CAAC,YAAY;YAC3C,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,KAAK,CAAC,SAAS;YACrB,MAAM,EAAE,CAAC;YACT,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAgB,EAAE,SAAiB;IAC7D,MAAM,WAAW,GAAsB,EAAE,CAAC;IAC1C,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QACnD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,yCAAyC,CAAC,CAAC;QACxE,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,oDAAoD,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QAC9G,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACtE,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,qEAAqE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChH,WAAW,CAAC,IAAI,CAAC;YACf,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;YACjE,MAAM,EAAE,UAAU;YAClB,UAAU;YACV,KAAK;YACL,SAAS;YACT,YAAY;YACZ,gBAAgB,EAAE,QAAQ,CAAC,KAAK,CAAC,4BAA4B,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE;YAC3E,UAAU,EAAE,QAAQ,CAAC,IAAI,EAAE;YAC3B,iBAAiB,EAAE,kBAAkB,CAAC,QAAQ,CAAC;YAC/C,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,KAAK,GAAG,CAAC;YACf,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC;YAChD,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE;SACzB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,sBAAsB,CAAC,QAAgB,EAAE,SAAiB;IACjE,OAAO,SAAS;SACb,KAAK,CAAC,OAAO,CAAC;SACd,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;SAC/C,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SAC7D,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7B,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,wCAAwC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,SAAS;QAClF,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE;QAC3G,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;QAC/F,iBAAiB,EAAE,kBAAkB,CAAC,QAAQ,CAAC;QAC/C,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,KAAK,GAAG,CAAC;QACf,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;QACzC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE;KACzB,CAAC,CAAC,CAAC;AACR,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAgB,EAAE,SAAiB;IAI7D,MAAM,mBAAmB,GAA8B,EAAE,CAAC;IAC1D,MAAM,mBAAmB,GAA8B,EAAE,CAAC;IAC1D,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QACnD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,4CAA4C,CAAC,CAAC;QAC3E,IAAI,KAAK,EAAE,CAAC;YACV,mBAAmB,CAAC,IAAI,CAAC;gBACvB,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;gBAC5B,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;gBAC5B,iBAAiB,EAAE,kBAAkB,CAAC,QAAQ,CAAC;gBAC/C,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,KAAK,GAAG,CAAC;gBACf,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;gBAC7C,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE;aACzB,CAAC,CAAC;QACL,CAAC;QACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,0DAA0D,CAAC,CAAC;QAC5F,IAAI,QAAQ,EAAE,CAAC;YACb,mBAAmB,CAAC,IAAI,CAAC;gBACvB,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;gBAChC,cAAc,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;gBAC1C,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;gBAC/B,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,KAAK,GAAG,CAAC;gBACf,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;gBAChD,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,cAAc,CAAC,QAAgB,EAAE,SAAiB;IACzD,OAAO,SAAS;SACb,KAAK,CAAC,OAAO,CAAC;SACd,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;SAC/C,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,yDAAyD,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SAClG,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7B,UAAU,EAAE,QAAQ,CAAC,IAAI,EAAE;QAC3B,iBAAiB,EAAE,kBAAkB,CAAC,QAAQ,CAAC;QAC/C,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,KAAK,GAAG,CAAC;QACf,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QACpC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE;KACzB,CAAC,CAAC,CAAC;AACR,CAAC;AAED,SAAS,cAAc,CACrB,QAAgB,EAChB,SAAiB,EACjB,WAA8B,EAC9B,mBAA8C,EAC9C,mBAA8C,EAC9C,eAAsC;IAEtC,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,wCAAwC,CAAC;IACvD,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,KAAK,EAAE,OAAO,IAAI,IAAI,CAAC;QACvC,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ;YAC1B,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,IAAI,UAAU,CAAC,IAAI,IAAI,OAAO,CAAC;YACtG,eAAe,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,yCAAyC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;YACtI,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,IAAI,UAAU,CAAC,IAAI,IAAI,OAAO,CAAC;YACzG,mBAAmB,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,IAAI,UAAU,CAAC,IAAI,IAAI,OAAO,CAAC;YACtH,mBAAmB,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,IAAI,UAAU,CAAC,IAAI,IAAI,OAAO,CAAC;YACtH,IAAI,EAAE,QAAQ;YACd,IAAI;YACJ,MAAM,EAAE,CAAC;YACT,OAAO,EAAE,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE;SACzC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,QAAgB,EAAE,SAAiB;IAChE,MAAM,cAAc,GAAoB,EAAE,CAAC;IAC3C,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IACjG,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,cAAc,CAAC,IAAI,CAAC;YAClB,OAAO,EAAE,8EAA8E;YACvF,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,OAAO,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;SAC/B,CAAC,CAAC;IACL,CAAC;IAED,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,CAAC,GAAG,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACnG,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACpD,MAAM,WAAW,GAAG,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC5D,MAAM,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,GAAG,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC7F,MAAM,eAAe,GAAG,sBAAsB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,eAAe,CAAC,CAAC;IAC5H,MAAM,SAAS,GAAG,gBAAgB,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAE/D,OAAO;QACL,QAAQ;QACR,SAAS;QACT,OAAO;QACP,SAAS;QACT,KAAK;QACL,OAAO;QACP,WAAW;QACX,mBAAmB;QACnB,mBAAmB;QACnB,OAAO;QACP,OAAO;QACP,eAAe;QACf,cAAc;QACd,gBAAgB;KACjB,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,6 @@
+export declare const halo2DetectionPatterns: string[];
+export declare const halo2DetectionRegex: RegExp;
+export declare function isLikelyHalo2Source(source: string): boolean;
+export declare function extractRustSymbols(expression: string): string[];
+export declare function isHashOrSafeInverseContext(snippet: string): boolean;
+export declare function isEcLikeName(value: string): boolean;