This repository has been archived on 2026-08-21. You can view files and clone it. You cannot open issues or pull requests or push a commit.

FallenSigh 29313653a9 fix(mlkem): replace Barrett division with direct / and % in comp_decomp_sync ...

The previous Barrett multiplication-based division was incorrect. Both
compress and decompress used the same wrong implementation, so they
happened to be consistent with each other, but the math was wrong.

Replace with synthesizer-native / and % operators. This is cleaner
and the synthesis tool handles integer division/remainder correctly
for these small operand widths (12-bit dividend, 12-bit divisor).

Ultraworked with [Sisyphus](https://github.com/code-yeongyu/oh-my-openagent)

Co-authored-by: Sisyphus <clio-agent@sisyphuslabs.ai>

2026-06-30 03:32:20 +08:00

..

comp_decomp_sync.v

fix(mlkem): replace Barrett division with direct / and % in comp_decomp_sync

2026-06-30 03:32:20 +08:00