| Document | Description |
|---|---|
| architecture.md | System architecture. |
| technical-overview.md | ZK primitives and stack. |
| models.md | Model representation types. |
| fixed-point.md | Fixed-point arithmetic. |
| model-format.md | JSON model exchange format. |
| onnx-import.md | Model import pipeline. |
| commitments.md | Model and input commitments. |
| proving.md | Proof generation pipeline. |
| proof-format.md | Proof bundle wire format. |
| verifier-interface.md | On-chain contract interface. |
| cli.md | Prover CLI usage. |
| examples.md | Bundled example models. |
| testing.md | How to test the project. |
| benchmarks.md | Performance baselines. |
| threat-model.md | Security threat model. |
| security-notes.md | Determinism and overflow notes. |
| glossary.md | Terminology. |
| faq.md | Frequently asked questions. |
| roadmap.md | Development roadmap. |
| use-cases.md | Target applications. |
| devlog.md | Engineering devlog. |