#ifndef TWEAKEY_H
#define TWEAKEY_H

#include <stdio.h>              /* debug */
#include <stdint.h>

#include "parameters.h"


struct tweakey_state
{
    FILE* debug;
    uint8_t TK[TWEAKEY_BYTES];
};

typedef struct tweakey_state tweakey_state;


void tweakey_state_init(
    tweakey_state *TK,
    const uint8_t key[KEY_BYTES],
    const uint8_t tweak[TWEAK_BYTES],
    FILE* debug
);

void tweakey_state_extract(
    const tweakey_state *TK,
    uint8_t round_tweakey[ROUND_TWEAKEY_BYTES], /* output */
    uint8_t i                                   /* round constant */
);

void tweakey_state_update(tweakey_state *TK);

#endif /* TWEAKEY_H */