Code

Merging main into dev#662

Code

Merged

karthikbhargavan merged 187 commits intodevcryspen/libcrux:devfrom dev-merge-maincryspen/libcrux:dev-merge-mainCopy head branch name to clipboardDec 1, 2024

+62,150-7,428

Commits

Commits on Aug 30, 2024

• wip

  franziskuskiefer

  committed
  5333f39

  Copy full SHA for 5333f39

• fuzzers for ml-kem

  franziskuskiefer

  committed
  d4049e3

  Copy full SHA for d4049e3

Commits on Sep 22, 2024

• fstar extraction for ml-dsa

  karthikbhargavan

  committed
  4db4adc

  Copy full SHA for 4db4adc

Commits on Sep 23, 2024

• wip lax

  karthikbhargavan

  committed
  c963c44

  Copy full SHA for c963c44

Commits on Oct 10, 2024

• expose serialize secret key for unpacked keys

  franziskuskiefer

  committed
  fa63aeb

  Copy full SHA for fa63aeb

• re-extracted C code

  franziskuskiefer

  committed
  75e282c

  Copy full SHA for 75e282c

• wip

  franziskuskiefer

  committed
  764d9d6

  Copy full SHA for 764d9d6

• better apis and tests

  franziskuskiefer

  committed
  1bc56db

  Copy full SHA for 1bc56db

• unpacked key from private key

  franziskuskiefer

  committed
  cf8ec24

  Copy full SHA for cf8ec24

• re-extract F*

  franziskuskiefer

  committed
  4ed279a

  Copy full SHA for 4ed279a

Commits on Oct 11, 2024

• more tests and fixup

  franziskuskiefer

  committed
  2c49913

  Copy full SHA for 2c49913

• re-extract mlkem F*

  franziskuskiefer

  committed
  188d198

  Copy full SHA for 188d198

• regenerate mlkem C

  franziskuskiefer

  committed
  c13257a

  Copy full SHA for c13257a

• more mlkem private functions

  franziskuskiefer

  committed
  76be581

  Copy full SHA for 76be581

• Merge branch 'dev' into ml-dsa-arithmetic

  karthikbhargavan

  committed
  af269d4

  Copy full SHA for af269d4

• extracting again

  karthikbhargavan

  committed
  15405df

  Copy full SHA for 15405df

• got rid of some cycles, the rest need some hax help

  karthikbhargavan

  committed
  acf0d0a

  Copy full SHA for acf0d0a

• refreshed fstar

  karthikbhargavan

  committed
  08ce4ac

  Copy full SHA for 08ce4ac

Commits on Oct 15, 2024

• fixes

  franziskuskiefer

  committed
  86227ec

  Copy full SHA for 86227ec

• re-extract C

  franziskuskiefer

  committed
  9f6ddc6

  Copy full SHA for 9f6ddc6

• fixup arm code

  franziskuskiefer

  committed
  d4a72f0

  Copy full SHA for d4a72f0

• C test fixes

  franziskuskiefer

  committed
  ebd4c0b

  Copy full SHA for ebd4c0b

• Merge branch 'franziskus/mlkem-serialize-sk' of github.com:cryspen/libcrux into franziskus/mlkem-serialize-sk

  franziskuskiefer

  committed
  74e10e0

  Copy full SHA for 74e10e0

Commits on Oct 17, 2024

• fixes to benches

  karthikbhargavan

  committed
  c4e0ab6

  Copy full SHA for c4e0ab6

Commits on Oct 22, 2024

• after cycle bundling fix

  karthikbhargavan

  committed
  7a3dff1

  Copy full SHA for 7a3dff1

• progress up to Libcrux_sha3.Traits.fsti

  karthikbhargavan

  committed
  5151722

  Copy full SHA for 5151722

Commits on Oct 23, 2024

• almost laxing

  karthikbhargavan

  committed
  c4bb39e

  Copy full SHA for c4bb39e

Commits on Oct 25, 2024

• Merge branch 'main' into ml-dsa-arithmetic

  karthikbhargavan

  committed
  05d0e11

  Copy full SHA for 05d0e11

• ml-dsa refresh

  karthikbhargavan

  committed
  924d808

  Copy full SHA for 924d808

• ml-dsa refresh

  karthikbhargavan

  committed
  a578e90

  Copy full SHA for a578e90

