CryptoSys Home > CryptoSys PQC > Examples using CryptoSys PQC

Examples using CryptoSys PQC

Example Code

Example code files using CryptoSys PQC are available in the distribution. They are installed by default in C:\Program Files (x86)\CrSysPQC and are reproduced below.

Alternatively use the Windows Start Key ⊞ > All > diCrPQC > Reference Files

C:\PROGRAM FILES (X86)\CRSYSPQC
+---C
+---Cpp
+---DotNet
+---PyNist
\---X64

Examples

TestPQC.cs - test vectors in C#
TestPQC.vb - the same test vectors in VB.NET
TestPQC.cpp - some tests using C++ (STL)
TestPQC.c - tests using ANSI C
test_crsyspqc.py - tests using Python
test_pqc_simple.c - a minimal example in ANSI C
diCrPQC-cpp-min.cpp - a minimal example in C++
test_DSA_json.cs - C# code to validate against the NIST ACVP test vectors DSA-sigGen and DSA-sigVer using pre-computed prehash values
Python tests against NIST ACVP test vectors - these work through the published JSON files and confirm that CryptoSys PQC produces the correct results for all tests. These Python modules are in the PyNist sub-directory of the distribution or in this zip file PyNist.zip.
```
mldsa-keygen.py
mldsa-sigGen.py
mldsa-verify.py
mlkem-encap-decap.py
mlkem-keygen.py
slhdsa-keygen.py
slhdsa-sigGen.py
slhdsa-verify.py
mldsa-sigAssurance.py
```
The module mldsa-sigAssurance.py carries out assurance tests for ML-DSA SigGen for correctness under both all rejection paths and under a large number of rejection paths. These are provided in Table 1 and Table 2 of section 6.1.2 of draft-celi-acvp-ml-dsa.html.

Rationale behind tests

The tests are meant to illustrate at least the following

Using KeyGen with randomly-generated input, then using these keys to either Sign or do Encaps with more random input, and finally to show that Verify or Decaps will work correctly
Using KeyGen with known random input as per the NIST test vectors.
Generating signatures using known keys in both deterministic and hedged mode with known random input from the NIST test vectors.
Performing Encaps and Decaps with known test vectors.
For ML-DSA and ML-KEM, showing that the seed used for KeyGen can be used as the private key instead of the expanded form, and that the public key can be derived from the seed key.

NIST Test Vectors

The NIST test vectors for the PQC algorithms are available at their ACVP-Server GitHub site. You want the file internalProjection.json. Here are links to files we used (accessed 2025-04-29).

These can be downloaded as a convenient zip file ACVP-pqc-json.zip (46 MB) [NIST-licence].

PreHash Values

Here are four JSON files with pre-computed prehash values for the NIST sigGen/sigVer test vectors where the "preHash" flag is set.

Pass the ph value to the SignPreHash/VerifyPreHash function instead of the message along with the hashAlg.

These four JSON files are included in the ACVP-pqc-json.zip file above. Example extract:

"algorithm": "ML-DSA",
"mode": "sigGen",
"preHashes": {
	"107": {
		"tcId": 107,
		"messagelength": 7565,
		"hashAlg": "SHA2-224",
		"ph": "1e659ab398f8aa3db73ae099e2b4835d78f3ba4d514d678424e8287e"
	},

where ph = H(M) where M is the message and H the prehash algorithm. Each entry is keyed on the "tcId" value in the NIST file internalProjection.json. See the code in test_DSA_json.cs above.