summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjoe <joe@jerkface.net>2013-08-09 22:18:36 -0400
committerjoe <joe@jerkface.net>2013-08-09 22:18:36 -0400
commit86a4081f0182bbd7b8249584e327e8b4df268a99 (patch)
tree2365aa0e16aa00682291310f7ccc73b484bd34c4
Initial commit
-rw-r--r--Feistel.hs50
-rw-r--r--SBox.hs59
-rw-r--r--cast5.hs662
3 files changed, 771 insertions, 0 deletions
diff --git a/Feistel.hs b/Feistel.hs
new file mode 100644
index 0000000..2391452
--- /dev/null
+++ b/Feistel.hs
@@ -0,0 +1,50 @@
1{-# LANGUAGE UnboxedTuples #-}
2module Feistel where
3
4import qualified Data.ByteString as B
5import qualified Data.ByteString.Lazy as L
6import Data.Word
7import Data.Bits
8import Data.Binary
9import System.Endian
10
11toW32Pair :: B.ByteString -> ( Word32, Word32 )
12toW32Pair b = let (x1, x2) = B.splitAt 4 b
13 w1 = decode32be x1
14 w2 = decode32be x2
15 in ( w1,w2 )
16
17fromW32Pair :: (Word32, Word32) -> B.ByteString
18fromW32Pair (w1,w2)
19 = let w1' = fromIntegral w1
20 w2' = fromIntegral w2
21 w = (w1' `shiftL` 32) .|. w2'
22 in encode64be w
23
24
25decode32be :: B.ByteString -> Word32
26decode32be s = id $!
27 (fromIntegral (s `B.index` 0) `shiftL` 24) .|.
28 (fromIntegral (s `B.index` 1) `shiftL` 16) .|.
29 (fromIntegral (s `B.index` 2) `shiftL` 8) .|.
30 (fromIntegral (s `B.index` 3) )
31
32encode64be :: Word64 -> B.ByteString
33encode64be w = B.pack . map fromIntegral $
34 [ (w `shiftR` 56) .&. 0xff
35 , (w `shiftR` 48) .&. 0xff
36 , (w `shiftR` 40) .&. 0xff
37 , (w `shiftR` 32) .&. 0xff
38 , (w `shiftR` 24) .&. 0xff
39 , (w `shiftR` 16) .&. 0xff
40 , (w `shiftR` 8) .&. 0xff
41 , w .&. 0xff
42 ]
43
44splitWord32 :: Word32 -> (# Word8, Word8, Word8, Word8 #)
45splitWord32 w = (# a,b,c,d #)
46 where
47 a = fromIntegral $ w `shiftR` 24
48 b = fromIntegral $ w `shiftR` 16
49 c = fromIntegral $ w `shiftR` 8
50 d = fromIntegral $ w
diff --git a/SBox.hs b/SBox.hs
new file mode 100644
index 0000000..b32e5fc
--- /dev/null
+++ b/SBox.hs
@@ -0,0 +1,59 @@
1{-# LANGUAGE TemplateHaskell #-}
2module SBox (SBox,(#),sbox,pbox,bytes,parseBox,parseBytes) where
3
4import Language.Haskell.TH
5import Language.Haskell.TH.Quote
6import Data.Bits
7import Data.Binary
8import Data.Char
9import Data.Word
10import Data.List
11import qualified Data.Vector.Unboxed as V
12import qualified Data.ByteString as S
13
14unsupported _ = fail "not supported."
15
16str = QuasiQuoter {
17 quoteExp = stringE,
18 quotePat = unsupported,
19 quoteDec = unsupported,
20 quoteType = unsupported
21 }
22sbox = str { quoteExp = sboxExp }
23pbox = sbox
24bytes = str { quoteExp = bytesExp }
25
26sboxExp st = let w=mkName "parseBox" in return $ AppE (VarE w) (LitE (StringL st))
27bytesExp st = let w=mkName "parseBytes" in return $ AppE (VarE w) (LitE (StringL st))
28
29type SBox = V.Vector Word32
30
31{-# INLINE (#) #-}
32(#) :: SBox -> Word8 -> Word32
33v # i = v V.! (fromIntegral i )
34
35
36parseBox :: String -> SBox
37parseBox xs = V.fromList $ (map (read . ("0x"++) {- . reverseNibbles -} ) . words $ xs :: [Word32])
38 where
39 reverseNibbles = concat . reverse . group2 (\a b->[a,b])
40
41 group2 f (x:y:ys) = f x y : group2 f ys
42 group2 _ _ = []
43
44parseBytes bs = S.pack . parseHex' . concat . words $ bs
45 where
46 parseHex' bs =
47 let (dnib,ts) = splitAt 2 bs
48 parseNibble x = group2 toW8 $ map (hexDigit . ord8) x
49 hexDigit d = d - (if d>0x39 then if d<0x61 then 0x37 else 0x57 else 0x30)
50 group2 f (x:y:ys) = f x y : group2 f ys
51 group2 _ _ = []
52 toW8 a b = shift a 4 .|. b
53 ord8 c = fromIntegral . ord $ c :: Word8
54 in parseNibble dnib ++
55 if null ts
56 then []
57 else parseHex' ts
58
59
diff --git a/cast5.hs b/cast5.hs
new file mode 100644
index 0000000..acc1ef2
--- /dev/null
+++ b/cast5.hs
@@ -0,0 +1,662 @@
1{-# LANGUAGE TemplateHaskell #-}
2{-# LANGUAGE QuasiQuotes #-}
3{-# LANGUAGE UnboxedTuples #-}
4{-# LANGUAGE ViewPatterns #-}
5{-# LANGUAGE ScopedTypeVariables #-}
6module Main where
7
8import Feistel
9import SBox
10import Prelude hiding ( (^) )
11import Data.Bits
12import qualified Data.Vector.Unboxed as Vector
13import Data.Vector.Unboxed (Vector, (//))
14import Data.Word
15import Data.Tuple
16import Crypto.Classes
17import Data.Serialize
18import qualified Data.ByteString as S
19import Data.Tagged (Tagged(..))
20
21
22type Maskkey = Word32
23type Rotkey = Word32
24type Subkey = (Maskkey,Rotkey)
25type Func = Subkey -> Word32 -> Word32
26
27type Key = (Word32,Word32,Word32,Word32)
28data Cast5 keySize = Cast5 ![Subkey] ![Func]
29 ![Subkey] ![Func]
30 !Key
31
32instance Eq (Cast5 size) where
33 Cast5 _ _ _ _ a == Cast5 _ _ _ _ b = a==b
34
35data KeySize_40
36data KeySize_48
37data KeySize_56
38data KeySize_64
39data KeySize_72
40data KeySize_80
41data KeySize_88
42data KeySize_96
43data KeySize_104
44data KeySize_112
45data KeySize_120
46data KeySize_128
47
48class Cast5Bits size where cast5bits :: size -> Int
49instance Cast5Bits KeySize_40 where cast5bits _ = 40
50instance Cast5Bits KeySize_48 where cast5bits _ = 48
51instance Cast5Bits KeySize_56 where cast5bits _ = 56
52instance Cast5Bits KeySize_64 where cast5bits _ = 64
53instance Cast5Bits KeySize_72 where cast5bits _ = 72
54instance Cast5Bits KeySize_80 where cast5bits _ = 80
55instance Cast5Bits KeySize_88 where cast5bits _ = 88
56instance Cast5Bits KeySize_96 where cast5bits _ = 96
57instance Cast5Bits KeySize_104 where cast5bits _ = 104
58instance Cast5Bits KeySize_112 where cast5bits _ = 112
59instance Cast5Bits KeySize_120 where cast5bits _ = 120
60instance Cast5Bits KeySize_128 where cast5bits _ = 128
61
62instance Cast5Bits size => Serialize (Cast5 size) where
63 put (Cast5 _ _ _ _ (a,b,c,d)) =
64 putByteString . S.concat . map fromW32Pair $ [(a,b),(c,d)]
65 get = do
66 let len = cast5bits (undefined::size)
67 bs <- getBytes (len `div` 8)
68 let Just key = buildKey bs
69 return key
70
71instance Cast5Bits size => BlockCipher (Cast5 size) where
72 blockSize = Tagged 64
73 encryptBlock (Cast5 subkeys fs _ _ key) =
74 fromW32Pair . coreCrypto nrounds subkeys fs . toW32Pair
75 where
76 nrounds = numberOfRounds (cast5bits (undefined::size))
77 decryptBlock (Cast5 _ _ subkeys fs key) =
78 fromW32Pair . coreCrypto nrounds subkeys fs . toW32Pair
79 where
80 nrounds = numberOfRounds (cast5bits (undefined::size))
81 buildKey bs = Just (Cast5 subs fs subs' fs' key)
82 where
83 nrounds = numberOfRounds (cast5bits (undefined::size))
84 key = initKey bs
85 fs = cycle [f1,f2,f3]
86 subs = subkeys key
87 fs' = drop (3 - (nrounds `rem` 3)) $ cycle [f3,f2,f1]
88 subs' = (reverse . take nrounds $ subs)
89 keyLength = Tagged (cast5bits (undefined::size))
90
91
92{-# INLINE (^) #-}
93a ^ b = xor a b
94infixl 7 ^
95
96{-# INLINE (<<<) #-}
97x <<< r = rotate x (fromIntegral r)
98
99{-# INLINE only5bits #-}
100only5bits lsw = lsw .&. 0x1F
101
102initKey bs = (x0x1x2x3, x4x5x6x7, x8x9xAxB, xCxDxExF)
103 where
104 len = S.length bs
105 zeros = S.replicate (16-len) 0
106 words bs | S.null bs = []
107 | otherwise = w : words bs'
108 where (w,bs') = S.splitAt 4 bs
109 [x0x1x2x3, x4x5x6x7, x8x9xAxB, xCxDxExF]
110 = map decode32be $ words (bs `S.append` zeros)
111
112
113numberOfRounds bits | bits <= 80 = 12
114 | otherwise = 16
115
116coreCrypto round_count subkeys fs (l0,r0) = swap (lrs !! round_count)
117 where
118 lrs = (l0,r0):rounds fs subkeys l0 r0
119 rounds (f:fs) (maskrot:subkeys) l0 r0
120 =(l1,r1):rounds fs subkeys l1 r1
121 where
122 l1 = r0
123 r1 = l0 ^ f maskrot r0
124 group2 f (x:y:ys) = f x y : group2 f ys
125 group2 _ _ = []
126 (x:xs) !! 0 = x
127 (x:xs) !! i = force x `seq` xs !! (i-1)
128 force (a,b) = a `seq` b
129
130
131f1 (kmi,kri) d = ((s1#ia ^ s2#ib) - s3#ic) + s4#id
132 where
133 i = ((kmi + d) <<< kri)
134 (# ia,ib,ic,id #) = splitWord32 i
135
136f2 (kmi,kri) d = ((s1#ia - s2#ib) + s3#ic) ^ s4#id
137 where
138 i = ((kmi ^ d) <<< kri)
139 (# ia,ib,ic,id #) = splitWord32 i
140
141f3 (kmi,kri) d = ((s1#ia + s2#ib) ^ s3#ic) - s4#id
142 where
143 i = ((kmi - d) <<< kri)
144 (# ia,ib,ic,id #) = splitWord32 i
145
146
147subkeys key = zip mask_keys rotate_keys
148 where
149 (mask_keys, map only5bits -> rotate_keys) = splitAt 16 . keys1 $ key
150
151
152keys1 (x0x1x2x3, x4x5x6x7, x8x9xAxB, xCxDxExF) =
153 [k1,k2,k3,k4] ++ keys2 (z0z1z2z3, z4z5z6z7, z8z9zAzB, zCzDzEzF)
154 where
155
156 (# x0,x1,x2,x3 #) = splitWord32 x0x1x2x3
157 (# x4,x5,x6,x7 #) = splitWord32 x4x5x6x7
158 (# x8,x9,xA,xB #) = splitWord32 x8x9xAxB
159 (# xC,xD,xE,xF #) = splitWord32 xCxDxExF
160
161 (# z0,z1,z2,z3 #) = splitWord32 z0z1z2z3
162 (# z4,z5,z6,z7 #) = splitWord32 z4z5z6z7
163 (# z8,z9,zA,zB #) = splitWord32 z8z9zAzB
164 (# zC,zD,zE,zF #) = splitWord32 zCzDzEzF
165
166 z0z1z2z3 = x0x1x2x3 ^ s5#xD ^ s6#xF ^ s7#xC ^ s8#xE ^ s7#x8
167 z4z5z6z7 = x8x9xAxB ^ s5#z0 ^ s6#z2 ^ s7#z1 ^ s8#z3 ^ s8#xA
168 z8z9zAzB = xCxDxExF ^ s5#z7 ^ s6#z6 ^ s7#z5 ^ s8#z4 ^ s5#x9
169 zCzDzEzF = x4x5x6x7 ^ s5#zA ^ s6#z9 ^ s7#zB ^ s8#z8 ^ s6#xB
170
171 k1 = s5#z8 ^ s6#z9 ^ s7#z7 ^ s8#z6 ^ s5#z2
172 k2 = s5#zA ^ s6#zB ^ s7#z5 ^ s8#z4 ^ s6#z6
173 k3 = s5#zC ^ s6#zD ^ s7#z3 ^ s8#z2 ^ s7#z9
174 k4 = s5#zE ^ s6#zF ^ s7#z1 ^ s8#z0 ^ s8#zC
175
176keys2 (z0z1z2z3, z4z5z6z7, z8z9zAzB, zCzDzEzF) =
177 [k5,k6,k7,k8] ++ keys3 (x0x1x2x3, x4x5x6x7, x8x9xAxB, xCxDxExF)
178 where
179 (# z0,z1,z2,z3 #) = splitWord32 z0z1z2z3
180 (# z4,z5,z6,z7 #) = splitWord32 z4z5z6z7
181 (# z8,z9,zA,zB #) = splitWord32 z8z9zAzB
182 (# zC,zD,zE,zF #) = splitWord32 zCzDzEzF
183
184 (# x0,x1,x2,x3 #) = splitWord32 x0x1x2x3
185 (# x4,x5,x6,x7 #) = splitWord32 x4x5x6x7
186 (# x8,x9,xA,xB #) = splitWord32 x8x9xAxB
187 (# xC,xD,xE,xF #) = splitWord32 xCxDxExF
188
189 x0x1x2x3 = z8z9zAzB ^ s5#z5 ^ s6#z7 ^ s7#z4 ^ s8#z6 ^ s7#z0
190 x4x5x6x7 = z0z1z2z3 ^ s5#x0 ^ s6#x2 ^ s7#x1 ^ s8#x3 ^ s8#z2
191 x8x9xAxB = z4z5z6z7 ^ s5#x7 ^ s6#x6 ^ s7#x5 ^ s8#x4 ^ s5#z1
192 xCxDxExF = zCzDzEzF ^ s5#xA ^ s6#x9 ^ s7#xB ^ s8#x8 ^ s6#z3
193
194 k5 = s5#x3 ^ s6#x2 ^ s7#xC ^ s8#xD ^ s5#x8
195 k6 = s5#x1 ^ s6#x0 ^ s7#xE ^ s8#xF ^ s6#xD
196 k7 = s5#x7 ^ s6#x6 ^ s7#x8 ^ s8#x9 ^ s7#x3
197 k8 = s5#x5 ^ s6#x4 ^ s7#xA ^ s8#xB ^ s8#x7
198
199keys3 (x0x1x2x3, x4x5x6x7, x8x9xAxB, xCxDxExF) =
200 [k9,k10,k11,k12] ++ keys4 (z0z1z2z3, z4z5z6z7, z8z9zAzB, zCzDzEzF)
201 where
202 (# z0,z1,z2,z3 #) = splitWord32 z0z1z2z3
203 (# z4,z5,z6,z7 #) = splitWord32 z4z5z6z7
204 (# z8,z9,zA,zB #) = splitWord32 z8z9zAzB
205 (# zC,zD,zE,zF #) = splitWord32 zCzDzEzF
206
207 (# x0,x1,x2,x3 #) = splitWord32 x0x1x2x3
208 (# x4,x5,x6,x7 #) = splitWord32 x4x5x6x7
209 (# x8,x9,xA,xB #) = splitWord32 x8x9xAxB
210 (# xC,xD,xE,xF #) = splitWord32 xCxDxExF
211
212 z0z1z2z3 = x0x1x2x3 ^ s5#xD ^ s6#xF ^ s7#xC ^ s8#xE ^ s7#x8
213 z4z5z6z7 = x8x9xAxB ^ s5#z0 ^ s6#z2 ^ s7#z1 ^ s8#z3 ^ s8#xA
214 z8z9zAzB = xCxDxExF ^ s5#z7 ^ s6#z6 ^ s7#z5 ^ s8#z4 ^ s5#x9
215 zCzDzEzF = x4x5x6x7 ^ s5#zA ^ s6#z9 ^ s7#zB ^ s8#z8 ^ s6#xB
216
217 k9 = s5#z3 ^ s6#z2 ^ s7#zC ^ s8#zD ^ s5#z9
218 k10 = s5#z1 ^ s6#z0 ^ s7#zE ^ s8#zF ^ s6#zC
219 k11 = s5#z7 ^ s6#z6 ^ s7#z8 ^ s8#z9 ^ s7#z2
220 k12 = s5#z5 ^ s6#z4 ^ s7#zA ^ s8#zB ^ s8#z6
221
222keys4 (z0z1z2z3, z4z5z6z7, z8z9zAzB, zCzDzEzF) =
223 [k13,k14,k15,k16] ++ keys1 (x0x1x2x3, x4x5x6x7, x8x9xAxB, xCxDxExF)
224 where
225 (# z0,z1,z2,z3 #) = splitWord32 z0z1z2z3
226 (# z4,z5,z6,z7 #) = splitWord32 z4z5z6z7
227 (# z8,z9,zA,zB #) = splitWord32 z8z9zAzB
228 (# zC,zD,zE,zF #) = splitWord32 zCzDzEzF
229
230 (# x0,x1,x2,x3 #) = splitWord32 x0x1x2x3
231 (# x4,x5,x6,x7 #) = splitWord32 x4x5x6x7
232 (# x8,x9,xA,xB #) = splitWord32 x8x9xAxB
233 (# xC,xD,xE,xF #) = splitWord32 xCxDxExF
234
235 x0x1x2x3 = z8z9zAzB ^ s5#z5 ^ s6#z7 ^ s7#z4 ^ s8#z6 ^ s7#z0
236 x4x5x6x7 = z0z1z2z3 ^ s5#x0 ^ s6#x2 ^ s7#x1 ^ s8#x3 ^ s8#z2
237 x8x9xAxB = z4z5z6z7 ^ s5#x7 ^ s6#x6 ^ s7#x5 ^ s8#x4 ^ s5#z1
238 xCxDxExF = zCzDzEzF ^ s5#xA ^ s6#x9 ^ s7#xB ^ s8#x8 ^ s6#z3
239
240 k13 = s5#x8 ^ s6#x9 ^ s7#x7 ^ s8#x6 ^ s5#x3
241 k14 = s5#xA ^ s6#xB ^ s7#x5 ^ s8#x4 ^ s6#x7
242 k15 = s5#xC ^ s6#xD ^ s7#x3 ^ s8#x2 ^ s7#x8
243 k16 = s5#xE ^ s6#xF ^ s7#x1 ^ s8#x0 ^ s8#xD
244
245s1 = [sbox|
24630fb40d4 9fa0ff0b 6beccd2f 3f258c7a 1e213f2f 9c004dd3 6003e540 cf9fc949
247bfd4af27 88bbbdb5 e2034090 98d09675 6e63a0e0 15c361d2 c2e7661d 22d4ff8e
24828683b6f c07fd059 ff2379c8 775f50e2 43c340d3 df2f8656 887ca41a a2d2bd2d
249a1c9e0d6 346c4819 61b76d87 22540f2f 2abe32e1 aa54166b 22568e3a a2d341d0
25066db40c8 a784392f 004dff2f 2db9d2de 97943fac 4a97c1d8 527644b7 b5f437a7
251b82cbaef d751d159 6ff7f0ed 5a097a1f 827b68d0 90ecf52e 22b0c054 bc8e5935
2524b6d2f7f 50bb64a2 d2664910 bee5812d b7332290 e93b159f b48ee411 4bff345d
253fd45c240 ad31973f c4f6d02e 55fc8165 d5b1caad a1ac2dae a2d4b76d c19b0c50
254882240f2 0c6e4f38 a4e4bfd7 4f5ba272 564c1d2f c59c5319 b949e354 b04669fe
255b1b6ab8a c71358dd 6385c545 110f935d 57538ad5 6a390493 e63d37e0 2a54f6b3
2563a787d5f 6276a0b5 19a6fcdf 7a42206a 29f9d4d5 f61b1891 bb72275e aa508167
25738901091 c6b505eb 84c7cb8c 2ad75a0f 874a1427 a2d1936b 2ad286af aa56d291
258d7894360 425c750d 93b39e26 187184c9 6c00b32d 73e2bb14 a0bebc3c 54623779
25964459eab 3f328b82 7718cf82 59a2cea6 04ee002e 89fe78e6 3fab0950 325ff6c2
26081383f05 6963c5c8 76cb5ad6 d49974c9 ca180dcf 380782d5 c7fa5cf6 8ac31511
26135e79e13 47da91d0 f40f9086 a7e2419e 31366241 051ef495 aa573b04 4a805d8d
262548300d0 00322a3c bf64cddf ba57a68e 75c6372b 50afd341 a7c13275 915a0bf5
2636b54bfab 2b0b1426 ab4cc9d7 449ccd82 f7fbf265 ab85c5f3 1b55db94 aad4e324
264cfa4bd3f 2deaa3e2 9e204d02 c8bd25ac eadf55b3 d5bd9e98 e31231b2 2ad5ad6c
265954329de adbe4528 d8710f69 aa51c90f aa786bf6 22513f1e aa51a79b 2ad344cc
2667b5a41f0 d37cfbad 1b069505 41ece491 b4c332e6 032268d4 c9600acc ce387e6d
267bf6bb16c 6a70fb78 0d03d9c9 d4df39de e01063da 4736f464 5ad328d8 b347cc96
26875bb0fc3 98511bfb 4ffbcc35 b58bcf6a e11f0abc bfc5fe4a a70aec10 ac39570a
2693f04442f 6188b153 e0397a2e 5727cb79 9ceb418f 1cacd68d 2ad37c96 0175cb9d
270c69dff09 c75b65f0 d9db40d8 ec0e7779 4744ead4 b11c3274 dd24cb9e 7e1c54bd
271f01144f9 d2240eb1 9675b3fd a3ac3755 d47c27af 51c85f4d 56907596 a5bb15e6
272580304f0 ca042cf1 011a37ea 8dbfaadb 35ba3e4a 3526ffa0 c37b4d09 bc306ed9
27398a52666 5648f725 ff5e569d 0ced63d0 7c63b2cf 700b45e1 d5ea50f1 85a92872
274af1fbda7 d4234870 a7870bf3 2d3b4d79 42e04198 0cd0ede7 26470db8 f881814c
275474d6ad7 7c0c5e5c d1231959 381b7298 f5d2f4db ab838653 6e2f1e23 83719c9e
276bd91e046 9a56456e dc39200c 20c8c571 962bda1c e1e696ff b141ab08 7cca89b9
2771a69e783 02cc4843 a2f7c579 429ef47d 427b169c 5ac9f049 dd8f0f00 5c8165bf
278|]
279
280s2 = [sbox|
2811f201094 ef0ba75b 69e3cf7e 393f4380 fe61cf7a eec5207a 55889c94 72fc0651
282ada7ef79 4e1d7235 d55a63ce de0436ba 99c430ef 5f0c0794 18dcdb7d a1d6eff3
283a0b52f7b 59e83605 ee15b094 e9ffd909 dc440086 ef944459 ba83ccb3 e0c3cdfb
284d1da4181 3b092ab1 f997f1c1 a5e6cf7b 01420ddb e4e7ef5b 25a1ff41 e180f806
2851fc41080 179bee7a d37ac6a9 fe5830a4 98de8b7f 77e83f4e 79929269 24fa9f7b
286e113c85b acc40083 d7503525 f7ea615f 62143154 0d554b63 5d681121 c866c359
2873d63cf73 cee234c0 d4d87e87 5c672b21 071f6181 39f7627f 361e3084 e4eb573b
288602f64a4 d63acd9c 1bbc4635 9e81032d 2701f50c 99847ab4 a0e3df79 ba6cf38c
28910843094 2537a95e f46f6ffe a1ff3b1f 208cfb6a 8f458c74 d9e0a227 4ec73a34
290fc884f69 3e4de8df ef0e0088 3559648d 8a45388c 1d804366 721d9bfd a58684bb
291e8256333 844e8212 128d8098 fed33fb4 ce280ae1 27e19ba5 d5a6c252 e49754bd
292
293c5d655dd eb667064 77840b4d a1b6a801 84db26a9 e0b56714 21f043b7 e5d05860
29454f03084 066ff472 a31aa153 dadc4755 b5625dbf 68561be6 83ca6b94 2d6ed23b
295eccf01db a6d3d0ba b6803d5c af77a709 33b4a34c 397bc8d6 5ee22b95 5f0e5304
29681ed6f61 20e74364 b45e1378 de18639b 881ca122 b96726d1 8049a7e8 22b7da7b
2975e552d25 5272d237 79d2951c c60d894c 488cb402 1ba4fe5b a4b09f6b 1ca815cf
298a20c3005 8871df63 b9de2fcb 0cc6c9e9 0beeff53 e3214517 b4542835 9f63293c
299ee41e729 6e1d2d7c 50045286 1e6685f3 f33401c6 30a22c95 31a70850 60930f13
30073f98417 a1269859 ec645c44 52c877a9 cdff33a6 a02b1741 7cbad9a2 2180036f
30150d99c08 cb3f4861 c26bd765 64a3f6ab 80342676 25a75e7b e4e6d1fc 20c710e6
302cdf0b680 17844d3b 31eef84d 7e0824e4 2ccb49eb 846a3bae 8ff77888 ee5d60f6
3037af75673 2fdd5cdb a11631c1 30f66f43 b3faec54 157fd7fa ef8579cc d152de58
304db2ffd5e 8f32ce19 306af97a 02f03ef8 99319ad5 c242fa0f a7e3ebb0 c68e4906
305b8da230c 80823028 dcdef3c8 d35fb171 088a1bc8 bec0c560 61a3c9e8 bca8f54d
306c72feffa 22822e99 82c570b4 d8d94e89 8b1c34bc 301e16e6 273be979 b0ffeaa6
30761d9b8c6 00b24869 b7ffce3f 08dc283b 43daf65a f7e19798 7619b72f 8f1c9ba4
308dc8637a0 16a7d3b1 9fc393b7 a7136eeb c6bcc63e 1a513742 ef6828bc 520365d6
3092d6a77ab 3527ed4b 821fd216 095c6e2e db92f2fb 5eea29cb 145892f5 91584f7f
3105483697b 2667a8cc 85196048 8c4bacea 833860d4 0d23e0f9 6c387e8a 0ae6d249
311b284600c d835731d dcb1c647 ac4c56ea 3ebd81b3 230eabb0 6438bc87 f0b5b1fa
3128f5ea2b3 fc184642 0a036b7a 4fb089bd 649da589 a345415e 5c038323 3e5d3bb9
31343d79572 7e6dd07c 06dfdf1e 6c6cc4ef 7160a539 73bfbe70 83877605 4523ecf1
314|]
315
316s3 = [sbox|
3178defc240 25fa5d9f eb903dbf e810c907 47607fff 369fe44b 8c1fc644 aececa90
318beb1f9bf eefbcaea e8cf1950 51df07ae 920e8806 f0ad0548 e13c8d83 927010d5
31911107d9f 07647db9 b2e3e4d4 3d4f285e b9afa820 fade82e0 a067268b 8272792e
320553fb2c0 489ae22b d4ef9794 125e3fbc 21fffcee 825b1bfd 9255c5ed 1257a240
3214e1a8302 bae07fff 528246e7 8e57140e 3373f7bf 8c9f8188 a6fc4ee8 c982b5a5
322a8c01db7 579fc264 67094f31 f2bd3f5f 40fff7c1 1fb78dfc 8e6bd2c1 437be59b
32399b03dbf b5dbc64b 638dc0e6 55819d99 a197c81c 4a012d6e c5884a28 ccc36f71
324b843c213 6c0743f1 8309893c 0feddd5f 2f7fe850 d7c07f7e 02507fbf 5afb9a04
325a747d2d0 1651192e af70bf3e 58c31380 5f98302e 727cc3c4 0a0fb402 0f7fef82
3268c96fdad 5d2c2aae 8ee99a49 50da88b8 8427f4a0 1eac5790 796fb449 8252dc15
327efbd7d9b a672597d ada840d8 45f54504 fa5d7403 e83ec305 4f91751a 925669c2
32823efe941 a903f12e 60270df2 0276e4b6 94fd6574 927985b2 8276dbcb 02778176
329f8af918d 4e48f79e 8f616ddf e29d840e 842f7d83 340ce5c8 96bbb682 93b4b148
330ef303cab 984faf28 779faf9b 92dc560d 224d1e20 8437aa88 7d29dc96 2756d3dc
3318b907cee b51fd240 e7c07ce3 e566b4a1 c3e9615e 3cf8209d 6094d1e3 cd9ca341
3325c76460e 00ea983b d4d67881 fd47572c f76cedd9 bda8229c 127dadaa 438a074e
3331f97c090 081bdb8a 93a07ebe b938ca15 97b03cff 3dc2c0f8 8d1ab2ec 64380e51
33468cc7bfb d90f2788 12490181 5de5ffd4 dd7ef86a 76a2e214 b9a40368 925d958f
3354b39fffa ba39aee9 a4ffd30b faf7933b 6d498623 193cbcfa 27627545 825cf47a
33661bd8ba0 d11e42d1 cead04f4 127ea392 10428db7 8272a972 9270c4a8 127de50b
337285ba1c8 3c62f44f 35c0eaa5 e805d231 428929fb b4fcdf82 4fb66a53 0e7dc15b
3381f081fab 108618ae fcfd086d f9ff2889 694bcc11 236a5cae 12deca4d 2c3f8cc5
339d2d02dfe f8ef5896 e4cf52da 95155b67 494a488c b9b6a80c 5c8f82bc 89d36b45
3403a609437 ec00c9a9 44715253 0a874b49 d773bc40 7c34671c 02717ef6 4feb5536
341a2d02fff d2bf60c4 d43f03c0 50b4ef6d 07478cd1 006e1888 a2e53f55 b9e6d4bc
342
343a2048016 97573833 d7207d67 de0f8f3d 72f87b33 abcc4f33 7688c55d 7b00a6b0
344947b0001 570075d2 f9bb88f8 8942019e 4264a5ff 856302e0 72dbd92b ee971b69
3456ea22fde 5f08ae2b af7a616d e5c98767 cf1febd2 61efc8c2 f1ac2571 cc8239c2
34667214cb8 b1e583d1 b7dc3e62 7f10bdce f90a5c38 0ff0443d 606e6dc6 60543a49
3475727c148 2be98a1d 8ab41738 20e1be24 af96da0f 68458425 99833be5 600d457d
348282f9350 8334b362 d91d1120 2b6d8da0 642b1e31 9c305a00 52bce688 1b03588a
349f7baefd5 4142ed9c a4315c11 83323ec5 dfef4636 a133c501 e9d3531c ee353783
350|]
351
352s4 = [sbox|
3539db30420 1fb6e9de a7be7bef d273a298 4a4f7bdb 64ad8c57 85510443 fa020ed1
3547e287aff e60fb663 095f35a1 79ebf120 fd059d43 6497b7b1 f3641f63 241e4adf
35528147f5f 4fa2b8cd c9430040 0cc32220 fdd30b30 c0a5374f 1d2d00d9 24147b15
356ee4d111a 0fca5167 71ff904c 2d195ffe 1a05645f 0c13fefe 081b08ca 05170121
35780530100 e83e5efe ac9af4f8 7fe72701 d2b8ee5f 06df4261 bb9e9b8a 7293ea25
358ce84ffdf f5718801 3dd64b04 a26f263b 7ed48400 547eebe6 446d4ca0 6cf3d6f5
3592649abdf aea0c7f5 36338cc1 503f7e93 d3772061 11b638e1 72500e03 f80eb2bb
360abe0502e ec8d77de 57971e81 e14f6746 c9335400 6920318f 081dbb99 ffc304a5
3614d351805 7f3d5ce3 a6c866c6 5d5bcca9 daec6fea 9f926f91 9f46222f 3991467d
362a5bf6d8e 1143c44f 43958302 d0214eeb 022083b8 3fb6180c 18f8931e 281658e6
36326486e3e 8bd78a70 7477e4c1 b506e07c f32d0a25 79098b02 e4eabb81 28123b23
36469dead38 1574ca16 df871b62 211c40b7 a51a9ef9 0014377b 041e8ac8 09114003
365bd59e4d2 e3d156d5 4fe876d5 2f91a340 557be8de 00eae4a7 0ce5c2ec 4db4bba6
366e756bdff dd3369ac ec17b035 06572327 99afc8b0 56c8c391 6b65811c 5e146119
3676e85cb75 be07c002 c2325577 893ff4ec 5bbfc92d d0ec3b25 b7801ab7 8d6d3b24
36820c763ef c366a5fc 9c382880 0ace3205 aac9548a eca1d7c7 041afa32 1d16625a
3696701902c 9b757a54 31d477f7 9126b031 36cc6fdb c70b8b46 d9e66a48 56e55a79
370026a4ceb 52437eff 2f8f76b4 0df980a5 8674cde3 edda04eb 17a9be04 2c18f4df
371b7747f9d ab2af7b4 efc34d20 2e096b7c 1741a254 e5b6a035 213d42f6 2c1c7c26
37261c2f50f 6552daf9 d2c231f8 25130f69 d8167fa2 0418f2c8 001a96a6 0d1526ab
37363315c21 5e0a72ec 49bafefd 187908d9 8d0dbd86 311170a7 3e9b640c cc3e10d7
374d5cad3b6 0caec388 f73001e1 6c728aff 71eae2a1 1f9af36e cfcbd12f c1de8417
375ac07be6b cb44a1d8 8b9b0f56 013988c3 b1c52fca b4be31cd d8782806 12a3a4e2
3766f7de532 58fd7eb6 d01ee900 24adffc2 f4990fc5 9711aac5 001d7b95 82e5e7d2
377109873f6 00613096 c32d9521 ada121ff 29908415 7fbb977f af9eb3db 29c9ed2a
3785ce2a465 a730f32c d0aa3fe8 8a5cc091 d49e2ce7 0ce454a9 d60acd86 015f1919
37977079103 dea03af6 78a8565e dee356df 21f05cbe 8b75e387 b3c50651 b8a5c3ef
380d8eeb6d2 e523be77 c2154529 2f69efdf afe67afb f470c4b2 f3e0eb5b d6cc9876
38139e4460c 1fda8538 1987832f ca007367 a99144f8 296b299e 492fc295 9266beab
382b5676e69 9bd3ddda df7e052f db25701c 1b5e51ee f65324e6 6afce36c 0316cc04
3838644213e b7dc59d0 7965291f ccd6fd43 41823979 932bcdf6 b657c34d 4edfd282
3847ae5290c 3cb9536b 851e20fe 9833557e 13ecf0b0 d3ffb372 3f85c5c1 0aef7ed2
385|]
386
387s5 = [sbox|
3887ec90c04 2c6e74b9 9b0e66df a6337911 b86a7fff 1dd358f5 44dd9d44 1731167f
38908fbf1fa e7f511cc d2051b00 735aba00 2ab722d8 386381cb acf6243a 69befd7a
390e6a2e77f f0c720cd c4494816 ccf5c180 38851640 15b0a848 e68b18cb 4caadeff
3915f480a01 0412b2aa 259814fc 41d0efe2 4e40b48d 248eb6fb 8dba1cfe 41a99b02
3921a550a04 ba8f65cb 7251f4e7 95a51725 c106ecd7 97a5980a c539b9aa 4d79fe6a
393
394f2f3f763 68af8040 ed0c9e56 11b4958b e1eb5a88 8709e6b0 d7e07156 4e29fea7
3956366e52d 02d1c000 c4ac8e05 9377f571 0c05372a 578535f2 2261be02 d642a0c9
396df13a280 74b55bd2 682199c0 d421e5ec 53fb3ce8 c8adedb3 28a87fc9 3d959981
3975c1ff900 fe38d399 0c4eff0b 062407ea aa2f4fb1 4fb96976 90c79505 b0a8a774
398ef55a1ff e59ca2c2 a6b62d27 e66a4263 df65001f 0ec50966 dfdd55bc 29de0655
399911e739a 17af8975 32c7911c 89f89468 0d01e980 524755f4 03b63cc9 0cc844b2
400bcf3f0aa 87ac36e9 e53a7426 01b3d82b 1a9e7449 64ee2d7e cddbb1da 01c94910
401b868bf80 0d26f3fd 9342ede7 04a5c284 636737b6 50f5b616 f24766e3 8eca36c1
402136e05db fef18391 fb887a37 d6e7f7d4 c7fb7dc9 3063fcdf b6f589de ec2941da
40326e46695 b7566419 f654efc5 d08d58b7 48925401 c1bacb7f e5ff550f b6083049
4045bb5d0e8 87d72e5a ab6a6ee1 223a66ce c62bf3cd 9e0885f9 68cb3e47 086c010f
405a21de820 d18b69de f3f65777 fa02c3f6 407edac3 cbb3d550 1793084d b0d70eba
4060ab378d5 d951fb0c ded7da56 4124bbe4 94ca0b56 0f5755d1 e0e1e56e 6184b5be
407580a249f 94f74bc0 e327888e 9f7b5561 c3dc0280 05687715 646c6bd7 44904db3
40866b4f0a3 c0f1648a 697ed5af 49e92ff6 309e374f 2cb6356a 85808573 4991f840
40976f0ae02 083be84d 28421c9a 44489406 736e4cb8 c1092910 8bc95fc6 7d869cf4
410134f616f 2e77118d b31b2be1 aa90b472 3ca5d717 7d161bba 9cad9010 af462ba2
4119fe459d2 45d34559 d9f2da13 dbc65487 f3e4f94e 176d486f 097c13ea 631da5c7
412445f7382 175683f4 cdc66a97 70be0288 b3cdcf72 6e5dd2f3 20936079 459b80a5
413be60e2db a9c23101 eba5315c 224e42f2 1c5c1572 f6721b2c 1ad2fff3 8c25404e
414324ed72f 4067b7fd 0523138e 5ca3bc78 dc0fd66e 75922283 784d6b17 58ebb16e
41544094f85 3f481d87 fcfeae7b 77b5ff76 8c2302bf aaf47556 5f46b02a 2b092801
4163d38f5f7 0ca81f36 52af4a8a 66d5e7c0 df3b0874 95055110 1b5ad7a8 f61ed5ad
4176cf6e479 20758184 d0cefa65 88f7be58 4a046826 0ff6f8f3 a09c7f70 5346aba0
4185ce96c28 e176eda3 6bac307f 376829d2 85360fa9 17e3fe2a 24b79767 f5a96b20
419d6cd2595 68ff1ebf 7555442c f19f06be f9e0659a eeb9491d 34010718 bb30cab8
420e822fe15 88570983 750e6249 da627e55 5e76ffa8 b1534546 6d47de08 efe9e7d4
421|]
422
423s6 = [sbox|
424f6fa8f9d 2cac6ce1 4ca34867 e2337f7c 95db08e7 016843b4 eced5cbc 325553ac
425bf9f0960 dfa1e2ed 83f0579d 63ed86b9 1ab6a6b8 de5ebe39 f38ff732 8989b138
42633f14961 c01937bd f506c6da e4625e7e a308ea99 4e23e33c 79cbd7cc 48a14367
427a3149619 fec94bd5 a114174a eaa01866 a084db2d 09a8486f a888614a 2900af98
42801665991 e1992863 c8f30c60 2e78ef3c d0d51932 cf0fec14 f7ca07d2 d0a82072
429fd41197e 9305a6b0 e86be3da 74bed3cd 372da53c 4c7f4448 dab5d440 6dba0ec3
430083919a7 9fbaeed9 49dbcfb0 4e670c53 5c3d9c01 64bdb941 2c0e636a ba7dd9cd
431ea6f7388 e70bc762 35f29adb 5c4cdd8d f0d48d8c b88153e2 08a19866 1ae2eac8
432284caf89 aa928223 9334be53 3b3a21bf 16434be3 9aea3906 efe8c36e f890cdd9
43380226dae c340a4a3 df7e9c09 a694a807 5b7c5ecc 221db3a6 9a69a02f 68818a54
434ceb2296f 53c0843a fe893655 25bfe68a b4628abc cf222ebf 25ac6f48 a9a99387
43553bddb65 e76ffbe7 e967fd78 0ba93563 8e342bc1 e8a11be9 4980740d c8087dfc
4368de4bf99 a11101a0 7fd37975 da5a26c0 e81f994f 9528cd89 fd339fed b87834bf
4375f04456d 22258698 c9c4c83b 2dc156be 4f628daa 57f55ec5 e2220abe d2916ebf
4384ec75b95 24f2c3c0 42d15d99 cd0d7fa0 7b6e27ff a8dc8af0 7345c106 f41e232f
43935162386 e6ea8926 3333b094 157ec6f2 372b74af 692573e4 e9a9d848 f3160289
4403a62ef1d a787e238 f3a5f676 74364853 20951063 4576698d b6fad407 592af950
44136f73523 4cfb6e87 7da4cec0 6c152daa cb0396a8 c50dfe5d fcd707ab 0921c42f
44289dff0bb 5fe2be78 448f4f33 754613c9 2b05d08d 48b9d585 dc049441 c8098f9b
443
4447dede786 c39a3373 42410005 6a091751 0ef3c8a6 890072d6 28207682 a9a9f7be
445bf32679d d45b5b75 b353fd00 cbb0e358 830f220a 1f8fb214 d372cf08 cc3c4a13
4468cf63166 061c87be 88c98f88 6062e397 47cf8e7a b6c85283 3cc2acfb 3fc06976
4474e8f0252 64d8314d da3870e3 1e665459 c10908f0 513021a5 6c5b68b7 822f8aa0
4483007cd3e 74719eef dc872681 073340d4 7e432fd9 0c5ec241 8809286c f592d891
44908a930f6 957ef305 b7fbffbd c266e96f 6fe4ac98 b173ecc0 bc60b42a 953498da
450fba1ae12 2d4bd736 0f25faab a4f3fceb e2969123 257f0c3d 9348af49 361400bc
451e8816f4a 3814f200 a3f94043 9c7a54c2 bc704f57 da41e7f9 c25ad33a 54f4a084
452b17f5505 59357cbe edbd15c8 7f97c5ab ba5ac7b5 b6f6deaf 3a479c3a 5302da25
453653d7e6a 54268d49 51a477ea 5017d55b d7d25d88 44136c76 0404a8c8 b8e5a121
454b81a928a 60ed5869 97c55b96 eaec991b 29935913 01fdb7f1 088e8dfa 9ab6f6f5
4553b4cbf9f 4a5de3ab e6051d35 a0e1d855 d36b4cf1 f544edeb b0e93524 bebb8fbd
456a2d762cf 49c92f54 38b5f331 7128a454 48392905 a65b1db8 851c97bd d675cf2f
457|]
458
459s7 = [sbox|
46085e04019 332bf567 662dbfff cfc65693 2a8d7f6f ab9bc912 de6008a1 2028da1f
4610227bce7 4d642916 18fac300 50f18b82 2cb2cb11 b232e75c 4b3695f2 b28707de
462a05fbcf6 cd4181e9 e150210c e24ef1bd b168c381 fde4e789 5c79b0d8 1e8bfd43
4634d495001 38be4341 913cee1d 92a79c3f 089766be baeeadf4 1286becf b6eacb19
4642660c200 7565bde4 64241f7a 8248dca9 c3b3ad66 28136086 0bd8dfa8 356d1cf2
465107789be b3b2e9ce 0502aa8f 0bc0351e 166bf52a eb12ff82 e3486911 d34d7516
4664e7b3aff 5f43671b 9cf6e037 4981ac83 334266ce 8c9341b7 d0d854c0 cb3a6c88
46747bc2829 4725ba37 a66ad22b 7ad61f1e 0c5cbafa 4437f107 b6e79962 42d2d816
4680a961288 e1a5c06e 13749e67 72fc081a b1d139f7 f9583745 cf19df58 bec3f756
469c06eba30 07211b24 45c28829 c95e317f bc8ec511 38bc46e9 c6e6fa14 bae8584a
470ad4ebc46 468f508b 7829435f f124183b 821dba9f aff60ff4 ea2c4e6d 16e39264
47192544a8b 009b4fc3 aba68ced 9ac96f78 06a5b79a b2856e6e 1aec3ca9 be838688
4720e0804e9 55f1be56 e7e5363b b3a1f25d f7debb85 61fe033c 16746233 3c034c28
473da6d0c74 79aac56c 3ce4e1ad 51f0c802 98f8f35a 1626a49f eed82b29 1d382fe3
4740c4fb99a bb325778 3ec6d97b 6e77a6a9 cb658b5c d45230c7 2bd1408b 60c03eb7
475b9068d78 a33754f4 f430c87d c8a71302 b96d8c32 ebd4e7be be8b9d2d 7979fb06
476e7225308 8b75cf77 11ef8da4 e083c858 8d6b786f 5a6317a6 fa5cf7a0 5dda0033
477f28ebfb0 f5b9c310 a0eac280 08b9767a a3d9d2b0 79d34217 021a718d 9ac6336a
4782711fd60 438050e3 069908a8 3d7fedc4 826d2bef 4eeb8476 488dcf25 36c9d566
47928e74e41 c2610aca 3d49a9cf bae3b9df b65f8de6 92aeaf64 3ac7d5e6 9ea80509
480f22b017d a4173f70 dd1e16c3 15e0d7f9 50b1b887 2b9f4fd5 625aba82 6a017962
4812ec01b9c 15488aa9 d716e740 40055a2c 93d29a22 e32dbf9a 058745b9 3453dc1e
482d699296e 496cff6f 1c9f4986 dfe2ed07 b87242d1 19de7eae 053e561a 15ad6f8c
48366626c1c 7154c24c ea082b2a 93eb2939 17dcb0f0 58d4f2ae 9ea294fb 52cf564c
4849883fe66 2ec40581 763953c3 01d6692e d3a0c108 a1e7160e e4f2dfa6 693ed285
48574904698 4c2b0edd 4f757656 5d393378 a132234f 3d321c5d c3f5e194 4b269301
486c79f022f 3c997e7e 5e4f9504 3ffafbbd 76f7ad0e 296693f4 3d1fce6f c61e45be
487d3b5ab34 f72bf9b7 1b0434c0 4e72b567 5592a33d b5229301 cfd2a87f 60aeb767
4881814386b 30bcc33d 38a0c07d fd1606f2 c363519b 589dd390 5479f8e6 1cb8d647
48997fd61a9 ea7759f4 2d57539d 569a58cf e84e63ad 462e1b78 6580f87e f3817914
49091da55f4 40a230f3 d1988f35 b6e318d2 3ffa50bc 3d40f021 c3c0bdae 4958c24c
491518f36b2 84b1d370 0fedce83 878ddada f2a279c7 94e01be8 90716f4b 954b8aa3
492|]
493
494
495s8 = [sbox|
496e216300d bbddfffc a7ebdabd 35648095 7789f8b7 e6c1121b 0e241600 052ce8b5
49711a9cfb0 e5952f11 ece7990a 9386d174 2a42931c 76e38111 b12def3a 37ddddfc
498de9adeb1 0a0cc32c be197029 84a00940 bb243a0f b4d137cf b44e79f0 049eedfd
4990b15a15d 480d3168 8bbbde5a 669ded42 c7ece831 3f8f95e7 72df191b 7580330d
50094074251 5c7dcdfa abbe6d63 aa402164 b301d40a 02e7d1ca 53571dae 7a3182a2
50112a8ddec fdaa335d 176f43e8 71fb46d4 38129022 ce949ad4 b84769ad 965bd862
50282f3d055 66fb9767 15b80b4e 1d5b47a0 4cfde06f c28ec4b8 57e8726e 647a78fc
50399865d44 608bd593 6c200e03 39dc5ff6 5d0b00a3 ae63aff2 7e8bd632 70108c0c
504bbd35049 2998df04 980cf42a 9b6df491 9e7edd53 06918548 58cb7e07 3b74ef2e
505522fffb1 d24708cc 1c7e27cd a4eb215b 3cf1d2e2 19b47a38 424f7618 35856039
5069d17dee7 27eb35e6 c9aff67b 36baf5b8 09c467cd c18910b1 e11dbf7b 06cd1af8
5077170c608 2d5e3354 d4de495a 64c6d006 bcc0c62c 3dd00db3 708f8f34 77d51b42
508264f620f 24b8d2bf 15c1b79e 46a52564 f8d7e54e 3e378160 7895cda5 859c15a5
509e6459788 c37bc75f db07ba0c 0676a3ab 7f229b1e 31842e7b 24259fd7 f8bef472
510835ffcb8 6df4c1f2 96f5b195 fd0af0fc b0fe134c e2506d3d 4f9b12ea f215f225
511a223736f 9fb4c428 25d04979 34c713f8 c4618187 ea7a6e98 7cd16efc 1436876c
512f1544107 bedeee14 56e9af27 a04aa441 3cf7c899 92ecbae6 dd67016d 151682eb
513a842eedf fdba60b4 f1907b75 20e3030f 24d8c29e e139673b efa63fb8 71873054
514b6f2cf3b 9f326442 cb15a4cc b01a4504 f1e47d8d 844a1be5 bae7dfdc 42cbda70
515cd7dae0a 57e85b7a d53f5af6 20cf4d8c cea4d428 79d130a4 3486ebfb 33d3cddc
51677853b53 37effcb5 c5068778 e580b3e6 4e68b8f4 c5c8b37e 0d809ea2 398feb7c
517132a4f94 43b7950e 2fee7d1c 223613bd dd06caa2 37df932b c4248289 acf3ebc3
5185715f6b7 ef3478dd f267616f c148cbe4 9052815e 5e410fab b48a2465 2eda7fa4
519e87b40e4 e98ea084 5889e9e1 efd390fc dd07d35b db485694 38d7e5b2 57720101
520730edebc 5b643113 94917e4f 503c2fba 646f1282 7523d24a e0779695 f9c17a8f
5217a5b2121 d187b896 29263a4d ba510cdf 81f47c9f ad1163ed ea7b5965 1a00726e
52211403092 00da6d77 4a0cdd61 ad1f4603 605bdfb0 9eedc364 22ebe6a8 cee7d28a
523a0e736a0 5564a6b9 10853209 c7eb8f37 2de705ca 8951570f df09822b bd691a6c
524aa12e4f2 87451c0f e0f6a27a 3ada4819 4cf1764f 0d771c2b 67cdb156 350d8384
5255938fa0f 42399ef3 36997b07 0e84093d 4aa93e61 8360d87b 1fa98b0c 1149382c
526e97625a5 0614d1b7 0e25244b 0c768347 589e8d82 0d2059d1 a466bb1e f8da0a82
52704f19130 ba6e4ec0 99265164 1ee7230d 50b2ad80 eaee6801 8db2a283 ea8bf59e
528|]
529
530hasSize :: Cast5 size -> size -> a
531hasSize _ _ = undefined
532
533
534data StaticTest size = StaticTest {
535 keysize :: size,
536 keybytes :: S.ByteString,
537 plaintext :: S.ByteString,
538 ciphertext :: S.ByteString,
539 sched :: Maybe [Subkey]
540 }
541
542runTest test = do
543 let Just key = buildKey (keybytes test)
544 _ = hasSize key (keysize test)
545 computed_sched = subkeys key' where Cast5 _ _ _ _ key' = key
546 case sched test of
547 Nothing -> return ()
548 Just sched | sched == computed_sched
549 -> putStrLn "subkeys passed."
550 | otherwise
551 -> putStrLn $
552 unlines
553 [ "subkeys failed"
554 , "expected = "++show sched
555 , "computed = "++show computed_sched ]
556 let computed_ciphertext = encryptBlock key (plaintext test)
557 if computed_ciphertext == ciphertext test
558 then putStrLn "encrypt passed."
559 else putStrLn $ unlines [ "encrypt failed."
560 , "expected = "++show (ciphertext test)
561 , "computed = "++show computed_ciphertext ]
562 let computed_plaintext = decryptBlock key (ciphertext test)
563 decrypt_passed = computed_plaintext == plaintext test
564 if decrypt_passed
565 then putStrLn "decrypt passed."
566 else putStrLn $ unlines [ "decrypt failed."
567 , "expected = "++show (plaintext test)
568 , "computed = "++show computed_plaintext]
569 let when cond body = if cond then body else return ()
570 when (not decrypt_passed) $ do
571 let computed_plaintext = decryptBlock key computed_ciphertext
572 if computed_plaintext == plaintext test
573 then putStrLn "inverse passed."
574 else putStrLn $ unlines [ "inverse failed."
575 , "expected = "++show (plaintext test)
576 , "computed = "++show computed_plaintext]
577
578 return ()
579
580main = do
581 let keys128 = undefined :: KeySize_128
582 keys80 = undefined :: KeySize_80
583 keys40 = undefined :: KeySize_40
584 putStrLn "Test 128-bit"
585 runTest $ StaticTest {
586 keysize = keys128,
587 keybytes = [bytes| 01 23 45 67 12 34 56 78 23 45 67 89 34 56 78 9A |],
588 plaintext = [bytes| 01 23 45 67 89 AB CD EF |],
589 ciphertext = [bytes| 23 8B 4F E5 84 7E 44 B2 |],
590 sched = Just [ (0xbc173e26,21)
591 , (0x78a207ef,27)
592 , (0xece0a7f5,1)
593 , (0x7cb0fb6b,5)
594 , (0xa5d2d636,3)
595 , (0xd78b9407,31)
596 , (0x56c069d3,31)
597 , (0x82e8240c,28)
598 , (0x33543749,16)
599 , (0x8813d5c7,31)
600 , (0xb9fcd732,18)
601 , (0x59106b36,1)
602 , (0x496af1a9,29)
603 , (0x18f8dc43,25)
604 , (0x8d9def0f,1)
605 , (0x83eda384,15)
606 ]
607 }
608 putStrLn "Test 80-bit"
609 runTest $ StaticTest {
610 keysize = keys80,
611 keybytes = [bytes| 01 23 45 67 12 34 56 78 23 45 |],
612 plaintext = [bytes| 01 23 45 67 89 AB CD EF |],
613 ciphertext = [bytes| EB 6A 71 1A 2C 02 27 1B |],
614 sched = Nothing
615 }
616 putStrLn "Test 40-bit"
617 runTest $ StaticTest {
618 keysize = keys40,
619 keybytes = [bytes| 01 23 45 67 12 |],
620 plaintext = [bytes| 01 23 45 67 89 AB CD EF |],
621 ciphertext = [bytes| 7A C8 16 D1 6E 9B 30 2E |],
622 sched = Nothing
623 }
624
625 putStrLn "Full Maintenance Test..."
626 let aL = toW32Pair [bytes| 01 23 45 67 12 34 56 78 |]
627 aR = toW32Pair [bytes| 23 45 67 89 34 56 78 9A |]
628 bL = toW32Pair [bytes| 01 23 45 67 12 34 56 78 |]
629 bR = toW32Pair [bytes| 23 45 67 89 34 56 78 9A |]
630 fs = cycle [f1,f2,f3]
631 enc blk keys = coreCrypto 16 keys fs blk
632
633 let go inp@(aL,aR,bL,bR) = force inp `seq` (aL',aR',bL',bR')
634 where
635 force ((a,b),(c,d),(e,f),(g,h))
636 = a `seq` b `seq` c `seq` d
637 `seq` e `seq` f `seq` g `seq` h
638 b = subkeys (b0,b1,b2,b3) where ((b0,b1),(b2,b3)) = (bL,bR)
639 aL' = enc aL b
640 aR' = enc aR b
641 a = subkeys (a0,a1,a2,a3) where ((a0,a1),(a2,a3)) = (aL',aR')
642 bL' = enc bL a
643 bR' = enc bR a
644 xs = iterate go (aL,aR,bL,bR)
645 (result_a,result_b) = ( fromW32Pair aL `S.append` fromW32Pair aR
646 , fromW32Pair bL `S.append` fromW32Pair bR )
647 where (aL,aR,bL,bR) = xs !! 1000000
648 (x:xs) !! 0 = x
649 (x:xs) !! i = force x `seq` xs !! (i-1)
650 force ((a,b),(c,d),(e,f),(g,h))
651 = a `seq` b `seq` c `seq` d
652 `seq` e `seq` f `seq` g `seq` h
653 expected_a = [bytes| EE A9 D0 A2 49 FD 3B A6 B3 43 6F B8 9D 6D CA 92 |]
654 expected_b = [bytes| B2 C9 5E B0 0C 31 AD 71 80 AC 05 B8 E8 3D 69 6E |]
655 if result_a == expected_a && result_b == expected_b
656 then putStrLn "passed."
657 else putStrLn $ unlines [ "failed."
658 , "expected a = " ++ show (S.unpack expected_a)
659 , "computed a = " ++ show (S.unpack result_a)
660 , "expected b = " ++ show (S.unpack expected_b)
661 , "computed b = " ++ show (S.unpack result_b) ]
662 return ()