Commits on Oct 28, 2024

• ml-dsa lax-checks except for 3 modules

  karthikbhargavan

  committed
  0b37cc1

  Copy full SHA for 0b37cc1

Commits on Oct 29, 2024

• lax check succeeds

  karthikbhargavan

  committed
  fbefc8d

  Copy full SHA for fbefc8d

• fmt

  karthikbhargavan

  committed
  443ec96

  Copy full SHA for 443ec96

• Repair hash_functions

  jschneider-bensch

  committed
  a17120e

  Copy full SHA for a17120e

• ML-DSA extraction on CI

  jschneider-bensch

  committed
  44af027

  Copy full SHA for 44af027

• Fix warnings

  jschneider-bensch

  committed
  c4fb85c

  Copy full SHA for c4fb85c

• lax

  karthikbhargavan

  committed
  9c3247c

  Copy full SHA for 9c3247c

• cleanup

  karthikbhargavan

  committed
  5cf6072

  Copy full SHA for 5cf6072

• cleanup

  karthikbhargavan

  committed
  7377285

  Copy full SHA for 7377285

• cleanup

  karthikbhargavan

  committed
  516b6f3

  Copy full SHA for 516b6f3

• cleanup

  karthikbhargavan

  committed
  3400e59

  Copy full SHA for 3400e59

• cleanup

  karthikbhargavan

  committed
  025679d

  Copy full SHA for 025679d

• cleanup

  karthikbhargavan

  committed
  95b46df

  Copy full SHA for 95b46df

• make

  karthikbhargavan

  committed
  b9a51e8

  Copy full SHA for b9a51e8

• make

  karthikbhargavan

  committed
  1644063

  Copy full SHA for 1644063

Commits on Oct 30, 2024

• removed fstar libs needed for ml-kem from this PR

  karthikbhargavan

  committed
  72f0472

  Copy full SHA for 72f0472

Commits on Oct 31, 2024

• resolved some comments

  karthikbhargavan

  committed
  91cefaf

  Copy full SHA for 91cefaf

• restored error prop

  karthikbhargavan

  committed
  bc2b3ad

  Copy full SHA for bc2b3ad

Commits on Nov 1, 2024

• lax checks

  karthikbhargavan

  committed
  7db214d

  Copy full SHA for 7db214d

Commits on Nov 2, 2024

• fstar refresh

  karthikbhargavan

  committed
  60ffea0

  Copy full SHA for 60ffea0

Commits on Nov 3, 2024

• qemu based s390x ci for ml-kem C

  franziskuskiefer

  committed
  0a837fb

  Copy full SHA for 0a837fb

• fix ml-kem C in cg for big endian machines

  franziskuskiefer

  committed
  587a379

  Copy full SHA for 587a379

• don't build ml-kem C benchmarks by default

  franziskuskiefer

  committed
  5f3f123

  Copy full SHA for 5f3f123

Commits on Nov 4, 2024

• Update .github/workflows/s390x.yml

  Show description for 300abc0
  

  franziskuskiefer

  and

  jschneider-bensch

  authored
  300abc0

  Copy full SHA for 300abc0

• fix cg eurydice glue for Windows

  franziskuskiefer

  committed
  b216164

  Copy full SHA for b216164

• don't run mlkem C tests on Windows ci

  franziskuskiefer

  committed
  249e0b3

  Copy full SHA for 249e0b3

• 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

• really don't run on windows

  franziskuskiefer

  committed
  3cf3915

  Copy full SHA for 3cf3915

• format cg/eurydice_glue

  franziskuskiefer

  committed
  84a01ad

  Copy full SHA for 84a01ad

Commits on Nov 5, 2024

• Merge pull request #649 from cryspen/franziskus/big-endian-ci

  Show description for 17cf50b
  jschneider-bensch

  authored
  17cf50b

  Copy full SHA for 17cf50b

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

  jschneider-bensch

  authored
  5c005e0

  Copy full SHA for 5c005e0

• added issue-comment for samplex4 edits

  karthikbhargavan

  committed
  7297c0b

  Copy full SHA for 7297c0b

• renamed inputs

  karthikbhargavan

  committed
  dac387a

  Copy full SHA for dac387a

• fmt

  karthikbhargavan

  committed
  e542ac3

  Copy full SHA for e542ac3

