DEGREE
uint16_t *curr = out->c, *end = curr + DEGREE;
static __owur int scalar_decode_12(scalar *out, const uint8_t in[3 * DEGREE / 2])
for (i = 0; i < DEGREE / 2; ++i) {
scalar_decode_decompress_add(scalar *out, const uint8_t in[DEGREE / 8])
uint16_t *curr = out->c, *end = curr + DEGREE;
for (i = 0; i < DEGREE; i++)
for (i = 0; i < DEGREE; i++)
int stride = bits * DEGREE / 8;
int stride = bits * DEGREE / 8;
static __owur int vector_decode_12(scalar *out, const uint8_t in[3 * DEGREE / 2], int rank)
int stride = 3 * DEGREE / 2;
#define VECTOR_BYTES(b) ((3 * DEGREE / 2) * ML_KEM_##b##_RANK)
uint16_t *curr = out->c, *end = curr + DEGREE;
uint8_t randbuf[4 * DEGREE / 8], *r = randbuf; /* 64 * eta slots */
uint16_t *curr = out->c, *end = curr + DEGREE;
uint8_t randbuf[6 * DEGREE / 8], *r = randbuf; /* 64 * eta slots */
#define U_VECTOR_BYTES(b) ((DEGREE / 8) * ML_KEM_##b##_DU * ML_KEM_##b##_RANK)
#define V_SCALAR_BYTES(b) ((DEGREE / 8) * ML_KEM_##b##_DV)
const uint8_t message[DEGREE / 8],
uint8_t buf[3 * DEGREE / 2];
uint16_t *curr = out->c, *endout = curr + DEGREE;
uint16_t *curr = s->c, *end = curr + DEGREE, tmp;
uint16_t *end = s->c + DEGREE;
int offset = DEGREE / 2;
uint16_t *end = s->c + DEGREE;
} while ((offset <<= 1) < DEGREE);
for (i = 0; i < DEGREE; i++)
for (i = 0; i < DEGREE; i++)
uint16_t *curr = out->c, *end = curr + DEGREE;
uint16_t *curr = out->c, *end = curr + DEGREE;
const uint16_t *curr = s->c, *end = curr + DEGREE;
static void scalar_encode_1(uint8_t out[DEGREE / 8], const scalar *s)
for (i = 0; i < DEGREE; i += 8) {
USLCOM_DEV(SILABS, DEGREE),