Code

ML-DSA: AVX2 target feature#642

Code

Merged

franziskuskiefer merged 25 commits intomaincryspen/libcrux:mainfrom jonas/ml-dsa-target-featurecryspen/libcrux:jonas/ml-dsa-target-featureCopy head branch name to clipboardNov 8, 2024

+4,016-1,468

Commits

Commits on Nov 4, 2024

• Enable AVX2 target feature

  jschneider-bensch

  committed
  1ec5a9f

  Copy full SHA for 1ec5a9f

• Inlining to help AVX2 optimization

  jschneider-bensch

  committed
  0031d3c

  Copy full SHA for 0031d3c

• Missing module

  jschneider-bensch

  committed
  4bc6554

  Copy full SHA for 4bc6554

• Attempt to reduce stack size

  jschneider-bensch

  committed
  f946f53

  Copy full SHA for f946f53

• Format

  jschneider-bensch

  committed
  a86ce00

  Copy full SHA for a86ce00

• ACVP uninlined inner functions

  jschneider-bensch

  committed
  23120b2

  Copy full SHA for 23120b2

• Remove Zeta arrays

  Show description for 30c7de7
  jschneider-bensch

  committed
  30c7de7

  Copy full SHA for 30c7de7

• SHA-3 AVX2 target feature

  Show description for 0703c5b
  jschneider-bensch

  committed
  0703c5b

  Copy full SHA for 0703c5b

• Inlining + target feature changes around inverse NTT

  Show description for 5d85370
  jschneider-bensch

  committed
  5d85370

  Copy full SHA for 5d85370

• Header-only extraction update

  jschneider-bensch

  committed
  6c8fdc3

  Copy full SHA for 6c8fdc3

• Update C extraction

  jschneider-bensch

  committed
  51e2d6d

  Copy full SHA for 51e2d6d

• Fix paths

  jschneider-bensch

  committed
  61f72fd

  Copy full SHA for 61f72fd

Commits on Nov 5, 2024

• Merge branch 'ml-dsa-lax' into jonas/ml-dsa-target-feature

  jschneider-bensch

  authored
  5c005e0

  Copy full SHA for 5c005e0

• Merge branch 'main' into jonas/ml-dsa-target-feature

  jschneider-bensch

  authored
  5f88703

  Copy full SHA for 5f88703

• Missing opaque_types in hash_functions

  jschneider-bensch

  committed
  654d836

  Copy full SHA for 654d836

• Make trait impl functions into wrappers

  jschneider-bensch

  committed
  a19752d

  Copy full SHA for a19752d

• Don't use trait methods

  jschneider-bensch

  committed
  837d70f

  Copy full SHA for 837d70f

• Update F*

  jschneider-bensch

  committed
  873ccf8

  Copy full SHA for 873ccf8

Commits on Nov 6, 2024

• Guard target_feature to cfg(not(hax))

  jschneider-bensch

  committed
  b1ad8bb

  Copy full SHA for b1ad8bb

• Update F*

  jschneider-bensch

  committed
  0dccff5

  Copy full SHA for 0dccff5

• Use local functions in favor of macros to help F*

  jschneider-bensch

  committed
  11b5102

  Copy full SHA for 11b5102

Commits on Nov 8, 2024

• Merge branch 'main' into jonas/ml-dsa-target-feature

  karthikbhargavan

  authored
  66059e5

  Copy full SHA for 66059e5

• Revert "SHA-3 AVX2 target feature"

  Show description for 8f41090
  franziskuskiefer

  committed
  8f41090

  Copy full SHA for 8f41090

• inline ntt

  franziskuskiefer

  committed
  a31e411

  Copy full SHA for a31e411

• update mlkem C code

  franziskuskiefer

  committed
  1cefb79

  Copy full SHA for 1cefb79