• Merge branch 'main' into ml-dsa-lax

  karthikbhargavan

  authored
  db15695

  Copy full SHA for db15695

• Merge pull request #646 from cryspen/ml-dsa-lax

  Show description for 5ddbf9e
  franziskuskiefer

  authored
  5ddbf9e

  Copy full SHA for 5ddbf9e

• 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

• Merge branch 'main' into franziskus/ml-kem-fuzzing

  franziskuskiefer

  committed
  76b51d1

  Copy full SHA for 76b51d1

• 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

• add fuzzer to ci

  franziskuskiefer

  committed
  4a3c207

  Copy full SHA for 4a3c207

• Update .github/workflows/mlkem.yml

  Show description for c9f8670
  

  franziskuskiefer

  and

  jschneider-bensch

  authored
  c9f8670

  Copy full SHA for c9f8670

• fixup fuzz ci

  franziskuskiefer

  committed
  3df061e

  Copy full SHA for 3df061e

• Merge branch 'franziskus/ml-kem-fuzzing' of github.com:cryspen/libcrux into franziskus/ml-kem-fuzzing

  franziskuskiefer

  committed
  150b616

  Copy full SHA for 150b616

• cargo fmt

  franziskuskiefer

  committed
  d5632a5

  Copy full SHA for d5632a5

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

  jschneider-bensch

  committed
  11b5102

  Copy full SHA for 11b5102

• Merge pull request #660 from cryspen/franziskus/ml-kem-fuzzing

  Show description for f7dccd0
  jschneider-bensch

  authored
  f7dccd0

  Copy full SHA for f7dccd0

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

• Merge pull request #642 from cryspen/jonas/ml-dsa-target-feature

  Show description for d4b585d
  franziskuskiefer

  authored
  d4b585d

  Copy full SHA for d4b585d

• lax works again

  karthikbhargavan

  committed
  38837f1

  Copy full SHA for 38837f1

• refreshed c

  karthikbhargavan

  committed
  08e01cc

  Copy full SHA for 08e01cc

• ml-dsa make

  karthikbhargavan

  committed
  f68ccf2

  Copy full SHA for f68ccf2

• ml-dsa restored

  karthikbhargavan

  committed
  7026b9f

  Copy full SHA for 7026b9f

Commits on Nov 11, 2024

• spec fix

  karthikbhargavan

  committed
  a081805

  Copy full SHA for a081805

• fstar refresh

  karthikbhargavan

  committed
  392604e

  Copy full SHA for 392604e

• fstar

  karthikbhargavan

  committed
  5a38a61

  Copy full SHA for 5a38a61

• add proc-macro helper crate from hacl-rs

  keks

  committed
  5920c3a

  Copy full SHA for 5920c3a

• add hacl-rs hashing code, make libcrux use hacl-rs impl for sha2

  keks

  committed
  0e0243e

  Copy full SHA for 0e0243e

• no hacl-c sha2 anymore

  keks

  committed
  a23ffcf

  Copy full SHA for a23ffcf

• completely remove hacl-c sha2

  keks

  committed
  70dc04c

  Copy full SHA for 70dc04c

• remove hash state wrapper for sha2

  keks

  committed
  f74ddcb

  Copy full SHA for f74ddcb

• move hacl-rs to own subcrate

  keks

  committed
  6d0f6d5

  Copy full SHA for 6d0f6d5

• make hmac crate use hacl-rs

  keks

  committed
  9a3cff8

  Copy full SHA for 9a3cff8

• use ed25519 from hacl-rs

  keks

  committed
  ed655da

  Copy full SHA for ed655da

• use ed25519 better

  keks

  committed
  ba70ee0

  Copy full SHA for ba70ee0

• fix length checks in hmac and sha2

  keks

  committed
  418e508

  Copy full SHA for 418e508

• add hacl-rs hkdf

  keks

  committed
  1ade700

  Copy full SHA for 1ade700

• fix cargo toml indent depth

  keks

  committed
  6653e08

  Copy full SHA for 6653e08

• fix hmac lengths

  keks

  committed
  50422b7

  Copy full SHA for 50422b7

• fix name and add comment

  keks

  committed
  8f9dd3a

  Copy full SHA for 8f9dd3a

• impl Default for Sha2 hash states

  keks

  committed
  ba561b3

  Copy full SHA for ba561b3

