lib-q-hqc 0.0.4

//! HQC Parameters - Correct Implementation
//!
//! This module defines the correct HQC parameters based on the reference implementation.
//! HQC uses Reed-Solomon + Reed-Muller concatenated codes, not BCH codes.

use core::fmt;

use lib_q_types::hqc;

/// HQC parameter set trait
pub trait HqcParams: Clone + fmt::Debug + PartialEq {
    /// Security level in bits
    const SECURITY_LEVEL: usize;
    /// Parameter N (polynomial degree)
    const N: usize;
    /// Parameter N1 (Reed-Solomon code length)
    const N1: usize;
    /// Parameter N2 (Reed-Muller code length)
    const N2: usize;
    /// Parameter N1N2 (concatenated code length in bits)
    const N1N2: usize;
    /// Parameter K (Reed-Solomon information bits)
    const K: usize;
    /// Parameter OMEGA (weight for x, y)
    const OMEGA: usize;
    /// Parameter OMEGA_E (weight for error e)
    const OMEGA_E: usize;
    /// Parameter OMEGA_R (weight for r1, r2)
    const OMEGA_R: usize;
    /// Reed-Solomon error correction capacity
    const DELTA: usize;
    /// Galois field degree m for GF(2^m)
    const M: usize;
    /// Generator polynomial of GF(2^M)
    const GF_POLY: u16;
    /// Size of multiplicative group of GF(2^M)
    const GF_MUL_ORDER: usize;
    /// Generator polynomial size for Reed-Solomon
    const G: usize;
    /// FFT exponent (2^FFT points)
    const FFT: usize;

    /// Serialized KEM secret key size in bytes (same as `lib_q_types::hqc` for this parameter set).
    const SECRET_KEY_BYTES: usize;
    /// KEM public key size in bytes (same as `lib_q_types::hqc`).
    const PUBLIC_KEY_BYTES: usize;
    /// KEM ciphertext size in bytes (same as `lib_q_types::hqc`).
    const CIPHERTEXT_BYTES: usize;
    /// Shared secret size in bytes
    const SHARED_SECRET_BYTES: usize;

    /// Seed size in bytes
    const SEED_BYTES: usize;
    /// Salt size in bytes
    const SALT_BYTES: usize;

    /// Vector sizes in bytes
    const VEC_N_SIZE_BYTES: usize;
    const VEC_N1_SIZE_BYTES: usize;
    const VEC_N1N2_SIZE_BYTES: usize;

    /// Vector sizes in 64-bit words
    const VEC_N_SIZE_64: usize;
    const VEC_N1_SIZE_64: usize;
    const VEC_N1N2_SIZE_64: usize;

    /// Padded polynomial bit-length for the reference AVX2 multiply (`PARAM_N_MULT` in submission `parameters.h`).
    const PARAM_N_MULT: usize;
    /// `(CEIL_DIVIDE(PARAM_N_MULT, 256) << 2)` — u64 slots reserved for a 256-bit–aligned operand view (`VEC_N_256_SIZE_64` in the reference).
    const VEC_N_256_SIZE_64: usize;

    /// Barrett reduction multiplier: floor(2^32 / N)
    const N_MU: u64;
    /// Rejection threshold for uniform sampling in [0, N)
    const UTILS_REJECTION_THRESHOLD: u32;

    /// Reed-Solomon generator polynomial coefficients
    const RS_POLY_COEFS: &'static [u8];

    /// Precomputed Galois‐field powers for Reed–Solomon operations
    /// `alpha_ij_pow[i][j] = α^(i⋅j)` for i in [0…31], j in [0…54]
    const ALPHA_IJ_POW: &'static [[u16; 55]; 32];
}

/// HQC-1 parameters (128-bit security)
#[derive(Debug, Clone, PartialEq)]
pub struct Hqc1Params;

impl HqcParams for Hqc1Params {
    const SECURITY_LEVEL: usize = 128;
    const N: usize = 17669; // Official HQC-1 parameter
    const N1: usize = 46; // Official HQC-1 parameter
    const N2: usize = 384; // Reference parameter (PARAM_N2 in parameters.h)
    const N1N2: usize = 17664; // Reference parameter (N1 * N2 = 46 * 384)
    const K: usize = 16; // Official HQC-1 parameter
    const OMEGA: usize = 66; // Official HQC-1 parameter
    const OMEGA_E: usize = 75; // Official HQC-1 parameter
    const OMEGA_R: usize = 75; // Official HQC-1 parameter
    const DELTA: usize = 15; // Official HQC-1 parameter
    const M: usize = 8; // Official HQC-1 parameter
    const GF_POLY: u16 = 0x11D; // Official HQC-1 parameter
    const GF_MUL_ORDER: usize = 255; // Official HQC-1 parameter
    const G: usize = 31; // Matches RS_POLY_COEFS array length
    const FFT: usize = 4;

    const SECRET_KEY_BYTES: usize = hqc::HQC128_SECRET_KEY_BYTES;
    const PUBLIC_KEY_BYTES: usize = hqc::HQC128_PUBLIC_KEY_BYTES;
    const CIPHERTEXT_BYTES: usize = hqc::HQC128_CIPHERTEXT_BYTES;
    const SHARED_SECRET_BYTES: usize = 32; // 2025 specification: reduced from 40 to 32 bytes

    const SEED_BYTES: usize = 32;
    const SALT_BYTES: usize = 16;

    const VEC_N_SIZE_BYTES: usize = 2209; // CEIL_DIVIDE(17669, 8)
    const VEC_N1_SIZE_BYTES: usize = 46; // PARAM_N1 directly
    const VEC_N1N2_SIZE_BYTES: usize = 2208; // CEIL_DIVIDE(17664, 8)

    const VEC_N_SIZE_64: usize = 277; // CEIL_DIVIDE(17669, 64)
    const VEC_N1_SIZE_64: usize = 6; // CEIL_DIVIDE(46, 8)
    const VEC_N1N2_SIZE_64: usize = 276; // CEIL_DIVIDE(17664, 64)

    const PARAM_N_MULT: usize = 18_048;
    const VEC_N_256_SIZE_64: usize = Self::PARAM_N_MULT.div_ceil(256) << 2; // 284

    const N_MU: u64 = 243079; // Official HQC-1 parameter: floor(2^32 / 17669)
    const UTILS_REJECTION_THRESHOLD: u32 = 16767881; // Official HQC-1 parameter

