cryptol-specs/cryproject.toml at master · GaloisInc/cryptol-specs · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
# Build and cache the collection of gold standard algorithms.
#
# Ordering is alphabetical up to the algorithm level.
# @copyright Galois, Inc.
# @author Marcella Hastings <marcella@galois.com>
#
modules = [
    # Elliptic curves for ECDH and ECDSA
    "Common/EC/PrimeField/Instantiations/*",
    "Common/EC/PrimeField/Tests/*",

    # ECDH, instantiated with P-curves
    "Primitive/Asymmetric/KEM/ECDH/Instantiations/*",
    "Primitive/Asymmetric/KEM/ECDH/Tests/*",

    # ML-KEM
    "Primitive/Asymmetric/KEM/ML_KEM/Instantiations/ML_KEM512.cry",
    "Primitive/Asymmetric/KEM/ML_KEM/Instantiations/ML_KEM768.cry",
    "Primitive/Asymmetric/KEM/ML_KEM/Instantiations/ML_KEM1024.cry",
    "Primitive/Asymmetric/KEM/ML_KEM/Tests/*.cry",

    # ECDSA, instantiated with P-curves and SHA2
    "Primitive/Asymmetric/Signature/ECDSA/Instantiations/ECDSA_P224_SHA224.cry",
    "Primitive/Asymmetric/Signature/ECDSA/Instantiations/ECDSA_P256_SHA256.cry",
    "Primitive/Asymmetric/Signature/ECDSA/Instantiations/ECDSA_P384_SHA384.cry",
    "Primitive/Asymmetric/Signature/ECDSA/Tests/ECDSA_P224_SHA224.cry",
    "Primitive/Asymmetric/Signature/ECDSA/Tests/ECDSA_P256_SHA256.cry",
    "Primitive/Asymmetric/Signature/ECDSA/Tests/ECDSA_P384_SHA384.cry",

    # ML-DSA (excluding the 87 parameter set, which takes too long to run)
    "Primitive/Asymmetric/Signature/ML_DSA/Instantiations/ML_DSA_44.cry",
    "Primitive/Asymmetric/Signature/ML_DSA/Instantiations/ML_DSA_65.cry",
    "Primitive/Asymmetric/Signature/ML_DSA/Tests/ML_DSA_44.cry",
    "Primitive/Asymmetric/Signature/ML_DSA/Tests/ML_DSA_65.cry",

    # SHA1
    "Primitive/Keyless/Hash/SHA1/Specification.cry",
    "Primitive/Keyless/Hash/SHA1/Tests/*",

    # SHA2
    "Primitive/Keyless/Hash/SHA2/Instantiations/SHA224.cry",
    "Primitive/Keyless/Hash/SHA2/Instantiations/SHA256.cry",
    "Primitive/Keyless/Hash/SHA2/Instantiations/SHA384.cry",
    "Primitive/Keyless/Hash/SHA2/Instantiations/SHA512_224.cry",
    "Primitive/Keyless/Hash/SHA2/Instantiations/SHA512_256.cry",
    "Primitive/Keyless/Hash/SHA2/Instantiations/SHA512.cry",
    "Primitive/Keyless/Hash/SHA2/Tests/SHA224.cry",
    "Primitive/Keyless/Hash/SHA2/Tests/SHA256.cry",
    "Primitive/Keyless/Hash/SHA2/Tests/SHA384.cry",
    "Primitive/Keyless/Hash/SHA2/Tests/SHA512.cry",
    "Primitive/Keyless/Hash/SHA2/Tests/CAVP/*",

    # SHA3
    "Primitive/Keyless/Hash/SHA3/Instantiations/*",
    "Primitive/Keyless/Hash/SHA3/Tests/*",

    # AES (GCM mode)
    "Primitive/Symmetric/Cipher/Authenticated/GCM/Instantiations/*.cry",
    "Primitive/Symmetric/Cipher/Authenticated/GCM/Tests/*",

    # AES (cipher)
    "Primitive/Symmetric/Cipher/Block/AES/Instantiations/AES128.cry",
    "Primitive/Symmetric/Cipher/Block/AES/Instantiations/AES192.cry",
    "Primitive/Symmetric/Cipher/Block/AES/Instantiations/AES256.cry",
    "Primitive/Symmetric/Cipher/Block/AES/Tests/*",

    # AES (CBC mode)
    "Primitive/Symmetric/Cipher/Block/Modes/Instantiations/AES*_CBC.cry",
    "Primitive/Symmetric/Cipher/Block/Modes/Tests/AES*_CBC.cry",

    # AES (CFB mode)
    "Primitive/Symmetric/Cipher/Block/Modes/Instantiations/AES*_CFB.cry",
    "Primitive/Symmetric/Cipher/Block/Modes/Tests/AES*_CFB.cry",

    # AES (counter mode)
    "Primitive/Symmetric/Cipher/Block/Modes/Instantiations/AES*_CTR.cry",
    "Primitive/Symmetric/Cipher/Block/Modes/Tests/AES*_CTR.cry",

    # AES (key wrap and key wrap padded mode)
    "Primitive/Symmetric/Cipher/Block/Modes/Instantiations/AES256_KeyWrap.cry",
    "Primitive/Symmetric/Cipher/Block/Modes/Tests/AES256_KeyWrap*.cry",

    # AES (XTS mode)
    "Primitive/Symmetric/Cipher/Block/Modes/Instantiations/AES*_XTS.cry",
    "Primitive/Symmetric/Cipher/Block/Modes/Tests/AES*_XTS.cry",

    # Simon
    "Primitive/Symmetric/Cipher/Block/Simon/Instantiations/*",
    "Primitive/Symmetric/Cipher/Block/Simon/Tests/*",

    # Speck
    "Primitive/Symmetric/Cipher/Block/Speck/Instantiations/*",
    "Primitive/Symmetric/Cipher/Block/Speck/Tests/*",

    # HMAC
    "Primitive/Symmetric/MAC/HMAC/Instantiations/*",
    "Primitive/Symmetric/MAC/HMAC/Tests/*"
]