sha3: add another link to the docs #138

GaloisInc · Sep 24, 2024 · c9a27c2 · c9a27c2
1 parent b05ff92
commit c9a27c2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Primitive/Keyless/Hash/KeccakBitOrdering.cry b/Primitive/Keyless/Hash/KeccakBitOrdering.cry
@@ -64,6 +64,8 @@ fromBytes bs = reverse (join (reverse bs))
  * the overall bit ordering scheme:
  * @see https://cryptologie.net/article/387/byte-ordering-and-bit-numbering-in-keccak-and-sha-3/
  * The CAVP test vectors from NIST:
+ * @see https://csrc.nist.gov/projects/cryptographic-algorithm-validation-program/secure-hashing#sha3vsha3vss
+ * The CSAG examples and intermediate values from NIST:
  * @see https://csrc.nist.gov/projects/cryptographic-standards-and-guidelines/example-values#Hashing
  */
 reverseBitOrdering : {m} [m] -> [m]