Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / cryspen/libcrux issues and pull requests

#346 - mlkem release prep part 2

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

#345 - PSQ prototype: Use optimized KEMs

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

#344 - Documentation pass

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

#343 - More benchmarks and ct

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

#343 - More benchmarks and ct

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

#341 - ML-DSA: Refactor code to so that Hax can process it.

Issue - State: open - Opened by xvzcf 3 days ago

#341 - ML-DSA: Refactor code to so that Hax can process it.

Issue - State: open - Opened by xvzcf 3 days ago

#341 - ML-DSA: Refactor code to so that Hax can process it.

Issue - State: open - Opened by xvzcf 3 days ago

#339 - Improvements to the ML-DSA code.

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

#339 - Improvements to the ML-DSA code.

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

#339 - Improvements to the ML-DSA code.

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

#338 - Update ml-kem docs

Issue - State: open - Opened by franziskuskiefer 7 days ago
Labels: documentation

#338 - Update ml-kem docs

Issue - State: open - Opened by franziskuskiefer 7 days ago
Labels: documentation

#338 - Update ml-kem docs

Issue - State: open - Opened by franziskuskiefer 7 days ago
Labels: documentation

#337 - Fix hax CI job to always run or only be required when run

Issue - State: open - Opened by franziskuskiefer 7 days ago
Labels: ci

#337 - Fix hax CI job to always run or only be required when run

Issue - State: open - Opened by franziskuskiefer 7 days ago
Labels: ci

#336 - Add documentation for C extraction

Issue - State: open - Opened by franziskuskiefer 8 days ago
Labels: documentation

#335 - Workflow to dismiss stale reviews

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

#335 - Workflow to dismiss stale reviews

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

#335 - Workflow to dismiss stale reviews

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

#334 - Cleanup old mlkem hax and proofs

Issue - State: open - Opened by franziskuskiefer 9 days ago
Labels: hax, ci

#333 - Add features for ml-kem variants

Pull Request - State: closed - Opened by franziskuskiefer 10 days ago - 1 comment

#332 - PSQ PV extraction blockers

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

#331 - ml dsa verify

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

#331 - ml dsa verify

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

#331 - ml dsa verify

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

#330 - Unpacked API for ML-KEM

Pull Request - State: open - Opened by karthikbhargavan 11 days ago - 4 comments

#330 - Unpacked API for ML-KEM

Pull Request - State: open - Opened by karthikbhargavan 11 days ago - 4 comments

#329 - Make verified ML-KEM available in `libcrux-ml-kem`

Pull Request - State: closed - Opened by jschneider-bensch 13 days ago - 4 comments

#329 - Make verified ML-KEM available in `libcrux-ml-kem`

Pull Request - State: closed - Opened by jschneider-bensch 13 days ago - 4 comments

#329 - Make verified ML-KEM available in `libcrux-ml-kem`

Pull Request - State: closed - Opened by jschneider-bensch 13 days ago - 4 comments

#328 - Restructure Vector code in ML-KEM to split functionality

Pull Request - State: closed - Opened by karthikbhargavan 14 days ago - 2 comments

#328 - Restructure Vector code in ML-KEM to split functionality

Pull Request - State: closed - Opened by karthikbhargavan 14 days ago - 2 comments

#327 - Add feature `kyber` for Round 3 Kyber API

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

#327 - Add feature `kyber` for Round 3 Kyber API

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

#326 - Offer verified ML-KEM API in libcrux-ml-kem

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

#326 - Offer verified ML-KEM API in libcrux-ml-kem

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

#326 - Offer verified ML-KEM API in libcrux-ml-kem

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

#325 - Offer Round 3 Kyber API in libcrux-ml-kem

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

#325 - Offer Round 3 Kyber API in libcrux-ml-kem

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

#325 - Offer Round 3 Kyber API in libcrux-ml-kem

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

#324 - mlkem release prep

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

#323 - PQ code package update script

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

#323 - PQ code package update script

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

#322 - Merge main to dev

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

#322 - Merge main to dev

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

#321 - don't use empty slices, they are 0x1 pointers now

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

#321 - don't use empty slices, they are 0x1 pointers now

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

