2026 · 预印本
将量子汇编反编译为结构化程序
Decompiling Quantum Assembly into Structured Programs
Quelle 从编译后的 OpenQASM 恢复库调用、循环、函数及符号参数，通过消除路由痕迹、提出结构化重建并核对电路语义，在恢复失败时保留门级表示。
研究范围与局限
范围限于理想设备语义下的量子电路，不保证恢复原作者源码。稠密检查采用 1e-6 容差，大电路还依赖可信重写记录、未检查的宽区域 H 共轭恒等式及 QCEC；动态电路及超时检查保持未验证。算法命名需要模板，刻意混淆不在评估范围内。
与本合集的关联
补充量子软件编译产物的结构恢复方法，并明确正确性检查的边界。
发表与复核详情
- 发表载体
- arXiv
- 发表状态
- 预印本
- 出版／提交日期
- 2026 年 10 月 4 日
- 日期依据
- 采用首次 arXiv 提交日期，未核实正式会议录出版。
- arXiv 首次提交
- 2026 年 10 月 4 日
- arXiv
- 2610.05012
- 已复核的 arXiv 版本
- v1
- DOI
- 10.48550/arxiv.2610.05012
已复核 10 月 4 日 v1 与 DataCite 身份，文章采用 CC BY 4.0。手稿及定向检索中未核实作者关联的专用实现或产物发布，不能由此推定软件许可。本次未运行电路、检查器或模型。
来源复核于
本合集仅做来源复核，未重新运行论文实验。请通过原始论文或 BibTeX 引用原作者。