serpent_bitslice.java

Serpent算法及vb实现 毕业设计是做的 希望对大家有帮助

	t12 = t06 & t02;
	y3  = t09 ^ t10;
	y1  = t12 ^ t11;
	t15 = x2  & y3 ;
	t16 = y0  ^ y1 ;
	t17 = t10 ^ t15;
	y2  = t16 ^ t17;

   y0 ^=  K[26*4+0];  y1 ^=  K[26*4+1];   y2 ^=  K[26*4+2];  y3 ^=  K[26*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS1:   5  8  2 14 15  6 12  3 11  4  7  9  1 13 10  0 */

/* depth = 7,4,5,3, Total gates=18 */

	t01 = x0  ^ x1 ;
	t02 = x1  | x3 ;
	t03 = x0  & x2 ;
	t04 = x2  ^ t02;
	t05 = x0  | t04;
	t06 = t01 & t05;
	t07 = x3  | t03;
	t08 = x1  ^ t06;
	t09 = t07 ^ t06;
	t10 = t04 | t03;
	t11 = x3  & t08;
	y2  =     ~ t09;
	y1  = t10 ^ t11;
	t14 = x0  | y2 ;
	t15 = t06 ^ y1 ;
	y3  = t01 ^ t04;
	t17 = x2  ^ t15;
	y0  = t14 ^ t17;

   y0 ^=  K[25*4+0];  y1 ^=  K[25*4+1];   y2 ^=  K[25*4+2];  y3 ^=  K[25*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS0:  13  3 11  0 10  6  5 12  1 14  4  7 15  9  8  2 */

/* depth = 8,4,3,6, Total gates=19 */

	t01 = x2  ^ x3 ;
	t02 = x0  | x1 ;
	t03 = x1  | x2 ;
	t04 = x2  & t01;
	t05 = t02 ^ t01;
	t06 = x0  | t04;
	y2  =     ~ t05;
	t08 = x1  ^ x3 ;
	t09 = t03 & t08;
	t10 = x3  | y2 ;
	y1  = t09 ^ t06;
	t12 = x0  | t05;
	t13 = y1  ^ t12;
	t14 = t03 ^ t10;
	t15 = x0  ^ x2 ;
	y3  = t14 ^ t13;
	t17 = t05 & t13;
	t18 = t14 | t17;
	y0  = t15 ^ t18;

   y0 ^=  K[24*4+0];  y1 ^=  K[24*4+1];   y2 ^=  K[24*4+2];  y3 ^=  K[24*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS7:   3  0  6 13  9 14 15  8  5 12 11  7 10  1  4  2 */

/* depth = 9,7,3,3, Total gates=18 */

	t01 = x0  & x1 ;
	t02 = x0  | x1 ;
	t03 = x2  | t01;
	t04 = x3  & t02;
	y3  = t03 ^ t04;
	t06 = x1  ^ t04;
	t07 = x3  ^ y3 ;
	t08 =     ~ t07;
	t09 = t06 | t08;
	t10 = x1  ^ x3 ;
	t11 = x0  | x3 ;
	y1  = x0  ^ t09;
	t13 = x2  ^ t06;
	t14 = x2  & t11;
	t15 = x3  | y1 ;
	t16 = t01 | t10;
	y0  = t13 ^ t15;
	y2  = t14 ^ t16;

   y0 ^=  K[23*4+0];  y1 ^=  K[23*4+1];   y2 ^=  K[23*4+2];  y3 ^=  K[23*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS6:  15 10  1 13  5  3  6  0  4  9 14  7  2 12  8 11 */

/* depth = 5,3,8,6, Total gates=19 */

	t01 = x0  ^ x2 ;
	t02 =     ~ x2 ;
	t03 = x1  & t01;
	t04 = x1  | t02;
	t05 = x3  | t03;
	t06 = x1  ^ x3 ;
	t07 = x0  & t04;
	t08 = x0  | t02;
	t09 = t07 ^ t05;
	y1  = t06 ^ t08;
	y0  =     ~ t09;
	t12 = x1  & y0 ;
	t13 = t01 & t05;
	t14 = t01 ^ t12;
	t15 = t07 ^ t13;
	t16 = x3  | t02;
	t17 = x0  ^ y1 ;
	y3  = t17 ^ t15;
	y2  = t16 ^ t14;

   y0 ^=  K[22*4+0];  y1 ^=  K[22*4+1];   y2 ^=  K[22*4+2];  y3 ^=  K[22*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS5:   8 15  2  9  4  1 13 14 11  6  5  3  7 12 10  0 */

/* depth = 4,6,9,7, Total gates=17 */

	t01 = x0  & x3 ;
	t02 = x2  ^ t01;
	t03 = x0  ^ x3 ;
	t04 = x1  & t02;
	t05 = x0  & x2 ;
	y0  = t03 ^ t04;
	t07 = x0  & y0 ;
	t08 = t01 ^ y0 ;
	t09 = x1  | t05;
	t10 =     ~ x1 ;
	y1  = t08 ^ t09;
	t12 = t10 | t07;
	t13 = y0  | y1 ;
	y3  = t02 ^ t12;
	t15 = t02 ^ t13;
	t16 = x1  ^ x3 ;
	y2  = t16 ^ t15;

   y0 ^=  K[21*4+0];  y1 ^=  K[21*4+1];   y2 ^=  K[21*4+2];  y3 ^=  K[21*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS4:   5  0  8  3 10  9  7 14  2 12 11  6  4 15 13  1 */

/* depth = 6,4,7,3, Total gates=17 */

	t01 = x1  | x3 ;
	t02 = x2  | x3 ;
	t03 = x0  & t01;
	t04 = x1  ^ t02;
	t05 = x2  ^ x3 ;
	t06 =     ~ t03;
	t07 = x0  & t04;
	y1  = t05 ^ t07;
	t09 = y1  | t06;
	t10 = x0  ^ t07;
	t11 = t01 ^ t09;
	t12 = x3  ^ t04;
	t13 = x2  | t10;
	y3  = t03 ^ t12;
	t15 = x0  ^ t04;
	y2  = t11 ^ t13;
	y0  = t15 ^ t09;

   y0 ^=  K[20*4+0];  y1 ^=  K[20*4+1];   y2 ^=  K[20*4+2];  y3 ^=  K[20*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS3:   0  9 10  7 11 14  6 13  3  5 12  2  4  8 15  1 */

/* depth = 3,6,4,4, Total gates=17 */

	t01 = x2  | x3 ;
	t02 = x0  | x3 ;
	t03 = x2  ^ t02;
	t04 = x1  ^ t02;
	t05 = x0  ^ x3 ;
	t06 = t04 & t03;
	t07 = x1  & t01;
	y2  = t05 ^ t06;
	t09 = x0  ^ t03;
	y0  = t07 ^ t03;
	t11 = y0  | t05;
	t12 = t09 & t11;
	t13 = x0  & y2 ;
	t14 = t01 ^ t05;
	y1  = x1  ^ t12;
	t16 = x1  | t13;
	y3  = t14 ^ t16;

   y0 ^=  K[19*4+0];  y1 ^=  K[19*4+1];   y2 ^=  K[19*4+2];  y3 ^=  K[19*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS2:  12  9 15  4 11 14  1  2  0  3  6 13  5  8 10  7 */

/* depth = 3,6,8,3, Total gates=18 */

	t01 = x0  ^ x3 ;
	t02 = x2  ^ x3 ;
	t03 = x0  & x2 ;
	t04 = x1  | t02;
	y0  = t01 ^ t04;
	t06 = x0  | x2 ;
	t07 = x3  | y0 ;
	t08 =     ~ x3 ;
	t09 = x1  & t06;
	t10 = t08 | t03;
	t11 = x1  & t07;
	t12 = t06 & t02;
	y3  = t09 ^ t10;
	y1  = t12 ^ t11;
	t15 = x2  & y3 ;
	t16 = y0  ^ y1 ;
	t17 = t10 ^ t15;
	y2  = t16 ^ t17;

   y0 ^=  K[18*4+0];  y1 ^=  K[18*4+1];   y2 ^=  K[18*4+2];  y3 ^=  K[18*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS1:   5  8  2 14 15  6 12  3 11  4  7  9  1 13 10  0 */

/* depth = 7,4,5,3, Total gates=18 */

	t01 = x0  ^ x1 ;
	t02 = x1  | x3 ;
	t03 = x0  & x2 ;
	t04 = x2  ^ t02;
	t05 = x0  | t04;
	t06 = t01 & t05;
	t07 = x3  | t03;
	t08 = x1  ^ t06;
	t09 = t07 ^ t06;
	t10 = t04 | t03;
	t11 = x3  & t08;
	y2  =     ~ t09;
	y1  = t10 ^ t11;
	t14 = x0  | y2 ;
	t15 = t06 ^ y1 ;
	y3  = t01 ^ t04;
	t17 = x2  ^ t15;
	y0  = t14 ^ t17;

   y0 ^=  K[17*4+0];  y1 ^=  K[17*4+1];   y2 ^=  K[17*4+2];  y3 ^=  K[17*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS0:  13  3 11  0 10  6  5 12  1 14  4  7 15  9  8  2 */

/* depth = 8,4,3,6, Total gates=19 */

	t01 = x2  ^ x3 ;
	t02 = x0  | x1 ;
	t03 = x1  | x2 ;
	t04 = x2  & t01;
	t05 = t02 ^ t01;
	t06 = x0  | t04;
	y2  =     ~ t05;
	t08 = x1  ^ x3 ;
	t09 = t03 & t08;
	t10 = x3  | y2 ;
	y1  = t09 ^ t06;
	t12 = x0  | t05;
	t13 = y1  ^ t12;
	t14 = t03 ^ t10;
	t15 = x0  ^ x2 ;
	y3  = t14 ^ t13;
	t17 = t05 & t13;
	t18 = t14 | t17;
	y0  = t15 ^ t18;

   y0 ^=  K[16*4+0];  y1 ^=  K[16*4+1];   y2 ^=  K[16*4+2];  y3 ^=  K[16*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS7:   3  0  6 13  9 14 15  8  5 12 11  7 10  1  4  2 */

/* depth = 9,7,3,3, Total gates=18 */

	t01 = x0  & x1 ;
	t02 = x0  | x1 ;
	t03 = x2  | t01;
	t04 = x3  & t02;
	y3  = t03 ^ t04;
	t06 = x1  ^ t04;
	t07 = x3  ^ y3 ;
	t08 =     ~ t07;
	t09 = t06 | t08;
	t10 = x1  ^ x3 ;
	t11 = x0  | x3 ;
	y1  = x0  ^ t09;
	t13 = x2  ^ t06;
	t14 = x2  & t11;
	t15 = x3  | y1 ;
	t16 = t01 | t10;
	y0  = t13 ^ t15;
	y2  = t14 ^ t16;

   y0 ^=  K[15*4+0];  y1 ^=  K[15*4+1];   y2 ^=  K[15*4+2];  y3 ^=  K[15*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS6:  15 10  1 13  5  3  6  0  4  9 14  7  2 12  8 11 */

/* depth = 5,3,8,6, Total gates=19 */

	t01 = x0  ^ x2 ;
	t02 =     ~ x2 ;
	t03 = x1  & t01;
	t04 = x1  | t02;
	t05 = x3  | t03;
	t06 = x1  ^ x3 ;
	t07 = x0  & t04;
	t08 = x0  | t02;
	t09 = t07 ^ t05;
	y1  = t06 ^ t08;
	y0  =     ~ t09;
	t12 = x1  & y0 ;
	t13 = t01 & t05;
	t14 = t01 ^ t12;
	t15 = t07 ^ t13;
	t16 = x3  | t02;
	t17 = x0  ^ y1 ;
	y3  = t17 ^ t15;
	y2  = t16 ^ t14;

   y0 ^=  K[14*4+0];  y1 ^=  K[14*4+1];   y2 ^=  K[14*4+2];  y3 ^=  K[14*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS5:   8 15  2  9  4  1 13 14 11  6  5  3  7 12 10  0 */

/* depth = 4,6,9,7, Total gates=17 */

	t01 = x0  & x3 ;
	t02 = x2  ^ t01;
	t03 = x0  ^ x3 ;
	t04 = x1  & t02;
	t05 = x0  & x2 ;
	y0  = t03 ^ t04;
	t07 = x0  & y0 ;
	t08 = t01 ^ y0 ;
	t09 = x1  | t05;
	t10 =     ~ x1 ;
	y1  = t08 ^ t09;
	t12 = t10 | t07;
	t13 = y0  | y1 ;
	y3  = t02 ^ t12;
	t15 = t02 ^ t13;
	t16 = x1  ^ x3 ;
	y2  = t16 ^ t15;

   y0 ^=  K[13*4+0];  y1 ^=  K[13*4+1];   y2 ^=  K[13*4+2];  y3 ^=  K[13*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS4:   5  0  8  3 10  9  7 14  2 12 11  6  4 15 13  1 */

/* depth = 6,4,7,3, Total gates=17 */

	t01 = x1  | x3 ;
	t02 = x2  | x3 ;
	t03 = x0  & t01;
	t04 = x1  ^ t02;
	t05 = x2  ^ x3 ;
	t06 =     ~ t03;
	t07 = x0  & t04;
	y1  = t05 ^ t07;
	t09 = y1  | t06;
	t10 = x0  ^ t07;
	t11 = t01 ^ t09;
	t12 = x3  ^ t04;
	t13 = x2  | t10;
	y3  = t03 ^ t12;
	t15 = x0  ^ t04;
	y2  = t11 ^ t13;
	y0  = t15 ^ t09;

   y0 ^=  K[12*4+0];  y1 ^=  K[12*4+1];   y2 ^=  K[12*4+2];  y3 ^=  K[12*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS3:   0  9 10  7 11 14  6 13  3  5 12  2  4  8 15  1 */

/* depth = 3,6,4,4, Total gates=17 */

	t01 = x2  | x3 ;
	t02 = x0  | x3 ;
	t03 = x2  ^ t02;
	t04 = x1  ^ t02;
	t05 = x0  ^ x3 ;
	t06 = t04 & t03;
	t07 = x1  & t01;
	y2  = t05 ^ t06;
	t09 = x0  ^ t03;
	y0  = t07 ^ t03;
	t11 = y0  | t05;
	t12 = t09 & t11;
	t13 = x0  & y2 ;
	t14 = t01 ^ t05;
	y1  = x1  ^ t12;
	t16 = x1  | t13;
	y3  = t14 ^ t16;

   y0 ^=  K[11*4+0];  y1 ^=  K[11*4+1];   y2 ^=  K[11*4+2];  y3 ^=  K[11*4+3] ;
    x2  = ((((   y2  ))<<(32-(  22 )))| (((   y2  ))>>>(  22 ))) ;   x0  = ((((  y0  ))<<(32-(  5 )))| (((  y0  ))>>>(  5 ))) ;   x2  =   x2  ^   y3  ^ (  y1 <<7);   x0  =   x0  ^   y1  ^   y3 ;   x3  = ((((   y3  ))<<(32-(  7 )))| (((   y3  ))>>>(  7 ))) ;   x1  = ((((   y1  ))<<(32-(  1 )))| (((   y1  ))>>>(  1 ))) ;   x3  =   x3  ^   x2  ^ (  x0 )<<3;   x1  =   x1  ^   x0  ^   x2 ;   x2  = ((((   x2  ))<<(32-(  3 )))| (((   x2  ))>>>(  3 ))) ;   x0  = ((((   x0  ))<<(32-(  13 )))| (((   x0  ))>>>(  13 )))  ;

/* InvS2:  12  9 15  4 11 14  1  2  0  3  6 13  5  8 10  7 */

/* depth = 3,6,8,3, Total gates=18 */

	t01 = x0  ^ x3 ;
	t02 = x2  ^ x3 ;
	t03 = x0  & x2 ;
	t04 = x1  | t02;
	y0  = t01 ^ t04;
	t06 = x0  | x2 ;
	t07 = x3  | y0 ;
	t08 =     ~ x3 ;
	t09 = x1  & t06;
	t10 = t08 | t03;
	t11 = x1  & t07;
	t12 = t06 & t02;
	y3  = t09 ^ t10;
	y1  = t12 ^ t11;
	t15 = x2  & y3 ;
	t16 = y0  ^ y1 ;
	t17 = t10 ^ t15;
	y2  = t16 ^ t17;

   y0 ^=  K[10*4+0];  y1 ^=  K[10*4+1];   y2 ^=  K[10*4+2];  y3 ^