统一编程模型,无缝混合经典与量子代码
基于经典-量子统一不动点 F_q(F_c, F_q) = F_cq, 实现经典代码与量子代码的无缝混合编程。
核心能力
从语法到目标,从理论到实践,全方位量子计算支持
通过 quantum { } 块标记量子代码,与经典代码无缝混合,同一语言,同一编译器。
支持 Qiskit、Q#、OpenQASM 三种主流量子目标,一次编写,多平台运行。
基于层级全息性(HH),QMA 类量子问题压缩为 BQP 类问题,指数级加速。
编译流程
四步完成从源代码到量子可执行文件的完整编译
编译器自动识别 quantum { } 代码块,将经典代码与量子代码分离处理。
将量子代码转换为量子线路表示,进行线路优化和错误检查。
根据目标平台生成对应的量子代码(Qiskit / Q# / OpenQASM)。
经典代码编译为目标平台机器码,与量子代码无缝集成。
安全保证
编译期全面检查,确保量子代码的正确性和安全性
编译期检查量子比特索引是否越界,防止运行时错误。
验证量子门操作的合法性,确保量子线路的物理可实现性。
完整验证量子线路的可执行性,确保编译出的代码一定能运行。
内置量子真随机数生成器,基于量子叠加态测量原理,真正不可预测。
在线体验
基于量子叠加态测量原理,浏览器端模拟量子线路,体验真随机性
性能数据
用熟悉的编程语言,探索量子计算的无限可能