Code

Refined/Signed Barrett Reduction#2013

Code

Merged

andres-erbsen merged 2 commits intomit-plv:mastermit-plv/fiat-crypto:masterfrom atrieu:refined_barrettatrieu/fiat-crypto:refined_barrettCopy head branch name to clipboardFeb 7, 2025

+334

Commits

Commits on Feb 6, 2025

• Refined/Signed Barrett Reduction

  atrieu

  committed
  97d570b

  Copy full SHA for 97d570b

Commits on Feb 7, 2025

• Uncomment MLKEM example for signed Barrett reduction

  atrieu

  committed
  0e9ba28

  Copy full SHA for 0e9ba28