[proxmark3-svn] / armsrc / optimized_cipher.c

/*****************************************************************************
 * WARNING
 *
 * THIS CODE IS CREATED FOR EXPERIMENTATION AND EDUCATIONAL USE ONLY. 
 * 
 * USAGE OF THIS CODE IN OTHER WAYS MAY INFRINGE UPON THE INTELLECTUAL 
 * PROPERTY OF OTHER PARTIES, SUCH AS INSIDE SECURE AND HID GLOBAL, 
 * AND MAY EXPOSE YOU TO AN INFRINGEMENT ACTION FROM THOSE PARTIES. 
 * 
 * THIS CODE SHOULD NEVER BE USED TO INFRINGE PATENTS OR INTELLECTUAL PROPERTY RIGHTS. 
 *
 *****************************************************************************
 *
 * This file is part of loclass. It is a reconstructon of the cipher engine
 * used in iClass, and RFID techology.
 *
 * The implementation is based on the work performed by
 * Flavio D. Garcia, Gerhard de Koning Gans, Roel Verdult and
 * Milosch Meriac in the paper "Dismantling IClass".
 *
 * Copyright (C) 2014 Martin Holst Swende
 *
 * This is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License version 2 as published
 * by the Free Software Foundation.
 *
 * This file is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with loclass.  If not, see <http://www.gnu.org/licenses/>.
 * 
 * 
 * 
 ****************************************************************************/

/**

  This file contains an optimized version of the MAC-calculation algorithm. Some measurements on
  a std laptop showed it runs in about 1/3 of the time:

	Std: 0.428962
	Opt: 0.151609

  Additionally, it is self-reliant, not requiring e.g. bitstreams from the cipherutils, thus can
  be easily dropped into a code base.

  The optimizations have been performed in the following steps:
  * Parameters passed by reference instead of by value.
  * Iteration instead of recursion, un-nesting recursive loops into for-loops.
  * Handling of bytes instead of individual bits, for less shuffling and masking
  * Less creation of "objects", structs, and instead reuse of alloc:ed memory
  * Inlining some functions via #define:s

  As a consequence, this implementation is less generic. Also, I haven't bothered documenting this.
  For a thorough documentation, check out the MAC-calculation within cipher.c instead.

  -- MHS 2015
**/

#include "optimized_cipher.h"
#include <stdlib.h>
#include <string.h>
#include <stdbool.h>
#include <stdint.h>


#define opt_T(s) (0x1 & ((s->t >> 15) ^ (s->t >> 14)^ (s->t >> 10)^ (s->t >> 8)^ (s->t >> 5)^ (s->t >> 4)^ (s->t >> 1)^ s->t))

#define opt_B(s) (((s->b >> 6) ^ (s->b >> 5) ^ (s->b >> 4) ^ (s->b)) & 0x1)

#define opt__select(x,y,r)  (4 & (((r & (r << 2)) >> 5) ^ ((r & ~(r << 2)) >> 4) ^ ( (r | r << 2) >> 3)))\
	|(2 & (((r | r << 2) >> 6) ^ ( (r | r << 2) >> 1) ^ (r >> 5) ^ r ^ ((x^y) << 1)))\
	|(1 & (((r & ~(r << 2)) >> 4) ^ ((r & (r << 2)) >> 3) ^ r ^ x))

/*
 * Some background on the expression above can be found here...
uint8_t xopt__select(bool x, bool y, uint8_t r)
{
	uint8_t r_ls2 = r << 2;
	uint8_t r_and_ls2 = r & r_ls2;
	uint8_t r_or_ls2  = r | r_ls2;

	//r:      r0 r1 r2 r3 r4 r5 r6 r7
	//r_ls2:  r2 r3 r4 r5 r6 r7  0  0
	//                       z0
	//                          z1

//	uint8_t z0 = (r0 & r2) ^ (r1 & ~r3) ^ (r2 | r4); // <-- original
	uint8_t z0 = (r_and_ls2 >> 5) ^ ((r & ~r_ls2) >> 4) ^ ( r_or_ls2 >> 3);

//	uint8_t z1 = (r0 | r2) ^ ( r5 | r7) ^ r1 ^ r6 ^ x ^ y;  // <-- original
	uint8_t z1 = (r_or_ls2 >> 6) ^ ( r_or_ls2 >> 1) ^ (r >> 5) ^ r ^ ((x^y) << 1);

//	uint8_t z2 = (r3 & ~r5) ^ (r4 & r6 ) ^ r7 ^ x;  // <-- original
	uint8_t z2 = ((r & ~r_ls2) >> 4) ^ (r_and_ls2 >> 3) ^ r ^ x;

	return (z0 & 4) | (z1 & 2) | (z2 & 1);
}
*/

