A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.
FIPS 203 ML-KEM (CRYSTALS-Kyber) for Rust. Pure-Rust, no_std, ACVP 180/180, KyberSlash-clean, SLSA L3 + cosign-signed releases. Published on crates.io as kyberlib and kyberlib-wasm.
A verifier agnostic harness that tests a post quantum signature verifier against a corpus of accept and reject cases for ML-DSA and SLH-DSA
Run NIST ACVP vectors against any implementation including ones you can't link against and catch conformance regressions between runs.
Cross-implementation NIST ACVP conformance harness for FIPS 203 (ML-KEM) and FIPS 204 (ML-DSA).
Research fork of NCCU-ACVP-Server for master's thesis research on ACVP-based post-quantum cryptographic validation, based on the upstream strict workflow and extended with Summary and Diagnostic validation reports.
Independent verification of post-quantum crypto implementations: ML-KEM (FIPS 203), ML-DSA (FIPS 204), SLH-DSA (FIPS 205), LMS/XMSS (SP 800-208). 1566/1566 pinned NIST ACVP vectors, audits of vendor libraries, Coq certificates, SARIF + GitHub Action. FN-DSA (draft FIPS 206) on a separate track.
NIST FIPS 203 and 204 ACVP Known Answer Test runner and Wycheproof harness in Node.js.
To associate your repository with the acvp topic, visit your repo's landing page and select "manage topics."