#include "tweakey.h"


void tweakey_state_init(
    tweakey_state *TK,
    const uint8_t key[KEY_LENGTH_BITS/8],
    const uint8_t tweak[TWEAK_LENGTH_BITS/8],
    FILE* debug
)
{
    
}


void tweakey_state_extract(
    const tweakey_state *TK,
    uint8_t round_tweakey[ROUND_TWEAKEY_BITS/8], /* output */
    uint8_t i                                    /* round constant */
)
{
    
}


void tweakey_state_update(tweakey_state *TK)
{
    
}