    const RS_POLY_COEFS: &'static [u8] = &[
        89, 69, 153, 116, 176, 117, 111, 75, 73, 233, 242, 233, 65, 210, 21, 139, 103, 173, 67,
        118, 105, 210, 174, 110, 74, 69, 228, 82, 255, 181, 1,
    ];

    const ALPHA_IJ_POW: &'static [[u16; 55]; 32] = &[
        [
            2, 4, 8, 16, 32, 64, 128, 29, 58, 116, 232, 205, 135, 19, 38, 76, 152, 45, 90, 180,
            117, 234, 201, 143, 3, 6, 12, 24, 48, 96, 192, 157, 39, 78, 156, 37, 74, 148, 53, 106,
            212, 181, 119, 238, 193, 159, 35, 70, 140, 5, 10, 20, 40, 80, 160,
        ],
        [
            4, 16, 64, 29, 116, 205, 19, 76, 45, 180, 234, 143, 6, 24, 96, 157, 78, 37, 148, 106,
            181, 238, 159, 70, 5, 20, 80, 93, 105, 185, 222, 95, 97, 153, 94, 101, 137, 30, 120,
            253, 211, 107, 177, 254, 223, 91, 113, 217, 67, 17, 68, 13, 52, 208, 103,
        ],
        [
            8, 64, 58, 205, 38, 45, 117, 143, 12, 96, 39, 37, 53, 181, 193, 70, 10, 80, 186, 185,
            161, 97, 47, 101, 15, 120, 231, 107, 127, 223, 182, 217, 134, 68, 26, 208, 206, 62,
            237, 59, 197, 102, 23, 184, 169, 33, 21, 168, 41, 85, 146, 228, 115, 191, 145,
        ],
        [
            16, 29, 205, 76, 180, 143, 24, 157, 37, 106, 238, 70, 20, 93, 185, 95, 153, 101, 30,
            253, 107, 254, 91, 217, 17, 13, 208, 129, 248, 59, 151, 133, 184, 79, 132, 168, 82, 73,
            228, 230, 198, 252, 123, 227, 150, 149, 165, 130, 200, 28, 221, 81, 121, 195, 172,
        ],
        [
            32, 116, 38, 180, 3, 96, 156, 106, 193, 5, 160, 185, 190, 94, 15, 253, 214, 223, 226,
            17, 26, 103, 124, 59, 51, 46, 169, 132, 77, 85, 114, 230, 145, 215, 255, 150, 55, 174,
            100, 28, 167, 89, 239, 172, 36, 244, 235, 44, 233, 108, 1, 32, 116, 38, 180,
        ],
        [
            64, 205, 45, 143, 96, 37, 181, 70, 80, 185, 97, 101, 120, 107, 223, 217, 68, 208, 62,
            59, 102, 184, 33, 168, 85, 228, 191, 252, 241, 150, 110, 130, 7, 221, 89, 195, 138, 61,
            251, 44, 207, 173, 8, 58, 38, 117, 12, 39, 53, 193, 10, 186, 161, 47, 15,
        ],
        [
            128, 19, 117, 24, 156, 181, 140, 93, 161, 94, 60, 107, 163, 67, 26, 129, 147, 102, 109,
            132, 41, 57, 209, 252, 255, 98, 87, 200, 224, 89, 155, 18, 245, 11, 233, 173, 16, 232,
            45, 3, 157, 53, 159, 40, 185, 194, 137, 231, 254, 226, 68, 189, 248, 197, 46,
        ],
        [
            29, 76, 143, 157, 106, 70, 93, 95, 101, 253, 254, 217, 13, 129, 59, 133, 79, 168, 73,
            230, 252, 227, 149, 130, 28, 81, 195, 18, 247, 44, 27, 2, 58, 152, 3, 39, 212, 140,
            186, 190, 202, 231, 225, 175, 26, 31, 118, 23, 158, 77, 146, 209, 229, 219, 55,
        ],
        [
            58, 45, 12, 37, 193, 80, 161, 101, 231, 223, 134, 208, 237, 102, 169, 168, 146, 191,
            179, 150, 87, 7, 166, 195, 36, 251, 125, 173, 64, 38, 143, 39, 181, 10, 185, 47, 120,
            127, 217, 26, 62, 197, 184, 21, 85, 115, 252, 219, 110, 100, 221, 242, 138, 245, 44,
        ],
        [
            116, 180, 96, 106, 5, 185, 94, 253, 223, 17, 103, 59, 46, 132, 85, 230, 215, 150, 174,
            28, 89, 172, 244, 44, 108, 32, 38, 3, 156, 193, 160, 190, 15, 214, 226, 26, 124, 51,
            169, 77, 114, 145, 255, 55, 100, 167, 239, 36, 235, 233, 1, 116, 180, 96, 106,
        ],
        [
            232, 234, 39, 238, 160, 97, 60, 254, 134, 103, 118, 184, 84, 57, 145, 227, 220, 7, 162,
            172, 245, 176, 71, 58, 180, 192, 181, 40, 95, 15, 177, 175, 208, 147, 46, 21, 73, 99,
            241, 55, 200, 166, 43, 122, 44, 216, 128, 45, 48, 106, 10, 222, 202, 107, 226,
        ],
        [
            205, 143, 37, 70, 185, 101, 107, 217, 208, 59, 184, 168, 228, 252, 150, 130, 221, 195,
            61, 44, 173, 58, 117, 39, 193, 186, 47, 231, 182, 26, 237, 23, 21, 146, 145, 219, 87,
            56, 242, 36, 139, 54, 64, 45, 96, 181, 80, 97, 120, 223, 68, 62, 102, 33, 85,
        ],
        [
            135, 6, 53, 20, 190, 120, 163, 13, 237, 46, 84, 228, 229, 98, 100, 81, 69, 251, 131,
            32, 45, 192, 238, 186, 94, 187, 217, 189, 236, 169, 82, 209, 241, 220, 28, 242, 72, 22,
            173, 116, 201, 37, 140, 222, 15, 254, 34, 62, 204, 132, 146, 63, 75, 130, 167,
        ],
        [
            19, 24, 181, 93, 94, 107, 67, 129, 102, 132, 57, 252, 98, 200, 89, 18, 11, 173, 232, 3,
            53, 40, 194, 231, 226, 189, 197, 158, 170, 145, 75, 25, 166, 69, 235, 54, 29, 234, 37,
            5, 95, 120, 91, 52, 59, 218, 82, 191, 227, 174, 221, 43, 247, 207, 32,
        ],
        [
            38, 96, 193, 185, 15, 223, 26, 59, 169, 85, 145, 150, 100, 89, 36, 44, 1, 38, 96, 193,
            185, 15, 223, 26, 59, 169, 85, 145, 150, 100, 89, 36, 44, 1, 38, 96, 193, 185, 15, 223,
            26, 59, 169, 85, 145, 150, 100, 89, 36, 44, 1, 38, 96, 193, 185,
        ],
        [
            76, 157, 70, 95, 253, 217, 129, 133, 168, 230, 227, 130, 81, 18, 44, 2, 152, 39, 140,
            190, 231, 175, 31, 23, 77, 209, 219, 25, 162, 36, 88, 4, 45, 78, 5, 97, 211, 67, 62,
            46, 154, 191, 171, 50, 89, 72, 176, 8, 90, 156, 10, 194, 187, 134, 124,
        ],
        [
            152, 78, 10, 153, 214, 68, 147, 79, 146, 215, 220, 221, 69, 11, 1, 152, 78, 10, 153,
            214, 68, 147, 79, 146, 215, 220, 221, 69, 11, 1, 152, 78, 10, 153, 214, 68, 147, 79,
            146, 215, 220, 221, 69, 11, 1, 152, 78, 10, 153, 214, 68, 147, 79, 146, 215,
        ],
        [
            45, 37, 80, 101, 223, 208, 102, 168, 191, 150, 7, 195, 251, 173, 38, 39, 10, 47, 127,
            26, 197, 21, 115, 219, 100, 242, 245, 54, 205, 96, 70, 97, 107, 68, 59, 33, 228, 241,
            130, 89, 61, 207, 58, 12, 193, 161, 231, 134, 237, 169, 146, 179, 87, 166, 36,
        ],
        [
            90, 148, 186, 30, 226, 62, 109, 73, 179, 174, 162, 61, 131, 232, 96, 140, 153, 127, 52,
            51, 168, 99, 98, 56, 172, 22, 8, 234, 212, 185, 240, 67, 237, 79, 114, 241, 25, 121,
            245, 108, 19, 39, 20, 188, 223, 189, 133, 41, 63, 55, 221, 9, 176, 64, 3,
        ],
        [
            180, 106, 185, 253, 17, 59, 132, 230, 150, 28, 172, 44, 32, 3, 193, 190, 214, 26, 51,
            77, 145, 55, 167, 36, 233, 116, 96, 5, 94, 223, 103, 46, 85, 215, 174, 89, 244, 108,
            38, 156, 160, 15, 226, 124, 169, 114, 255, 100, 239, 235, 1, 180, 106, 185, 253,
        ],
        [
            117, 181, 161, 107, 26, 102, 41, 252, 87, 89, 245, 173, 45, 53, 185, 231, 68, 197, 168,
            145, 110, 166, 61, 54, 38, 37, 186, 120, 134, 59, 21, 191, 196, 221, 36, 207, 205, 39,
            80, 15, 217, 237, 33, 115, 150, 56, 138, 125, 58, 96, 10, 101, 182, 62, 169,
        ],
        [
            234, 238, 97, 254, 103, 184, 57, 227, 7, 172, 176, 58, 192, 40, 15, 175, 147, 21, 99,
            55, 166, 122, 216, 45, 106, 222, 107, 52, 133, 85, 123, 50, 195, 11, 32, 12, 140, 188,
            182, 124, 158, 115, 49, 224, 36, 131, 19, 37, 105, 253, 68, 151, 154, 252, 174,
        ],
        [
            201, 159, 47, 91, 124, 33, 209, 149, 166, 244, 71, 117, 238, 194, 223, 31, 79, 115, 98,
            167, 61, 216, 90, 181, 190, 254, 206, 218, 213, 150, 224, 72, 54, 152, 106, 161, 177,
            189, 184, 114, 171, 56, 18, 131, 38, 148, 111, 107, 104, 46, 146, 227, 14, 138, 233,
        ],
        [
            143, 70, 101, 217, 59, 168, 252, 130, 195, 44, 58, 39, 186, 231, 26, 23, 146, 219, 56,
            36, 54, 45, 181, 97, 223, 62, 33, 191, 110, 89, 251, 8, 12, 10, 15, 134, 197, 41, 179,
            100, 86, 125, 205, 37, 185, 107, 208, 184, 228, 150, 221, 61, 173, 117, 193,
        ],
        [
            3, 5, 15, 17, 51, 85, 255, 28, 36, 108, 180, 193, 94, 226, 59, 77, 215, 100, 172, 233,
            38, 106, 190, 223, 124, 132, 145, 174, 239, 44, 116, 156, 185, 214, 103, 169, 230, 55,
            89, 235, 32, 96, 160, 253, 26, 46, 114, 150, 167, 244, 1, 3, 5, 15, 17,
        ],
        [
            6, 20, 120, 13, 46, 228, 98, 81, 251, 32, 192, 186, 187, 189, 169, 209, 220, 242, 22,
            116, 37, 222, 254, 62, 132, 63, 130, 43, 250, 38, 212, 194, 182, 147, 77, 179, 141, 9,
            54, 180, 159, 101, 67, 151, 85, 227, 112, 61, 142, 3, 10, 60, 136, 23, 114,
        ],
        [
            12, 80, 231, 208, 169, 191, 87, 195, 125, 38, 181, 47, 217, 197, 85, 219, 221, 245, 8,
            96, 186, 107, 206, 33, 145, 130, 86, 207, 45, 193, 101, 134, 102, 146, 150, 166, 251,
            64, 39, 185, 127, 62, 21, 252, 100, 138, 54, 117, 70, 15, 68, 23, 228, 196, 89,
        ],
        [
            24, 93, 107, 129, 132, 252, 200, 18, 173, 3, 40, 231, 189, 158, 145, 25, 69, 54, 234,
            5, 120, 52, 218, 191, 174, 43, 207, 90, 35, 15, 136, 92, 115, 220, 239, 125, 76, 238,
            101, 17, 133, 228, 149, 121, 44, 135, 212, 47, 175, 51, 146, 49, 162, 139, 116,
        ],
        [
            48, 105, 127, 248, 77, 241, 224, 247, 64, 156, 95, 182, 236, 170, 150, 162, 11, 205,
            212, 94, 134, 133, 213, 110, 239, 250, 45, 35, 30, 26, 218, 99, 130, 69, 108, 143, 40,
            211, 206, 132, 229, 7, 144, 2, 96, 210, 254, 237, 154, 255, 221, 243, 128, 37, 190,
        ],
        [
            96, 185, 223, 59, 85, 150, 89, 44, 38, 193, 15, 26, 169, 145, 100, 36, 1, 96, 185, 223,
            59, 85, 150, 89, 44, 38, 193, 15, 26, 169, 145, 100, 36, 1, 96, 185, 223, 59, 85, 150,
            89, 44, 38, 193, 15, 26, 169, 145, 100, 36, 1, 96, 185, 223, 59,
        ],
        [
            192, 222, 182, 151, 114, 110, 155, 27, 143, 160, 177, 237, 82, 75, 89, 88, 152, 70,
            240, 103, 21, 123, 224, 251, 116, 212, 101, 136, 218, 145, 200, 144, 8, 78, 190, 217,
            204, 183, 87, 172, 216, 12, 105, 225, 59, 170, 98, 242, 250, 180, 10, 211, 31, 168,
            255,
        ],
        [
            157, 95, 217, 133, 230, 130, 18, 2, 39, 190, 175, 23, 209, 25, 36, 4, 78, 97, 67, 46,
            191, 50, 72, 8, 156, 194, 134, 92, 99, 100, 144, 16, 37, 153, 17, 184, 198, 200, 61,
            32, 74, 47, 34, 109, 145, 141, 122, 64, 148, 94, 68, 218, 63, 7, 244,
        ],
    ];
}

