[Mlir-commits] [mlir] Upstream polynomial.ntt and polynomial.intt (PR #90992)

[Jeremy Kun]

j2kun wrote:

> I didn't try getting deep into the math, LMK if I should.

FWIW, everything I'm upstreaming has been reviewed for mathematical content in https://github.com/google/heir. I don't know if that precludes the need for a secondary "math" review upstream, but at least you can be assured that we have gone a few steps ahead. In particular, we have a lowering of the NTT op via standard algorithms and functional tests for correctness.



https://github.com/llvm/llvm-project/pull/90992