void opt_successor(const uint8_t* k, State *s, bool y, State* successor)
{

	uint8_t Tt = 1 & opt_T(s);

	successor->t = (s->t >> 1);
	successor->t |= (Tt ^ (s->r >> 7 & 0x1) ^ (s->r >> 3 & 0x1)) << 15;

	successor->b = s->b >> 1;
	successor->b |= (opt_B(s) ^ (s->r & 0x1)) << 7;

	successor->r = (k[opt__select(Tt,y,s->r)] ^ successor->b) + s->l ;
	successor->l = successor->r+s->r;

}

void opt_suc(const uint8_t* k,State* s, uint8_t *in, uint8_t length, bool add32Zeroes)
{
	State x2;
	int i;
	uint8_t head = 0;
	for(i =0 ; i < length  ; i++)
	{
		head = 1 & (in[i] >> 7);
		opt_successor(k,s,head,&x2);

		head = 1 & (in[i] >> 6);
		opt_successor(k,&x2,head,s);

		head = 1 & (in[i] >> 5);
		opt_successor(k,s,head,&x2);

		head = 1 & (in[i] >> 4);
		opt_successor(k,&x2,head,s);

		head = 1 & (in[i] >> 3);
		opt_successor(k,s,head,&x2);

		head = 1 & (in[i] >> 2);
		opt_successor(k,&x2,head,s);

		head = 1 & (in[i] >> 1);
		opt_successor(k,s,head,&x2);

		head = 1 & in[i];
		opt_successor(k,&x2,head,s);

	}
	//For tag MAC, an additional 32 zeroes
	if(add32Zeroes)
		for(i =0 ; i < 16 ; i++)
		{
			opt_successor(k,s,0,&x2);
			opt_successor(k,&x2,0,s);
		}
}

void opt_output(const uint8_t* k,State* s,  uint8_t *buffer)
{
	uint8_t times = 0;
	uint8_t bout = 0;
	State temp = {0,0,0,0};
	for( ; times < 4 ; times++)
	{
		bout =0;
		bout |= (s->r & 0x4) << 5;
		opt_successor(k,s,0,&temp);
		bout |= (temp.r & 0x4) << 4;
		opt_successor(k,&temp,0,s);
		bout |= (s->r & 0x4) << 3;
		opt_successor(k,s,0,&temp);
		bout |= (temp.r & 0x4) << 2;
		opt_successor(k,&temp,0,s);
		bout |= (s->r & 0x4) << 1;
		opt_successor(k,s,0,&temp);
		bout |= (temp.r & 0x4) ;
		opt_successor(k,&temp,0,s);
		bout |= (s->r & 0x4) >> 1;
		opt_successor(k,s,0,&temp);
		bout |= (temp.r & 0x4) >> 2;
		opt_successor(k,&temp,0,s);
		buffer[times] = bout;
	}

}

void opt_MAC(uint8_t* k, uint8_t* input, uint8_t* out)
{
	State _init  =  {
			((k[0] ^ 0x4c) + 0xEC) & 0xFF,// l
			((k[0] ^ 0x4c) + 0x21) & 0xFF,// r
			0x4c, // b
			0xE012 // t
			};

	opt_suc(k,&_init,input,12, false);
	//printf("\noutp ");
	opt_output(k,&_init, out);
}
uint8_t rev_byte(uint8_t b) {
	b = (b & 0xF0) >> 4 | (b & 0x0F) << 4;
	b = (b & 0xCC) >> 2 | (b & 0x33) << 2;
	b = (b & 0xAA) >> 1 | (b & 0x55) << 1;
   return b;
}
void opt_reverse_arraybytecpy(uint8_t* dest, uint8_t *src, size_t len)
{
	uint8_t i;
	for( i =0; i< len ; i++)
		dest[i] = rev_byte(src[i]);
}

