Jake Massimo
Jake Massimo
A small issue within `crypto_sign_open` is causing Dilithium to not compile on windows x86. It is a warning treated as an error. The issue is within the function `crypto_sign_open` in...
Small edit to correctly describe the arguments of `crypto_sign_verify`.
This PR addresses the multiplication and Montgomery reduction functionality within Dilithium. This refactor makes it simpler to re-implement the multiplication on targets where non-constant time behaviour is known, and has...
NIST now allow the private seed to be exported during keygen and saved for later reconstruction. See: https://csrc.nist.gov/Projects/post-quantum-cryptography/faqs#Rdc7 For both FIPS 203 and FIPS 204, a KeyGen seed is considered...
Some consumers may only want "pure" ML-DSA, no pre-hash, external mu etc. Perhaps even, others may only want some utilities such as verify. Could we add configuration options to allow...
We should aim to rewrite the specs in a way that does not hardcode any code-length constants; see e.g. https://github.com/pq-code-package/mlkem-native/blob/main/proofs/hol_light/arm/proofs/mlkem_ntt.ml#L539 for how we do it in mlkem-native. See also https://github.com/pq-code-package/mldsa-native/issues/648