#include "aes256ctr.h"
#include "params.h"
#include "symmetric.h"
#include <stddef.h>
#include <stdint.h>

void PQCLEAN_KYBER51290S_CLEAN_kyber_aes256xof_absorb(aes256ctr_ctx *state, const uint8_t seed[32], uint8_t x, uint8_t y) {
    uint8_t expnonce[12] = {0};
    expnonce[0] = x;
    expnonce[1] = y;
    PQCLEAN_KYBER51290S_CLEAN_aes256ctr_init(state, seed, expnonce);
}

void PQCLEAN_KYBER51290S_CLEAN_kyber_aes256ctr_prf(uint8_t *out, size_t outlen, const uint8_t key[32], uint8_t nonce) {
    uint8_t expnonce[12] = {0};
    expnonce[0] = nonce;
    PQCLEAN_KYBER51290S_CLEAN_aes256ctr_prf(out, outlen, key, expnonce);
}