2026-06-08 11:34:36 +02:00
.github
Merge tag 'v1.0.0-beta' into merge-upstream-v1.0.0-beta
2026-04-13 18:14:12 +02:00
dev
CBMC: Add AArch64 NTT contract and proof
2026-03-25 07:45:56 +08:00
examples
README: Add footnote regarding need for stdint.h and uint64_t
2026-02-14 09:16:57 +00:00
integration /liboqs
liboqs integration: Add support for external-mu signature
2026-03-04 14:25:47 +08:00
mldsa
CBMC: Add AArch64 NTT contract and proof
2026-03-25 07:45:56 +08:00
nix
Add HOL Light proof for aarch64 poly_chknorm
2026-03-20 13:19:09 +08:00
proofs
Merge AArch64 and x86_64 mldsa_specs.ml into common/mldsa_specs.ml
2026-03-25 07:45:56 +08:00
scripts
Add AArch64 ML-DSA Forward NTT HOL Light proof
2026-03-25 07:45:56 +08:00
test
AArch64: Fix buffer overread in aarch64 polyz_unpack_{17,19}
2026-03-21 13:47:16 +08:00
.clang-format
Fix macro typo: MLK_INTERNAL_API => MLD_INTERNAL_API
2026-01-19 13:57:45 +08:00
.envrc
Relicense mldsa-native as Apache-2.0 OR ISC OR MIT
2025-05-16 06:41:25 +01:00
.gitignore
Refactor: move acvp test source into test/acvp/
2026-01-07 18:45:17 +08:00
BIBLIOGRAPHY.md
Hol-Light: Add x86 AVX2 iNTT proof
2026-02-11 07:24:25 +00:00
BIBLIOGRAPHY.yml
lint: add missing copyright header
2025-11-30 10:20:43 +08:00
BUILDING.md
BUILDING.md: add building references
2025-12-25 10:30:44 +01:00
CODEOWNERS
Relicense mldsa-native as Apache-2.0 OR ISC OR MIT
2025-05-16 06:41:25 +01:00
CONTRIBUTING.md
Add DCO requirement
2026-01-05 19:35:13 +01:00
dco.txt
Add DCO requirement
2026-01-05 19:35:13 +01:00
FIPS202.md
Move sources to mldsa/src
2025-11-03 04:53:33 +00:00
flake.lock
nix: Update to nixpkgs 25.11
2026-02-09 21:01:16 +08:00
flake.nix
Baremetal: Add Cortex-M33 MPS3-AN524 platform support
2026-02-12 22:20:55 +08:00
LICENSE
Adjust LICENSE after AArch64 iNTT/NTT reimplementation
2025-11-03 17:30:53 +08:00
MAINTAINERS.md
Add CODEOWNERS and MAINTAINERS.md
2025-02-12 11:07:57 +08:00
Makefile
Examples: Fix feature detection via auto.mk
2026-01-16 11:01:06 +00:00
Makefile.Microsoft_nmake
Refactor: move basic test source into test/src/
2026-01-07 17:51:09 +08:00
META.sh
linting: shell: fix shellcheck warnings
2026-01-24 18:03:07 +08:00
META.yml
lint: add missing copyright header
2025-11-30 10:20:43 +08:00
README.md
README: Add footnote regarding need for stdint.h and uint64_t
2026-02-14 09:16:57 +00:00
RELICENSE.md
Relicensing agreement for Thing Han, Lim
2025-05-13 04:58:19 +01:00
SECURITY.md
Direct to other locations for security reports and bug reports
2026-01-05 19:35:13 +01:00
STDLIB.md
Add STDLIB.md
2025-11-13 14:19:09 +08:00