| Filename | Latest commit message | Latest commit date |
|---|---|---|
8eb90cf901
Some checks failed
WAI conformance / cargo-class corpora · windows (push) Successful in 1m13s
WAI conformance / cross-arch byte-equality · windows (push) Successful in 22s
WAI conformance / cargo-class corpora · linux-arm64 (push) Successful in 51s
WAI conformance / cross-arch byte-equality · linux-arm64 (push) Successful in 19s
WAI conformance / cargo-class corpora · linux (push) Successful in 29s
WAI conformance / cross-arch byte-equality · linux (push) Successful in 15s
WAI conformance / cargo-class corpora · macos (push) Has been cancelled
WAI conformance / cross-arch byte-equality · macos (push) Has been cancelled
Compilation correctness as a signed certificate: a deterministic coupling-graph router + a byte-exact Clifford stabilizer-tableau equivalence check. - quantum_compile.rs: Clifford tableau (Aaronson–Gottesman H/S/CX/SWAP updates on the 2n generator images); a coupling graph (line/ring/edges) + BFS routing that inserts SWAPs so every two-qubit gate is local; equivalence = routed ++ (swaps restoring identity) ≡ source, all through the tableau sim. random_clifford + compile_and_seal. - quantum_ops.rs: CompileReceipt binds (source hash, compiled hash + final map, coupling hash) → (equivalent, swaps, work, joules); merkle + Ed25519, joule ceiling in verify(). equivalent is in the receipt (a compiler can re-run the same deterministic check). - wai-web: CompileDemo binding (route+prove + tamper-rejection). Honest boundary: exact for Clifford circuits (the standard tableau-checker scope), covering routing/mapping correctness. Tests green (routing preserves equivalence over 40 random circuits, tamper is caught, HH=I, S^4=I, SWAP=3·CX). Co-Authored-By: Claude Opus 4.8 <[email protected]> |
||
| .. | ||
| demo | ||
| src | ||
| Cargo.lock | ||
| Cargo.toml | ||