Expand description
§QuantRS2-Circuit
Quantum circuit representation and DSL for the QuantRS2 framework.
This crate provides a comprehensive toolkit for creating, manipulating, and analyzing quantum circuits with a fluent API and modern Rust patterns.
§Recent Updates (v0.1.0-rc.1)
- Enhanced code quality with clippy warning fixes
- Refined
SciRS2v0.1.0-rc.2 integration with unified patterns - Enhanced graph-based circuit optimization algorithms (60+ strategies)
- Improved hardware-aware compilation with
SciRS2graph algorithms - Comprehensive policy documentation for quantum circuit development
- Added refactoring recommendations for large modules
§Features
- 50,055 lines of production Rust code
- 237 test functions providing comprehensive coverage
- 16 example programs demonstrating key features
- Type-safe circuit construction with const generics
- Fluent builder API for intuitive circuit creation
- QASM 2.0 / 3.0 import and export
- Circuit optimization passes (60+ strategies)
- Hardware-aware transpilation for IBM, Google, Rigetti
- SciRS2-powered performance analysis and profiling
- Advanced debugging and verification tools
§Module Organization
- Core:
builder,classical,measurement - Optimization:
optimization,optimizer,graph_optimizer - Hardware:
transpiler,routing,pulse,crosstalk - Analysis:
profiler,debugger,equivalence,validation - Advanced:
synthesis,zx_calculus,tensor_network,topological
Modules§
- buffer_
manager - Centralized Memory Buffer Management for Large Quantum Circuits
- builder
- Builder types for quantum circuits.
- circuit_
cache - Circuit caching for repeated execution
- classical
- Classical control flow support for quantum circuits
- commutation
- Commutation analysis for quantum gate reordering.
- crosstalk
- Cross-talk aware scheduling for quantum circuits
- dag
- Directed Acyclic Graph (DAG) representation for quantum circuits.
- debugger
- Quantum circuit debugger with
SciRS2visualization tools - distributed
- Distributed Circuit Execution Framework
- equivalence
- Circuit equivalence checking algorithms with
SciRS2numerical tolerance - fault_
tolerant - Fault-tolerant quantum circuit compilation
- formatter
- Quantum circuit formatter with
SciRS2code analysis for consistent code style - graph_
optimizer - Graph-based circuit optimizer using
SciRS2algorithms - linter
- Quantum circuit linter using
SciRS2pattern matching for code quality analysis - measurement
- Mid-circuit measurement and feed-forward support
- ml_
optimization - Machine Learning-based circuit optimization
- noise_
models - Hardware noise model integration for quantum circuits
- optimization
- Advanced circuit optimization module
- optimizer
- Quantum circuit optimization passes
- photonic
- Photonic quantum circuit support
- prelude
- profiler
- Advanced quantum circuit profiler using
SciRS2performance metrics - pulse
- Pulse-level control for quantum circuits
- qasm
OpenQASM3.0 import/export functionality- qc_
co_ optimization - Quantum-Classical Co-optimization Framework
- resource_
estimator - Resource estimator using
SciRS2complexity analysis - routing
- Circuit routing algorithms for mapping logical qubits to physical qubits
- scirs2_
benchmarking SciRS2statistical tools for circuit benchmarking- scirs2_
cross_ compilation_ enhanced - Enhanced Cross-Compilation with Advanced
SciRS2IR Tools - scirs2_
integration SciRS2graph algorithms integration for circuit analysis- scirs2_
ir_ tools SciRS2Intermediate Representation Tools- scirs2_
matrices SciRS2sparse matrix integration for gate representations- scirs2_
optimization SciRS2optimization integration for parameter tuning- scirs2_
pulse_ control_ enhanced - Enhanced Quantum Pulse Control with Advanced
SciRS2Signal Processing - scirs2_
qasm_ compiler_ enhanced - Enhanced QASM Compiler with Advanced
SciRS2Parsing Tools - scirs2_
similarity - Circuit similarity metrics using
SciRS2 - scirs2_
transpiler_ enhanced - Enhanced Quantum Circuit Transpiler with Advanced
SciRS2Graph Optimization - simulator_
interface - Efficient circuit-to-simulator interfaces
- slicing
- Circuit slicing for parallel execution.
- synthesis
- Unitary synthesis module
- tensor_
network - Tensor network compression for quantum circuits
- topological
- Topological quantum circuit support
- topology
- Enhanced topological sorting and dependency analysis for quantum circuits.
- transpiler
- Enhanced Device-specific transpiler with
SciRS2Graph Optimization - validation
- Circuit validation for different quantum backends
- verifier
- Circuit verifier with
SciRS2formal methods for correctness checking - vqe
- Variational Quantum Eigensolver (VQE) circuit support
- zx_
calculus - ZX-calculus optimization for quantum circuits