chiark - git - mdw - catacomb/blob - serpent-check.c

   1 /* -*-c-*-
   2  *
   3  * $Id: serpent-check.c,v 1.2 2004/04/08 01:36:15 mdw Exp $
   4  *
   5  * Check the Serpent S-boxes
   6  *
   7  * (c) 2000 Straylight/Edgeware
   8  */
   9
  10 /*----- Licensing notice --------------------------------------------------*
  11  *
  12  * This file is part of Catacomb.
  13  *
  14  * Catacomb is free software; you can redistribute it and/or modify
  15  * it under the terms of the GNU Library General Public License as
  16  * published by the Free Software Foundation; either version 2 of the
  17  * License, or (at your option) any later version.
  18  *
  19  * Catacomb is distributed in the hope that it will be useful,
  20  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  21  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  22  * GNU Library General Public License for more details.
  23  *
  24  * You should have received a copy of the GNU Library General Public
  25  * License along with Catacomb; if not, write to the Free
  26  * Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
  27  * MA 02111-1307, USA.
  28  */
  29
  30 /*----- Header files ------------------------------------------------------*/
  31
  32 #include <stdio.h>
  33 #include <stdlib.h>
  34 #include <string.h>
  35
  36 #include <mLib/bits.h>
  37
  38 #include "serpent-sbox.h"
  39
  40 /*----- S-box tables ------------------------------------------------------*/
  41
  42 static const octet s[8][16] = {
  43   {  3,  8, 15,  1, 10,  6,  5, 11, 14, 13,  4,  2,  7,  0,  9, 12 },
  44   { 15, 12,  2,  7,  9,  0,  5, 10,  1, 11, 14,  8,  6, 13,  3,  4 },
  45   {  8,  6,  7,  9,  3, 12, 10, 15, 13,  1, 14,  4,  0, 11,  5,  2 },
  46   {  0, 15, 11,  8, 12,  9,  6,  3, 13,  1,  2,  4, 10,  7,  5, 14 },
  47   {  1, 15,  8,  3, 12,  0, 11,  6,  2,  5,  4, 10,  9, 14,  7, 13 },
  48   { 15,  5,  2, 11,  4, 10,  9, 12,  0,  3, 14,  8, 13,  6,  7,  1 },
  49   {  7,  2, 12,  5,  8,  4,  6, 11, 14,  9,  1, 15, 13,  3, 10,  0 },
  50   {  1, 13, 15,  0, 14,  8,  2, 11,  7,  4, 12, 10,  9,  3,  5,  6 }
  51 };
  52
  53 /*----- Main code ---------------------------------------------------------*/
  54
  55 /* --- @check@ --- *
  56  *
  57  * Arguments:   @unsigned a, b, c, d@ = four bitslice output registers
  58  *              @const octet *p@ = pointer to S-box
  59  *
  60  * Returns:     Zero if OK, nonzero on failure.
  61  *
  62  * Use:         Checks that an S-box output is correct.
  63  */
  64
  65 static int check(unsigned a, unsigned b, unsigned c, unsigned d,
  66                  const octet *p)
  67 {
  68   octet buf[16];
  69   octet *q = buf;
  70   unsigned i;
  71
  72   for (i = 0; i < 16; i++) {
  73     *q++ = (a & 1) | ((b & 1) << 1) | ((c & 1) << 2) | ((d & 1) << 3);
  74     a >>= 1; b >>= 1; c >>= 1; d >>= 1;
  75   }
  76   return (memcmp(buf, p, sizeof(buf)));
  77 }
  78
  79 #define CHECK(i) do {                                                   \
  80   unsigned a = 0xaaaa, b = 0xcccc, c = 0xf0f0, d = 0xff00;              \
  81   S##i(a, b, c, d);                                                     \
  82   if (check(a, b, c, d, s[i])) {                                        \
  83     fprintf(stderr, "failure in S%i\n", i);                             \
  84     rc = EXIT_FAILURE;                                                  \
  85   }                                                                     \
  86   IS##i(a, b, c, d);                                                    \
  87   if (a != 0xaaaa || b != 0xcccc || c != 0xf0f0 || d != 0xff00) {       \
  88     fprintf(stderr, "failure in IS%i\n", i);                            \
  89     rc = EXIT_FAILURE;                                                  \
  90   }                                                                     \
  91 } while (0)
  92
  93 int main(void)
  94 {
  95   int rc = 0;
  96   CHECK(0); CHECK(1); CHECK(2); CHECK(3);
  97   CHECK(4); CHECK(5); CHECK(6); CHECK(7);
  98   return (rc);
  99 }
 100
 101 /*----- That's all, folks -------------------------------------------------*/