PyPI page
Home page
Author:
Nicholas Maino
Summary:
Independent verification for ML-KEM / ML-DSA / SLH-DSA / LMS / XMSS implementations — vendor-library audits, fresh ACVP prompts, NIST ACVP, Coq proofs.
Latest version:
2.12.0
Optional dependencies:
dilithium-py
|
kyber-py
|
pytest
|
slh-dsa
|
sympy
Downloads last day:
58
Downloads last week:
111
Downloads last month:
621
7-day smoothing