cryspen/libcrux issues and pull requests

#467 - ML-DSA: AVX2 implementation of compute_hint.

Pull Request - State: closed - Opened by xvzcf about 2 months ago

#466 - Refresh MLKEM/C with latest improvements from upstream Eurydice/krml

Pull Request - State: closed - Opened by protz about 2 months ago

#465 - Implement `Clone` and `Send` for SHA2 state and hasher types

Pull Request - State: closed - Opened by keks about 2 months ago - 1 comment

#464 - Bump hax-lib-macros from `d6cc188` to `b1d6586`

Pull Request - State: open - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, rust

#463 - Bump clap from 4.5.11 to 4.5.13

Pull Request - State: open - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, rust

#462 - Bump cc from 1.1.6 to 1.1.7

Pull Request - State: open - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, rust

#461 - Bump serde_json from 1.0.121 to 1.0.122

Pull Request - State: open - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, rust

#460 - ML-DSA: AVX2 implementations of use_hint and t0 and gamma1 encoding functions.

Pull Request - State: closed - Opened by xvzcf 2 months ago

#459 - Pure Rust version of PSQ

Pull Request - State: closed - Opened by jschneider-bensch 2 months ago - 1 comment
Labels: stale

#458 - Provide `hacl-rs` feature in `libcrux-ecdh`

Pull Request - State: closed - Opened by jschneider-bensch 2 months ago - 1 comment
Labels: stale

#457 - Extract Kyber Round 3 for header only C

Pull Request - State: closed - Opened by franziskuskiefer 2 months ago

#456 - Update C extraction docs

Pull Request - State: closed - Opened by jschneider-bensch 2 months ago
Labels: documentation

#455 - ML-DSA: AVX2 implementations of some arithmetic functions and t1 deserialization.

Pull Request - State: closed - Opened by xvzcf 2 months ago

#454 - Formally Verify ML-KEM (Portable + AVX2)

Issue - State: open - Opened by karthikbhargavan 2 months ago - 3 comments
Labels: meta

#453 - Secret Independence for ML-KEM and ML-DSA

Issue - State: open - Opened by karthikbhargavan 2 months ago - 2 comments

#452 - Add Pre- and Post-Conditions for libcrux-intrinsics

Issue - State: closed - Opened by karthikbhargavan 2 months ago - 1 comment

#451 - Clean up SHA3 XOF

Pull Request - State: open - Opened by jschneider-bensch 2 months ago - 2 comments

#450 - ML-DSA: AVX2 implementation of error ring element sampling.

Pull Request - State: closed - Opened by xvzcf 2 months ago - 1 comment

#449 - Bump hax-lib-macros from `d6cc188` to `64e34c9`

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, rust

#448 - Update Readmes

Pull Request - State: closed - Opened by jschneider-bensch 2 months ago - 5 comments
Labels: documentation

#447 - ML-KEM panic-free/correctness proof analysis

Issue - State: closed - Opened by mamonet 2 months ago - 1 comment

#446 - Bump DeterminateSystems/nix-installer-action from 12 to 13

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 2 comments
Labels: dependencies, github_actions

#445 - Bump hax-lib-macros from `cd6e258` to `d6cc188`

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, rust

#444 - Bump serde_json from 1.0.120 to 1.0.121

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, rust

#443 - Bump clap from 4.5.10 to 4.5.11

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, rust

#442 - Create ML-KEM Proof Plan

Issue - State: closed - Opened by karthikbhargavan 2 months ago - 1 comment

#441 - mldsa parallel shake

Pull Request - State: closed - Opened by franziskuskiefer 2 months ago - 1 comment

#440 - ML-DSA: Full AVX2 implementation of uniform rejection sampling and partial AVX2 implementation of gamma1 serialization.

Pull Request - State: closed - Opened by xvzcf 2 months ago

#439 - ML-KEM unpacked API self test failure

Issue - State: closed - Opened by jschneider-bensch 2 months ago - 1 comment
Labels: stale

#438 - use pre-verification feature for ml-kem on CI runs

Pull Request - State: closed - Opened by franziskuskiefer 2 months ago - 3 comments

#437 - Make vector/portable/arithmetic.rs panic-free

Pull Request - State: open - Opened by mamonet 2 months ago

#436 - Add `no_std` declaration to `libcrux-intrinsics` crate

Pull Request - State: closed - Opened by jschneider-bensch 2 months ago

#435 - ML-DSA: Implemented AVX2 versions of arithmetic functions, NTT, and various serialization functions.

Pull Request - State: closed - Opened by xvzcf 2 months ago

#434 - Fix specs CI

Pull Request - State: closed - Opened by jschneider-bensch 2 months ago

#433 - Bump versions to 0.0.2-alpha.3

Pull Request - State: closed - Opened by jschneider-bensch 2 months ago

#432 - Exclude SHA-3 test vectors from packaging

Pull Request - State: closed - Opened by jschneider-bensch 2 months ago

#431 - Release cavp

Pull Request - State: closed - Opened by jschneider-bensch 2 months ago

#430 - ML-KEM `alpha.2` release prep

Pull Request - State: closed - Opened by jschneider-bensch 2 months ago

#429 - Diff ML-KEM C extraction to repo content