/// HQC-3 parameters (192-bit security)
#[derive(Debug, Clone, PartialEq)]
pub struct Hqc3Params;

impl HqcParams for Hqc3Params {
    const SECURITY_LEVEL: usize = 192;
    const N: usize = 35851;
    const N1: usize = 56;
    const N2: usize = 640;
    const N1N2: usize = 35840;
    const K: usize = 24;
    const OMEGA: usize = 103; // NIST Oct 2024 specification
    const OMEGA_E: usize = 114;
    const OMEGA_R: usize = 115;
    const DELTA: usize = 16;
    const M: usize = 8;
    const GF_POLY: u16 = 0x11D;
    const GF_MUL_ORDER: usize = 255;
    const G: usize = 33;
    const FFT: usize = 5;

    const SECRET_KEY_BYTES: usize = hqc::HQC192_SECRET_KEY_BYTES;
    const PUBLIC_KEY_BYTES: usize = hqc::HQC192_PUBLIC_KEY_BYTES;
    const CIPHERTEXT_BYTES: usize = hqc::HQC192_CIPHERTEXT_BYTES;
    const SHARED_SECRET_BYTES: usize = 32; // 2025 specification: reduced from 40 to 32 bytes

    const SEED_BYTES: usize = 32;
    const SALT_BYTES: usize = 16;

    const VEC_N_SIZE_BYTES: usize = 4482; // CEIL_DIVIDE(35851, 8)
    const VEC_N1_SIZE_BYTES: usize = 56; // PARAM_N1 directly
    const VEC_N1N2_SIZE_BYTES: usize = 4480; // CEIL_DIVIDE(35840, 8)