void opt_doReaderMAC(uint8_t *cc_nr_p, uint8_t *div_key_p, uint8_t mac[4])
{
	static uint8_t cc_nr[12];

	opt_reverse_arraybytecpy(cc_nr, cc_nr_p,12);
	uint8_t dest []= {0,0,0,0,0,0,0,0};
	opt_MAC(div_key_p,cc_nr, dest);
	//The output MAC must also be reversed
	opt_reverse_arraybytecpy(mac, dest,4);
	return;
}
void opt_doTagMAC(uint8_t *cc_p, const uint8_t *div_key_p, uint8_t mac[4])
{
	static uint8_t cc_nr[8+4+4];
	opt_reverse_arraybytecpy(cc_nr, cc_p,12);
	State _init  =  {
			((div_key_p[0] ^ 0x4c) + 0xEC) & 0xFF,// l
			((div_key_p[0] ^ 0x4c) + 0x21) & 0xFF,// r
			0x4c, // b
			0xE012 // t
			};
	opt_suc(div_key_p,&_init,cc_nr, 12,true);
	uint8_t dest []= {0,0,0,0};
	opt_output(div_key_p,&_init, dest);
	//The output MAC must also be reversed
	opt_reverse_arraybytecpy(mac, dest,4);
	return;

}
/**
 * The tag MAC can be divided (both can, but no point in dividing the reader mac) into
 * two functions, since the first 8 bytes are known, we can pre-calculate the state
 * reached after feeding CC to the cipher.
 * @param cc_p
 * @param div_key_p
 * @return the cipher state
 */
State opt_doTagMAC_1(uint8_t *cc_p, const uint8_t *div_key_p)
{
	static uint8_t cc_nr[8];
	opt_reverse_arraybytecpy(cc_nr, cc_p,8);
	State _init  =  {
			((div_key_p[0] ^ 0x4c) + 0xEC) & 0xFF,// l
			((div_key_p[0] ^ 0x4c) + 0x21) & 0xFF,// r
			0x4c, // b
			0xE012 // t
			};
	opt_suc(div_key_p,&_init,cc_nr, 8,false);
	return _init;
}
/**
 * The second part of the tag MAC calculation, since the CC is already calculated into the state,
 * this function is fed only the NR, and internally feeds the remaining 32 0-bits to generate the tag
 * MAC response.
 * @param _init - precalculated cipher state
 * @param nr - the reader challenge
 * @param mac - where to store the MAC
 * @param div_key_p - the key to use
 */
void opt_doTagMAC_2(State _init,  uint8_t* nr, uint8_t mac[4], const uint8_t* div_key_p)
{
	static uint8_t _nr [4];
	opt_reverse_arraybytecpy(_nr, nr, 4);
	opt_suc(div_key_p,&_init,_nr, 4, true);
	//opt_suc(div_key_p,&_init,nr, 4, false);
	uint8_t dest []= {0,0,0,0};
	opt_output(div_key_p,&_init, dest);
	//The output MAC must also be reversed
	opt_reverse_arraybytecpy(mac, dest,4);
	return;
}
Commit	Line	Data
c99dc845 MHS	1	/*****************************************************************************
	2	* WARNING
	3	*
	4	* THIS CODE IS CREATED FOR EXPERIMENTATION AND EDUCATIONAL USE ONLY.
	5	*
	6	* USAGE OF THIS CODE IN OTHER WAYS MAY INFRINGE UPON THE INTELLECTUAL
	7	* PROPERTY OF OTHER PARTIES, SUCH AS INSIDE SECURE AND HID GLOBAL,
	8	* AND MAY EXPOSE YOU TO AN INFRINGEMENT ACTION FROM THOSE PARTIES.
	9	*
	10	* THIS CODE SHOULD NEVER BE USED TO INFRINGE PATENTS OR INTELLECTUAL PROPERTY RIGHTS.
	11	*
	12	*****************************************************************************
	13	*
	14	* This file is part of loclass. It is a reconstructon of the cipher engine
	15	* used in iClass, and RFID techology.
	16	*
	17	* The implementation is based on the work performed by
	18	* Flavio D. Garcia, Gerhard de Koning Gans, Roel Verdult and
	19	* Milosch Meriac in the paper "Dismantling IClass".
	20	*
	21	* Copyright (C) 2014 Martin Holst Swende
	22	*
	23	* This is free software: you can redistribute it and/or modify
	24	* it under the terms of the GNU General Public License version 2 as published
	25	* by the Free Software Foundation.
	26	*
	27	* This file is distributed in the hope that it will be useful,
	28	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	29	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	30	* GNU General Public License for more details.
	31	*
	32	* You should have received a copy of the GNU General Public License
	33	* along with loclass. If not, see <http://www.gnu.org/licenses/>.
	34	*
	35	*
	36	*
	37	****************************************************************************/
	38
	39	/**
	40
	41	This file contains an optimized version of the MAC-calculation algorithm. Some measurements on
	42	a std laptop showed it runs in about 1/3 of the time:
	43
	44	Std: 0.428962
	45	Opt: 0.151609
	46
	47	Additionally, it is self-reliant, not requiring e.g. bitstreams from the cipherutils, thus can
	48	be easily dropped into a code base.
	49
	50	The optimizations have been performed in the following steps:
	51	* Parameters passed by reference instead of by value.
	52	* Iteration instead of recursion, un-nesting recursive loops into for-loops.
	53	* Handling of bytes instead of individual bits, for less shuffling and masking
	54	* Less creation of "objects", structs, and instead reuse of alloc:ed memory
	55	* Inlining some functions via #define:s
	56
	57	As a consequence, this implementation is less generic. Also, I haven't bothered documenting this.
	58	For a thorough documentation, check out the MAC-calculation within cipher.c instead.
	59
	60	-- MHS 2015
	61	**/
	62
	63	#include "optimized_cipher.h"
