Rust Backend Integration & Maturin Migration by PhysicsQoo · Pull Request #20 · PhysicsQoo/QuPRS

PhysicsQoo · 2026-03-17T15:32:35Z

Overview

This PR integrates a high-performance Rust backend and migrates the build system from hatch to maturin. It provides a significant performance boost while maintaining full Python API compatibility.

Core Changes

Performance: Introduced the Rust-based PathSum engine, delivering 10x-14x speedups on large-scale circuits.
Build System: Migrated to maturin to support native Rust extensions and automated CI/CD workflows.
Benchmarking: Updated test suites to support automated side-by-side comparisons between Python/Rust and GPMC/Ganak backends.

…mapping

2. Rewrite reduction.rs

- Added a new Rust library for Python FFI in `rust-test/python_ffi`. - Implemented a simple function `hello_from_quprs` to demonstrate FFI functionality. - Created `Cargo.toml` for the Python FFI project with dependencies on `pyo3` and the main `pathsum` crate. - Added necessary source files for the library and main executable. - Updated incremental build artifacts for the `pathsum` project.

… type and fixed bugs of try_reduce_hh.

…iplication

…State

…ivision for Rational and PhaseCoeff

…te and PhasePolynomial

…n with Side enum

…. (Still have bug)

…nd update QASM parser

… and improve rational handling

…or reduction rules

…on rules

… there still some bugs.

…elated conditional functions.

…ld.rs to support download ganak.

…dy patch.

…modern CMake compatibility

…gitignore, and Dockerfile.

… solver selection (add ganak support).

codecov-commenter · 2026-03-17T15:39:27Z

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

ℹ️ You can also turn on project coverage checks and project coverage reporting on Pull Request comment

Thanks for integrating Codecov - We've got you covered ☂️

…se maturin.

github-actions · 2026-03-17T15:58:21Z

🔬 Benchmark Report

📈 Executive Summary

No significant performance changes detected.

📊 Detailed Comparison

