zkCraft：基于零知识电路的 Prompt 引导 LLM 零Shot 突变模式 oracle

零知识电路虽然实现了隐私保护和可扩展性，但因 witness 计算与约束条件紧密耦合，实现难度大且易出错。我们提出 zkCraft，一个结合确定性、R1CS Aware local 化与 proof-bearing search 的实用框架，用于检测语义不一致。zkCraft 将候选约束编辑编码为单个 Row-Vortex 多项式，并用 Violation IOP 替代重复求解器查询，以证明编辑的存在并附带简洁证明。确定性 LLM 驱动的突变模板以引导边缘情况的探索，同时保持可审计的代数验证。在真实 Circom 代码上的评估表明，proof-bearing local 化能够以较低的误报率检测多样的 under- 和 over-constrained 故障，显著减少昂贵的求解器交互。我们的方法桥接了形式化验证与自动化调试，为稳健的 ZK 电路开发提供了可扩展的路径。