File size: 2,302 Bytes
d6f21bb | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 | # About Topological Quantum Computer
## What This Repository Does
Topological Quantum Computer is a staged research package for modeling a
Fibonacci-anyon topological quantum-computing stack and testing its limits
against SHA-style cryptanalytic questions.
The repository connects four surfaces:
1. **Lean 4 formalization** for Fibonacci anyon categories, logical qubits,
braid compilation, and gate universality surfaces.
2. **Python reference code** for reduced-round SHA-family toy models,
classical baselines, Q-Lambda reversible-oracle synthesis, Grover-style search,
and resource estimates.
3. **Experiment scripts** that separate classical validation, quantum
simulation, resource validation, and topological compilation.
4. **Documentation** that states falsification criteria, safety boundaries,
threat model, prior-art context, and staged release status.
## What It Is Not
This is not a physical quantum computer, not a claim that SHA is broken, and
not a production cryptanalytic deployment. The current package conclusion is
that generic SHA-style preimage search does not gain more than the known
Grover-style square-root speedup, and that resource costs dominate long before
full-round attack relevance.
## Why It Exists
The project is useful because it draws a clean boundary between:
- invariant-preserving quantum models,
- braid compilation and logical-qubit accounting,
- constraint/proof-directed search,
- and real cryptanalytic claims that require much stronger evidence.
The goal is not hype. The goal is a falsifiable research artifact that can be
audited, extended, rejected, or archived based on explicit gates.
## Package Status
Version `1.0.1` is a staged research release. Python syntax/import checks,
reduced-round classical validation, Q-Lambda resource estimation, and local
Lean kernel replay have been exercised locally. Qiskit-backed Aer simulation
and hardware execution remain separate gates documented in `CODEX_AUDIT.md`
and `PACKAGE.md`.
## License
This repository follows the same tri-license structure used by the PAX stack:
BSL-1.1, AGPL-3.0, MPL-2.0, and commercial licensing paths selected through
the array-backed Python policy engine in `python/qlambda/license_policy.py`.
|