Benchmark Name	PR (Mean)	Baseline	Change	StdDev
`test/test_Feynman.py::test_all_benchmarks[adder_8.qasm-proportional-False-python]`	2059.868 ms	-	New ✨	17.308 ms
`test/test_Feynman.py::test_all_benchmarks[adder_8.qasm-proportional-False-rust]`	5.281 ms	-	New ✨	0.088 ms
`test/test_Feynman.py::test_all_benchmarks[gf2^4_mult.qasm-proportional-False-python]`	103.285 ms	-	New ✨	14.699 ms
`test/test_Feynman.py::test_all_benchmarks[gf2^4_mult.qasm-proportional-False-rust]`	0.643 ms	-	New ✨	0.017 ms
`test/test_Feynman.py::test_all_benchmarks[tof_3.qasm-proportional-True-python]`	10.105 ms	-	New ✨	0.168 ms
`test/test_Feynman.py::test_all_benchmarks[tof_3.qasm-proportional-True-rust]`	0.182 ms	-	New ✨	0.009 ms
`test/test_Feynman.py::test_all_benchmarks[vbe_adder_3.qasm-proportional-True-python]`	61.640 ms	-	New ✨	0.460 ms
`test/test_Feynman.py::test_all_benchmarks[vbe_adder_3.qasm-proportional-True-rust]`	0.576 ms	-	New ✨	0.019 ms
`test/test_MQT.py::test_all_benchmarks[ghz_nativegates_ibm_qiskit_opt0_32.qasm-straightforward-True-gpmc-python]`	48.042 ms	-	New ✨	0.692 ms
`test/test_MQT.py::test_all_benchmarks[ghz_nativegates_ibm_qiskit_opt0_32.qasm-straightforward-True-gpmc-rust]`	0.280 ms	-	New ✨	0.014 ms
`test/test_MQT.py::test_all_benchmarks[ghz_nativegates_ibm_qiskit_opt0_32.qasm-straightforward-True-ganak-python]`	47.890 ms	-	New ✨	0.490 ms
`test/test_MQT.py::test_all_benchmarks[ghz_nativegates_ibm_qiskit_opt0_32.qasm-straightforward-True-ganak-rust]`	0.284 ms	-	New ✨	0.038 ms
`test/test_MQT.py::test_all_benchmarks[graphstate_nativegates_ibm_qiskit_opt0_16.qasm-naive-False-gpmc-python]`	149.079 ms	-	New ✨	17.018 ms
`test/test_MQT.py::test_all_benchmarks[graphstate_nativegates_ibm_qiskit_opt0_16.qasm-naive-False-gpmc-rust]`	1.361 ms	-	New ✨	0.025 ms
`test/test_MQT.py::test_all_benchmarks[graphstate_nativegates_ibm_qiskit_opt0_16.qasm-naive-False-ganak-python]`	142.091 ms	-	New ✨	0.850 ms
`test/test_MQT.py::test_all_benchmarks[graphstate_nativegates_ibm_qiskit_opt0_16.qasm-naive-False-ganak-rust]`	1.365 ms	-	New ✨	0.057 ms
`test/test_MQT.py::test_all_benchmarks[grover-noancilla_nativegates_ibm_qiskit_opt0_4.qasm-proportional-True-gpmc-python]`	208.156 ms	-	New ✨	0.925 ms
`test/test_MQT.py::test_all_benchmarks[grover-noancilla_nativegates_ibm_qiskit_opt0_4.qasm-proportional-True-gpmc-rust]`	15.857 ms	-	New ✨	0.359 ms
`test/test_MQT.py::test_all_benchmarks[grover-noancilla_nativegates_ibm_qiskit_opt0_4.qasm-proportional-True-ganak-python]`	983.031 ms	-	New ✨	1.757 ms
`test/test_MQT.py::test_all_benchmarks[grover-noancilla_nativegates_ibm_qiskit_opt0_4.qasm-proportional-True-ganak-rust]`	758.453 ms	-	New ✨	0.368 ms
`test/test_MQT.py::test_all_benchmarks[qaoa_nativegates_ibm_qiskit_opt0_7.qasm-proportional-False-gpmc-python]`	697.533 ms	-	New ✨	22.210 ms
`test/test_MQT.py::test_all_benchmarks[qaoa_nativegates_ibm_qiskit_opt0_7.qasm-proportional-False-gpmc-rust]`	49.759 ms	-	New ✨	0.399 ms
`test/test_MQT.py::test_all_benchmarks[qaoa_nativegates_ibm_qiskit_opt0_7.qasm-proportional-False-ganak-python]`	1870.072 ms	-	New ✨	21.161 ms
`test/test_MQT.py::test_all_benchmarks[qaoa_nativegates_ibm_qiskit_opt0_7.qasm-proportional-False-ganak-rust]`	1222.455 ms	-	New ✨	0.847 ms
`test/test_MQT.py::test_all_benchmarks[qft_nativegates_ibm_qiskit_opt0_16.qasm-proportional-True-gpmc-python]`	2012.989 ms	-	New ✨	20.468 ms
`test/test_MQT.py::test_all_benchmarks[qft_nativegates_ibm_qiskit_opt0_16.qasm-proportional-True-gpmc-rust]`	849.938 ms	-	New ✨	3.051 ms
`test/test_MQT.py::test_all_benchmarks[qft_nativegates_ibm_qiskit_opt0_16.qasm-proportional-True-ganak-python]`	2226.407 ms	-	New ✨	27.666 ms
`test/test_MQT.py::test_all_benchmarks[qft_nativegates_ibm_qiskit_opt0_16.qasm-proportional-True-ganak-rust]`	1012.187 ms	-	New ✨	6.346 ms
`test/test_MQT.py::test_all_benchmarks[vqe_nativegates_ibm_qiskit_opt0_4.qasm-proportional-False-gpmc-python]`	166.856 ms	-	New ✨	23.021 ms
`test/test_MQT.py::test_all_benchmarks[vqe_nativegates_ibm_qiskit_opt0_4.qasm-proportional-False-gpmc-rust]`	13.212 ms	-	New ✨	0.433 ms
`test/test_MQT.py::test_all_benchmarks[vqe_nativegates_ibm_qiskit_opt0_4.qasm-proportional-False-ganak-python]`	919.708 ms	-	New ✨	2.022 ms
`test/test_MQT.py::test_all_benchmarks[vqe_nativegates_ibm_qiskit_opt0_4.qasm-proportional-False-ganak-rust]`	448.092 ms	-	New ✨	0.419 ms

…ckerfile and CI, and update `sticky-pull-request-comment` action to v3.

…e `maturin develop` for local package installation in CI.

codspeed-hq · 2026-03-17T16:34:59Z

Merging this PR will create unknown performance changes

🆕 32 new benchmarks
⏩ 70 skipped benchmarks¹

Performance Changes

	Benchmark	`BASE`	`HEAD`	Efficiency
