你是否曾为同一个量子优化问题,反复适配 D-Wave、Oxford Quantum Circuits、乃至未来新型退火硬件而头疼?xq-rs 正是为此而生——它不是一台物理量子计算机,而是一个轻量、可嵌入、硬件无关的量子虚拟机(XQVM),专为二元优化问题(如 QUBO 和 Ising 模型)设计。它把量子算法的“表达”和“执行”解耦,让你用一套代码描述问题,无缝运行在不同量子硬件或经典模拟器后端上,大幅降低量子软件开发门槛。
核心功能
- 硬件无关抽象层:屏蔽底层量子设备差异,开发者只需关注问题建模,无需重写逻辑即可切换 D-Wave、模拟退火、GPU 加速求解器等后端
- 统一量子字节码(XQ Bytecode):定义标准化的中间表示,类似 LLVM IR 之于传统编译器,实现“一次编写、多端部署”的量子编程范式
- 完整工具链支持:内置汇编器(
xqasm)、反汇编器(xqdism)和解释器(xqvm),支持从人类可读的.xqasm源码一键生成并调试字节码 - 极致轻量与可嵌入性:核心 crate 支持
no_std + alloc,可在 WebAssembly 环境(如浏览器或 Cloudflare Workers)及资源受限的裸机系统中运行 - 面向量子退火场景深度优化:专注 X-二次型(X-quadratic)模型,原生支持 QUBO(二次无约束二值优化)与 Ising 哈密顿量表达,契合当前主流量子退火硬件特性
- Rust 安全基因加持:内存安全、零成本抽象、并发友好,避免 C/C++ 实现中常见的指针错误与竞态风险,为关键量子计算基础设施提供坚实底座
适合哪些人用
如果你是以下角色之一,xq-rs 值得重点关注:量子算法研究员——快速验证新优化模型,避免被厂商 SDK 锁定;量子软件工程师——构建可移植的量子应用中间件或 SaaS 平台;高校教学者——在课程中演示“抽象虚拟机如何统一异构量子硬件”这一前沿理念;Web 前端开发者——借助 WASM 支持,在浏览器中直接运行轻量级量子优化演示;以及嵌入式与边缘计算开发者——探索在低功耗设备上部署量子启发式求解能力的可能。
快速上手
确保已安装 Rust 1.70+(推荐通过 rustup 安装)。一行命令即可体验全流程:
curl -L https://github.com/QuipNetwork/xq-rs/releases/download/v0.3.0/xqvm-x86_64-unknown-linux-gnu.tar.gz | tar -xz -C /usr/local/bin
接着编写一个简单的 QUBO 问题(保存为 hello.xqasm):
entry main {
qubo [[2, -1], [-1, 3]] with bias [0, 0];
}
执行汇编与运行:
xqasm hello.xqasm -o hello.xqbin
xqvm hello.xqbin
你将看到该 QUBO 的最优解(如 [0, 1])被快速输出。更多示例与 API 文档见项目仓库的 examples/ 目录。
项目信息
A rust implementation of the Quip Network’s quantum virtual machine.
4.3k
Stars
16
Forks
Rust
AGPL-3.0
编程语言:Rust|GitHub Star 数:4302|开源协议:AGPL-3.0|GitHub 项目地址
它是量子软件栈中稀缺的、真正以“可移植性”和“工程化”为第一设计原则的开源虚拟机——不追逐短期硬件热点,而是默默夯实下一代量子应用的基础设施底座。


