Skip to main content

wai_quantum/
lib.rs

1//! **wai-quantum** — a deterministic quantum stack in pure Rust.
2//!
3//! Byte-exact circuit simulation (statevector, stabilizer, tensor-network MPS and
4//! sparse-Pauli backends), the operational layer around it (calibration, error
5//! mitigation, qLDPC decoding, noise learning, circuit-equivalence proofs, atom
6//! rearrangement), a phasor/interference ML layer, and signed energy-accounted
7//! receipts binding every stage.
8//!
9//! No QPU, no cloud service, no vendor SDK, and **no system libraries** — pure
10//! Rust, so the same source runs natively, in the browser via wasm, and as a
11//! WASI component at the edge, producing **byte-identical** results and receipts
12//! on all three.
13//!
14//! Everything is behind a feature; enable only what you use.
15
16// Every receipt seals over a Merkle root; nothing else needs one.
17#[cfg(feature = "_signing")]
18mod merkle;
19
20#[cfg(any(feature = "quantum_mps", feature = "quantum_bptn", feature = "quantum_tn", feature = "quantum_gbs", feature = "quantum_sv", feature = "quantum_dmrg"))]
21mod linalg;
22
23// Gates as matrices, shared by the state vector and the tensor networks.
24#[cfg(any(feature = "quantum_tn", feature = "quantum_sv"))]
25pub mod gates;
26
27#[cfg(any(
28    feature = "quantum_spd",
29    feature = "quantum_pauli",
30    feature = "quantum_mps",
31    feature = "quantum_vml",
32    feature = "quantum_phasor",
33    feature = "quantum_kernel",
34    feature = "quantum_resource",
35    feature = "quantum_frame",
36    feature = "quantum_tn",
37    feature = "quantum_gbs",
38    feature = "quantum_sv",
39    feature = "quantum_arch",
40    feature = "quantum_qio",
41    feature = "quantum_dmrg",
42    feature = "quantum_tdvp"
43))]
44mod repro;
45
46/// Re-exported so consumers get a **version-matched** signing type: the receipt
47/// sealing APIs take an `ed25519_dalek::SigningKey`, and a caller who depended on
48/// their own copy could easily pick an incompatible version.
49#[cfg(feature = "_signing")]
50pub use ed25519_dalek;
51
52
53#[cfg(feature = "quantum")]
54pub mod quantum;
55
56#[cfg(feature = "quantum_atom")]
57pub mod quantum_atom;
58
59#[cfg(feature = "quantum_cal")]
60pub mod quantum_cal;
61
62#[cfg(feature = "quantum_compile")]
63pub mod quantum_compile;
64
65#[cfg(feature = "quantum_control")]
66pub mod quantum_control;
67
68#[cfg(feature = "quantum_kernel")]
69pub mod quantum_kernel;
70
71#[cfg(feature = "quantum_mitigate")]
72pub mod quantum_mitigate;
73
74// The acquisition class of a receipt's joule figure, as an optional signed
75// label. Additive: unlabelled receipts keep their exact bytes.
76#[cfg(feature = "_signing")]
77pub mod quantum_energy;
78
79#[cfg(feature = "quantum_mps")]
80pub mod quantum_mps;
81
82#[cfg(feature = "quantum_noise")]
83pub mod quantum_noise;
84
85#[cfg(feature = "quantum_ops")]
86pub mod quantum_ops;
87
88#[cfg(feature = "quantum_pauli")]
89pub mod quantum_pauli;
90
91#[cfg(feature = "quantum_spd")]
92pub mod quantum_spd;
93
94#[cfg(feature = "quantum_spd_receipt")]
95pub mod quantum_spd_receipt;
96
97#[cfg(feature = "quantum_bptn")]
98pub mod quantum_bptn;
99
100#[cfg(feature = "quantum_resource")]
101pub mod quantum_resource;
102
103#[cfg(feature = "quantum_resource_receipt")]
104pub mod quantum_resource_receipt;
105
106#[cfg(feature = "quantum_arch")]
107pub mod quantum_arch;
108
109#[cfg(feature = "quantum_frame")]
110pub mod quantum_frame;
111
112#[cfg(feature = "quantum_ldpc")]
113pub mod quantum_ldpc;
114
115#[cfg(feature = "quantum_qio")]
116pub mod quantum_qio;
117
118#[cfg(feature = "quantum_uf")]
119pub mod quantum_uf;
120
121#[cfg(feature = "quantum_noisy")]
122pub mod quantum_noisy;
123
124#[cfg(feature = "quantum_dmrg")]
125pub mod quantum_dmrg;
126
127#[cfg(feature = "quantum_tdvp")]
128pub mod quantum_tdvp;
129
130#[cfg(feature = "quantum_chem")]
131pub mod quantum_chem;
132
133#[cfg(feature = "quantum_nqs")]
134pub mod quantum_nqs;
135
136#[cfg(feature = "quantum_frame")]
137pub mod quantum_match;
138
139#[cfg(feature = "quantum_tn")]
140pub mod quantum_tn;
141
142#[cfg(feature = "quantum_gbs")]
143pub mod quantum_gbs;
144
145#[cfg(feature = "quantum_sv")]
146pub mod quantum_sv;
147
148#[cfg(feature = "quantum_info")]
149pub mod quantum_info;
150
151#[cfg(feature = "quantum_qudit")]
152pub mod quantum_qudit;
153
154#[cfg(feature = "quantum_comm")]
155pub mod quantum_comm;
156
157#[cfg(feature = "quantum_source")]
158pub mod quantum_source;
159
160#[cfg(feature = "quantum_channel")]
161pub mod quantum_channel;
162
163#[cfg(feature = "quantum_qir")]
164pub mod quantum_qir;
165
166#[cfg(feature = "quantum_phasor")]
167pub mod quantum_phasor;
168
169#[cfg(feature = "quantum_phasor_meter")]
170pub mod quantum_phasor_meter;
171
172#[cfg(feature = "quantum_qbom")]
173pub mod quantum_qbom;
174
175#[cfg(feature = "quantum_qdata")]
176pub mod quantum_qdata;
177
178#[cfg(feature = "quantum_qec")]
179pub mod quantum_qec;
180
181#[cfg(feature = "quantum_qfhrr")]
182pub mod quantum_qfhrr;
183
184#[cfg(feature = "quantum_receipt")]
185pub mod quantum_receipt;
186
187#[cfg(feature = "quantum_stabilizer")]
188pub mod quantum_stabilizer;
189
190#[cfg(feature = "quantum_toolchain")]
191pub mod quantum_toolchain;
192
193#[cfg(feature = "quantum_vml")]
194pub mod quantum_vml;
195
196// Signed-byte pins: an unlabelled receipt keeps the exact bytes it had before
197// the optional acquisition class existed. Test-only.
198#[cfg(all(test, feature = "_signing"))]
199mod receipt_pins;