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

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