    const VEC_N_SIZE_64: usize = 561; // CEIL_DIVIDE(35851, 64)
    const VEC_N1_SIZE_64: usize = 1; // CEIL_DIVIDE(7, 8) rounded up
    const VEC_N1N2_SIZE_64: usize = 560; // CEIL_DIVIDE(35840, 64)

    const PARAM_N_MULT: usize = 36_480;
    const VEC_N_256_SIZE_64: usize = Self::PARAM_N_MULT.div_ceil(256) << 2; // 572

    const N_MU: u64 = 119800;
    const UTILS_REJECTION_THRESHOLD: u32 = 16742417;

    const RS_POLY_COEFS: &'static [u8] = &[
        45, 216, 239, 24, 253, 104, 27, 40, 107, 50, 163, 210, 227, 134, 224, 158, 119, 13, 158, 1,
        238, 164, 82, 43, 15, 232, 246, 142, 50, 189, 29, 232, 1,
    ];

    const ALPHA_IJ_POW: &'static [[u16; 55]; 32] = &[
        [
            2, 4, 8, 16, 32, 64, 128, 29, 58, 116, 232, 205, 135, 19, 38, 76, 152, 45, 90, 180,
            117, 234, 201, 143, 3, 6, 12, 24, 48, 96, 192, 157, 39, 78, 156, 37, 74, 148, 53, 106,
            212, 181, 119, 238, 193, 159, 35, 70, 140, 5, 10, 20, 40, 80, 160,
        ],
        [
            4, 16, 64, 29, 116, 205, 19, 76, 45, 180, 234, 143, 6, 24, 96, 157, 78, 37, 148, 106,
            181, 238, 159, 70, 5, 20, 80, 93, 105, 185, 222, 95, 97, 153, 94, 101, 137, 30, 120,
            253, 211, 107, 177, 254, 223, 91, 113, 217, 67, 17, 68, 13, 52, 208, 103,
        ],
        [
            8, 64, 58, 205, 38, 45, 117, 143, 12, 96, 39, 37, 53, 181, 193, 70, 10, 80, 186, 185,
            161, 97, 47, 101, 15, 120, 231, 107, 127, 223, 182, 217, 134, 68, 26, 208, 206, 62,
            237, 59, 197, 102, 23, 184, 169, 33, 21, 168, 41, 85, 146, 228, 115, 191, 145,
        ],
        [
            16, 29, 205, 76, 180, 143, 24, 157, 37, 106, 238, 70, 20, 93, 185, 95, 153, 101, 30,
            253, 107, 254, 91, 217, 17, 13, 208, 129, 248, 59, 151, 133, 184, 79, 132, 168, 82, 73,
            228, 230, 198, 252, 123, 227, 150, 149, 165, 130, 200, 28, 221, 81, 121, 195, 172,
        ],
        [
            32, 116, 38, 180, 3, 96, 156, 106, 193, 5, 160, 185, 190, 94, 15, 253, 214, 223, 226,
            17, 26, 103, 124, 59, 51, 46, 169, 132, 77, 85, 114, 230, 145, 215, 255, 150, 55, 174,
            100, 28, 167, 89, 239, 172, 36, 244, 235, 44, 233, 108, 1, 32, 116, 38, 180,
        ],
        [
            64, 205, 45, 143, 96, 37, 181, 70, 80, 185, 97, 101, 120, 107, 223, 217, 68, 208, 62,
            59, 102, 184, 33, 168, 85, 228, 191, 252, 241, 150, 110, 130, 7, 221, 89, 195, 138, 61,
            251, 44, 207, 173, 8, 58, 38, 117, 12, 39, 53, 193, 10, 186, 161, 47, 15,
        ],
        [
            128, 19, 117, 24, 156, 181, 140, 93, 161, 94, 60, 107, 163, 67, 26, 129, 147, 102, 109,
            132, 41, 57, 209, 252, 255, 98, 87, 200, 224, 89, 155, 18, 245, 11, 233, 173, 16, 232,
            45, 3, 157, 53, 159, 40, 185, 194, 137, 231, 254, 226, 68, 189, 248, 197, 46,
        ],
        [
            29, 76, 143, 157, 106, 70, 93, 95, 101, 253, 254, 217, 13, 129, 59, 133, 79, 168, 73,
            230, 252, 227, 149, 130, 28, 81, 195, 18, 247, 44, 27, 2, 58, 152, 3, 39, 212, 140,
            186, 190, 202, 231, 225, 175, 26, 31, 118, 23, 158, 77, 146, 209, 229, 219, 55,
        ],
        [
            58, 45, 12, 37, 193, 80, 161, 101, 231, 223, 134, 208, 237, 102, 169, 168, 146, 191,
            179, 150, 87, 7, 166, 195, 36, 251, 125, 173, 64, 38, 143, 39, 181, 10, 185, 47, 120,
            127, 217, 26, 62, 197, 184, 21, 85, 115, 252, 219, 110, 100, 221, 242, 138, 245, 44,
        ],
        [
            116, 180, 96, 106, 5, 185, 94, 253, 223, 17, 103, 59, 46, 132, 85, 230, 215, 150, 174,
            28, 89, 172, 244, 44, 108, 32, 38, 3, 156, 193, 160, 190, 15, 214, 226, 26, 124, 51,
            169, 77, 114, 145, 255, 55, 100, 167, 239, 36, 235, 233, 1, 116, 180, 96, 106,
        ],
        [
            232, 234, 39, 238, 160, 97, 60, 254, 134, 103, 118, 184, 84, 57, 145, 227, 220, 7, 162,
            172, 245, 176, 71, 58, 180, 192, 181, 40, 95, 15, 177, 175, 208, 147, 46, 21, 73, 99,
            241, 55, 200, 166, 43, 122, 44, 216, 128, 45, 48, 106, 10, 222, 202, 107, 226,
        ],
        [
            205, 143, 37, 70, 185, 101, 107, 217, 208, 59, 184, 168, 228, 252, 150, 130, 221, 195,
            61, 44, 173, 58, 117, 39, 193, 186, 47, 231, 182, 26, 237, 23, 21, 146, 145, 219, 87,
            56, 242, 36, 139, 54, 64, 45, 96, 181, 80, 97, 120, 223, 68, 62, 102, 33, 85,
        ],
        [
            135, 6, 53, 20, 190, 120, 163, 13, 237, 46, 84, 228, 229, 98, 100, 81, 69, 251, 131,
            32, 45, 192, 238, 186, 94, 187, 217, 189, 236, 169, 82, 209, 241, 220, 28, 242, 72, 22,
            173, 116, 201, 37, 140, 222, 15, 254, 34, 62, 204, 132, 146, 63, 75, 130, 167,
        ],
        [
            19, 24, 181, 93, 94, 107, 67, 129, 102, 132, 57, 252, 98, 200, 89, 18, 11, 173, 232, 3,
            53, 40, 194, 231, 226, 189, 197, 158, 170, 145, 75, 25, 166, 69, 235, 54, 29, 234, 37,
            5, 95, 120, 91, 52, 59, 218, 82, 191, 227, 174, 221, 43, 247, 207, 32,
        ],
        [
            38, 96, 193, 185, 15, 223, 26, 59, 169, 85, 145, 150, 100, 89, 36, 44, 1, 38, 96, 193,
            185, 15, 223, 26, 59, 169, 85, 145, 150, 100, 89, 36, 44, 1, 38, 96, 193, 185, 15, 223,
            26, 59, 169, 85, 145, 150, 100, 89, 36, 44, 1, 38, 96, 193, 185,
        ],
        [
            76, 157, 70, 95, 253, 217, 129, 133, 168, 230, 227, 130, 81, 18, 44, 2, 152, 39, 140,
            190, 231, 175, 31, 23, 77, 209, 219, 25, 162, 36, 88, 4, 45, 78, 5, 97, 211, 67, 62,
            46, 154, 191, 171, 50, 89, 72, 176, 8, 90, 156, 10, 194, 187, 134, 124,
        ],
        [
            152, 78, 10, 153, 214, 68, 147, 79, 146, 215, 220, 221, 69, 11, 1, 152, 78, 10, 153,
            214, 68, 147, 79, 146, 215, 220, 221, 69, 11, 1, 152, 78, 10, 153, 214, 68, 147, 79,
            146, 215, 220, 221, 69, 11, 1, 152, 78, 10, 153, 214, 68, 147, 79, 146, 215,
        ],
        [
            45, 37, 80, 101, 223, 208, 102, 168, 191, 150, 7, 195, 251, 173, 38, 39, 10, 47, 127,
            26, 197, 21, 115, 219, 100, 242, 245, 54, 205, 96, 70, 97, 107, 68, 59, 33, 228, 241,
            130, 89, 61, 207, 58, 12, 193, 161, 231, 134, 237, 169, 146, 179, 87, 166, 36,
        ],
        [
            90, 148, 186, 30, 226, 62, 109, 73, 179, 174, 162, 61, 131, 232, 96, 140, 153, 127, 52,
            51, 168, 99, 98, 56, 172, 22, 8, 234, 212, 185, 240, 67, 237, 79, 114, 241, 25, 121,
            245, 108, 19, 39, 20, 188, 223, 189, 133, 41, 63, 55, 221, 9, 176, 64, 3,
        ],
        [
            180, 106, 185, 253, 17, 59, 132, 230, 150, 28, 172, 44, 32, 3, 193, 190, 214, 26, 51,
            77, 145, 55, 167, 36, 233, 116, 96, 5, 94, 223, 103, 46, 85, 215, 174, 89, 244, 108,
            38, 156, 160, 15, 226, 124, 169, 114, 255, 100, 239, 235, 1, 180, 106, 185, 253,
        ],
        [
            117, 181, 161, 107, 26, 102, 41, 252, 87, 89, 245, 173, 45, 53, 185, 231, 68, 197, 168,
            145, 110, 166, 61, 54, 38, 37, 186, 120, 134, 59, 21, 191, 196, 221, 36, 207, 205, 39,
            80, 15, 217, 237, 33, 115, 150, 56, 138, 125, 58, 96, 10, 101, 182, 62, 169,
        ],
        [
            234, 238, 97, 254, 103, 184, 57, 227, 7, 172, 176, 58, 192, 40, 15, 175, 147, 21, 99,
            55, 166, 122, 216, 45, 106, 222, 107, 52, 133, 85, 123, 50, 195, 11, 32, 12, 140, 188,
            182, 124, 158, 115, 49, 224, 36, 131, 19, 37, 105, 253, 68, 151, 154, 252, 174,
        ],
        [
            201, 159, 47, 91, 124, 33, 209, 149, 166, 244, 71, 117, 238, 194, 223, 31, 79, 115, 98,
            167, 61, 216, 90, 181, 190, 254, 206, 218, 213, 150, 224, 72, 54, 152, 106, 161, 177,
            189, 184, 114, 171, 56, 18, 131, 38, 148, 111, 107, 104, 46, 146, 227, 14, 138, 233,
        ],
        [
            143, 70, 101, 217, 59, 168, 252, 130, 195, 44, 58, 39, 186, 231, 26, 23, 146, 219, 56,
            36, 54, 45, 181, 97, 223, 62, 33, 191, 110, 89, 251, 8, 12, 10, 15, 134, 197, 41, 179,
            100, 86, 125, 205, 37, 185, 107, 208, 184, 228, 150, 221, 61, 173, 117, 193,
        ],
        [
            3, 5, 15, 17, 51, 85, 255, 28, 36, 108, 180, 193, 94, 226, 59, 77, 215, 100, 172, 233,
            38, 106, 190, 223, 124, 132, 145, 174, 239, 44, 116, 156, 185, 214, 103, 169, 230, 55,
            89, 235, 32, 96, 160, 253, 26, 46, 114, 150, 167, 244, 1, 3, 5, 15, 17,
        ],
        [
            6, 20, 120, 13, 46, 228, 98, 81, 251, 32, 192, 186, 187, 189, 169, 209, 220, 242, 22,
            116, 37, 222, 254, 62, 132, 63, 130, 43, 250, 38, 212, 194, 182, 147, 77, 179, 141, 9,
            54, 180, 159, 101, 67, 151, 85, 227, 112, 61, 142, 3, 10, 60, 136, 23, 114,
        ],
        [
            12, 80, 231, 208, 169, 191, 87, 195, 125, 38, 181, 47, 217, 197, 85, 219, 221, 245, 8,
            96, 186, 107, 206, 33, 145, 130, 86, 207, 45, 193, 101, 134, 102, 146, 150, 166, 251,
            64, 39, 185, 127, 62, 21, 252, 100, 138, 54, 117, 70, 15, 68, 23, 228, 196, 89,
        ],
        [
            24, 93, 107, 129, 132, 252, 200, 18, 173, 3, 40, 231, 189, 158, 145, 25, 69, 54, 234,
            5, 120, 52, 218, 191, 174, 43, 207, 90, 35, 15, 136, 92, 115, 220, 239, 125, 76, 238,
            101, 17, 133, 228, 149, 121, 44, 135, 212, 47, 175, 51, 146, 49, 162, 139, 116,
        ],
        [
            48, 105, 127, 248, 77, 241, 224, 247, 64, 156, 95, 182, 236, 170, 150, 162, 11, 205,
            212, 94, 134, 133, 213, 110, 239, 250, 45, 35, 30, 26, 218, 99, 130, 69, 108, 143, 40,
            211, 206, 132, 229, 7, 144, 2, 96, 210, 254, 237, 154, 255, 221, 243, 128, 37, 190,
        ],
        [
            96, 185, 223, 59, 85, 150, 89, 44, 38, 193, 15, 26, 169, 145, 100, 36, 1, 96, 185, 223,
            59, 85, 150, 89, 44, 38, 193, 15, 26, 169, 145, 100, 36, 1, 96, 185, 223, 59, 85, 150,
            89, 44, 38, 193, 15, 26, 169, 145, 100, 36, 1, 96, 185, 223, 59,
        ],
        [
            192, 222, 182, 151, 114, 110, 155, 27, 143, 160, 177, 237, 82, 75, 89, 88, 152, 70,
            240, 103, 21, 123, 224, 251, 116, 212, 101, 136, 218, 145, 200, 144, 8, 78, 190, 217,
            204, 183, 87, 172, 216, 12, 105, 225, 59, 170, 98, 242, 250, 180, 10, 211, 31, 168,
            255,
        ],
        [
            157, 95, 217, 133, 230, 130, 18, 2, 39, 190, 175, 23, 209, 25, 36, 4, 78, 97, 67, 46,
            191, 50, 72, 8, 156, 194, 134, 92, 99, 100, 144, 16, 37, 153, 17, 184, 198, 200, 61,
            32, 74, 47, 34, 109, 145, 141, 122, 64, 148, 94, 68, 218, 63, 7, 244,
        ],
    ];
}

