search

formosa-crypto / formosa-mlkem

Other
11 stars 7 forks source link

gen-matrix: clearer loop condition #19

Closed vbgl closed 9 months ago

vbgl commented 9 months ago

Clearer code, simpler proof, and better performances.

vbgl commented 9 months ago

CI: https://github.com/vbgl/hakyber/actions/runs/7827899082

vbgl commented 9 months ago

Thanks for confirming the performance improvement.