#321 - don't use empty slices, they are 0x1 pointers now

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

#320 - ML-DSA: Signing works across all parameter sets.

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

#319 - Make ML-KEM F* extraction panic-free

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

#319 - Make ML-KEM F* extraction panic-free

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

#318 - Clean up `5k-target` branch

Issue - State: closed - Opened by W95Psp 21 days ago

#318 - Clean up `5k-target` branch

Issue - State: closed - Opened by W95Psp 21 days ago

#318 - Clean up `5k-target` branch

Issue - State: closed - Opened by W95Psp 21 days ago

#317 - CI: add workflow to update `flake.lock`

Pull Request - State: closed - Opened by pnmadelaine 21 days ago

#316 - symcrypt benchmarks

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

#315 - CI: update `nix.yml`

Pull Request - State: closed - Opened by pnmadelaine 22 days ago - 2 comments

#314 - Add features for assurance levels

Issue - State: open - Opened by franziskuskiefer 22 days ago - 2 comments

#312 - Reuse CI workflows across the workspace

Issue - State: open - Opened by jschneider-bensch 22 days ago - 1 comment

#311 - Fixing hax.py to generate .fst files

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

#310 - PQ-PSK prototype

Pull Request - State: closed - Opened by jschneider-bensch 22 days ago
Labels: waiting-on-review

#309 - Laying groundwork for implementing ML-DSA signing.

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

#308 - Making ML-KEM Extract Again

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

#307 - Deleting some old code

Pull Request - State: closed - Opened by franziskuskiefer 23 days ago - 1 comment

#305 - Pull out `hkdf` and `hmac` modules as standalone crates

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

#304 - Pull out `libcrux::kem` into a standalone crate

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

#303 - mlkem c all versions

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

#302 - Initial pqcp release

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

#301 - Make libcrux_ml_kem lax-check in F*

Issue - State: open - Opened by mamonet 28 days ago - 6 comments

#300 - Add Nix files and commit `Cargo.lock`

Pull Request - State: closed - Opened by pnmadelaine 29 days ago - 6 comments

#299 - Improve secret independence guarantees in compiled code.

Issue - State: open - Opened by xvzcf about 1 month ago

#298 - Push ml-kem to pqca

Issue - State: closed - Opened by franziskuskiefer about 1 month ago - 1 comment

#297 - Make Portable and NEON ML-KEM C work again

Issue - State: closed - Opened by franziskuskiefer about 1 month ago

#296 - Extract ML-KEM SIMD code to C

Pull Request - State: closed - Opened by franziskuskiefer about 1 month ago

#295 - Optimize HACL* Raw RSA decryption to use CRT

Issue - State: open - Opened by franziskuskiefer about 1 month ago - 3 comments

#294 - Extract ML-KEM SIMD code to C

Pull Request - State: closed - Opened by franziskuskiefer about 1 month ago - 1 comment

#293 - More Kyber AVX2-serialization documentation.

Pull Request - State: closed - Opened by xvzcf about 1 month ago - 1 comment

#292 - ML-DSA: Key generation across all parameter sets.

Pull Request - State: closed - Opened by xvzcf about 1 month ago

#291 - ML-DSA Keygen: Some functions related to the vector t.

Pull Request - State: closed - Opened by xvzcf about 1 month ago

#290 - Start implementing sampling for matrix A in ML-DSA

Pull Request - State: closed - Opened by xvzcf about 1 month ago

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

Pull Request - State: closed - Opened by xvzcf about 1 month ago

#288 - Refresh patches, followup for hax PR hacspec/hax#676

Pull Request - State: closed - Opened by W95Psp about 1 month ago

#287 - avx2 extraction improvements

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

#286 - Implemented deserialize_5 and documented the code some more.

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

#285 - main -> dev

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

#284 - ml kem sha3 cross

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

#283 - More safe intrinsic wrappers

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

#282 - Junky test for CI

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

#281 - Regenerate patches following PR hacspec/hax#679

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

#280 - Feature detection and cleanup (Ml-KEM/SHA3)

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

#279 - Documentation and cleanup of the Kyber avx2 code.

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