Code

Extract ML-KEM SIMD code to C#296

Code

Merged

franziskuskiefer merged 99 commits intodevcryspen/libcrux:devfrom franziskus/mlkem-ccryspen/libcrux:franziskus/mlkem-cCopy head branch name to clipboardJun 4, 2024

+38,554-941

Commits

Commits on May 20, 2024

• workarounds for charon

  franziskuskiefer

  committed
  8c02e75

  Copy full SHA for 8c02e75

• Merge branch 'dev' into franziskus/ml-kem-c-extraction

  franziskuskiefer

  committed
  594ad84

  Copy full SHA for 594ad84

Commits on May 21, 2024

• refactor: kill GenericOperations in favor of functions

  W95Psp

  committed
  9d0c481

  Copy full SHA for 9d0c481

• refactor: kill strings in unreachable

  W95Psp

  committed
  f85d218

  Copy full SHA for f85d218

Commits on May 24, 2024

• inlining

  W95Psp

  committed
  1dfd5d5

  Copy full SHA for 1dfd5d5

• kill two debug_asserts that cause trait issues in Charon

  W95Psp

  committed
  a2bc1fb

  Copy full SHA for a2bc1fb

• commit C snapshot

  W95Psp

  committed
  3b3164c

  Copy full SHA for 3b3164c

• wip

  W95Psp

  committed
  2180172

  Copy full SHA for 2180172

• wip

  W95Psp

  committed
  d712003

  Copy full SHA for d712003

• update sha3 api to hide internal state

  franziskuskiefer

  committed
  8511062

  Copy full SHA for 8511062

• add dummy intrinsics file for extraction of avx2

  

  franziskuskiefer

  authored and

  W95Psp

  committed
  886f965

  Copy full SHA for 886f965

• F* extraction of poly-avx2

  

  franziskuskiefer

  authored and

  W95Psp

  committed
  35d28a0

  Copy full SHA for 35d28a0

• move neon hash functions into sha3 for ml-kem

  

  franziskuskiefer

  authored and

  W95Psp

  committed
  5232b29

  Copy full SHA for 5232b29

• inline hashing and avx2 hax extraction

  

  franziskuskiefer

  authored and

  W95Psp

  committed
  ec4959c

  Copy full SHA for ec4959c

• changes for F* extraction

  

  franziskuskiefer

  authored and

  W95Psp

  committed
  b46607b

  Copy full SHA for b46607b

• updated F*

  

  franziskuskiefer

  authored and

  W95Psp

  committed
  3239743

  Copy full SHA for 3239743

• portable rejection sampling for neon for now

  

  franziskuskiefer

  authored and

  W95Psp

  committed
  aca1b2a

  Copy full SHA for aca1b2a

• feat(ci/F*): get rid of timestamps in patch files

  W95Psp

  committed
  6f0495d

  Copy full SHA for 6f0495d

• chore(kyber/fstar): update patches following cryspen/hax#676

  W95Psp

  committed
  4e777f8

  Copy full SHA for 4e777f8