• fmt rest of generated code

  keks

  committed
  45d1278

  Copy full SHA for 45d1278

• fix mishap

  keks

  committed
  5e781bc

  Copy full SHA for 5e781bc

• add wycheproof test for ed25519, hkdf and hmac

  keks

  committed
  1f634b9

  Copy full SHA for 1f634b9

• move hacl-rs algorithms to individual crates and make composite crates use these

  keks

  committed
  ece0107

  Copy full SHA for ece0107

• remove sha1 crate stub

  keks

  committed
  1ca3ced

  Copy full SHA for 1ca3ced

• remove remaining traces of sha1 crate stub

  keks

  committed
  ae73f50

  Copy full SHA for ae73f50

• fmt Cargo.toml

  keks

  committed
  deefc26

  Copy full SHA for deefc26

• fmt more Cargo.toml

  keks

  committed
  4a1026a

  Copy full SHA for 4a1026a

• remove unuzed generated memzero function

  keks

  committed
  238e1fb

  Copy full SHA for 238e1fb

• address PR feedback

  keks

  committed
  97bf4b0

  Copy full SHA for 97bf4b0

• fix toml indent

  keks

  committed
  e77f3a5

  Copy full SHA for e77f3a5

• more cleanup

  keks

  committed
  05f1652

  Copy full SHA for 05f1652

• fstar

  karthikbhargavan

  committed
  bf1ba73

  Copy full SHA for bf1ba73

• fstar

  karthikbhargavan

  committed
  9c7d46a

  Copy full SHA for 9c7d46a

• fstar

  karthikbhargavan

  committed
  595517c

  Copy full SHA for 595517c

• fstar

  karthikbhargavan

  committed
  2c93acc

  Copy full SHA for 2c93acc

Commits on Nov 12, 2024

• Fix generic module failures

  mamonet

  committed
  354e3ef

  Copy full SHA for 354e3ef

• Update Spec.MLKEM.fst

  mamonet

  committed
  ae7ab07

  Copy full SHA for ae7ab07

• Fix failure in generic serialize module

  mamonet

  committed
  22dc07b

  Copy full SHA for 22dc07b

• Propagate recent cmake changes to nix CI

  R1kM

  committed
  b665c49

  Copy full SHA for b665c49

• Fix failure in portable compress module

  mamonet

  committed
  d1b75ab

  Copy full SHA for d1b75ab

• Merge pull request #669 from R1kM/main

  Show description for 9a8614d
  franziskuskiefer

  authored
  9a8614d

  Copy full SHA for 9a8614d

Commits on Nov 13, 2024

• Merge branch 'main' into franziskus/mlkem-serialize-sk

  franziskuskiefer

  committed
  d910009

  Copy full SHA for d910009

• Reomve Libcrux_ml_kem.Vector.Portable from ADMIT_MODULES

  mamonet

  committed
  69a27e4

  Copy full SHA for 69a27e4

• rename bignum module

  keks

  committed
  9caa0ff

  Copy full SHA for 9caa0ff

• fixup merge

  franziskuskiefer

  committed
  150df23

  Copy full SHA for 150df23

• More efficient butterfly in inverse NTT layers 0-2

  jschneider-bensch

  committed
  b071b90

  Copy full SHA for b071b90

• update C extraction

  franziskuskiefer

  committed
  122ee3d

  Copy full SHA for 122ee3d

• slight api change, more comments

  keks

  committed
  3c5be34

  Copy full SHA for 3c5be34

• update C extraction

  franziskuskiefer

  committed
  13a516c

  Copy full SHA for 13a516c

• Merge pull request #623 from cryspen/franziskus/mlkem-serialize-sk

  Show description for 9b4b799
  karthikbhargavan

  authored
  9b4b799

  Copy full SHA for 9b4b799

Commits on Nov 14, 2024

• Add pre-conditions for Unpacked functions

  mamonet

  committed
  89568ab

  Copy full SHA for 89568ab

• fix ci error

  keks

  committed
  f0f3d0e

  Copy full SHA for f0f3d0e

• Merge branch 'main' into keks/hacl-rs

  keks

  authored
  a216c87

  Copy full SHA for a216c87

• Apply suggestions from code review

  Show description for 7584c13
  

  keks

  and

  franziskuskiefer

  authored
  7584c13

  Copy full SHA for 7584c13

