Skip to content

Actions: cryspen/libcrux

Dismiss old reviews when re-requested

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
154 workflow runs
154 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ACVP test vectors for ML-DSA
Dismiss old reviews when re-requested #154: Pull request #619 review_requested by jschneider-bensch
October 8, 2024 12:36 3m 11s jonas/ml-dsa-acvp
October 8, 2024 12:36 3m 11s
ACVP test vectors for ML-KEM
Dismiss old reviews when re-requested #153: Pull request #618 review_requested by jschneider-bensch
October 7, 2024 14:54 2m 35s jonas/ml-kem-acvp
October 7, 2024 14:54 2m 35s
[ML-DSA] Add domain separation for key generation
Dismiss old reviews when re-requested #152: Pull request #609 review_requested by jschneider-bensch
October 1, 2024 13:39 2m 54s jonas/mldsa-keygen-domain-separation
October 1, 2024 13:39 2m 54s
Add spec for Ind_cpa unpacked functions
Dismiss old reviews when re-requested #151: Pull request #612 review_requested by mamonet
October 1, 2024 11:00 4m 23s ind-cpa-proofs
October 1, 2024 11:00 4m 23s
[ML-DSA] Add pre-hashed API & domain separation
Dismiss old reviews when re-requested #150: Pull request #608 review_requested by jschneider-bensch
September 30, 2024 19:08 11s jonas/pre-hashed
September 30, 2024 19:08 11s
[ML-DSA] Use all of commitment hash to sample verifiers challenge
Dismiss old reviews when re-requested #149: Pull request #600 review_requested by jschneider-bensch
September 30, 2024 08:30 3m 53s jonas/fips-204-sample-in-ball
September 30, 2024 08:30 3m 53s
[ML-KEM] (De)serialize unpacked keys to bytes
Dismiss old reviews when re-requested #148: Pull request #601 review_requested by franziskuskiefer
September 27, 2024 09:29 17s franziskus/mlkem-more-unpacked-apis
September 27, 2024 09:29 17s
F*: avx2: {de,}serialize{1,4,10,12}
Dismiss old reviews when re-requested #147: Pull request #590 review_requested by W95Psp
September 26, 2024 13:13 7m 7s lf-avx2-serialize-deserialize-4
September 26, 2024 13:13 7m 7s
[ML-DSA] AVX2 performance improvements in NTT
Dismiss old reviews when re-requested #146: Pull request #584 review_requested by jschneider-bensch
September 24, 2024 14:56 10m 59s goutam/ml-dsa-improve-avx2-ntt
September 24, 2024 14:56 10m 59s
[ML-DSA] AVX2 performance improvements in NTT
Dismiss old reviews when re-requested #145: Pull request #584 review_requested by jschneider-bensch
September 24, 2024 14:56 10m 50s goutam/ml-dsa-improve-avx2-ntt
September 24, 2024 14:56 10m 50s
[ML-KEM] Merge verified code back to main
Dismiss old reviews when re-requested #144: Pull request #598 review_requested by karthikbhargavan
September 24, 2024 08:20 17m 6s dev
dev
September 24, 2024 08:20 17m 6s
[ML-KEM] Merge verified code back to main
Dismiss old reviews when re-requested #143: Pull request #598 review_requested by karthikbhargavan
September 24, 2024 08:14 2m 3s dev
dev
September 24, 2024 08:14 2m 3s
Private keys should persist between invocations
Dismiss old reviews when re-requested #142: Pull request #592 review_requested by franziskuskiefer
September 23, 2024 11:02 12s djmdjm:fuzzfix
September 23, 2024 11:02 12s
Add conditions for generic compress and serialize functions
Dismiss old reviews when re-requested #141: Pull request #587 review_requested by mamonet
September 17, 2024 17:03 6m 16s dev-serialize
September 17, 2024 17:03 6m 16s
Make unpacked ML-KEM API extractable
Dismiss old reviews when re-requested #140: Pull request #586 review_requested by franziskuskiefer
September 16, 2024 13:26 23s franziskus/mlkem-usable-unpacked
September 16, 2024 13:26 23s
Make unpacked ML-KEM API extractable
Dismiss old reviews when re-requested #139: Pull request #586 review_requested by franziskuskiefer
September 16, 2024 13:26 24s franziskus/mlkem-usable-unpacked
September 16, 2024 13:26 24s
Make generic ind_cpa module panic-free
Dismiss old reviews when re-requested #138: Pull request #578 review_requested by mamonet
September 14, 2024 20:10 6m 42s dev-ind-cpa
September 14, 2024 20:10 6m 42s
Make ntt panic free
Dismiss old reviews when re-requested #137: Pull request #576 review_requested by mamonet
September 13, 2024 20:29 6m 3s ntt-panic-free
September 13, 2024 20:29 6m 3s
[ML-DSA] Repair / Extend multiplexing
Dismiss old reviews when re-requested #136: Pull request #574 review_requested by jschneider-bensch
September 12, 2024 14:53 14m 12s jonas/ml-dsa-extend-multiplexing
September 12, 2024 14:53 14m 12s
[ML-DSA] Repair / Extend multiplexing
Dismiss old reviews when re-requested #135: Pull request #574 review_requested by jschneider-bensch
September 12, 2024 14:53 14m 14s jonas/ml-dsa-extend-multiplexing
September 12, 2024 14:53 14m 14s
[ML-DSA] Repair / Extend multiplexing
Dismiss old reviews when re-requested #134: Pull request #574 review_requested by jschneider-bensch
September 12, 2024 14:53 13m 53s jonas/ml-dsa-extend-multiplexing
September 12, 2024 14:53 13m 53s
Fix ML-DSA benchmarks
Dismiss old reviews when re-requested #133: Pull request #573 review_requested by jschneider-bensch
September 11, 2024 14:26 6m 24s jonas/fix-mldsa-bench
September 11, 2024 14:26 6m 24s
Make functions in sampling.rs panic-free
Dismiss old reviews when re-requested #132: Pull request #570 review_requested by mamonet
September 10, 2024 15:51 5m 41s dev-generic-cleanup
September 10, 2024 15:51 5m 41s
Allow hax extraction for ML-DSA
Dismiss old reviews when re-requested #131: Pull request #558 review_requested by jschneider-bensch
September 10, 2024 14:01 13s jonas/ml-dsa-hax-fixes
September 10, 2024 14:01 13s
Update Readmes
Dismiss old reviews when re-requested #130: Pull request #448 review_requested by franziskuskiefer
September 10, 2024 12:57 13s jonas/readmes
September 10, 2024 12:57 13s