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 3 months ago
#345 - PSQ prototype: Use optimized KEMs
Pull Request -
State: open - Opened by jschneider-bensch 3 months ago
#344 - Documentation pass
Pull Request -
State: closed - Opened by jschneider-bensch 3 months ago
#343 - More benchmarks and ct
Pull Request -
State: closed - Opened by franziskuskiefer 3 months ago
- 1 comment
#343 - More benchmarks and ct
Pull Request -
State: closed - Opened by franziskuskiefer 3 months ago
- 1 comment
#342 - Simplify config by relying on the fact that the various variants are now macro-generated into their own modules
Pull Request -
State: open - Opened by protz 3 months ago
#342 - Simplify config by relying on the fact that the various variants are now macro-generated into their own modules
Pull Request -
State: open - Opened by protz 3 months ago
#342 - Simplify config by relying on the fact that the various variants are now macro-generated into their own modules
Pull Request -
State: open - Opened by protz 3 months ago
#341 - ML-DSA: Refactor code to so that Hax can process it.
Issue -
State: closed - Opened by xvzcf 3 months ago
- 1 comment
#341 - ML-DSA: Refactor code to so that Hax can process it.
Issue -
State: open - Opened by xvzcf 3 months ago
- 1 comment
#341 - ML-DSA: Refactor code to so that Hax can process it.
Issue -
State: open - Opened by xvzcf 3 months ago
- 1 comment
#340 - ML-DSA: Include verification key in the Wycheproof signature JSON KAT files.
Issue -
State: open - Opened by xvzcf 3 months ago
#340 - ML-DSA: Include verification key in the Wycheproof signature JSON KAT files.
Issue -
State: open - Opened by xvzcf 3 months ago
#340 - ML-DSA: Include verification key in the Wycheproof signature JSON KAT files.
Issue -
State: open - Opened by xvzcf 3 months ago
- 1 comment
Labels: keep-open
#339 - Improvements to the ML-DSA code.
Pull Request -
State: open - Opened by xvzcf 3 months ago
#339 - Improvements to the ML-DSA code.
Pull Request -
State: open - Opened by xvzcf 3 months ago
#339 - Improvements to the ML-DSA code.
Pull Request -
State: open - Opened by xvzcf 3 months ago
#338 - Update ml-kem docs
Issue -
State: open - Opened by franziskuskiefer 3 months ago
Labels: documentation
#338 - Update ml-kem docs
Issue -
State: open - Opened by franziskuskiefer 3 months ago
Labels: documentation
#338 - Update ml-kem docs
Issue -
State: open - Opened by franziskuskiefer 3 months ago
Labels: documentation
#337 - Fix hax CI job to always run or only be required when run
Issue -
State: closed - Opened by franziskuskiefer 3 months ago
- 2 comments
Labels: ci, stale
#337 - Fix hax CI job to always run or only be required when run
Issue -
State: open - Opened by franziskuskiefer 3 months ago
- 1 comment
Labels: ci, stale
#336 - Add documentation for C extraction
Issue -
State: closed - Opened by franziskuskiefer 3 months ago
Labels: documentation
#335 - Workflow to dismiss stale reviews
Pull Request -
State: closed - Opened by franziskuskiefer 3 months ago
#335 - Workflow to dismiss stale reviews
Pull Request -
State: closed - Opened by franziskuskiefer 3 months ago
#335 - Workflow to dismiss stale reviews
Pull Request -
State: closed - Opened by franziskuskiefer 3 months ago
#334 - Cleanup old mlkem hax and proofs
Issue -
State: open - Opened by franziskuskiefer 3 months ago
Labels: hax, ci
#333 - Add features for ml-kem variants
Pull Request -
State: closed - Opened by franziskuskiefer 3 months ago
- 1 comment
#332 - PSQ PV extraction blockers
Issue -
State: closed - Opened by franziskuskiefer 3 months ago
- 4 comments
#331 - ml dsa verify
Pull Request -
State: closed - Opened by franziskuskiefer 3 months ago
#331 - ml dsa verify
Pull Request -
State: closed - Opened by franziskuskiefer 3 months ago
#331 - ml dsa verify
Pull Request -
State: closed - Opened by franziskuskiefer 3 months ago
#330 - Unpacked API for ML-KEM
Pull Request -
State: open - Opened by karthikbhargavan 3 months ago
- 4 comments
#330 - Unpacked API for ML-KEM
Pull Request -
State: open - Opened by karthikbhargavan 3 months ago
- 4 comments
#329 - Make verified ML-KEM available in `libcrux-ml-kem`
Pull Request -
State: closed - Opened by jschneider-bensch 3 months ago
- 4 comments
#329 - Make verified ML-KEM available in `libcrux-ml-kem`
Pull Request -
State: closed - Opened by jschneider-bensch 3 months ago
- 4 comments
#329 - Make verified ML-KEM available in `libcrux-ml-kem`
Pull Request -
State: closed - Opened by jschneider-bensch 3 months ago
- 4 comments
#328 - Restructure Vector code in ML-KEM to split functionality
Pull Request -
State: closed - Opened by karthikbhargavan 4 months ago
- 2 comments
#328 - Restructure Vector code in ML-KEM to split functionality
Pull Request -
State: closed - Opened by karthikbhargavan 4 months ago
- 2 comments
#327 - Add feature `kyber` for Round 3 Kyber API
Pull Request -
State: closed - Opened by jschneider-bensch 4 months ago
#327 - Add feature `kyber` for Round 3 Kyber API
Pull Request -
State: closed - Opened by jschneider-bensch 4 months ago
#326 - Offer verified ML-KEM API in libcrux-ml-kem
Issue -
State: closed - Opened by jschneider-bensch 4 months ago
#326 - Offer verified ML-KEM API in libcrux-ml-kem
Issue -
State: closed - Opened by jschneider-bensch 4 months ago
#326 - Offer verified ML-KEM API in libcrux-ml-kem
Issue -
State: closed - Opened by jschneider-bensch 4 months ago
#325 - Offer Round 3 Kyber API in libcrux-ml-kem
Issue -
State: closed - Opened by jschneider-bensch 4 months ago
#325 - Offer Round 3 Kyber API in libcrux-ml-kem
Issue -
State: closed - Opened by jschneider-bensch 4 months ago
#325 - Offer Round 3 Kyber API in libcrux-ml-kem
Issue -
State: closed - Opened by jschneider-bensch 4 months ago
#324 - mlkem release prep
Pull Request -
State: closed - Opened by franziskuskiefer 4 months ago
#323 - PQ code package update script
Pull Request -
State: open - Opened by jschneider-bensch 4 months ago
- 4 comments
#323 - PQ code package update script
Pull Request -
State: open - Opened by jschneider-bensch 4 months ago
- 2 comments
#322 - Merge main to dev
Pull Request -
State: closed - Opened by franziskuskiefer 4 months ago
#322 - Merge main to dev
Pull Request -
State: closed - Opened by franziskuskiefer 4 months ago
#321 - don't use empty slices, they are 0x1 pointers now
Pull Request -
State: closed - Opened by franziskuskiefer 4 months ago
#321 - don't use empty slices, they are 0x1 pointers now
Pull Request -
State: closed - Opened by franziskuskiefer 4 months ago
#321 - don't use empty slices, they are 0x1 pointers now
Pull Request -
State: closed - Opened by franziskuskiefer 4 months ago
#320 - ML-DSA: Signing works across all parameter sets.
Pull Request -
State: closed - Opened by xvzcf 4 months ago
#319 - Make ML-KEM F* extraction panic-free
Issue -
State: open - Opened by mamonet 4 months ago
#319 - Make ML-KEM F* extraction panic-free
Issue -
State: closed - Opened by mamonet 4 months ago
- 4 comments
#318 - Clean up `5k-target` branch
Issue -
State: closed - Opened by W95Psp 4 months ago
#318 - Clean up `5k-target` branch
Issue -
State: closed - Opened by W95Psp 4 months ago
#318 - Clean up `5k-target` branch
Issue -
State: closed - Opened by W95Psp 4 months ago
#317 - CI: add workflow to update `flake.lock`
Pull Request -
State: closed - Opened by pnmadelaine 4 months ago
#316 - symcrypt benchmarks
Pull Request -
State: closed - Opened by franziskuskiefer 4 months ago
#315 - CI: update `nix.yml`
Pull Request -
State: closed - Opened by pnmadelaine 4 months ago
- 2 comments
#314 - Add features for assurance levels
Issue -
State: open - Opened by franziskuskiefer 4 months ago
- 6 comments
Labels: meta, keep-open
#313 - `[no_std]` compatibility for standalone crates
Issue -
State: open - Opened by jschneider-bensch 4 months ago
- 2 comments
#312 - Reuse CI workflows across the workspace
Issue -
State: open - Opened by jschneider-bensch 4 months ago
- 3 comments
Labels: keep-open
#311 - Fixing hax.py to generate .fst files
Pull Request -
State: closed - Opened by karthikbhargavan 4 months ago
#310 - PQ-PSK prototype
Pull Request -
State: closed - Opened by jschneider-bensch 4 months ago
Labels: waiting-on-review
#309 - Laying groundwork for implementing ML-DSA signing.
Pull Request -
State: closed - Opened by xvzcf 4 months ago
#308 - Making ML-KEM Extract Again
Pull Request -
State: closed - Opened by karthikbhargavan 4 months ago
- 1 comment
#307 - Deleting some old code
Pull Request -
State: closed - Opened by franziskuskiefer 4 months ago
- 1 comment
#306 - Run Wycheproof tests on `libcrux-hkdf` and `libcrux-hmac`
Issue -
State: open - Opened by jschneider-bensch 4 months ago
- 3 comments
#305 - Pull out `hkdf` and `hmac` modules as standalone crates
Pull Request -
State: closed - Opened by jschneider-bensch 4 months ago
- 1 comment
#304 - Pull out `libcrux::kem` into a standalone crate
Pull Request -
State: closed - Opened by jschneider-bensch 4 months ago
- 2 comments
#303 - mlkem c all versions
Pull Request -
State: closed - Opened by franziskuskiefer 4 months ago
#302 - PQCP release workflow
Issue -
State: open - Opened by franziskuskiefer 4 months ago
- 6 comments
Labels: meta, pqcp, keep-open
#301 - Make libcrux_ml_kem lax-check in F*
Issue -
State: closed - Opened by mamonet 4 months ago
- 7 comments
#300 - Add Nix files and commit `Cargo.lock`
Pull Request -
State: closed - Opened by pnmadelaine 4 months ago
- 6 comments
#299 - Improve secret independence guarantees in compiled code.
Issue -
State: open - Opened by xvzcf 4 months ago
- 1 comment
Labels: keep-open
#298 - Push ml-kem to pqca
Issue -
State: closed - Opened by franziskuskiefer 4 months ago
- 1 comment
#297 - Make Portable and NEON ML-KEM C work again
Issue -
State: closed - Opened by franziskuskiefer 4 months ago
#296 - Extract ML-KEM SIMD code to C
Pull Request -
State: closed - Opened by franziskuskiefer 4 months ago
#295 - Optimize HACL* Raw RSA decryption to use CRT
Issue -
State: open - Opened by franziskuskiefer 4 months ago
- 5 comments
Labels: stale
#294 - Extract ML-KEM SIMD code to C
Pull Request -
State: closed - Opened by franziskuskiefer 4 months ago
- 1 comment
#293 - More Kyber AVX2-serialization documentation.
Pull Request -
State: closed - Opened by xvzcf 4 months ago
- 1 comment
#292 - ML-DSA: Key generation across all parameter sets.
Pull Request -
State: closed - Opened by xvzcf 4 months ago
#291 - ML-DSA Keygen: Some functions related to the vector t.
Pull Request -
State: closed - Opened by xvzcf 4 months ago
#290 - Start implementing sampling for matrix A in ML-DSA
Pull Request -
State: closed - Opened by xvzcf 4 months ago
#289 - Added scaffolding to get work started on ML-DSA.
Pull Request -
State: closed - Opened by xvzcf 4 months ago
#288 - Refresh patches, followup for hax PR hacspec/hax#676
Pull Request -
State: closed - Opened by W95Psp 4 months ago
#287 - avx2 extraction improvements
Pull Request -
State: closed - Opened by franziskuskiefer 5 months ago
#286 - Implemented deserialize_5 and documented the code some more.
Pull Request -
State: closed - Opened by xvzcf 5 months ago
#285 - main -> dev
Pull Request -
State: closed - Opened by franziskuskiefer 5 months ago
#284 - ml kem sha3 cross
Pull Request -
State: closed - Opened by franziskuskiefer 5 months ago
#283 - More safe intrinsic wrappers
Pull Request -
State: closed - Opened by xvzcf 5 months ago
#282 - Junky test for CI
Pull Request -
State: closed - Opened by karthikbhargavan 5 months ago
#281 - Regenerate patches following PR hacspec/hax#679
Pull Request -
State: closed - Opened by W95Psp 5 months ago
#280 - Feature detection and cleanup (Ml-KEM/SHA3)
Pull Request -
State: closed - Opened by franziskuskiefer 5 months ago
- 1 comment
#279 - Documentation and cleanup of the Kyber avx2 code.
Pull Request -
State: closed - Opened by xvzcf 5 months ago
- 1 comment