• Push inverse NTT into the implementations

  jschneider-bensch

  committed
  8bdb4ff

  Copy full SHA for 8bdb4ff

• FStar Update

  jschneider-bensch

  committed
  6982493

  Copy full SHA for 6982493

• Update flake pins

  Nadrieril

  committed
  168fd90

  Copy full SHA for 168fd90

• Avoid copying 200MB to the output

  Nadrieril

  committed
  2e6d232

  Copy full SHA for 2e6d232

• Use callPackage to make the ml-kem package configurable

  Nadrieril

  committed
  d9520c1

  Copy full SHA for d9520c1

• Allow setting the Cargo.lock via nix

  Nadrieril

  committed
  8b45ccd

  Copy full SHA for 8b45ccd

• Merge pull request #659 from cryspen/keks/hacl-rs

  Show description for 04fdf14
  keks

  authored
  04fdf14

  Copy full SHA for 04fdf14

• Omitted FStar

  jschneider-bensch

  committed
  3daab9b

  Copy full SHA for 3daab9b

• Merge pull request #678 from Nadrieril/improve-flake

  Show description for 2608798
  W95Psp

  authored
  2608798

  Copy full SHA for 2608798

• Remove obsolete .fst

  jschneider-bensch

  committed
  c967919

  Copy full SHA for c967919

• Merge branch 'main' into jonas/invntt-butterfly

  jschneider-bensch

  authored
  e458471

  Copy full SHA for e458471

• fix(f*/ml-kem): restore z3rlimit to 80

  W95Psp

  committed
  50e4b97

  Copy full SHA for 50e4b97

• feat: verify Avx2.Serialize

  W95Psp

  committed
  faee7a5

  Copy full SHA for faee7a5

• cleanup

  karthikbhargavan

  committed
  e42d9da

  Copy full SHA for e42d9da

• fstar

  karthikbhargavan

  committed
  974422b

  Copy full SHA for 974422b

Commits on Nov 15, 2024

• Merge pull request #671 from cryspen/jonas/invntt-butterfly

  Show description for dc479b8
  franziskuskiefer

  authored
  dc479b8

  Copy full SHA for dc479b8

• merged main

  karthikbhargavan

  committed
  3b3cafa

  Copy full SHA for 3b3cafa

Commits on Nov 16, 2024

• fstar update

  karthikbhargavan

  committed
  33f952d

  Copy full SHA for 33f952d

• fstar

  karthikbhargavan

  committed
  63a1e7d

  Copy full SHA for 63a1e7d

Commits on Nov 27, 2024

• fixes

  karthikbhargavan

  committed
  86e27d8

  Copy full SHA for 86e27d8

Commits on Nov 28, 2024

• edits

  karthikbhargavan

  committed
  82871a3

  Copy full SHA for 82871a3

• fix

  karthikbhargavan

  committed
  56e38bb

  Copy full SHA for 56e38bb

Commits on Nov 29, 2024

• Fix build_unpacked_public_key_mut

  mamonet

  committed
  873fa48

  Copy full SHA for 873fa48

• Fix build_unpacked_public_key

  mamonet

  committed
  c2a5c69

  Copy full SHA for c2a5c69

• hand edited fixes to impl-interfaces

  karthikbhargavan

  committed
  3e8515b

  Copy full SHA for 3e8515b

• Remove lax/panic-free verification options from ind-cca

  mamonet

  committed
  265435c

  Copy full SHA for 265435c

• delete stale file

  karthikbhargavan

  committed
  c7df39e

  Copy full SHA for c7df39e

• Mark serialize_unpacked_secret_key as lax

  mamonet

  committed
  e2b0855

  Copy full SHA for e2b0855

Commits on Nov 30, 2024

• dsa

  karthikbhargavan

  committed
  91fae43

  Copy full SHA for 91fae43

• dsa extra

  karthikbhargavan

  committed
  8fa4c2d

  Copy full SHA for 8fa4c2d

Commits on Dec 1, 2024

• boring c code

  karthikbhargavan

  committed
  2ecc08a

  Copy full SHA for 2ecc08a

• c code refresh

  karthikbhargavan

  committed
  1591860

  Copy full SHA for 1591860

• fstar

  karthikbhargavan

  committed
  0a935fe

  Copy full SHA for 0a935fe