• Added scaffolding to get work started on ML-DSA. (#289)

  

  xvzcf

  authored and

  W95Psp

  committed
  67618a4

  Copy full SHA for 67618a4

• wip

  W95Psp

  committed
  6ca5766

  Copy full SHA for 6ca5766

Commits on May 26, 2024

• fixup

  franziskuskiefer

  committed
  9226a0b

  Copy full SHA for 9226a0b

• actually inline neon/avx2

  franziskuskiefer

  committed
  4411d7f

  Copy full SHA for 4411d7f

• fixups and allow portable only extraction

  franziskuskiefer

  committed
  8738c18

  Copy full SHA for 8738c18

• fixup avx2

  franziskuskiefer

  committed
  4a445d0

  Copy full SHA for 4a445d0

• fixup neon

  franziskuskiefer

  committed
  b13f986

  Copy full SHA for b13f986

Commits on May 27, 2024

• fixups for avx2 extraction

  franziskuskiefer

  committed
  a84d517

  Copy full SHA for a84d517

• Merge branch 'ml-kem-c-extraction-inlining-crates' of github.com:cryspen/libcrux into ml-kem-c-extraction-inlining-crates

  franziskuskiefer

  committed
  e78b2d7

  Copy full SHA for e78b2d7

• allow extracting everywhere

  franziskuskiefer

  committed
  0b6dd0f

  Copy full SHA for 0b6dd0f

• fixup c.sh

  franziskuskiefer

  committed
  66c2e55

  Copy full SHA for 66c2e55

• add new config c2.yml

  franziskuskiefer

  committed
  03461b6

  Copy full SHA for 03461b6

Commits on May 28, 2024

• externalize intrinsics into a libcrux-intrinsics crate

  W95Psp

  committed
  cd1de6b

  Copy full SHA for cd1de6b

• fixup neon; add new extraction (broken)

  franziskuskiefer

  committed
  d950056

  Copy full SHA for d950056

• update extraction

  franziskuskiefer

  committed
  6127191

  Copy full SHA for 6127191

• externalize more intrinsics

  W95Psp

  committed
  4c90f8e

  Copy full SHA for 4c90f8e

• fix: assert_debug, expect 32, not 16

  W95Psp

  committed
  2a53025

  Copy full SHA for 2a53025

• kill avx2/debug module

  W95Psp

  committed
  40bb6e8

  Copy full SHA for 40bb6e8

• kill stale intrinsics modules

  W95Psp

  committed
  1cbc9a7

  Copy full SHA for 1cbc9a7

• check in c extractions

  W95Psp

  committed
  15a7b29

  Copy full SHA for 15a7b29

• Revert "check in c extractions"

  Show description for f75fee4
  W95Psp

  committed
  f75fee4

  Copy full SHA for f75fee4

• check in a snapshot of the c folder in c-snapshot

  W95Psp

  committed
  c7724dd

  Copy full SHA for c7724dd

• made sha3 safe

  karthikbhargavan

  committed
  3015d42

  Copy full SHA for 3015d42

• add a script for extracting c

  W95Psp

  committed
  99909f5

  Copy full SHA for 99909f5

• work around eurydice issues in sha3

  franziskuskiefer

  committed
  49ca8f7

  Copy full SHA for 49ca8f7

• use config to extract

  franziskuskiefer

  committed
  c8a38e2

  Copy full SHA for c8a38e2

• fixup sha3

  franziskuskiefer

  committed
  12fb7ff

  Copy full SHA for 12fb7ff

• eurydice workaround

  franziskuskiefer

  committed
  e12075e

  Copy full SHA for e12075e

• A config to do separate bundling

  msprotz

  committed
  ed89380

  Copy full SHA for ed89380

Commits on May 29, 2024

• testing one wrapper before going deeper

  karthikbhargavan

  committed
  fe31398

  Copy full SHA for fe31398

• testing one wrapper before going deeper

  karthikbhargavan

  committed
  39e5d0d

  Copy full SHA for 39e5d0d

• re-extract into c-snapshot/

  W95Psp

  committed
  04843f2

  Copy full SHA for 04843f2

• c.yaml: replicate neon options for avx2

  W95Psp

  committed
  540556f

  Copy full SHA for 540556f

• sha3 c.yaml

  franziskuskiefer

  committed
  7536322

  Copy full SHA for 7536322

• Fix bundling

  msprotz

  committed
  88b6c42

  Copy full SHA for 88b6c42

• c code sha3 with build

  franziskuskiefer

  committed
  c243e01

  Copy full SHA for c243e01

• drop chunk

  franziskuskiefer

  committed
  8515d8b

  Copy full SHA for 8515d8b

• Dummies to make compilation work without hand edits

  msprotz

  committed
  3cc1486

  Copy full SHA for 3cc1486

• missing intrinsics and functions

  karthikbhargavan

  committed
  38dd756

  Copy full SHA for 38dd756

• patch for intrinsics ordering

  karthikbhargavan

  committed
  cd9ad91

  Copy full SHA for cd9ad91

• fixup build

  franziskuskiefer

  committed
  29e23ec

  Copy full SHA for 29e23ec

• add sha3 test

  franziskuskiefer

  committed
  49b7904

  Copy full SHA for 49b7904

• fix intrinsics

  franziskuskiefer

  committed
  9df56fd

  Copy full SHA for 9df56fd

• refresh

  msprotz

  committed
  165e74e

  Copy full SHA for 165e74e

• refresh source

  msprotz

  committed
  798f69c

  Copy full SHA for 798f69c

• And fix up the config for neon, too

  msprotz

  committed
  2c373e6

  Copy full SHA for 2c373e6

Commits on May 30, 2024

• Single run of Eurydice -- much easier

  msprotz

  committed
  ba2cbcb

  Copy full SHA for ba2cbcb

• Merge branch 'lucas/extract-intrinsics' of github.com:cryspen/libcrux into lucas/extract-intrinsics

  msprotz

  committed
  1366394

  Copy full SHA for 1366394

• WIP simplifying build

  msprotz

  committed
  98edcf1

  Copy full SHA for 98edcf1

• Snapshot of the C code now lives in libcrux-ml-kem/c

  msprotz

  committed
  b015f6f

  Copy full SHA for b015f6f

• Regenerate the code on AVX2... and update config so that AVX2 code-gen works too

  msprotz

  committed
  0382b43

  Copy full SHA for 0382b43

• Restore some config tweaks, reinstate the build of the sha3 test

  msprotz

  committed
  bc9b3ac

  Copy full SHA for bc9b3ac

• Tweaks, good progress on whole mlkem compilation

  msprotz

  committed
  af4e0cf

  Copy full SHA for af4e0cf

• Work around AeneasVerif/eurydice#12

  msprotz

  committed
  a0b0b93

  Copy full SHA for a0b0b93

• Use a two-dimensional array now that it's supported

  msprotz

  committed
  381a0a4

  Copy full SHA for 381a0a4

• It compiles

  msprotz

  committed
  0ac31ce

  Copy full SHA for 0ac31ce

• zomg

  msprotz

  committed
  d89558c

  Copy full SHA for d89558c

• updated C build and mlkem tests

  franziskuskiefer

  committed
  3b85af7

  Copy full SHA for 3b85af7

• Regenerate the code with revised general-purpose slice index operation

  msprotz

  committed
  8b112db

  Copy full SHA for 8b112db

• With loop unrolling

  msprotz

  committed
  34f92e1

  Copy full SHA for 34f92e1

• benches

  karthikbhargavan

  committed
  5b5b73e

  Copy full SHA for 5b5b73e

• bench

  karthikbhargavan

  committed
  08aee25

  Copy full SHA for 08aee25

• benches

  karthikbhargavan

  committed
  746f356

  Copy full SHA for 746f356

• a snapshot of hand edits to speed up sha3

  karthikbhargavan

  committed
  87a5209

  Copy full SHA for 87a5209

• wip bundling

  msprotz

  committed
  8f297df

  Copy full SHA for 8f297df

Commits on May 31, 2024

• Regenerated C code with fresh config

  msprotz

  committed
  5bc3ad6

  Copy full SHA for 5bc3ad6

• Revised config

  msprotz

  committed
  4efb699

  Copy full SHA for 4efb699

• Refresh

  msprotz

  committed
  a91effc

  Copy full SHA for a91effc

• clang-format

  franziskuskiefer

  committed
  a9888dd

  Copy full SHA for a9888dd

• update boringssl benchmarks

  franziskuskiefer

  committed
  67d7b0f

  Copy full SHA for 67d7b0f

• readme for C code

  franziskuskiefer

  committed
  a62ee49

  Copy full SHA for a62ee49

Commits on Jun 3, 2024

• inline sha3

  franziskuskiefer

  committed
  95c3ab5

  Copy full SHA for 95c3ab5

• Merge branch 'dev' into franziskus/mlkem-c

  franziskuskiefer

  committed
  ab7694b

  Copy full SHA for ab7694b

• rustfmt

  franziskuskiefer

  committed
  be73700

  Copy full SHA for be73700

• fixup ml-dsa again

  franziskuskiefer

  committed
  a5394b9

  Copy full SHA for a5394b9

• Add more instructions to c README.md

  franziskuskiefer

  committed
  cd246f5

  Copy full SHA for cd246f5

Commits on Jun 4, 2024

• drop c experiments

  franziskuskiefer

  committed
  295f500

  Copy full SHA for 295f500

• drop more files

  franziskuskiefer

  committed
  09f13ef

  Copy full SHA for 09f13ef

• keep supporting old rustc

  franziskuskiefer

  committed
  8246792

  Copy full SHA for 8246792

• Merge branch 'dev' into franziskus/mlkem-c

  franziskuskiefer

  authored
  bc3565b

  Copy full SHA for bc3565b