🆕	`test_all_benchmarks[adder_8.qasm-proportional-False-python]`	N/A	7.2 s	N/A
🆕	`test_all_benchmarks[qaoa_nativegates_ibm_qiskit_opt0_7.qasm-proportional-False-gpmc-python]`	N/A	2.1 s	N/A
🆕	`test_all_benchmarks[graphstate_nativegates_ibm_qiskit_opt0_16.qasm-naive-False-ganak-python]`	N/A	407.2 ms	N/A
🆕	`test_all_benchmarks[grover-noancilla_nativegates_ibm_qiskit_opt0_4.qasm-proportional-True-gpmc-rust]`	N/A	12 ms	N/A
🆕	`test_all_benchmarks[vqe_nativegates_ibm_qiskit_opt0_4.qasm-proportional-False-gpmc-rust]`	N/A	9 ms	N/A
🆕	`test_all_benchmarks[qaoa_nativegates_ibm_qiskit_opt0_7.qasm-proportional-False-ganak-python]`	N/A	2.1 s	N/A
🆕	`test_all_benchmarks[qft_nativegates_ibm_qiskit_opt0_16.qasm-proportional-True-ganak-python]`	N/A	3.6 s	N/A
🆕	`test_all_benchmarks[ghz_nativegates_ibm_qiskit_opt0_32.qasm-straightforward-True-gpmc-python]`	N/A	174.3 ms	N/A
🆕	`test_all_benchmarks[graphstate_nativegates_ibm_qiskit_opt0_16.qasm-naive-False-gpmc-rust]`	N/A	4.7 ms	N/A
🆕	`test_all_benchmarks[qaoa_nativegates_ibm_qiskit_opt0_7.qasm-proportional-False-ganak-rust]`	N/A	90.7 ms	N/A
🆕	`test_all_benchmarks[graphstate_nativegates_ibm_qiskit_opt0_16.qasm-naive-False-gpmc-python]`	N/A	405.3 ms	N/A
🆕	`test_all_benchmarks[qft_nativegates_ibm_qiskit_opt0_16.qasm-proportional-True-gpmc-python]`	N/A	3.5 s	N/A
🆕	`test_all_benchmarks[vbe_adder_3.qasm-proportional-True-python]`	N/A	180.9 ms	N/A
🆕	`test_all_benchmarks[grover-noancilla_nativegates_ibm_qiskit_opt0_4.qasm-proportional-True-ganak-python]`	N/A	556.7 ms	N/A
🆕	`test_all_benchmarks[qft_nativegates_ibm_qiskit_opt0_16.qasm-proportional-True-gpmc-rust]`	N/A	43.7 ms	N/A
🆕	`test_all_benchmarks[grover-noancilla_nativegates_ibm_qiskit_opt0_4.qasm-proportional-True-gpmc-python]`	N/A	552 ms	N/A
🆕	`test_all_benchmarks[vqe_nativegates_ibm_qiskit_opt0_4.qasm-proportional-False-gpmc-python]`	N/A	405.7 ms	N/A
🆕	`test_all_benchmarks[tof_3.qasm-proportional-True-rust]`	N/A	675.9 µs	N/A
🆕	`test_all_benchmarks[gf2^4_mult.qasm-proportional-False-python]`	N/A	285.1 ms	N/A
🆕	`test_all_benchmarks[ghz_nativegates_ibm_qiskit_opt0_32.qasm-straightforward-True-ganak-rust]`	N/A	1.1 ms	N/A
...	...	...	...	...

ℹ️ Only the first 20 benchmarks are displayed. Go to the app to view all benchmarks.

_{Comparing rust (51fa37d) with main (9f2693b)²}

70 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩
No successful run was found on main (521a9ed) during the generation of this report, so 9f2693b was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩

PhysicsQoo added 30 commits February 12, 2026 00:07

upload rust pathsum prototype

d0d5dad

add QuPRS Rust Rewrite Plan

aecb088

renamed: src/Rational.rs -> src/rational.rs

3154dc3

feat: ✨ Implement quantum gate operations and refactor pathsum structure

aaa990a

feat: add PhasePolynomial add_term method

37da959

feat: ✨ Implement more quantum gate methods and reduction rules

8118e9d

feat: ✨ Add implement omega reduction rule

0c9f5df

feat: ✨ ass QASM parse and fixed try_reduce_omega

14e626f

feat: ✨ Enhance QASM loading with initial state support and register …

4d2817b

…mapping

feat: ✨ 1. Add get_used_vars method to BooleanState and PhasePolynomial

d5e225b

2. Rewrite reduction.rs

remove target folder

ec74d70

feat: ✨ Refactor phase handling in PathSum and introduce FreeRational…

756fd74

… type and fixed bugs of try_reduce_hh.

feat: ✨ Refactor quantum gate methods and add boolean polynomial mult…

e6ba0f4

…iplication

feat: ✨ Add CCX gate implementation and refactor XOR logic in Boolean…

ed991cd

…State

feat: ✨ Refactor phase handling in PathSum phase_poly and implement d…

7e7fce9

…ivision for Rational and PhaseCoeff

feat: ✨ Implement variable substitution with polynomial in BooleanSta…

7a19e6e

…te and PhasePolynomial

feat: ✨ Refactor quantum gate methods to include application directio…

3ee78d2

…n with Side enum