c99dc845 MHS	64	#include <stdlib.h>
	65	#include <string.h>
	66	#include <stdbool.h>
	67	#include <stdint.h>
c99dc845	68
c99dc845 MHS	69
	70	#define opt_T(s) (0x1 & ((s->t >> 15) ^ (s->t >> 14)^ (s->t >> 10)^ (s->t >> 8)^ (s->t >> 5)^ (s->t >> 4)^ (s->t >> 1)^ s->t))
	71
	72	#define opt_B(s) (((s->b >> 6) ^ (s->b >> 5) ^ (s->b >> 4) ^ (s->b)) & 0x1)
	73
	74	#define opt__select(x,y,r) (4 & (((r & (r << 2)) >> 5) ^ ((r & ~(r << 2)) >> 4) ^ ( (r \| r << 2) >> 3)))\
	75	\|(2 & (((r \| r << 2) >> 6) ^ ( (r \| r << 2) >> 1) ^ (r >> 5) ^ r ^ ((x^y) << 1)))\
	76	\|(1 & (((r & ~(r << 2)) >> 4) ^ ((r & (r << 2)) >> 3) ^ r ^ x))
	77
	78	/*
	79	* Some background on the expression above can be found here...
	80	uint8_t xopt__select(bool x, bool y, uint8_t r)
	81	{
	82	uint8_t r_ls2 = r << 2;
	83	uint8_t r_and_ls2 = r & r_ls2;
	84	uint8_t r_or_ls2 = r \| r_ls2;
	85
	86	//r: r0 r1 r2 r3 r4 r5 r6 r7
	87	//r_ls2: r2 r3 r4 r5 r6 r7 0 0
	88	// z0
	89	// z1
	90
	91	// uint8_t z0 = (r0 & r2) ^ (r1 & ~r3) ^ (r2 \| r4); // <-- original
	92	uint8_t z0 = (r_and_ls2 >> 5) ^ ((r & ~r_ls2) >> 4) ^ ( r_or_ls2 >> 3);
	93
	94	// uint8_t z1 = (r0 \| r2) ^ ( r5 \| r7) ^ r1 ^ r6 ^ x ^ y; // <-- original
	95	uint8_t z1 = (r_or_ls2 >> 6) ^ ( r_or_ls2 >> 1) ^ (r >> 5) ^ r ^ ((x^y) << 1);
	96
	97	// uint8_t z2 = (r3 & ~r5) ^ (r4 & r6 ) ^ r7 ^ x; // <-- original
	98	uint8_t z2 = ((r & ~r_ls2) >> 4) ^ (r_and_ls2 >> 3) ^ r ^ x;
	99
	100	return (z0 & 4) \| (z1 & 2) \| (z2 & 1);
	101	}
	102	*/
	103