/// HQC-5 parameters (256-bit security)
#[derive(Debug, Clone, PartialEq)]
pub struct Hqc5Params;

impl HqcParams for Hqc5Params {
    const SECURITY_LEVEL: usize = 256;
    const N: usize = 57637;
    const N1: usize = 90;
    const N2: usize = 640;
    const N1N2: usize = 57600;
    const K: usize = 32;
    const OMEGA: usize = 134; // NIST Oct 2024 specification
    const OMEGA_E: usize = 149;
    const OMEGA_R: usize = 149;
    const DELTA: usize = 29;
    const M: usize = 8;
    const GF_POLY: u16 = 0x11D;
    const GF_MUL_ORDER: usize = 255;
    const G: usize = 59;
    const FFT: usize = 5;

    const SECRET_KEY_BYTES: usize = hqc::HQC256_SECRET_KEY_BYTES;
    const PUBLIC_KEY_BYTES: usize = hqc::HQC256_PUBLIC_KEY_BYTES;
    const CIPHERTEXT_BYTES: usize = hqc::HQC256_CIPHERTEXT_BYTES;
    const SHARED_SECRET_BYTES: usize = 32; // 2025 specification: reduced from 40 to 32 bytes

    const SEED_BYTES: usize = 32;
    const SALT_BYTES: usize = 16;