Pull Request - State: closed - Opened by jschneider-bensch 2 months ago - 2 comments

#428 - Bump hax-lib-macros from `09a454c` to `fdc0000`

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, rust

#427 - Bump cc from 1.1.5 to 1.1.6

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, rust

#426 - Bump openssl from 0.10.64 to 0.10.66

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, rust

#425 - Start multiplexing for ML-DSA

Pull Request - State: closed - Opened by franziskuskiefer 3 months ago

#424 - Release ml-kem alpha.2

Issue - State: closed - Opened by franziskuskiefer 3 months ago - 1 comment

#423 - ML-DSA: Implemented AVX2 versions of add, subtract, and montgomery multiplication.

Pull Request - State: closed - Opened by xvzcf 3 months ago

#422 - Refresh C ml-kem code

Pull Request - State: closed - Opened by franziskuskiefer 3 months ago

#421 - Make ML-KEM serialize.rs panic-free

Pull Request - State: open - Opened by mamonet 3 months ago - 3 comments

#420 - c extraction update

Pull Request - State: closed - Opened by franziskuskiefer 3 months ago - 1 comment

#419 - Fixed sized APIs for HKDF

Issue - State: open - Opened by jschneider-bensch 3 months ago - 1 comment

#418 - [PSQ] Use primitives exposed via libcrux

Issue - State: open - Opened by jschneider-bensch 3 months ago - 1 comment
Labels: stale

#417 - Build C extraction docker image on CI

Issue - State: open - Opened by jschneider-bensch 3 months ago
Labels: ci

#416 - Bump Eurydice to latest version in Docker image

Pull Request - State: closed - Opened by jschneider-bensch 3 months ago

#415 - ML-KEM: confusing naming of `as_slice`, which returns a reference to an array, not a slice

Issue - State: closed - Opened by keks 3 months ago - 2 comments
Labels: stale

#414 - Turn a `&[u8; N]` into a reference a type that only contains a `[u8; N]` without copying (e.g. key, tag, nonce or ciphertext types)

Issue - State: closed - Opened by keks 3 months ago - 3 comments
Labels: stale

#413 - better header for ml-kem C extraction

Pull Request - State: closed - Opened by franziskuskiefer 3 months ago - 1 comment

#412 - [CI] Run Build & Test on extracted C

Pull Request - State: closed - Opened by jschneider-bensch 3 months ago

#411 - Add extraction job to C workflow

Pull Request - State: closed - Opened by jschneider-bensch 3 months ago

#410 - SHA3 NIST test vectors

Pull Request - State: closed - Opened by franziskuskiefer 3 months ago

#409 - Provide randomized API for ML-KEM (and others?)

Issue - State: open - Opened by keks 3 months ago - 1 comment

#408 - Update C extraction Docker file

Pull Request - State: closed - Opened by jschneider-bensch 3 months ago - 1 comment

#407 - remove mlkem/c/symcrypt

Pull Request - State: closed - Opened by franziskuskiefer 3 months ago

#406 - symcrypt

Issue - State: closed - Opened by epachamo 3 months ago - 3 comments

#405 - ML-DSA: Propagated SIMDUnit type throughout the code.

Pull Request - State: closed - Opened by xvzcf 3 months ago - 1 comment

#404 - Make constant_time_ops.rs and utils.rs panic-free

Pull Request - State: closed - Opened by mamonet 3 months ago - 6 comments

#403 - ml-kem: Use member function when hax allows

Issue - State: closed - Opened by franziskuskiefer 3 months ago - 2 comments
Labels: stale

#402 - Fix C build and benchmarks on Windows CI

Issue - State: open - Opened by karthikbhargavan 3 months ago - 1 comment

#401 - Modularized PSQ

Pull Request - State: closed - Opened by jschneider-bensch 3 months ago - 1 comment

#400 - follow-up to unpacked API

Pull Request - State: closed - Opened by franziskuskiefer 3 months ago

#399 - Bump hax-lib-macros from `7be21f5` to `717d606`

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies, rust

#398 - Bump cc from 1.0.105 to 1.1.5

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies, rust

#397 - Bump clap from 4.5.8 to 4.5.9

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies, rust

#396 - ML-DSA: Moved all the encoding code and more of the arithmetic code to a vectorized structure.

Pull Request - State: closed - Opened by xvzcf 3 months ago - 3 comments

#395 - Verify libcrux-sha3

Issue - State: open - Opened by karthikbhargavan 3 months ago - 1 comment
Labels: keep-open

#395 - Verify libcrux-sha3

Issue - State: open - Opened by karthikbhargavan 3 months ago - 1 comment
Labels: keep-open

#394 - Make libcrux-ml-kem lax check in F*

Pull Request - State: closed - Opened by karthikbhargavan 3 months ago

#393 - spdx license for ml-kem

Pull Request - State: open - Opened by franziskuskiefer 3 months ago - 2 comments
Labels: stale

#390 - Shake256 Incremental API

Issue - State: open - Opened by franziskuskiefer 3 months ago

#387 - [ML-KEM] Cleanup unpacked API benchmarks

Issue - State: open - Opened by franziskuskiefer 3 months ago - 1 comment