cryspen/libcrux issues and pull requests

#612 - Add spec for Ind_cpa unpacked functions

Pull Request - State: open - Opened by mamonet 4 days ago

#611 - [ML-DSA] Allow library consumer to specify their own pre-hash

Issue - State: open - Opened by jschneider-bensch 4 days ago
Labels: enhancement

#610 - Add a dev shell

Pull Request - State: closed - Opened by Nadrieril 4 days ago

#609 - [ML-DSA] Add domain separation for key generation

Pull Request - State: closed - Opened by jschneider-bensch 5 days ago

#608 - [ML-DSA] Add pre-hashed API & domain separation

Pull Request - State: closed - Opened by jschneider-bensch 5 days ago - 1 comment

#607 - Re-enable (updated) Wycheproof tests once all changes are addressed

Issue - State: closed - Opened by jschneider-bensch 6 days ago

#606 - Generic Ind_cpa proofs

Issue - State: open - Opened by mamonet 6 days ago - 1 comment

#605 - Generic Ind_cpa proofs

Issue - State: closed - Opened by mamonet 6 days ago

#604 - Bump cc from 1.1.21 to 1.1.22

Pull Request - State: open - Opened by dependabot[bot] 6 days ago
Labels: dependencies, rust

#603 - Bump hax-lib-macros from `c2093b4` to `29d28fc`

Pull Request - State: open - Opened by dependabot[bot] 6 days ago
Labels: dependencies, rust

#602 - Bump libc from 0.2.158 to 0.2.159

Pull Request - State: open - Opened by dependabot[bot] 6 days ago
Labels: dependencies, rust

#601 - [ML-KEM] (De)serialize unpacked keys to bytes

Pull Request - State: open - Opened by franziskuskiefer 8 days ago

#600 - [ML-DSA] Use all of commitment hash to sample verifiers challenge

Pull Request - State: closed - Opened by jschneider-bensch 9 days ago - 1 comment

#599 - [ML-DSA] Precomputation attempt

Pull Request - State: open - Opened by jschneider-bensch 11 days ago

#598 - [ML-KEM] Merge verified code back to main

Pull Request - State: open - Opened by karthikbhargavan 12 days ago

#597 - Bump hax-lib-macros from `503591c` to `288f77f`

Pull Request - State: open - Opened by dependabot[bot] 13 days ago
Labels: dependencies, rust

#597 - Bump hax-lib-macros from `503591c` to `288f77f`

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

#596 - Bump cc from 1.1.15 to 1.1.21

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

#595 - Bump clap from 4.5.16 to 4.5.18

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

#594 - Starting proofs for ML-DSA Arithmetic

Pull Request - State: open - Opened by karthikbhargavan 13 days ago

#594 - Starting proofs for ML-DSA Arithmetic

Pull Request - State: open - Opened by karthikbhargavan 13 days ago

#593 - Merging main into dev

Pull Request - State: closed - Opened by karthikbhargavan 13 days ago

#593 - Merging main into dev

Pull Request - State: closed - Opened by karthikbhargavan 13 days ago

#592 - Private keys should persist between invocations

Pull Request - State: closed - Opened by djmdjm 16 days ago

#592 - Private keys should persist between invocations

Pull Request - State: closed - Opened by djmdjm 16 days ago

#591 - Making Spec proofs more robust (for new F* versions)

Pull Request - State: closed - Opened by karthikbhargavan 16 days ago

#591 - Making Spec proofs more robust (for new F* versions)

Pull Request - State: closed - Opened by karthikbhargavan 16 days ago

#590 - F*: avx2: `{de,}serialize{1,4}`

Pull Request - State: open - Opened by W95Psp 16 days ago

#590 - F*: avx2: `{de,}serialize{1,4,10,12}`

Pull Request - State: closed - Opened by W95Psp 16 days ago

#589 - Arithmetic and NTT proofs

Pull Request - State: closed - Opened by karthikbhargavan 17 days ago

#589 - Arithmetic and NTT proofs

Pull Request - State: closed - Opened by karthikbhargavan 17 days ago

#588 - Split encapsulate/decapsulate functions in Ind_cca.rs

Issue - State: closed - Opened by mamonet 18 days ago - 1 comment

#588 - Split encapsulate/decapsulate functions in Ind_cca.rs

Issue - State: open - Opened by mamonet 18 days ago

#587 - Add conditions for generic compress and serialize functions

Pull Request - State: closed - Opened by mamonet 18 days ago - 1 comment

#586 - Make unpacked ML-KEM API extractable

Pull Request - State: closed - Opened by franziskuskiefer 19 days ago

#586 - Make unpacked ML-KEM API extractable

Pull Request - State: closed - Opened by franziskuskiefer 19 days ago

#585 - Add ML-DSA verification to CI

Issue - State: open - Opened by franziskuskiefer 20 days ago

#585 - Add ML-DSA verification to CI

Issue - State: open - Opened by franziskuskiefer 20 days ago

#584 - [ML-DSA] AVX2 performance improvements in NTT

