Not sure why the NTT is treated as a completely opaque transform. It’s simply the algebraic equivalent of the Fourier transform (and it’s implemented with almos

Not sure why the NTT is treated as a completely opaque transform. It’s simply the algebraic equivalent of the Fourier transform (and it’s implemented with almost exactly the same algorithms). So you are transforming between the polynomial coefficients and its evaluations on a domain.