2022.04.12 19:14:40 (1513928602051436546) from Daniel J. Bernstein:
First release of nttcompiler: https://pqsrc.cr.yp.to/nttcompiler.html Reads domain-specific language for number-theoretic transforms (NTTs) used in (e.g.) NTRU Prime, outputs optimized AVX2 code, verifies that the code works for all possible inputs. To do: more CPUs, more NTTs, more assurance.