61fe9073	104	void opt_successor(const uint8_t* k, State s, bool y, State successor)
c99dc845 MHS	105	{
	106
	107	uint8_t Tt = 1 & opt_T(s);
	108
	109	successor->t = (s->t >> 1);
	110	successor->t \|= (Tt ^ (s->r >> 7 & 0x1) ^ (s->r >> 3 & 0x1)) << 15;
	111
	112	successor->b = s->b >> 1;
	113	successor->b \|= (opt_B(s) ^ (s->r & 0x1)) << 7;
	114
	115	successor->r = (k[opt__select(Tt,y,s->r)] ^ successor->b) + s->l ;
	116	successor->l = successor->r+s->r;
	117
	118	}
	119
61fe9073	120	void opt_suc(const uint8_t* k,State* s, uint8_t *in, uint8_t length, bool add32Zeroes)
c99dc845 MHS	121	{
	122	State x2;
	123	int i;
	124	uint8_t head = 0;
61fe9073	125	for(i =0 ; i < length ; i++)
c99dc845 MHS	126	{
	127	head = 1 & (in[i] >> 7);
	128	opt_successor(k,s,head,&x2);
	129
	130	head = 1 & (in[i] >> 6);
	131	opt_successor(k,&x2,head,s);
	132
	133	head = 1 & (in[i] >> 5);
	134	opt_successor(k,s,head,&x2);
	135
	136	head = 1 & (in[i] >> 4);
	137	opt_successor(k,&x2,head,s);
	138
	139	head = 1 & (in[i] >> 3);
	140	opt_successor(k,s,head,&x2);
	141
	142	head = 1 & (in[i] >> 2);
	143	opt_successor(k,&x2,head,s);
	144
	145	head = 1 & (in[i] >> 1);
	146	opt_successor(k,s,head,&x2);
	147
	148	head = 1 & in[i];
	149	opt_successor(k,&x2,head,s);
	150
	151	}
61fe9073 MHS	152	//For tag MAC, an additional 32 zeroes
	153	if(add32Zeroes)
	154	for(i =0 ; i < 16 ; i++)
	155	{
	156	opt_successor(k,s,0,&x2);
	157	opt_successor(k,&x2,0,s);
	158	}
c99dc845 MHS	159	}
c99dc845 MHS	160
61fe9073	161	void opt_output(const uint8_t* k,State* s, uint8_t *buffer)
c99dc845 MHS	162	{
	163	uint8_t times = 0;
	164	uint8_t bout = 0;
	165	State temp = {0,0,0,0};
	166	for( ; times < 4 ; times++)
	167	{
	168	bout =0;
	169	bout \|= (s->r & 0x4) << 5;
	170	opt_successor(k,s,0,&temp);
	171	bout \|= (temp.r & 0x4) << 4;
	172	opt_successor(k,&temp,0,s);
	173	bout \|= (s->r & 0x4) << 3;
	174	opt_successor(k,s,0,&temp);
	175	bout \|= (temp.r & 0x4) << 2;
	176	opt_successor(k,&temp,0,s);
	177	bout \|= (s->r & 0x4) << 1;
	178	opt_successor(k,s,0,&temp);
	179	bout \|= (temp.r & 0x4) ;
	180	opt_successor(k,&temp,0,s);
	181	bout \|= (s->r & 0x4) >> 1;
	182	opt_successor(k,s,0,&temp);
	183	bout \|= (temp.r & 0x4) >> 2;
	184	opt_successor(k,&temp,0,s);
	185	buffer[times] = bout;
	186	}
	187
	188	}
	189
	190	void opt_MAC(uint8_t* k, uint8_t* input, uint8_t* out)
	191	{
	192	State _init = {
	193	((k[0] ^ 0x4c) + 0xEC) & 0xFF,// l
	194	((k[0] ^ 0x4c) + 0x21) & 0xFF,// r
	195	0x4c, // b
	196	0xE012 // t
	197	};
	198
61fe9073	199	opt_suc(k,&_init,input,12, false);
c99dc845 MHS	200	//printf("\noutp ");
	201	opt_output(k,&_init, out);
	202	}
	203	uint8_t rev_byte(uint8_t b) {
	204	b = (b & 0xF0) >> 4 \| (b & 0x0F) << 4;
	205	b = (b & 0xCC) >> 2 \| (b & 0x33) << 2;
	206	b = (b & 0xAA) >> 1 \| (b & 0x55) << 1;
	207	return b;
	208	}
	209	void opt_reverse_arraybytecpy(uint8_t* dest, uint8_t *src, size_t len)
	210	{
	211	uint8_t i;
	212	for( i =0; i< len ; i++)
	213	dest[i] = rev_byte(src[i]);
	214	}
	215
