1 # Test against long bitwise vectors from Jim Gillogly and Francois Grieu
3 # http://www.chiark.greenend.org.uk/pipermail/ukcrypto/1999-February/003538.html
8 use File::Basename qw(dirname);
13 if ($ENV{PERL_CORE}) {
21 # In the following we use the notation bitstring#n to mean a bitstring
22 # repeated n (in decimal) times, and we use | for concatenation.
23 # Therefore 110#3|1 is 1101101101.
25 # Here is a set near 2^32 bits to test the roll-over in the length
26 # field from one to two 32-bit words:
28 # 110#1431655764|11 1eef5a18 969255a3 b1793a2a 955c7ec2 8cd221a5
29 # 110#1431655765| 7a1045b9 14672afa ce8d90e6 d19b3a6a da3cb879
30 # 110#1431655765|1 d5e09777 a94f1ea9 240874c4 8d9fecb6 b634256b
31 # 110#1431655765|11 eb256904 3c3014e5 1b2862ae 6eb5fb4e 0b851d99
33 # 011#1431655764|01 4CB0C4EF 69143D5B F34FC35F 1D4B19F6 ECCAE0F2
34 # 011#1431655765 47D92F91 1FC7BB74 DE00ADFC 4E981A81 05556D52
35 # 011#1431655765|0 A3D7438C 589B0B93 2AA91CC2 446F06DF 9ABC73F0
36 # 011#1431655765|01 3EEE3E1E 28DEDE2C A444D68D A5675B2F AAAB3203
41 @vec110 = ( # 110 rep 1431655764
42 "11", "1eef5a18969255a3b1793a2a955c7ec28cd221a5",
43 "110", "7a1045b914672aface8d90e6d19b3a6ada3cb879",
44 "1101", "d5e09777a94f1ea9240874c48d9fecb6b634256b",
45 "11011", "eb2569043c3014e51b2862ae6eb5fb4e0b851d99"
48 @vec011 = ( # 011 rep 1431655764
49 "01", "4cb0c4ef69143d5bf34fc35f1d4b19f6eccae0f2",
50 "011", "47d92f911fc7bb74de00adfc4e981a8105556d52",
51 "0110", "a3d7438c589b0b932aa91cc2446f06df9abc73f0",
52 "01101", "3eee3e1e28dede2ca444d68da5675b2faaab3203"
54 plan tests => scalar(@vec110) / 2 + scalar(@vec011) / 2;
57 my $STATE110 = File::Spec->catfile(dirname($0), "gillogly", "state.110");
58 my $STATE011 = File::Spec->catfile(dirname($0), "gillogly", "state.011");
61 my $loops = int(1431655764 / $reps);
62 my $rest = 3 * (1431655764 - $loops * $reps);
68 $state = Digest::SHA->new(1);
70 if ($state->load($STATE110)) {
74 $bitstr = pack("B*", "110" x $reps);
76 for (my $i = 0; $i < $loops; $i++) {
77 $state->add_bits($bitstr, 3 * $reps);
79 $state->add_bits($bitstr, $rest);
80 $state->dump($STATE110);
88 $state = Digest::SHA->new(1);
90 if ($state->load($STATE011)) {
94 $bitstr = pack("B*", "011" x $reps);
96 for (my $i = 0; $i < $loops; $i++) {
97 $state->add_bits($bitstr, 3 * $reps);
99 $state->add_bits($bitstr, $rest);
100 $state->dump($STATE011);
106 my $state110 = state110();
107 for ($i = 0; $i < @vec110/2; $i++) {
108 my $state = $state110->clone;
109 $state->add_bits($vec110[2*$i]);
110 ok($state->hexdigest, $vec110[2*$i+1]);
113 my $state011 = state011();
114 for ($i = 0; $i < @vec011/2; $i++) {
115 my $state = $state011->clone;
116 $state->add_bits($vec011[2*$i]);
117 ok($state->hexdigest, $vec011[2*$i+1]);