tensor-compression.md

tensor trace compression exploit low tensor rank of structured nox traces. prover memory: O(N) → O(√N). prover time: O(N log N) → O(N) streaming. mobile devices become first-class provers. the observation nox traces have structure the prover currently ignores: 1. **pattern repetition**: same…