    const VEC_N_SIZE_BYTES: usize = 7205; // CEIL_DIVIDE(57637, 8)
    const VEC_N1_SIZE_BYTES: usize = 90; // PARAM_N1 directly
    const VEC_N1N2_SIZE_BYTES: usize = 7200; // CEIL_DIVIDE(57600, 8)

    const VEC_N_SIZE_64: usize = 901; // CEIL_DIVIDE(57637, 64)
    const VEC_N1_SIZE_64: usize = 2; // CEIL_DIVIDE(12, 8) rounded up
    const VEC_N1N2_SIZE_64: usize = 900; // CEIL_DIVIDE(57600, 64)

    const PARAM_N_MULT: usize = 59_904;
    const VEC_N_256_SIZE_64: usize = Self::PARAM_N_MULT.div_ceil(256) << 2; // 936

    const N_MU: u64 = 74517;
    const UTILS_REJECTION_THRESHOLD: u32 = 16772367;

    const RS_POLY_COEFS: &'static [u8] = &[
        49, 167, 49, 39, 200, 121, 124, 91, 240, 63, 148, 71, 150, 123, 87, 101, 32, 215, 159, 71,
        201, 115, 97, 210, 186, 183, 141, 217, 123, 12, 31, 243, 180, 219, 152, 239, 99, 141, 4,
        246, 191, 144, 8, 232, 47, 27, 141, 178, 130, 64, 124, 47, 39, 188, 216, 48, 199, 187, 1,
    ];

    const ALPHA_IJ_POW: &'static [[u16; 55]; 32] = &[
        [
            2, 4, 8, 16, 32, 64, 128, 29, 58, 116, 232, 205, 135, 19, 38, 76, 152, 45, 90, 180,
            117, 234, 201, 143, 3, 6, 12, 24, 48, 96, 192, 157, 39, 78, 156, 37, 74, 148, 53, 106,
            212, 181, 119, 238, 193, 159, 35, 70, 140, 5, 10, 20, 40, 80, 160,
        ],
        [
            4, 16, 64, 29, 116, 205, 19, 76, 45, 180, 234, 143, 6, 24, 96, 157, 78, 37, 148, 106,
            181, 238, 159, 70, 5, 20, 80, 93, 105, 185, 222, 95, 97, 153, 94, 101, 137, 30, 120,
            253, 211, 107, 177, 254, 223, 91, 113, 217, 67, 17, 68, 13, 52, 208, 103,
        ],
        [
            8, 64, 58, 205, 38, 45, 117, 143, 12, 96, 39, 37, 53, 181, 193, 70, 10, 80, 186, 185,
            161, 97, 47, 101, 15, 120, 231, 107, 127, 223, 182, 217, 134, 68, 26, 208, 206, 62,
            237, 59, 197, 102, 23, 184, 169, 33, 21, 168, 41, 85, 146, 228, 115, 191, 145,
        ],
        [
            16, 29, 205, 76, 180, 143, 24, 157, 37, 106, 238, 70, 20, 93, 185, 95, 153, 101, 30,
            253, 107, 254, 91, 217, 17, 13, 208, 129, 248, 59, 151, 133, 184, 79, 132, 168, 82, 73,
            228, 230, 198, 252, 123, 227, 150, 149, 165, 130, 200, 28, 221, 81, 121, 195, 172,
        ],
        [
            32, 116, 38, 180, 3, 96, 156, 106, 193, 5, 160, 185, 190, 94, 15, 253, 214, 223, 226,
            17, 26, 103, 124, 59, 51, 46, 169, 132, 77, 85, 114, 230, 145, 215, 255, 150, 55, 174,
            100, 28, 167, 89, 239, 172, 36, 244, 235, 44, 233, 108, 1, 32, 116, 38, 180,
        ],
        [
            64, 205, 45, 143, 96, 37, 181, 70, 80, 185, 97, 101, 120, 107, 223, 217, 68, 208, 62,
            59, 102, 184, 33, 168, 85, 228, 191, 252, 241, 150, 110, 130, 7, 221, 89, 195, 138, 61,
            251, 44, 207, 173, 8, 58, 38, 117, 12, 39, 53, 193, 10, 186, 161, 47, 15,
        ],
        [
            128, 19, 117, 24, 156, 181, 140, 93, 161, 94, 60, 107, 163, 67, 26, 129, 147, 102, 109,
            132, 41, 57, 209, 252, 255, 98, 87, 200, 224, 89, 155, 18, 245, 11, 233, 173, 16, 232,
            45, 3, 157, 53, 159, 40, 185, 194, 137, 231, 254, 226, 68, 189, 248, 197, 46,
        ],
        [
            29, 76, 143, 157, 106, 70, 93, 95, 101, 253, 254, 217, 13, 129, 59, 133, 79, 168, 73,
            230, 252, 227, 149, 130, 28, 81, 195, 18, 247, 44, 27, 2, 58, 152, 3, 39, 212, 140,
            186, 190, 202, 231, 225, 175, 26, 31, 118, 23, 158, 77, 146, 209, 229, 219, 55,
        ],
        [
            58, 45, 12, 37, 193, 80, 161, 101, 231, 223, 134, 208, 237, 102, 169, 168, 146, 191,
            179, 150, 87, 7, 166, 195, 36, 251, 125, 173, 64, 38, 143, 39, 181, 10, 185, 47, 120,
            127, 217, 26, 62, 197, 184, 21, 85, 115, 252, 219, 110, 100, 221, 242, 138, 245, 44,
        ],
        [
            116, 180, 96, 106, 5, 185, 94, 253, 223, 17, 103, 59, 46, 132, 85, 230, 215, 150, 174,
            28, 89, 172, 244, 44, 108, 32, 38, 3, 156, 193, 160, 190, 15, 214, 226, 26, 124, 51,
            169, 77, 114, 145, 255, 55, 100, 167, 239, 36, 235, 233, 1, 116, 180, 96, 106,
        ],
        [
            232, 234, 39, 238, 160, 97, 60, 254, 134, 103, 118, 184, 84, 57, 145, 227, 220, 7, 162,
            172, 245, 176, 71, 58, 180, 192, 181, 40, 95, 15, 177, 175, 208, 147, 46, 21, 73, 99,
            241, 55, 200, 166, 43, 122, 44, 216, 128, 45, 48, 106, 10, 222, 202, 107, 226,
        ],
        [
            205, 143, 37, 70, 185, 101, 107, 217, 208, 59, 184, 168, 228, 252, 150, 130, 221, 195,
            61, 44, 173, 58, 117, 39, 193, 186, 47, 231, 182, 26, 237, 23, 21, 146, 145, 219, 87,
            56, 242, 36, 139, 54, 64, 45, 96, 181, 80, 97, 120, 223, 68, 62, 102, 33, 85,
        ],
        [
            135, 6, 53, 20, 190, 120, 163, 13, 237, 46, 84, 228, 229, 98, 100, 81, 69, 251, 131,
            32, 45, 192, 238, 186, 94, 187, 217, 189, 236, 169, 82, 209, 241, 220, 28, 242, 72, 22,
            173, 116, 201, 37, 140, 222, 15, 254, 34, 62, 204, 132, 146, 63, 75, 130, 167,
        ],
        [
            19, 24, 181, 93, 94, 107, 67, 129, 102, 132, 57, 252, 98, 200, 89, 18, 11, 173, 232, 3,
            53, 40, 194, 231, 226, 189, 197, 158, 170, 145, 75, 25, 166, 69, 235, 54, 29, 234, 37,
            5, 95, 120, 91, 52, 59, 218, 82, 191, 227, 174, 221, 43, 247, 207, 32,
        ],
        [
            38, 96, 193, 185, 15, 223, 26, 59, 169, 85, 145, 150, 100, 89, 36, 44, 1, 38, 96, 193,
            185, 15, 223, 26, 59, 169, 85, 145, 150, 100, 89, 36, 44, 1, 38, 96, 193, 185, 15, 223,
            26, 59, 169, 85, 145, 150, 100, 89, 36, 44, 1, 38, 96, 193, 185,
        ],
        [
            76, 157, 70, 95, 253, 217, 129, 133, 168, 230, 227, 130, 81, 18, 44, 2, 152, 39, 140,
            190, 231, 175, 31, 23, 77, 209, 219, 25, 162, 36, 88, 4, 45, 78, 5, 97, 211, 67, 62,
            46, 154, 191, 171, 50, 89, 72, 176, 8, 90, 156, 10, 194, 187, 134, 124,
        ],
        [
            152, 78, 10, 153, 214, 68, 147, 79, 146, 215, 220, 221, 69, 11, 1, 152, 78, 10, 153,
            214, 68, 147, 79, 146, 215, 220, 221, 69, 11, 1, 152, 78, 10, 153, 214, 68, 147, 79,
            146, 215, 220, 221, 69, 11, 1, 152, 78, 10, 153, 214, 68, 147, 79, 146, 215,
        ],
        [
            45, 37, 80, 101, 223, 208, 102, 168, 191, 150, 7, 195, 251, 173, 38, 39, 10, 47, 127,
            26, 197, 21, 115, 219, 100, 242, 245, 54, 205, 96, 70, 97, 107, 68, 59, 33, 228, 241,
            130, 89, 61, 207, 58, 12, 193, 161, 231, 134, 237, 169, 146, 179, 87, 166, 36,
        ],
        [
            90, 148, 186, 30, 226, 62, 109, 73, 179, 174, 162, 61, 131, 232, 96, 140, 153, 127, 52,
            51, 168, 99, 98, 56, 172, 22, 8, 234, 212, 185, 240, 67, 237, 79, 114, 241, 25, 121,
            245, 108, 19, 39, 20, 188, 223, 189, 133, 41, 63, 55, 221, 9, 176, 64, 3,
        ],
        [
            180, 106, 185, 253, 17, 59, 132, 230, 150, 28, 172, 44, 32, 3, 193, 190, 214, 26, 51,
            77, 145, 55, 167, 36, 233, 116, 96, 5, 94, 223, 103, 46, 85, 215, 174, 89, 244, 108,
            38, 156, 160, 15, 226, 124, 169, 114, 255, 100, 239, 235, 1, 180, 106, 185, 253,
        ],
        [
            117, 181, 161, 107, 26, 102, 41, 252, 87, 89, 245, 173, 45, 53, 185, 231, 68, 197, 168,
            145, 110, 166, 61, 54, 38, 37, 186, 120, 134, 59, 21, 191, 196, 221, 36, 207, 205, 39,
            80, 15, 217, 237, 33, 115, 150, 56, 138, 125, 58, 96, 10, 101, 182, 62, 169,
        ],
        [
            234, 238, 97, 254, 103, 184, 57, 227, 7, 172, 176, 58, 192, 40, 15, 175, 147, 21, 99,
            55, 166, 122, 216, 45, 106, 222, 107, 52, 133, 85, 123, 50, 195, 11, 32, 12, 140, 188,
            182, 124, 158, 115, 49, 224, 36, 131, 19, 37, 105, 253, 68, 151, 154, 252, 174,
        ],
        [
            201, 159, 47, 91, 124, 33, 209, 149, 166, 244, 71, 117, 238, 194, 223, 31, 79, 115, 98,
            167, 61, 216, 90, 181, 190, 254, 206, 218, 213, 150, 224, 72, 54, 152, 106, 161, 177,
            189, 184, 114, 171, 56, 18, 131, 38, 148, 111, 107, 104, 46, 146, 227, 14, 138, 233,
        ],
        [
            143, 70, 101, 217, 59, 168, 252, 130, 195, 44, 58, 39, 186, 231, 26, 23, 146, 219, 56,
            36, 54, 45, 181, 97, 223, 62, 33, 191, 110, 89, 251, 8, 12, 10, 15, 134, 197, 41, 179,
            100, 86, 125, 205, 37, 185, 107, 208, 184, 228, 150, 221, 61, 173, 117, 193,
        ],
        [
            3, 5, 15, 17, 51, 85, 255, 28, 36, 108, 180, 193, 94, 226, 59, 77, 215, 100, 172, 233,
            38, 106, 190, 223, 124, 132, 145, 174, 239, 44, 116, 156, 185, 214, 103, 169, 230, 55,
            89, 235, 32, 96, 160, 253, 26, 46, 114, 150, 167, 244, 1, 3, 5, 15, 17,
        ],
        [
            6, 20, 120, 13, 46, 228, 98, 81, 251, 32, 192, 186, 187, 189, 169, 209, 220, 242, 22,
            116, 37, 222, 254, 62, 132, 63, 130, 43, 250, 38, 212, 194, 182, 147, 77, 179, 141, 9,
            54, 180, 159, 101, 67, 151, 85, 227, 112, 61, 142, 3, 10, 60, 136, 23, 114,
        ],
        [
            12, 80, 231, 208, 169, 191, 87, 195, 125, 38, 181, 47, 217, 197, 85, 219, 221, 245, 8,
            96, 186, 107, 206, 33, 145, 130, 86, 207, 45, 193, 101, 134, 102, 146, 150, 166, 251,
            64, 39, 185, 127, 62, 21, 252, 100, 138, 54, 117, 70, 15, 68, 23, 228, 196, 89,
        ],
        [
            24, 93, 107, 129, 132, 252, 200, 18, 173, 3, 40, 231, 189, 158, 145, 25, 69, 54, 234,
            5, 120, 52, 218, 191, 174, 43, 207, 90, 35, 15, 136, 92, 115, 220, 239, 125, 76, 238,
            101, 17, 133, 228, 149, 121, 44, 135, 212, 47, 175, 51, 146, 49, 162, 139, 116,
        ],
        [
            48, 105, 127, 248, 77, 241, 224, 247, 64, 156, 95, 182, 236, 170, 150, 162, 11, 205,
            212, 94, 134, 133, 213, 110, 239, 250, 45, 35, 30, 26, 218, 99, 130, 69, 108, 143, 40,
            211, 206, 132, 229, 7, 144, 2, 96, 210, 254, 237, 154, 255, 221, 243, 128, 37, 190,
        ],
        [
            96, 185, 223, 59, 85, 150, 89, 44, 38, 193, 15, 26, 169, 145, 100, 36, 1, 96, 185, 223,
            59, 85, 150, 89, 44, 38, 193, 15, 26, 169, 145, 100, 36, 1, 96, 185, 223, 59, 85, 150,
            89, 44, 38, 193, 15, 26, 169, 145, 100, 36, 1, 96, 185, 223, 59,
        ],
        [
            192, 222, 182, 151, 114, 110, 155, 27, 143, 160, 177, 237, 82, 75, 89, 88, 152, 70,
            240, 103, 21, 123, 224, 251, 116, 212, 101, 136, 218, 145, 200, 144, 8, 78, 190, 217,
            204, 183, 87, 172, 216, 12, 105, 225, 59, 170, 98, 242, 250, 180, 10, 211, 31, 168,
            255,
        ],
        [
            157, 95, 217, 133, 230, 130, 18, 2, 39, 190, 175, 23, 209, 25, 36, 4, 78, 97, 67, 46,
            191, 50, 72, 8, 156, 194, 134, 92, 99, 100, 144, 16, 37, 153, 17, 184, 198, 200, 61,
            32, 74, 47, 34, 109, 145, 141, 122, 64, 148, 94, 68, 218, 63, 7, 244,
        ],
    ];
}

