Code

C extraction for ML-DSA#710

Code

Merged

franziskuskiefer merged 29 commits intomaincryspen/libcrux:mainfrom franziskus/mldsa-c2cryspen/libcrux:franziskus/mldsa-c2Copy head branch name to clipboardDec 16, 2024

+29,598-2,656

Commits

Commits on Dec 5, 2024

• wip; started cleanup hashing

  franziskuskiefer

  committed
  5642422

• added shake256 xof

  Show description for bf2b900
  franziskuskiefer

  committed
  bf2b900

• F* extraction

  franziskuskiefer

  committed
  7bf825a

• wip

  Show description for 38bf469
  franziskuskiefer

  committed
  38bf469

• more wip eurydice changes

  franziskuskiefer

  committed
  5a0f22f

Commits on Dec 6, 2024

• update for C extraction

  franziskuskiefer

  committed
  76e8015

• first C extraction

  franziskuskiefer

  committed
  11a2dcf

• more fixes for C (extracting but broken)

  franziskuskiefer

  committed
  0273d4a

• wip cg boilerplate

  franziskuskiefer

  committed
  234b7d2

• update serialize

  franziskuskiefer

  committed
  8723dfe

• more loop cleanups

  franziskuskiefer

  committed
  b7df319

• more loop cleanups

  franziskuskiefer

  committed
  ce52b83

• more loop cleanups

  franziskuskiefer

  committed
  05d9103

Commits on Dec 7, 2024

• more loop cleanups

  franziskuskiefer

  committed
  3485de7

• more cleanup for hax/eurydice

  franziskuskiefer

  committed
  5686e51

• extracting portable without eurydice failures

  franziskuskiefer

  committed
  d0dff30

• fixes for hax

  franziskuskiefer

  committed
  d4b51bc

• C and F* extraction

  franziskuskiefer

  committed
  523b631

• C extraction; not working

  franziskuskiefer

  committed
  776fe1b

Commits on Dec 9, 2024

• fix eurydice iterators

  franziskuskiefer

  committed
  8749729

• mldsa: feature guard sampling

  franziskuskiefer

  committed
  02f1009

• mldsa C code (portable working)

  franziskuskiefer

  committed
  a93d7ea

• mldsa: updated F* code

  franziskuskiefer

  committed
  60ac469

• Merge branch 'franziskus/mldsa-c1' into franziskus/mldsa-c2

  franziskuskiefer

  authored
  6fef4d9

Commits on Dec 11, 2024

• Merge branch 'main' into franziskus/mldsa-c2

  franziskuskiefer

  committed
  8836f78

• address review comments

  franziskuskiefer

  committed
  9f92306

• update C extraction

  franziskuskiefer

  committed
  c51c2dd

• update DsaXof comment

  franziskuskiefer

  committed
  23f6723

• mldsa: update F* extraction

  franziskuskiefer

  committed
  f2e76e9