pub fn mlkem_base_mul(a: &[i64], b: &[i64]) -> LogosSeq<i64>Expand description
The compiled form of LOGOS mlkemBaseMul(a, b) — pointwise multiply of two NTT-domain
polynomials. mlkemInvNtt(mlkemBaseMul(mlkemNtt(a), mlkemNtt(b))) is the ML-KEM polynomial
product a·b in ℤ_q[X]/(X²⁵⁶+1).