/// Helper function to compute ceiling division
#[inline]
pub const fn ceil_divide(a: usize, b: usize) -> usize {
    a.div_ceil(b)
}

/// Helper function to create bitmask
#[inline]
pub const fn bitmask(a: usize, size: usize) -> usize {
    (1usize << (a % size)) - 1
}

#[cfg(test)]
mod tests {
    use lib_q_types::hqc;

    use super::*;

    #[test]
    fn test_hqc1_parameters() {
        assert_eq!(Hqc1Params::N, 17669);
        assert_eq!(Hqc1Params::N1, 46);
        assert_eq!(Hqc1Params::N2, 384); // Reference parameter
        assert_eq!(Hqc1Params::N1N2, 17664); // Reference: 46 * 384
        assert_eq!(Hqc1Params::K, 16);
        assert_eq!(Hqc1Params::SECRET_KEY_BYTES, hqc::HQC128_SECRET_KEY_BYTES);
        assert_eq!(Hqc1Params::PUBLIC_KEY_BYTES, hqc::HQC128_PUBLIC_KEY_BYTES);
        assert_eq!(Hqc1Params::CIPHERTEXT_BYTES, hqc::HQC128_CIPHERTEXT_BYTES);
        assert_eq!(Hqc1Params::SHARED_SECRET_BYTES, 32);
    }

