Artifact
53d68345f4e6dfdfb20ae330ee3a4173d86f48cb110e12dd847059c61afbe457:
0000: 23 20 41 75 74 6f 20 67 65 6e 65 72 61 74 65 64 # Auto generated
0010: 20 66 72 6f 6d 20 22 53 48 41 4b 45 31 32 38 2e from "SHAKE128.
0020: 74 78 74 22 0a 70 61 63 6b 61 67 65 20 72 65 71 txt".package req
0030: 75 69 72 65 20 74 6c 73 0a 70 61 63 6b 61 67 65 uire tls.package
0040: 20 72 65 71 75 69 72 65 20 74 63 6c 74 65 73 74 require tcltest
0050: 0a 0a 74 63 6c 74 65 73 74 3a 3a 74 65 73 74 43 ..tcltest::testC
0060: 6f 6e 73 74 72 61 69 6e 74 20 53 48 41 4b 45 31 onstraint SHAKE1
0070: 32 38 20 5b 65 78 70 72 20 7b 5b 6c 73 65 61 72 28 [expr {[lsear
0080: 63 68 20 2d 6e 6f 63 61 73 65 20 5b 74 6c 73 3a ch -nocase [tls:
0090: 3a 64 69 67 65 73 74 73 5d 20 53 48 41 4b 45 31 :digests] SHAKE1
00a0: 32 38 5d 20 3e 20 2d 31 7d 5d 0a 0a 74 63 6c 74 28] > -1}]..tclt
00b0: 65 73 74 3a 3a 74 65 73 74 20 48 61 73 68 5f 53 est::test Hash_S
00c0: 48 41 4b 45 31 32 38 2d 31 2e 31 20 7b 53 48 41 HAKE128-1.1 {SHA
00d0: 4b 45 31 32 38 7d 20 5c 0a 09 2d 63 6f 6e 73 74 KE128} \..-const
00e0: 72 61 69 6e 74 73 20 53 48 41 4b 45 31 32 38 20 raints SHAKE128
00f0: 5c 0a 09 2d 73 65 74 75 70 20 7b 73 65 74 20 64 \..-setup {set d
0100: 61 74 61 20 22 22 7d 20 5c 0a 09 2d 62 6f 64 79 ata ""} \..-body
0110: 20 7b 74 6c 73 3a 3a 64 69 67 65 73 74 20 2d 64 {tls::digest -d
0120: 69 67 65 73 74 20 53 48 41 4b 45 31 32 38 20 2d igest SHAKE128 -
0130: 64 61 74 61 20 24 64 61 74 61 7d 20 5c 0a 09 2d data $data} \..-
0140: 6d 61 74 63 68 20 65 78 61 63 74 20 2d 72 65 73 match exact -res
0150: 75 6c 74 20 37 66 39 63 32 62 61 34 65 38 38 66 ult 7f9c2ba4e88f
0160: 38 32 37 64 36 31 36 30 34 35 35 30 37 36 30 35 827d616045507605
0170: 38 35 33 65 64 37 33 62 38 30 39 33 66 36 65 66 853ed73b8093f6ef
0180: 62 63 38 38 65 62 31 61 36 65 61 63 66 61 36 36 bc88eb1a6eacfa66
0190: 65 66 32 36 0a 0a 74 63 6c 74 65 73 74 3a 3a 74 ef26..tcltest::t
01a0: 65 73 74 20 48 61 73 68 5f 53 48 41 4b 45 31 32 est Hash_SHAKE12
01b0: 38 2d 31 2e 32 20 7b 53 48 41 4b 45 31 32 38 7d 8-1.2 {SHAKE128}
01c0: 20 5c 0a 09 2d 63 6f 6e 73 74 72 61 69 6e 74 73 \..-constraints
01d0: 20 53 48 41 4b 45 31 32 38 20 5c 0a 09 2d 73 65 SHAKE128 \..-se
01e0: 74 75 70 20 7b 73 65 74 20 64 61 74 61 20 22 54 tup {set data "T
01f0: 68 65 20 71 75 69 63 6b 20 62 72 6f 77 6e 20 66 he quick brown f
0200: 6f 78 20 6a 75 6d 70 73 20 6f 76 65 72 20 74 68 ox jumps over th
0210: 65 20 6c 61 7a 79 20 64 6f 67 22 7d 20 5c 0a 09 e lazy dog"} \..
0220: 2d 62 6f 64 79 20 7b 74 6c 73 3a 3a 64 69 67 65 -body {tls::dige
0230: 73 74 20 2d 64 69 67 65 73 74 20 53 48 41 4b 45 st -digest SHAKE
0240: 31 32 38 20 2d 64 61 74 61 20 24 64 61 74 61 7d 128 -data $data}
0250: 20 5c 0a 09 2d 6d 61 74 63 68 20 65 78 61 63 74 \..-match exact
0260: 20 2d 72 65 73 75 6c 74 20 66 34 32 30 32 65 33 -result f4202e3
0270: 63 35 38 35 32 66 39 31 38 32 61 30 34 33 30 66 c5852f9182a0430f
0280: 64 38 31 34 34 66 30 61 37 34 62 39 35 65 37 34 d8144f0a74b95e74
0290: 31 37 65 63 61 65 31 37 64 62 30 66 38 63 66 65 17ecae17db0f8cfe
02a0: 65 64 30 65 33 65 36 36 65 0a 0a 74 63 6c 74 65 ed0e3e66e..tclte
02b0: 73 74 3a 3a 74 65 73 74 20 48 61 73 68 5f 53 48 st::test Hash_SH
02c0: 41 4b 45 31 32 38 2d 31 2e 33 20 7b 53 48 41 4b AKE128-1.3 {SHAK
02d0: 45 31 32 38 7d 20 5c 0a 09 2d 63 6f 6e 73 74 72 E128} \..-constr
02e0: 61 69 6e 74 73 20 53 48 41 4b 45 31 32 38 20 5c aints SHAKE128 \
02f0: 0a 09 2d 73 65 74 75 70 20 7b 73 65 74 20 64 61 ..-setup {set da
0300: 74 61 20 5b 62 69 6e 61 72 79 20 64 65 63 6f 64 ta [binary decod
0310: 65 20 68 65 78 20 5b 73 74 72 69 6e 67 20 72 65 e hex [string re
0320: 70 65 61 74 20 61 33 20 32 30 30 5d 5d 7d 20 5c peat a3 200]]} \
0330: 0a 09 2d 62 6f 64 79 20 7b 74 6c 73 3a 3a 64 69 ..-body {tls::di
0340: 67 65 73 74 20 2d 64 69 67 65 73 74 20 53 48 41 gest -digest SHA
0350: 4b 45 31 32 38 20 2d 64 61 74 61 20 24 64 61 74 KE128 -data $dat
0360: 61 7d 20 5c 0a 09 2d 6d 61 74 63 68 20 65 78 61 a} \..-match exa
0370: 63 74 20 2d 72 65 73 75 6c 74 20 31 33 31 61 62 ct -result 131ab
0380: 38 64 32 62 35 39 34 39 34 36 62 39 63 38 31 33 8d2b594946b9c813
0390: 33 33 66 39 62 62 36 65 30 63 65 37 35 63 33 62 33f9bb6e0ce75c3b
03a0: 39 33 31 30 34 66 61 33 34 36 39 64 33 39 31 37 93104fa3469d3917
03b0: 34 35 37 33 38 35 64 61 30 33 37 0a 0a 457385da037..