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

#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 - 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