    #[test]
    fn test_hqc3_parameters() {
        assert_eq!(Hqc3Params::N, 35851);
        assert_eq!(Hqc3Params::N1, 56);
        assert_eq!(Hqc3Params::N2, 640);
        assert_eq!(Hqc3Params::N1N2, 35840);
        assert_eq!(Hqc3Params::K, 24);
        assert_eq!(Hqc3Params::SECRET_KEY_BYTES, hqc::HQC192_SECRET_KEY_BYTES);
        assert_eq!(Hqc3Params::PUBLIC_KEY_BYTES, hqc::HQC192_PUBLIC_KEY_BYTES);
        assert_eq!(Hqc3Params::CIPHERTEXT_BYTES, hqc::HQC192_CIPHERTEXT_BYTES);
        assert_eq!(Hqc3Params::SHARED_SECRET_BYTES, 32);
    }

    #[test]
    fn test_hqc5_parameters() {
        assert_eq!(Hqc5Params::N, 57637);
        assert_eq!(Hqc5Params::N1, 90);
        assert_eq!(Hqc5Params::N2, 640);
        assert_eq!(Hqc5Params::N1N2, 57600);
        assert_eq!(Hqc5Params::K, 32);
        assert_eq!(Hqc5Params::SECRET_KEY_BYTES, hqc::HQC256_SECRET_KEY_BYTES);
        assert_eq!(Hqc5Params::PUBLIC_KEY_BYTES, hqc::HQC256_PUBLIC_KEY_BYTES);
        assert_eq!(Hqc5Params::CIPHERTEXT_BYTES, hqc::HQC256_CIPHERTEXT_BYTES);
        assert_eq!(Hqc5Params::SHARED_SECRET_BYTES, 32);
    }

    #[test]
    fn test_vector_sizes() {
        // Test that vector sizes are correctly computed
        assert_eq!(Hqc1Params::VEC_N_SIZE_BYTES, ceil_divide(Hqc1Params::N, 8));
        assert_eq!(Hqc1Params::VEC_N1_SIZE_BYTES, 46);
        assert_eq!(
            Hqc1Params::VEC_N1N2_SIZE_BYTES,
            ceil_divide(Hqc1Params::N1N2, 8)
        );

        assert_eq!(Hqc1Params::VEC_N_SIZE_64, ceil_divide(Hqc1Params::N, 64));
        assert_eq!(Hqc1Params::VEC_N1_SIZE_64, ceil_divide(Hqc1Params::N1, 8));
        assert_eq!(
            Hqc1Params::VEC_N1N2_SIZE_64,
            ceil_divide(Hqc1Params::N1N2, 64)
        );

        assert_eq!(Hqc1Params::PARAM_N_MULT, 18_048);
        assert_eq!(Hqc3Params::PARAM_N_MULT, 36_480);
        assert_eq!(Hqc5Params::PARAM_N_MULT, 59_904);
        assert_eq!(
            Hqc1Params::VEC_N_256_SIZE_64,
            (ceil_divide(Hqc1Params::PARAM_N_MULT, 256)) << 2
        );
        assert_eq!(
            Hqc3Params::VEC_N_256_SIZE_64,
            (ceil_divide(Hqc3Params::PARAM_N_MULT, 256)) << 2
        );
        assert_eq!(
            Hqc5Params::VEC_N_256_SIZE_64,
            (ceil_divide(Hqc5Params::PARAM_N_MULT, 256)) << 2
        );
    }

    #[test]
    fn test_reed_solomon_coefficients() {
        // Test that Reed-Solomon coefficients are provided
        assert_eq!(Hqc1Params::RS_POLY_COEFS.len(), Hqc1Params::G);
        assert_eq!(Hqc3Params::RS_POLY_COEFS.len(), Hqc3Params::G);
        assert_eq!(Hqc5Params::RS_POLY_COEFS.len(), Hqc5Params::G);
    }
}