tfaoliveira opened this issue 10 months ago · 0 comments
Reported here: formosa-crypto/libjade#105
For mlkem:
https://github.com/formosa-crypto/hakyber/blob/2a441f8a9386d147215715c1457001bde1e1b66c/code/jasmin/mlkem_ref/reduce.jinc#L66
https://github.com/formosa-crypto/hakyber/blob/2a441f8a9386d147215715c1457001bde1e1b66c/code/jasmin/mlkem_avx2/reduce.jinc#L91
Same for kyber.