update readme

Author: mhchia

CLAUDE.md

@@ -46,9 +46,10 @@ Track this section as the project progresses.
 - Z_q field arithmetic (`src/zq.rs` — const generic `Zq<Q>`, Add/Sub/Mul/Neg)
 - Polynomial over Z_q (`src/poly.rs` — `Poly<Q>`, schoolbook mul)
 - Ring R_q = Z_q[X]/(X^d+1) (`src/poly.rs` — `Rq<Q, D>`, schoolbook mul + reduction)
+- NTT / INTT negacyclic (`src/ntt.rs` — recursive (inverse) butterfly + bit-reversal, tested q=17 d=4 and q=12289 d=1024)
 
 ### In Progress
-- NTT / INTT (negacyclic)
+- (none)
 
 ### Not Yet Started (next up)
 - Ajtai commitment

README.md

@@ -109,7 +109,7 @@ Outline:
 - [x] Polynomials — custom `Poly<Q>` over `Zq<Q>` (schoolbook mul)
     - [x] `Poly<Q>`: $Z_q[X]$, polynomial ring without reduction
     - [x] `Rq`:  $R_q = Z_q[X]/(X^D+1)$, polynomial quotient ring.
-- [ ] NTT and polynomial multiplication
+- [x] NTT and polynomial multiplication
 - [ ] Challenge spaces
 - [ ] Sumcheck (over Rings)
 - [ ] MLE/LDE (over Rings)