src/add_developedtweakey/tweakey.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

#ifndef TWEAKEY_H
#define TWEAKEY_H

#include <stdint.h>

#include "parameters.h"


void tweakey_state_init(
    uint8_t TK[TWEAKEY_BYTES],
    const uint8_t key[KEY_BYTES],
    const uint8_t tweak[TWEAK_BYTES]
);

void tweakey_state_extract(
    const uint8_t TK[TWEAKEY_BYTES],
    uint8_t round_constant,
    uint8_t round_tweakey[ROUND_TWEAKEY_BYTES] /* output */
);

void tweakey_state_update(uint8_t TK[TWEAKEY_BYTES]);

#endif /* TWEAKEY_H */