feat: ✨ Implement rotation gate ( RX, RY, U2, U3) and add its unitest…

2bddb22

…. (Still have bug)

feat: ✨ Add Intermediate Representation (IR) for quantum operations a…

7cc6018

…nd update QASM parser

feat: ✨ Update CLI and PathSum structure, add verification strategies…

adad8da

… and improve rational handling

feat: ✨ Refactor auto-reduction logic and add statistics management f…

27520e9

…or reduction rules

feat: ✨ Enhance CLI logging and add statistics management for reducti…

e632c1a

…on rules

feat: ✨ add wmc.rs, build.rs and some file change to support wmc. But…

10eecfd

… there still some bugs.

feat: ✨ cli support both 1 and 2 circuits mode.

7f9aaa5

feat: ✨ Cli split to multiple files and refactor qasm.rs

833bba8

Change folder name from rust-test to rust

d5be1c8

feat: ✨ add python_ffi, eq_check still need to fix

92c62ae

feat: ✨ Fixed a conversion bug from pathsum to dimacs in wmc.rs and r…

5e75732

…elated conditional functions.

feat: ✨ Add struct Angle to fix ratation gate error.

979da9e

PhysicsQoo added 16 commits March 11, 2026 14:56

feat: ✨ Update FFI setting to support struct Angle.

54e92e0

feat: ✨ Update Cargo.toml files to share the same version. Update bui…

e17fab9

…ld.rs to support download ganak.

feat: ✨ Remove patch in build.rs and dirrect link to the branch alrea…

2bcc1be

…dy patch.

feat: ✨ Add QuPRS binding to new rust core.

84b59eb

Fix: Fixed pytest error.

aec34bf

chore: switch GPMC submodule to personal fork (arm64-musl-patch) for …

5d6b3eb

…modern CMake compatibility

feat: ✨ Add pytest workflow_dispatch

61c879b

chore: upload GPMC submodule change

93603ee

update pytest paths list

c07cbdc

Fix: Fixed pytest macos error.

ca525fc

feat: ✨ Add pytest.yml Rust env and cache

89baceb

Fix: Fixed FFI error.

6e44a05

feat: ✨ Change pytest.yml pip install . to maturin develop.

2edc244

Fix: Fixed pytest.yml venv issue.

d82f280

refactor: Remove custom Hatch build hook and update CI/CD workflows, …

7bf19d9

…gitignore, and Dockerfile.

feat: Add Rust backend for equivalence checking with configurable WMC…

e8d2c87

… solver selection (add ganak support).

Fixed: Fixed bug cause from migrate project build and publishing to u…

0f64b7c

…se maturin.

PhysicsQoo added 2 commits March 18, 2026 00:06

build: Add --no-build-isolation to pip install/wheel commands in Do…

c8f4f33

…ckerfile and CI, and update `sticky-pull-request-comment` action to v3.

refactor: Remove conda run prefixes from Dockerfile commands and us…

01fd5ff

…e `maturin develop` for local package installation in CI.

PhysicsQoo added 5 commits March 18, 2026 11:47

feat: ✨ Refactor Dockerfile and docker-build.yml and Cargo.toml.

4c7a055

Fix: Fixed Dockerfile tester.

9187cfb

Fix: Remove pythonpath="src" in pyproject.toml

c34fa6c

feat: ✨ Add GPMC_STATIC_BUILD

f446830

Fix: add QUPRS_GPMC_PATH, QUPRS_GANAK_PATH in rust eq_check interface.

51fa37d

PhysicsQoo self-assigned this Mar 18, 2026

PhysicsQoo merged commit ce3fe41 into main Mar 18, 2026
24 checks passed

PhysicsQoo deleted the rust branch March 21, 2026 19:06

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Rust Backend Integration & Maturin Migration#20

Rust Backend Integration & Maturin Migration#20
PhysicsQoo merged 54 commits into
mainfrom
rust

PhysicsQoo commented Mar 17, 2026

Uh oh!

codecov-commenter commented Mar 17, 2026

Uh oh!

github-actions Bot commented Mar 17, 2026 •

edited

Loading

Uh oh!

codspeed-hq Bot commented Mar 17, 2026 •

edited

Loading

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

PhysicsQoo commented Mar 17, 2026

Overview

Core Changes

Uh oh!

codecov-commenter commented Mar 17, 2026

Welcome to Codecov 🎉

Uh oh!

github-actions Bot commented Mar 17, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

🔬 Benchmark Report

📈 Executive Summary

📊 Detailed Comparison

Uh oh!

codspeed-hq Bot commented Mar 17, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Merging this PR will create unknown performance changes

Performance Changes

Footnotes

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

github-actions Bot commented Mar 17, 2026 •

edited

Loading

codspeed-hq Bot commented Mar 17, 2026 •

edited

Loading