Artifact
d9f36ba84c5beb5590550791ece7122b3781ac1da937eb53d9d0d76712b67bd1:
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 48 4b 44 46 2d 53 48 41 35 from "HKDF-SHA5
0020: 31 32 2e 74 78 74 22 0a 70 61 63 6b 61 67 65 20 12.txt".package
0030: 72 65 71 75 69 72 65 20 74 6c 73 0a 70 61 63 6b require tls.pack
0040: 61 67 65 20 72 65 71 75 69 72 65 20 74 63 6c 74 age require tclt
0050: 65 73 74 0a 0a 74 63 6c 74 65 73 74 3a 3a 74 65 est..tcltest::te
0060: 73 74 43 6f 6e 73 74 72 61 69 6e 74 20 48 4b 44 stConstraint HKD
0070: 46 20 5b 65 78 70 72 20 7b 5b 6c 73 65 61 72 63 F [expr {[lsearc
0080: 68 20 2d 6e 6f 63 61 73 65 20 5b 74 6c 73 3a 3a h -nocase [tls::
0090: 6b 64 66 73 5d 20 48 4b 44 46 5d 20 3e 20 2d 31 kdfs] HKDF] > -1
00a0: 7d 5d 0a 74 63 6c 74 65 73 74 3a 3a 74 65 73 74 }].tcltest::test
00b0: 43 6f 6e 73 74 72 61 69 6e 74 20 53 48 41 35 31 Constraint SHA51
00c0: 32 20 5b 65 78 70 72 20 7b 5b 6c 73 65 61 72 63 2 [expr {[lsearc
00d0: 68 20 2d 6e 6f 63 61 73 65 20 5b 74 6c 73 3a 3a h -nocase [tls::
00e0: 64 69 67 65 73 74 73 5d 20 53 48 41 35 31 32 5d digests] SHA512]
00f0: 20 3e 20 2d 31 7d 5d 0a 0a 74 63 6c 74 65 73 74 > -1}]..tcltest
0100: 3a 3a 74 65 73 74 20 4b 44 46 5f 48 4b 44 46 2d ::test KDF_HKDF-
0110: 53 48 41 35 31 32 2d 31 2e 31 20 7b 48 4b 44 46 SHA512-1.1 {HKDF
0120: 2d 53 48 41 35 31 32 7d 20 5c 0a 09 2d 63 6f 6e -SHA512} \..-con
0130: 73 74 72 61 69 6e 74 73 20 7b 48 4b 44 46 20 53 straints {HKDF S
0140: 48 41 35 31 32 7d 20 5c 0a 09 2d 73 65 74 75 70 HA512} \..-setup
0150: 20 7b 7d 20 5c 0a 09 2d 62 6f 64 79 20 7b 62 69 {} \..-body {bi
0160: 6e 61 72 79 20 65 6e 63 6f 64 65 20 68 65 78 20 nary encode hex
0170: 5b 74 6c 73 3a 3a 68 6b 64 66 20 2d 64 69 67 65 [tls::hkdf -dige
0180: 73 74 20 53 48 41 35 31 32 20 2d 6b 65 79 20 5b st SHA512 -key [
0190: 62 69 6e 61 72 79 20 64 65 63 6f 64 65 20 68 65 binary decode he
01a0: 78 20 30 62 30 62 30 62 30 62 30 62 30 62 30 62 x 0b0b0b0b0b0b0b
01b0: 30 62 30 62 30 62 30 62 30 62 30 62 30 62 30 62 0b0b0b0b0b0b0b0b
01c0: 30 62 30 62 30 62 30 62 30 62 30 62 30 62 5d 20 0b0b0b0b0b0b0b]
01d0: 2d 69 6e 66 6f 20 5b 62 69 6e 61 72 79 20 64 65 -info [binary de
01e0: 63 6f 64 65 20 68 65 78 20 66 30 66 31 66 32 66 code hex f0f1f2f
01f0: 33 66 34 66 35 66 36 66 37 66 38 66 39 5d 20 2d 3f4f5f6f7f8f9] -
0200: 73 61 6c 74 20 5b 62 69 6e 61 72 79 20 64 65 63 salt [binary dec
0210: 6f 64 65 20 68 65 78 20 30 30 30 31 30 32 30 33 ode hex 00010203
0220: 30 34 30 35 30 36 30 37 30 38 30 39 30 61 30 62 0405060708090a0b
0230: 30 63 5d 20 2d 73 69 7a 65 20 34 32 5d 7d 20 5c 0c] -size 42]} \
0240: 0a 09 2d 6d 61 74 63 68 20 65 78 61 63 74 20 2d ..-match exact -
0250: 72 65 73 75 6c 74 20 38 33 32 33 39 30 30 38 36 result 832390086
0260: 63 64 61 37 31 66 62 34 37 36 32 35 62 62 35 63 cda71fb47625bb5c
0270: 65 62 31 36 38 65 34 63 38 65 32 36 61 31 61 31 eb168e4c8e26a1a1
0280: 36 65 64 33 34 64 39 66 63 37 66 65 39 32 63 31 6ed34d9fc7fe92c1
0290: 34 38 31 35 37 39 33 33 38 64 61 33 36 32 63 62 481579338da362cb
02a0: 38 64 39 66 39 32 35 64 37 63 62 0a 0a 74 63 6c 8d9f925d7cb..tcl
02b0: 74 65 73 74 3a 3a 74 65 73 74 20 4b 44 46 5f 48 test::test KDF_H
02c0: 4b 44 46 2d 53 48 41 35 31 32 2d 31 2e 32 20 7b KDF-SHA512-1.2 {
02d0: 48 4b 44 46 2d 53 48 41 35 31 32 7d 20 5c 0a 09 HKDF-SHA512} \..
02e0: 2d 63 6f 6e 73 74 72 61 69 6e 74 73 20 7b 48 4b -constraints {HK
02f0: 44 46 20 53 48 41 35 31 32 7d 20 5c 0a 09 2d 73 DF SHA512} \..-s
0300: 65 74 75 70 20 7b 7d 20 5c 0a 09 2d 62 6f 64 79 etup {} \..-body
0310: 20 7b 62 69 6e 61 72 79 20 65 6e 63 6f 64 65 20 {binary encode
0320: 68 65 78 20 5b 74 6c 73 3a 3a 68 6b 64 66 20 2d hex [tls::hkdf -
0330: 64 69 67 65 73 74 20 53 48 41 35 31 32 20 2d 6b digest SHA512 -k
0340: 65 79 20 5b 62 69 6e 61 72 79 20 64 65 63 6f 64 ey [binary decod
0350: 65 20 68 65 78 20 30 30 30 31 30 32 30 33 30 34 e hex 0001020304
0360: 30 35 30 36 30 37 30 38 30 39 30 61 30 62 30 63 05060708090a0b0c
0370: 30 64 30 65 30 66 31 30 31 31 31 32 31 33 31 34 0d0e0f1011121314
0380: 31 35 31 36 31 37 31 38 31 39 31 61 31 62 31 63 15161718191a1b1c
0390: 31 64 31 65 31 66 32 30 32 31 32 32 32 33 32 34 1d1e1f2021222324
03a0: 32 35 32 36 32 37 32 38 32 39 32 61 32 62 32 63 25262728292a2b2c
03b0: 32 64 32 65 32 66 33 30 33 31 33 32 33 33 33 34 2d2e2f3031323334
03c0: 33 35 33 36 33 37 33 38 33 39 33 61 33 62 33 63 35363738393a3b3c
03d0: 33 64 33 65 33 66 34 30 34 31 34 32 34 33 34 34 3d3e3f4041424344
03e0: 34 35 34 36 34 37 34 38 34 39 34 61 34 62 34 63 45464748494a4b4c
03f0: 34 64 34 65 34 66 5d 20 2d 69 6e 66 6f 20 5b 62 4d4e4f] -info [b
0400: 69 6e 61 72 79 20 64 65 63 6f 64 65 20 68 65 78 inary decode hex
0410: 20 62 30 62 31 62 32 62 33 62 34 62 35 62 36 62 b0b1b2b3b4b5b6b
0420: 37 62 38 62 39 62 61 62 62 62 63 62 64 62 65 62 7b8b9babbbcbdbeb
0430: 66 63 30 63 31 63 32 63 33 63 34 63 35 63 36 63 fc0c1c2c3c4c5c6c
0440: 37 63 38 63 39 63 61 63 62 63 63 63 64 63 65 63 7c8c9cacbcccdcec
0450: 66 64 30 64 31 64 32 64 33 64 34 64 35 64 36 64 fd0d1d2d3d4d5d6d
0460: 37 64 38 64 39 64 61 64 62 64 63 64 64 64 65 64 7d8d9dadbdcddded
0470: 66 65 30 65 31 65 32 65 33 65 34 65 35 65 36 65 fe0e1e2e3e4e5e6e
0480: 37 65 38 65 39 65 61 65 62 65 63 65 64 65 65 65 7e8e9eaebecedeee
0490: 66 66 30 66 31 66 32 66 33 66 34 66 35 66 36 66 ff0f1f2f3f4f5f6f
04a0: 37 66 38 66 39 66 61 66 62 66 63 66 64 66 65 66 7f8f9fafbfcfdfef
04b0: 66 5d 20 2d 73 61 6c 74 20 5b 62 69 6e 61 72 79 f] -salt [binary
04c0: 20 64 65 63 6f 64 65 20 68 65 78 20 36 30 36 31 decode hex 6061
04d0: 36 32 36 33 36 34 36 35 36 36 36 37 36 38 36 39 6263646566676869
04e0: 36 61 36 62 36 63 36 64 36 65 36 66 37 30 37 31 6a6b6c6d6e6f7071
04f0: 37 32 37 33 37 34 37 35 37 36 37 37 37 38 37 39 7273747576777879
0500: 37 61 37 62 37 63 37 64 37 65 37 66 38 30 38 31 7a7b7c7d7e7f8081
0510: 38 32 38 33 38 34 38 35 38 36 38 37 38 38 38 39 8283848586878889
0520: 38 61 38 62 38 63 38 64 38 65 38 66 39 30 39 31 8a8b8c8d8e8f9091
0530: 39 32 39 33 39 34 39 35 39 36 39 37 39 38 39 39 9293949596979899
0540: 39 61 39 62 39 63 39 64 39 65 39 66 61 30 61 31 9a9b9c9d9e9fa0a1
0550: 61 32 61 33 61 34 61 35 61 36 61 37 61 38 61 39 a2a3a4a5a6a7a8a9
0560: 61 61 61 62 61 63 61 64 61 65 61 66 5d 20 2d 73 aaabacadaeaf] -s
0570: 69 7a 65 20 38 32 5d 7d 20 5c 0a 09 2d 6d 61 74 ize 82]} \..-mat
0580: 63 68 20 65 78 61 63 74 20 2d 72 65 73 75 6c 74 ch exact -result
0590: 20 63 65 36 63 39 37 31 39 32 38 30 35 62 33 34 ce6c97192805b34
05a0: 36 65 36 31 36 31 65 38 32 31 65 64 31 36 35 36 6e6161e821ed1656
05b0: 37 33 62 38 34 66 34 30 30 61 32 62 35 31 34 62 73b84f400a2b514b
05c0: 32 66 65 32 33 64 38 34 63 64 31 38 39 64 64 66 2fe23d84cd189ddf
05d0: 31 62 36 39 35 62 34 38 63 62 64 31 63 38 33 38 1b695b48cbd1c838
05e0: 38 34 34 31 31 33 37 62 33 63 65 32 38 66 31 36 8441137b3ce28f16
05f0: 61 61 36 34 62 61 33 33 62 61 34 36 36 62 32 34 aa64ba33ba466b24
0600: 64 66 36 63 66 63 62 30 32 31 65 63 66 66 32 33 df6cfcb021ecff23
0610: 35 66 36 61 32 30 35 36 63 65 33 61 66 31 64 65 5f6a2056ce3af1de
0620: 34 34 64 35 37 32 30 39 37 61 38 35 30 35 64 39 44d572097a8505d9
0630: 65 37 61 39 33 0a 0a 74 63 6c 74 65 73 74 3a 3a e7a93..tcltest::
0640: 74 65 73 74 20 4b 44 46 5f 48 4b 44 46 2d 53 48 test KDF_HKDF-SH
0650: 41 35 31 32 2d 31 2e 33 20 7b 48 4b 44 46 2d 53 A512-1.3 {HKDF-S
0660: 48 41 35 31 32 7d 20 5c 0a 09 2d 63 6f 6e 73 74 HA512} \..-const
0670: 72 61 69 6e 74 73 20 7b 48 4b 44 46 20 53 48 41 raints {HKDF SHA
0680: 35 31 32 7d 20 5c 0a 09 2d 73 65 74 75 70 20 7b 512} \..-setup {
0690: 7d 20 5c 0a 09 2d 62 6f 64 79 20 7b 62 69 6e 61 } \..-body {bina
06a0: 72 79 20 65 6e 63 6f 64 65 20 68 65 78 20 5b 74 ry encode hex [t
06b0: 6c 73 3a 3a 68 6b 64 66 20 2d 64 69 67 65 73 74 ls::hkdf -digest
06c0: 20 53 48 41 35 31 32 20 2d 6b 65 79 20 5b 62 69 SHA512 -key [bi
06d0: 6e 61 72 79 20 64 65 63 6f 64 65 20 68 65 78 20 nary decode hex
06e0: 30 62 30 62 30 62 30 62 30 62 30 62 30 62 30 62 0b0b0b0b0b0b0b0b
06f0: 30 62 30 62 30 62 30 62 30 62 30 62 30 62 30 62 0b0b0b0b0b0b0b0b
0700: 30 62 30 62 30 62 30 62 30 62 30 62 5d 20 2d 73 0b0b0b0b0b0b] -s
0710: 69 7a 65 20 34 32 5d 7d 20 5c 0a 09 2d 6d 61 74 ize 42]} \..-mat
0720: 63 68 20 65 78 61 63 74 20 2d 72 65 73 75 6c 74 ch exact -result
0730: 20 66 35 66 61 30 32 62 31 38 32 39 38 61 37 32 f5fa02b18298a72
0740: 61 38 63 32 33 38 39 38 61 38 37 30 33 34 37 32 a8c23898a8703472
0750: 63 36 65 62 31 37 39 64 63 32 30 34 63 30 33 34 c6eb179dc204c034
0760: 32 35 63 39 37 30 65 33 62 31 36 34 62 66 39 30 25c970e3b164bf90
0770: 66 66 66 32 32 64 30 34 38 33 36 64 30 65 32 33 fff22d04836d0e23
0780: 34 33 62 61 63 0a 0a 74 63 6c 74 65 73 74 3a 3a 43bac..tcltest::
0790: 74 65 73 74 20 4b 44 46 5f 48 4b 44 46 2d 53 48 test KDF_HKDF-SH
07a0: 41 35 31 32 2d 31 2e 34 20 7b 48 4b 44 46 2d 53 A512-1.4 {HKDF-S
07b0: 48 41 35 31 32 7d 20 5c 0a 09 2d 63 6f 6e 73 74 HA512} \..-const
07c0: 72 61 69 6e 74 73 20 7b 48 4b 44 46 20 53 48 41 raints {HKDF SHA
07d0: 35 31 32 7d 20 5c 0a 09 2d 73 65 74 75 70 20 7b 512} \..-setup {
07e0: 7d 20 5c 0a 09 2d 62 6f 64 79 20 7b 62 69 6e 61 } \..-body {bina
07f0: 72 79 20 65 6e 63 6f 64 65 20 68 65 78 20 5b 74 ry encode hex [t
0800: 6c 73 3a 3a 68 6b 64 66 20 2d 64 69 67 65 73 74 ls::hkdf -digest
0810: 20 53 48 41 35 31 32 20 2d 6b 65 79 20 5b 62 69 SHA512 -key [bi
0820: 6e 61 72 79 20 64 65 63 6f 64 65 20 68 65 78 20 nary decode hex
0830: 30 62 30 62 30 62 30 62 30 62 30 62 30 62 30 62 0b0b0b0b0b0b0b0b
0840: 30 62 30 62 30 62 5d 20 2d 69 6e 66 6f 20 5b 62 0b0b0b] -info [b
0850: 69 6e 61 72 79 20 64 65 63 6f 64 65 20 68 65 78 inary decode hex
0860: 20 66 30 66 31 66 32 66 33 66 34 66 35 66 36 66 f0f1f2f3f4f5f6f
0870: 37 66 38 66 39 5d 20 2d 73 61 6c 74 20 5b 62 69 7f8f9] -salt [bi
0880: 6e 61 72 79 20 64 65 63 6f 64 65 20 68 65 78 20 nary decode hex
0890: 30 30 30 31 30 32 30 33 30 34 30 35 30 36 30 37 0001020304050607
08a0: 30 38 30 39 30 61 30 62 30 63 5d 20 2d 73 69 7a 08090a0b0c] -siz
08b0: 65 20 34 32 5d 7d 20 5c 0a 09 2d 6d 61 74 63 68 e 42]} \..-match
08c0: 20 65 78 61 63 74 20 2d 72 65 73 75 6c 74 20 37 exact -result 7
08d0: 34 31 33 65 38 39 39 37 65 30 32 30 36 31 30 66 413e8997e020610f
08e0: 62 66 36 38 32 33 66 32 63 65 31 34 62 66 66 30 bf6823f2ce14bff0
08f0: 31 38 37 35 64 62 31 63 61 35 35 66 36 38 63 66 1875db1ca55f68cf
0900: 63 66 33 39 35 34 64 63 38 61 66 66 35 33 35 35 cf3954dc8aff5355
0910: 39 62 64 35 65 33 30 32 38 62 30 38 30 66 37 63 9bd5e3028b080f7c
0920: 30 36 38 0a 0a 74 63 6c 74 65 73 74 3a 3a 74 65 068..tcltest::te
0930: 73 74 20 4b 44 46 5f 48 4b 44 46 2d 53 48 41 35 st KDF_HKDF-SHA5
0940: 31 32 2d 31 2e 35 20 7b 48 4b 44 46 2d 53 48 41 12-1.5 {HKDF-SHA
0950: 35 31 32 7d 20 5c 0a 09 2d 63 6f 6e 73 74 72 61 512} \..-constra
0960: 69 6e 74 73 20 7b 48 4b 44 46 20 53 48 41 35 31 ints {HKDF SHA51
0970: 32 7d 20 5c 0a 09 2d 73 65 74 75 70 20 7b 7d 20 2} \..-setup {}
0980: 5c 0a 09 2d 62 6f 64 79 20 7b 62 69 6e 61 72 79 \..-body {binary
0990: 20 65 6e 63 6f 64 65 20 68 65 78 20 5b 74 6c 73 encode hex [tls
09a0: 3a 3a 68 6b 64 66 20 2d 64 69 67 65 73 74 20 53 ::hkdf -digest S
09b0: 48 41 35 31 32 20 2d 6b 65 79 20 5b 62 69 6e 61 HA512 -key [bina
09c0: 72 79 20 64 65 63 6f 64 65 20 68 65 78 20 30 63 ry decode hex 0c
09d0: 30 63 30 63 30 63 30 63 30 63 30 63 30 63 30 63 0c0c0c0c0c0c0c0c
09e0: 30 63 30 63 30 63 30 63 30 63 30 63 30 63 30 63 0c0c0c0c0c0c0c0c
09f0: 30 63 30 63 30 63 30 63 30 63 5d 20 2d 73 69 7a 0c0c0c0c0c] -siz
0a00: 65 20 34 32 5d 7d 20 5c 0a 09 2d 6d 61 74 63 68 e 42]} \..-match
0a10: 20 65 78 61 63 74 20 2d 72 65 73 75 6c 74 20 31 exact -result 1
0a20: 34 30 37 64 34 36 30 31 33 64 39 38 62 63 36 64 407d46013d98bc6d
0a30: 65 63 65 66 63 66 65 65 35 35 66 30 66 39 30 62 ecefcfee55f0f90b
0a40: 30 63 37 66 36 33 64 36 38 65 62 31 61 38 30 65 0c7f63d68eb1a80e
0a50: 61 66 30 37 65 39 35 33 63 66 63 30 61 33 61 35 af07e953cfc0a3a5
0a60: 32 34 30 61 31 35 35 64 36 65 34 64 61 61 39 36 240a155d6e4daa96
0a70: 35 62 62 0a 0a 23 20 43 6c 65 61 6e 75 70 0a 3a 5bb..# Cleanup.:
0a80: 3a 74 63 6c 74 65 73 74 3a 3a 63 6c 65 61 6e 75 :tcltest::cleanu
0a90: 70 54 65 73 74 73 0a 72 65 74 75 72 6e 0a pTests.return.