Pull Request - State: open - Opened by jschneider-bensch 20 days ago

#584 - [ML-DSA] AVX2 performance improvements in NTT

Pull Request - State: closed - Opened by jschneider-bensch 20 days ago

#583 - Port Arithmetic proofs from ML-KEM to ML-DSA

Issue - State: open - Opened by karthikbhargavan 20 days ago - 1 comment

#583 - Port Arithmetic proofs from ML-KEM to ML-DSA

Issue - State: open - Opened by karthikbhargavan 20 days ago - 1 comment

#582 - Bump cc from 1.1.15 to 1.1.19

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

#582 - Bump cc from 1.1.15 to 1.1.19

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

#581 - Bump hax-lib-macros from `503591c` to `9313dba`

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

#581 - Bump hax-lib-macros from `503591c` to `9313dba`

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

#580 - Bump DeterminateSystems/nix-installer-action from 13 to 14

Pull Request - State: open - Opened by dependabot[bot] 20 days ago
Labels: dependencies, github_actions

#580 - Bump DeterminateSystems/nix-installer-action from 13 to 14

Pull Request - State: open - Opened by dependabot[bot] 20 days ago
Labels: dependencies, github_actions

#579 - Bump DeterminateSystems/magic-nix-cache-action from 7 to 8

Pull Request - State: open - Opened by dependabot[bot] 20 days ago
Labels: dependencies, github_actions

#579 - Bump DeterminateSystems/magic-nix-cache-action from 7 to 8

Pull Request - State: open - Opened by dependabot[bot] 20 days ago
Labels: dependencies, github_actions

#578 - Make generic ind_cpa module panic-free

Pull Request - State: closed - Opened by mamonet 21 days ago - 1 comment

#578 - Make generic ind_cpa module panic-free

Pull Request - State: open - Opened by mamonet 21 days ago

#577 - Admitted functions in MLKEM

Issue - State: open - Opened by mamonet 21 days ago

#577 - Admitted functions in MLKEM

Issue - State: open - Opened by mamonet 21 days ago

#576 - Make ntt panic free

Pull Request - State: closed - Opened by mamonet 22 days ago - 1 comment

#576 - Make ntt panic free

Pull Request - State: open - Opened by mamonet 22 days ago - 1 comment

#575 - Fix c extraction on dev

Pull Request - State: closed - Opened by karthikbhargavan 23 days ago

#575 - Fix c extraction on dev

Pull Request - State: closed - Opened by karthikbhargavan 23 days ago

#574 - [ML-DSA] Repair / Extend multiplexing

Pull Request - State: closed - Opened by jschneider-bensch 23 days ago

#574 - [ML-DSA] Repair / Extend multiplexing

Pull Request - State: closed - Opened by jschneider-bensch 23 days ago

#573 - Fix ML-DSA benchmarks

Pull Request - State: closed - Opened by jschneider-bensch 24 days ago

#573 - Fix ML-DSA benchmarks

Pull Request - State: closed - Opened by jschneider-bensch 24 days ago

#572 - Adjust loop bound for rejection sampling

Issue - State: open - Opened by jschneider-bensch 24 days ago

#572 - Adjust loop bound for rejection sampling

Issue - State: closed - Opened by jschneider-bensch 24 days ago

#571 - improve NTT performance of avx2 ml-dsa

Issue - State: open - Opened by franziskuskiefer 25 days ago

#571 - improve NTT performance of avx2 ml-dsa

Issue - State: open - Opened by franziskuskiefer 25 days ago

#570 - Make functions in sampling.rs panic-free

Pull Request - State: closed - Opened by mamonet 25 days ago

#570 - Make functions in sampling.rs panic-free

Pull Request - State: closed - Opened by mamonet 25 days ago

#569 - More detailed verification status

Issue - State: open - Opened by jschneider-bensch 25 days ago
Labels: documentation

#569 - More detailed verification status

Issue - State: open - Opened by jschneider-bensch 25 days ago
Labels: documentation

#568 - Plan proofs for ML-DSA

Issue - State: closed - Opened by karthikbhargavan 27 days ago - 2 comments

#568 - Plan proofs for ML-DSA

Issue - State: closed - Opened by karthikbhargavan 27 days ago - 2 comments

#567 - Plan completion of Cloudflare Project

Issue - State: closed - Opened by karthikbhargavan 27 days ago - 1 comment

#567 - Plan completion of Cloudflare Project

Issue - State: closed - Opened by karthikbhargavan 27 days ago - 1 comment

#566 - [ML-KEM] Link NTT Proofs to High-Level Spec

Issue - State: open - Opened by karthikbhargavan 27 days ago - 1 comment

#566 - [ML-KEM] Link NTT Proofs to High-Level Spec

Issue - State: open - Opened by karthikbhargavan 27 days ago - 1 comment

#565 - Cleanup Rust annotations for Generic ML-KEM

Issue - State: open - Opened by karthikbhargavan 27 days ago - 6 comments