61fe9073	216	void opt_doReaderMAC(uint8_t cc_nr_p, uint8_t div_key_p, uint8_t mac[4])
c99dc845	217	{
61fe9073	218	static uint8_t cc_nr[12];
c99dc845 MHS	219
c99dc845 MHS	220	opt_reverse_arraybytecpy(cc_nr, cc_nr_p,12);
c99dc845	221	uint8_t dest []= {0,0,0,0,0,0,0,0};
61fe9073 MHS	222	opt_MAC(div_key_p,cc_nr, dest);
	223	//The output MAC must also be reversed
	224	opt_reverse_arraybytecpy(mac, dest,4);
	225	return;
	226	}
	227	void opt_doTagMAC(uint8_t cc_p, const uint8_t div_key_p, uint8_t mac[4])
	228	{
	229	static uint8_t cc_nr[8+4+4];
	230	opt_reverse_arraybytecpy(cc_nr, cc_p,12);
	231	State _init = {
	232	((div_key_p[0] ^ 0x4c) + 0xEC) & 0xFF,// l
	233	((div_key_p[0] ^ 0x4c) + 0x21) & 0xFF,// r
	234	0x4c, // b
	235	0xE012 // t
	236	};
	237	opt_suc(div_key_p,&_init,cc_nr, 12,true);
	238	uint8_t dest []= {0,0,0,0};
	239	opt_output(div_key_p,&_init, dest);
	240	//The output MAC must also be reversed
	241	opt_reverse_arraybytecpy(mac, dest,4);
	242	return;
	243
	244	}
	245	/**
	246	* The tag MAC can be divided (both can, but no point in dividing the reader mac) into
	247	* two functions, since the first 8 bytes are known, we can pre-calculate the state
	248	* reached after feeding CC to the cipher.
	249	* @param cc_p
	250	* @param div_key_p
	251	* @return the cipher state
	252	*/
	253	State opt_doTagMAC_1(uint8_t cc_p, const uint8_t div_key_p)
	254	{
	255	static uint8_t cc_nr[8];
	256	opt_reverse_arraybytecpy(cc_nr, cc_p,8);
	257	State _init = {
	258	((div_key_p[0] ^ 0x4c) + 0xEC) & 0xFF,// l
	259	((div_key_p[0] ^ 0x4c) + 0x21) & 0xFF,// r
	260	0x4c, // b
	261	0xE012 // t
	262	};
	263	opt_suc(div_key_p,&_init,cc_nr, 8,false);
	264	return _init;
	265	}
	266	/**
	267	* The second part of the tag MAC calculation, since the CC is already calculated into the state,
	268	* this function is fed only the NR, and internally feeds the remaining 32 0-bits to generate the tag
	269	* MAC response.
	270	* @param _init - precalculated cipher state
	271	* @param nr - the reader challenge
	272	* @param mac - where to store the MAC
	273	* @param div_key_p - the key to use
	274	*/
	275	void opt_doTagMAC_2(State _init, uint8_t* nr, uint8_t mac[4], const uint8_t* div_key_p)
	276	{
	277	static uint8_t _nr [4];
	278	opt_reverse_arraybytecpy(_nr, nr, 4);
	279	opt_suc(div_key_p,&_init,_nr, 4, true);
	280	//opt_suc(div_key_p,&_init,nr, 4, false);
	281	uint8_t dest []= {0,0,0,0};
	282	opt_output(div_key_p,&_init, dest);
c99dc845	283	//The output MAC must also be reversed
61fe9073	284	opt_reverse_arraybytecpy(mac, dest,4);
c99dc845 MHS	285	return;
c99dc845 MHS	286	}