lib/silccrypt/mars.c

   1 /* Modified for SILC. -Pekka */
   2
   3 /* This is an independent implementation of the encryption algorithm:   */
   4 /*                                                                      */
   5 /*         MARS by a team at IBM,                                        */
   6 /*                                                                      */
   7 /* which is a candidate algorithm in the Advanced Encryption Standard   */
   8 /* programme of the US National Institute of Standards and Technology.  */
   9 /* Copyright in this implementation is held by Dr B R Gladman. The MARS */
  10 /* algorithm is covered by a pending patent application owned by IBM,   */
  11 /* who intend to offer a royalty free license under any issued patent   */
  12 /* that results from such application if MARS is selected as the AES    */
  13 /* algorithm.  In the interim, you may evaluate the MARS algorithm for  */
  14 /* your personal, lawful, non-profit purposes as an end user.           */
  15 /*                                                                      */
  16 /* The header above modified on June 6th 1999.                          */
  17 /* Dr Brian Gladman (gladman@seven77.demon.co.uk) 14th January 1999     */
  18
  19 /* Timing data for MARS (mars.c)
  20
  21 128 bit key:
  22 Key Setup:    4316 cycles
  23 Encrypt:       369 cycles =    69.4 mbits/sec
  24 Decrypt:       376 cycles =    68.1 mbits/sec
  25 Mean:          373 cycles =    68.7 mbits/sec
  26
  27 192 bit key:
  28 Key Setup:    4377 cycles
  29 Encrypt:       373 cycles =    68.6 mbits/sec
  30 Decrypt:       379 cycles =    67.5 mbits/sec
  31 Mean:          376 cycles =    68.1 mbits/sec
  32
  33 256 bit key:
  34 Key Setup:    4340 cycles
  35 Encrypt:       369 cycles =    69.4 mbits/sec
  36 Decrypt:       376 cycles =    68.1 mbits/sec
  37 Mean:          373 cycles =    68.7 mbits/sec
  38
  39 */
  40
  41 #include "silcincludes.h"
  42 #include "mars.h"
  43
  44 /*
  45  * SILC Crypto API for MARS
  46  */
  47
  48 /* Sets the key for cipher MARS. */
  49
  50 SILC_CIPHER_API_SET_KEY(mars)
  51 {
  52   uint32 k[8];
  53
  54   SILC_GET_WORD_KEY(key, k, keylen);
  55   mars_set_key((MarsContext *)context, k, keylen);
  56
  57   return TRUE;
  58 }
  59
  60 /* Sets the string as a new key for the cipher MARS. The string
  61    is first hashed and then used as a new key. */
  62
  63 SILC_CIPHER_API_SET_KEY_WITH_STRING(mars)
  64 {
  65   /*  unsigned char key[md5_hash_len];
  66   SilcMarsContext *ctx = (SilcMarsContext *)context;
  67
  68   make_md5_hash(string, &key);
  69   memcpy(&ctx->key, mars_set_key(&key, keylen), keylen);
  70   memset(&key, 'F', sizeoof(key));
  71   */
  72   return TRUE;
  73 }
  74
  75 /* Returns the size of the MARS cipher context. */
  76
  77 SILC_CIPHER_API_CONTEXT_LEN(mars)
  78 {
  79   return sizeof(MarsContext);
  80 }
  81
  82 /* Encrypts with MARS cipher in CBC mode.  Source and destination buffers
  83    maybe one and same. */
  84
  85 SILC_CIPHER_API_ENCRYPT_CBC(mars)
  86 {
  87   uint32 tiv[4];
  88   int i;
  89
  90   SILC_CBC_GET_IV(tiv, iv);
  91
  92   SILC_CBC_ENC_PRE(tiv, src);
  93   mars_encrypt((MarsContext *)context, tiv, tiv);
  94   SILC_CBC_ENC_POST(tiv, dst, src);
  95
  96   for (i = 16; i < len; i += 16) {
  97     SILC_CBC_ENC_PRE(tiv, src);
  98     mars_encrypt((MarsContext *)context, tiv, tiv);
  99     SILC_CBC_ENC_POST(tiv, dst, src);
 100   }
 101
 102   SILC_CBC_PUT_IV(tiv, iv);
 103
 104   return TRUE;
 105 }
 106
 107 /* Decrypts with MARS cipher in CBC mode.  Source and destination buffers
 108    maybe one and same. */
 109
 110 SILC_CIPHER_API_DECRYPT_CBC(mars)
 111 {
 112   uint32 tmp[4], tmp2[4], tiv[4];
 113   int i;
 114
 115   SILC_CBC_GET_IV(tiv, iv);
 116
 117   SILC_CBC_DEC_PRE(tmp, src);
 118   mars_decrypt((MarsContext *)context, tmp, tmp2);
 119   SILC_CBC_DEC_POST(tmp2, dst, src, tmp, tiv);
 120
 121   for (i = 16; i < len; i += 16) {
 122     SILC_CBC_DEC_PRE(tmp, src);
 123     mars_decrypt((MarsContext *)context, tmp, tmp2);
 124     SILC_CBC_DEC_POST(tmp2, dst, src, tmp, tiv);
 125   }
 126
 127   SILC_CBC_PUT_IV(tiv, iv);
 128
 129   return TRUE;
 130 }
 131
 132 static u4byte s_box[] =
 133 {
 134     0x09d0c479, 0x28c8ffe0, 0x84aa6c39, 0x9dad7287, /* 0x000    */
 135     0x7dff9be3, 0xd4268361, 0xc96da1d4, 0x7974cc93,
 136     0x85d0582e, 0x2a4b5705, 0x1ca16a62, 0xc3bd279d,
 137     0x0f1f25e5, 0x5160372f, 0xc695c1fb, 0x4d7ff1e4,
 138     0xae5f6bf4, 0x0d72ee46, 0xff23de8a, 0xb1cf8e83, /* 0x010    */
 139     0xf14902e2, 0x3e981e42, 0x8bf53eb6, 0x7f4bf8ac,
 140     0x83631f83, 0x25970205, 0x76afe784, 0x3a7931d4,
 141     0x4f846450, 0x5c64c3f6, 0x210a5f18, 0xc6986a26,
 142     0x28f4e826, 0x3a60a81c, 0xd340a664, 0x7ea820c4, /* 0x020    */
 143     0x526687c5, 0x7eddd12b, 0x32a11d1d, 0x9c9ef086,
 144     0x80f6e831, 0xab6f04ad, 0x56fb9b53, 0x8b2e095c,
 145     0xb68556ae, 0xd2250b0d, 0x294a7721, 0xe21fb253,
 146     0xae136749, 0xe82aae86, 0x93365104, 0x99404a66, /* 0x030    */
 147     0x78a784dc, 0xb69ba84b, 0x04046793, 0x23db5c1e,
 148     0x46cae1d6, 0x2fe28134, 0x5a223942, 0x1863cd5b,
 149     0xc190c6e3, 0x07dfb846, 0x6eb88816, 0x2d0dcc4a,
 150     0xa4ccae59, 0x3798670d, 0xcbfa9493, 0x4f481d45, /* 0x040    */
 151     0xeafc8ca8, 0xdb1129d6, 0xb0449e20, 0x0f5407fb,
 152     0x6167d9a8, 0xd1f45763, 0x4daa96c3, 0x3bec5958,
 153     0xababa014, 0xb6ccd201, 0x38d6279f, 0x02682215,
 154     0x8f376cd5, 0x092c237e, 0xbfc56593, 0x32889d2c, /* 0x050    */
 155     0x854b3e95, 0x05bb9b43, 0x7dcd5dcd, 0xa02e926c,
 156     0xfae527e5, 0x36a1c330, 0x3412e1ae, 0xf257f462,
 157     0x3c4f1d71, 0x30a2e809, 0x68e5f551, 0x9c61ba44,
 158     0x5ded0ab8, 0x75ce09c8, 0x9654f93e, 0x698c0cca, /* 0x060    */
 159     0x243cb3e4, 0x2b062b97, 0x0f3b8d9e, 0x00e050df,
 160     0xfc5d6166, 0xe35f9288, 0xc079550d, 0x0591aee8,
 161     0x8e531e74, 0x75fe3578, 0x2f6d829a, 0xf60b21ae,
 162     0x95e8eb8d, 0x6699486b, 0x901d7d9b, 0xfd6d6e31, /* 0x070    */
 163     0x1090acef, 0xe0670dd8, 0xdab2e692, 0xcd6d4365,
 164     0xe5393514, 0x3af345f0, 0x6241fc4d, 0x460da3a3,
 165     0x7bcf3729, 0x8bf1d1e0, 0x14aac070, 0x1587ed55,
 166     0x3afd7d3e, 0xd2f29e01, 0x29a9d1f6, 0xefb10c53, /* 0x080    */
 167     0xcf3b870f, 0xb414935c, 0x664465ed, 0x024acac7,
 168     0x59a744c1, 0x1d2936a7, 0xdc580aa6, 0xcf574ca8,
 169     0x040a7a10, 0x6cd81807, 0x8a98be4c, 0xaccea063,
 170     0xc33e92b5, 0xd1e0e03d, 0xb322517e, 0x2092bd13, /* 0x090    */
 171     0x386b2c4a, 0x52e8dd58, 0x58656dfb, 0x50820371,
 172     0x41811896, 0xe337ef7e, 0xd39fb119, 0xc97f0df6,
 173     0x68fea01b, 0xa150a6e5, 0x55258962, 0xeb6ff41b,
 174     0xd7c9cd7a, 0xa619cd9e, 0xbcf09576, 0x2672c073, /* 0x0a0    */
 175     0xf003fb3c, 0x4ab7a50b, 0x1484126a, 0x487ba9b1,
 176     0xa64fc9c6, 0xf6957d49, 0x38b06a75, 0xdd805fcd,
 177     0x63d094cf, 0xf51c999e, 0x1aa4d343, 0xb8495294,
 178     0xce9f8e99, 0xbffcd770, 0xc7c275cc, 0x378453a7, /* 0x0b0    */
 179     0x7b21be33, 0x397f41bd, 0x4e94d131, 0x92cc1f98,
 180     0x5915ea51, 0x99f861b7, 0xc9980a88, 0x1d74fd5f,
 181     0xb0a495f8, 0x614deed0, 0xb5778eea, 0x5941792d,
 182     0xfa90c1f8, 0x33f824b4, 0xc4965372, 0x3ff6d550, /* 0x0c0    */
 183     0x4ca5fec0, 0x8630e964, 0x5b3fbbd6, 0x7da26a48,
 184     0xb203231a, 0x04297514, 0x2d639306, 0x2eb13149,
 185     0x16a45272, 0x532459a0, 0x8e5f4872, 0xf966c7d9,
 186     0x07128dc0, 0x0d44db62, 0xafc8d52d, 0x06316131, /* 0x0d0    */
 187     0xd838e7ce, 0x1bc41d00, 0x3a2e8c0f, 0xea83837e,
 188     0xb984737d, 0x13ba4891, 0xc4f8b949, 0xa6d6acb3,
 189     0xa215cdce, 0x8359838b, 0x6bd1aa31, 0xf579dd52,
 190     0x21b93f93, 0xf5176781, 0x187dfdde, 0xe94aeb76, /* 0x0e0    */
 191     0x2b38fd54, 0x431de1da, 0xab394825, 0x9ad3048f,
 192     0xdfea32aa, 0x659473e3, 0x623f7863, 0xf3346c59,
 193     0xab3ab685, 0x3346a90b, 0x6b56443e, 0xc6de01f8,
 194     0x8d421fc0, 0x9b0ed10c, 0x88f1a1e9, 0x54c1f029, /* 0x0f0    */
 195     0x7dead57b, 0x8d7ba426, 0x4cf5178a, 0x551a7cca,
 196     0x1a9a5f08, 0xfcd651b9, 0x25605182, 0xe11fc6c3,
 197     0xb6fd9676, 0x337b3027, 0xb7c8eb14, 0x9e5fd030,
 198
 199     0x6b57e354, 0xad913cf7, 0x7e16688d, 0x58872a69, /* 0x100    */
 200     0x2c2fc7df, 0xe389ccc6, 0x30738df1, 0x0824a734,
 201     0xe1797a8b, 0xa4a8d57b, 0x5b5d193b, 0xc8a8309b,
 202     0x73f9a978, 0x73398d32, 0x0f59573e, 0xe9df2b03,
 203     0xe8a5b6c8, 0x848d0704, 0x98df93c2, 0x720a1dc3, /* 0x110    */
 204     0x684f259a, 0x943ba848, 0xa6370152, 0x863b5ea3,
 205     0xd17b978b, 0x6d9b58ef, 0x0a700dd4, 0xa73d36bf,
 206     0x8e6a0829, 0x8695bc14, 0xe35b3447, 0x933ac568,
 207     0x8894b022, 0x2f511c27, 0xddfbcc3c, 0x006662b6, /* 0x120    */
 208     0x117c83fe, 0x4e12b414, 0xc2bca766, 0x3a2fec10,
 209     0xf4562420, 0x55792e2a, 0x46f5d857, 0xceda25ce,
 210     0xc3601d3b, 0x6c00ab46, 0xefac9c28, 0xb3c35047,
 211     0x611dfee3, 0x257c3207, 0xfdd58482, 0x3b14d84f, /* 0x130    */
 212     0x23becb64, 0xa075f3a3, 0x088f8ead, 0x07adf158,
 213     0x7796943c, 0xfacabf3d, 0xc09730cd, 0xf7679969,
 214     0xda44e9ed, 0x2c854c12, 0x35935fa3, 0x2f057d9f,
 215     0x690624f8, 0x1cb0bafd, 0x7b0dbdc6, 0x810f23bb, /* 0x140    */
 216     0xfa929a1a, 0x6d969a17, 0x6742979b, 0x74ac7d05,
 217     0x010e65c4, 0x86a3d963, 0xf907b5a0, 0xd0042bd3,
 218     0x158d7d03, 0x287a8255, 0xbba8366f, 0x096edc33,
 219     0x21916a7b, 0x77b56b86, 0x951622f9, 0xa6c5e650, /* 0x150    */
 220     0x8cea17d1, 0xcd8c62bc, 0xa3d63433, 0x358a68fd,
 221     0x0f9b9d3c, 0xd6aa295b, 0xfe33384a, 0xc000738e,
 222     0xcd67eb2f, 0xe2eb6dc2, 0x97338b02, 0x06c9f246,
 223     0x419cf1ad, 0x2b83c045, 0x3723f18a, 0xcb5b3089, /* 0x160    */
 224     0x160bead7, 0x5d494656, 0x35f8a74b, 0x1e4e6c9e,
 225     0x000399bd, 0x67466880, 0xb4174831, 0xacf423b2,
 226     0xca815ab3, 0x5a6395e7, 0x302a67c5, 0x8bdb446b,
 227     0x108f8fa4, 0x10223eda, 0x92b8b48b, 0x7f38d0ee, /* 0x170    */
 228     0xab2701d4, 0x0262d415, 0xaf224a30, 0xb3d88aba,
 229     0xf8b2c3af, 0xdaf7ef70, 0xcc97d3b7, 0xe9614b6c,
 230     0x2baebff4, 0x70f687cf, 0x386c9156, 0xce092ee5,
 231     0x01e87da6, 0x6ce91e6a, 0xbb7bcc84, 0xc7922c20, /* 0x180    */
 232     0x9d3b71fd, 0x060e41c6, 0xd7590f15, 0x4e03bb47,
 233     0x183c198e, 0x63eeb240, 0x2ddbf49a, 0x6d5cba54,
 234     0x923750af, 0xf9e14236, 0x7838162b, 0x59726c72,
 235     0x81b66760, 0xbb2926c1, 0x48a0ce0d, 0xa6c0496d, /* 0x190    */
 236     0xad43507b, 0x718d496a, 0x9df057af, 0x44b1bde6,
 237     0x054356dc, 0xde7ced35, 0xd51a138b, 0x62088cc9,
 238     0x35830311, 0xc96efca2, 0x686f86ec, 0x8e77cb68,
 239     0x63e1d6b8, 0xc80f9778, 0x79c491fd, 0x1b4c67f2, /* 0x1a0    */
 240     0x72698d7d, 0x5e368c31, 0xf7d95e2e, 0xa1d3493f,
 241     0xdcd9433e, 0x896f1552, 0x4bc4ca7a, 0xa6d1baf4,
 242     0xa5a96dcc, 0x0bef8b46, 0xa169fda7, 0x74df40b7,
 243     0x4e208804, 0x9a756607, 0x038e87c8, 0x20211e44, /* 0x1b0    */
 244     0x8b7ad4bf, 0xc6403f35, 0x1848e36d, 0x80bdb038,
 245     0x1e62891c, 0x643d2107, 0xbf04d6f8, 0x21092c8c,
 246     0xf644f389, 0x0778404e, 0x7b78adb8, 0xa2c52d53,
 247     0x42157abe, 0xa2253e2e, 0x7bf3f4ae, 0x80f594f9, /* 0x1c0    */
 248     0x953194e7, 0x77eb92ed, 0xb3816930, 0xda8d9336,
 249     0xbf447469, 0xf26d9483, 0xee6faed5, 0x71371235,
 250     0xde425f73, 0xb4e59f43, 0x7dbe2d4e, 0x2d37b185,
 251     0x49dc9a63, 0x98c39d98, 0x1301c9a2, 0x389b1bbf, /* 0x1d0    */
 252     0x0c18588d, 0xa421c1ba, 0x7aa3865c, 0x71e08558,
 253     0x3c5cfcaa, 0x7d239ca4, 0x0297d9dd, 0xd7dc2830,
 254     0x4b37802b, 0x7428ab54, 0xaeee0347, 0x4b3fbb85,
 255     0x692f2f08, 0x134e578e, 0x36d9e0bf, 0xae8b5fcf, /* 0x1e0    */
 256     0xedb93ecf, 0x2b27248e, 0x170eb1ef, 0x7dc57fd6,
 257     0x1e760f16, 0xb1136601, 0x864e1b9b, 0xd7ea7319,
 258     0x3ab871bd, 0xcfa4d76f, 0xe31bd782, 0x0dbeb469,
 259     0xabb96061, 0x5370f85d, 0xffb07e37, 0xda30d0fb, /* 0x1f0    */
 260     0xebc977b6, 0x0b98b40f, 0x3a4d0fe6, 0xdf4fc26b,
 261     0x159cf22a, 0xc298d6e2, 0x2b78ef6a, 0x61a94ac0,
 262     0xab561187, 0x14eea0f0, 0xdf0d4164, 0x19af70ee
 263 };
 264
 265 static u4byte vk[47] =
 266 {
 267     0x09d0c479, 0x28c8ffe0, 0x84aa6c39, 0x9dad7287, 0x7dff9be3, 0xd4268361,
 268     0xc96da1d4
 269 };
 270
 271 #define f_mix(a,b,c,d)                  \
 272         r = rotr(a, 8);                 \
 273         b ^= s_box[a & 255];            \
 274         b += s_box[(r & 255) + 256];    \
 275         r = rotr(a, 16);                \
 276         a  = rotr(a, 24);               \
 277         c += s_box[r & 255];            \
 278         d ^= s_box[(a & 255) + 256]
 279
 280 #define b_mix(a,b,c,d)                  \
 281         r = rotl(a, 8);                 \
 282         b ^= s_box[(a & 255) + 256];    \
 283         c -= s_box[r & 255];            \
 284         r = rotl(a, 16);                \
 285         a  = rotl(a, 24);               \
 286         d -= s_box[(r & 255) + 256];    \
 287         d ^= s_box[a & 255]
 288
 289 #define f_ktr(a,b,c,d,i)    \
 290     m = a + l_key[i];  \
 291     a = rotl(a, 13);        \
 292     r = a * l_key[i + 1];   \
 293     l = s_box[m & 511];     \
 294     r = rotl(r, 5);         \
 295     c += rotl(m, r);        \
 296     l ^= r;                 \
 297     r = rotl(r, 5);         \
 298     l ^= r;                 \
 299     d ^= r;                 \
 300     b += rotl(l, r)
 301
 302 #define r_ktr(a,b,c,d,i)    \
 303     r = a * l_key[i + 1];   \
 304     a = rotr(a, 13);        \
 305     m = a + l_key[i];  \
 306     l = s_box[m & 511];     \
 307     r = rotl(r, 5);         \
 308     l ^= r;                 \
 309     c -= rotl(m, r);        \
 310     r = rotl(r, 5);         \
 311     l ^= r;                 \
 312     d ^= r;                 \
 313     b -= rotl(l, r)
 314
 315 /* For a 32 bit word (x) generate a mask (m) such that a bit in */
 316 /* m is set to 1 if and only if the corresponding bit in x is:  */
 317 /*                                                              */
 318 /* 1. in a sequence of 10 or more adjacent '0' bits             */
 319 /* 2. in a sequence of 10 or more adjacent '1' bits             */
 320 /* 3. but is not either endpoint of such a sequence unless such */
 321 /*    an endpoint is at the top bit (bit 31) of a word and is   */
 322 /*    in a sequence of '0' bits.                                */
 323 /*                                                              */
 324 /* The only situation in which a sequence endpoint is included  */
 325 /* in the mask is hence when the endpoint is at bit 31 and is   */
 326 /* the endpoint of a sequence of '0' bits. My thanks go to Shai */
 327 /* Halevi of IBM for the neat trick (which I missed) of finding */
 328 /* the '0' and '1' sequences at the same time.                  */
 329
 330 u4byte gen_mask(u4byte x)
 331 {   u4byte  m;
 332
 333     /* if m{bn} stands for bit number bn of m, set m{bn} = 1 if */
 334     /* x{bn} == x{bn+1} for 0 <= bn <= 30.  That is, set a bit  */
 335     /* in m if the corresponding bit and the next higher bit in */
 336     /* x are equal in value (set m{31} = 0).                    */
 337
 338     m = (~x ^ (x >> 1)) & 0x7fffffff;
 339
 340     /* Sequences of 9 '1' bits in m now correspond to sequences */
 341     /* of 10 '0's or 10 '1' bits in x.  Shift and 'and' bits in */
 342     /* m to find sequences of 9 or more '1' bits.   As a result */
 343     /* bits in m are set if they are at the bottom of sequences */
 344     /* of 10 adjacent '0's or 10 adjacent '1's in x.            */
 345
 346     m &= (m >> 1) & (m >> 2); m &= (m >> 3) & (m >> 6);
 347
 348     if(!m)  /* return if mask is empty - no key fixing needed   */
 349             /* is this early return worthwhile?                 */
 350         return 0;
 351
 352     /* We need the internal bits in each continuous sequence of */
 353     /* matching bits (that is the bits less the two endpoints). */
 354     /* We thus propagate each set bit into the 8 internal bits  */
 355     /* that it represents, starting 1 left and finsihing 8 left */
 356     /* of its position.                                         */
 357
 358     m <<= 1; m |= (m << 1); m |= (m << 2); m |= (m << 4);
 359
 360     /* m is now correct except for the odd behaviour of bit 31, */
 361     /* that is, it will be set if it is in a sequence of 10 or  */
 362     /* more '0's and clear otherwise.                           */
 363
 364     m |= (m << 1) & ~x & 0x80000000;
 365
 366     return m & 0xfffffffc;
 367 };
 368
 369 /* My thanks to Louis Granboulan for spotting an error in the   */
 370 /* previous version of set_key.                                 */
 371
 372 u4byte *mars_set_key(MarsContext *ctx,
 373                      const u4byte in_key[], const u4byte key_len)
 374 {
 375     u4byte  i, j, m, w;
 376     u4byte *l_key = ctx->l_key;
 377
 378     m = key_len / 32 - 1;
 379
 380     for(i = j = 0; i < 39; ++i)
 381     {
 382       vk[i + 7] = rotl(vk[i] ^ vk[i + 5], 3) ^ in_key[j] ^ i;
 383
 384       j = (j == m ? 0 : j + 1);
 385     }
 386
 387     vk[46] = key_len / 32;
 388
 389     for(j = 0; j < 7; ++j)
 390     {
 391          for(i = 1; i < 40; ++i)
 392
 393             vk[i + 7] = rotl(vk[i + 7] + s_box[vk[i + 6] & 511], 9);
 394
 395         vk[7] = rotl(vk[7] + s_box[vk[46] & 511], 9);
 396     }
 397
 398     for(i = j = 0; i < 40; ++i)
 399     {
 400         l_key[j] = vk[i + 7];
 401
 402         j = (j < 33 ? j + 7 : j - 33);
 403     }
 404
 405     for(i = 5; i < 37; i += 2)
 406     {
 407         w = l_key[i] | 3;
 408
 409         if((m = gen_mask(w)))
 410
 411             w ^= (rotl(s_box[265 + (l_key[i] & 3)], l_key[i + 3] & 31) & m);
 412
 413         l_key[i] = w;
 414     }
 415
 416     return l_key;
 417 };
 418
 419 void mars_encrypt(MarsContext *ctx,
 420                   const u4byte in_blk[4], u4byte out_blk[4])
 421 {
 422     u4byte  a, b, c, d, l, m, r;
 423     u4byte *l_key = ctx->l_key;
 424
 425     a = in_blk[0] + l_key[0]; b = in_blk[1] + l_key[1];
 426     c = in_blk[2] + l_key[2]; d = in_blk[3] + l_key[3];
 427
 428     f_mix(a,b,c,d); a += d;
 429     f_mix(b,c,d,a); b += c;
 430     f_mix(c,d,a,b);
 431     f_mix(d,a,b,c);
 432     f_mix(a,b,c,d); a += d;
 433     f_mix(b,c,d,a); b += c;
 434     f_mix(c,d,a,b);
 435     f_mix(d,a,b,c);
 436
 437     f_ktr(a,b,c,d, 4); f_ktr(b,c,d,a, 6); f_ktr(c,d,a,b, 8); f_ktr(d,a,b,c,10);
 438     f_ktr(a,b,c,d,12); f_ktr(b,c,d,a,14); f_ktr(c,d,a,b,16); f_ktr(d,a,b,c,18);
 439     f_ktr(a,d,c,b,20); f_ktr(b,a,d,c,22); f_ktr(c,b,a,d,24); f_ktr(d,c,b,a,26);
 440     f_ktr(a,d,c,b,28); f_ktr(b,a,d,c,30); f_ktr(c,b,a,d,32); f_ktr(d,c,b,a,34);
 441
 442     b_mix(a,b,c,d);
 443     b_mix(b,c,d,a); c -= b;
 444     b_mix(c,d,a,b); d -= a;
 445     b_mix(d,a,b,c);
 446     b_mix(a,b,c,d);
 447     b_mix(b,c,d,a); c -= b;
 448     b_mix(c,d,a,b); d -= a;
 449     b_mix(d,a,b,c);
 450
 451     out_blk[0] = a - l_key[36]; out_blk[1] = b - l_key[37];
 452     out_blk[2] = c - l_key[38]; out_blk[3] = d - l_key[39];
 453 };
 454
 455 void mars_decrypt(MarsContext *ctx,
 456                   const u4byte in_blk[4], u4byte out_blk[4])
 457 {
 458     u4byte  a, b, c, d, l, m, r;
 459     u4byte *l_key = ctx->l_key;
 460
 461     d = in_blk[0] + l_key[36]; c = in_blk[1] + l_key[37];
 462     b = in_blk[2] + l_key[38]; a = in_blk[3] + l_key[39];
 463
 464     f_mix(a,b,c,d); a += d;
 465     f_mix(b,c,d,a); b += c;
 466     f_mix(c,d,a,b);
 467     f_mix(d,a,b,c);
 468     f_mix(a,b,c,d); a += d;
 469     f_mix(b,c,d,a); b += c;
 470     f_mix(c,d,a,b);
 471     f_mix(d,a,b,c);
 472
 473     r_ktr(a,b,c,d,34); r_ktr(b,c,d,a,32); r_ktr(c,d,a,b,30); r_ktr(d,a,b,c,28);
 474     r_ktr(a,b,c,d,26); r_ktr(b,c,d,a,24); r_ktr(c,d,a,b,22); r_ktr(d,a,b,c,20);
 475     r_ktr(a,d,c,b,18); r_ktr(b,a,d,c,16); r_ktr(c,b,a,d,14); r_ktr(d,c,b,a,12);
 476     r_ktr(a,d,c,b,10); r_ktr(b,a,d,c, 8); r_ktr(c,b,a,d, 6); r_ktr(d,c,b,a, 4);
 477
 478     b_mix(a,b,c,d);
 479     b_mix(b,c,d,a); c -= b;
 480     b_mix(c,d,a,b); d -= a;
 481     b_mix(d,a,b,c);
 482     b_mix(a,b,c,d);
 483     b_mix(b,c,d,a); c -= b;
 484     b_mix(c,d,a,b); d -= a;
 485     b_mix(d,a,b,c);
 486
 487     out_blk[0] = d - l_key[0]; out_blk[1] = c - l_key[1];
 488     out_blk[2] = b - l_key[2]; out_blk[3] = a - l_key[3];
 489 }