@@ -529,6 +529,16 @@ __contract__(
529529);
530530
531531#define mld_polyveck_pack_eta MLD_NAMESPACE(polyveck_pack_eta)
532+ /*************************************************
533+ * Name: mld_polyveck_pack_eta
534+ *
535+ * Description: Bit-pack polynomial vector with coefficients
536+ * in [-MLDSA_ETA,MLDSA_ETA].
537+ *
538+ * Arguments: - uint8_t *r: pointer to output byte array with
539+ * MLDSA_K * MLDSA_POLYETA_PACKEDBYTES bytes
540+ * - const polyveck *p: pointer to input polynomial vector
541+ **************************************************/
532542void mld_polyveck_pack_eta (uint8_t r [MLDSA_K * MLDSA_POLYETA_PACKEDBYTES ],
533543 const mld_polyveck * p )
534544__contract__ (
@@ -540,6 +550,16 @@ __contract__(
540550);
541551
542552#define mld_polyvecl_pack_eta MLD_NAMESPACE(polyvecl_pack_eta)
553+ /*************************************************
554+ * Name: mld_polyvecl_pack_eta
555+ *
556+ * Description: Bit-pack polynomial vector with coefficients in
557+ * [-MLDSA_ETA,MLDSA_ETA].
558+ *
559+ * Arguments: - uint8_t *r: pointer to output byte array with
560+ * MLDSA_L * MLDSA_POLYETA_PACKEDBYTES bytes
561+ * - const polyveck *p: pointer to input polynomial vector
562+ **************************************************/
543563void mld_polyvecl_pack_eta (uint8_t r [MLDSA_L * MLDSA_POLYETA_PACKEDBYTES ],
544564 const mld_polyvecl * p )
545565__contract__ (
@@ -551,6 +571,16 @@ __contract__(
551571);
552572
553573#define mld_polyvecl_pack_z MLD_NAMESPACE(polyvecl_pack_z)
574+ /*************************************************
575+ * Name: mld_polyvecl_pack_z
576+ *
577+ * Description: Bit-pack polynomial vector with coefficients in
578+ * [-(MLDSA_GAMMA1 - 1), MLDSA_GAMMA1].
579+ *
580+ * Arguments: - uint8_t *r: pointer to output byte array with
581+ * MLDSA_L * MLDSA_POLYZ_PACKEDBYTES bytes
582+ * - const mld_polyvecl *p: pointer to input polynomial vector
583+ **************************************************/
554584void mld_polyvecl_pack_z (uint8_t r [MLDSA_L * MLDSA_POLYZ_PACKEDBYTES ],
555585 const mld_polyvecl * p )
556586__contract__ (
@@ -562,6 +592,16 @@ __contract__(
562592);
563593
564594#define mld_polyveck_pack_t0 MLD_NAMESPACE(polyveck_pack_t0)
595+ /*************************************************
596+ * Name: mld_polyveck_pack_t0
597+ *
598+ * Description: Bit-pack polynomial vector to with coefficients in
599+ * ]-2^{MLDSA_D-1}, 2^{MLDSA_D-1}].
600+ *
601+ * Arguments: - uint8_t *r: pointer to output byte array with
602+ * MLDSA_K * MLDSA_POLYT0_PACKEDBYTES bytes
603+ * - const mld_poly *p: pointer to input polynomial vector
604+ **************************************************/
565605void mld_polyveck_pack_t0 (uint8_t r [MLDSA_K * MLDSA_POLYT0_PACKEDBYTES ],
566606 const mld_polyveck * p )
567607__contract__ (
@@ -573,6 +613,16 @@ __contract__(
573613);
574614
575615#define mld_polyvecl_unpack_eta MLD_NAMESPACE(polyvecl_unpack_eta)
616+ /*************************************************
617+ * Name: mld_polyvecl_unpack_eta
618+ *
619+ * Description: Unpack polynomial vector with coefficients in
620+ * [-MLDSA_ETA,MLDSA_ETA].
621+ *
622+ * Arguments: - mld_polyvecl *p: pointer to output polynomial vector
623+ * - const uint8_t *r: input byte array with
624+ * bit-packed polynomial vector
625+ **************************************************/
576626void mld_polyvecl_unpack_eta (
577627 mld_polyvecl * p , const uint8_t r [MLDSA_L * MLDSA_POLYETA_PACKEDBYTES ])
578628__contract__ (
@@ -584,6 +634,16 @@ __contract__(
584634);
585635
586636#define mld_polyvecl_unpack_z MLD_NAMESPACE(polyvecl_unpack_z)
637+ /*************************************************
638+ * Name: mld_polyvecl_unpack_z
639+ *
640+ * Description: Unpack polynomial vector with coefficients in
641+ * [-(MLDSA_GAMMA1 - 1), MLDSA_GAMMA1].
642+ *
643+ * Arguments: - mld_polyvecl *z: pointer to output polynomial vector
644+ * - const uint8_t *r: input byte array with
645+ * bit-packed polynomial vector
646+ **************************************************/
587647void mld_polyvecl_unpack_z (mld_polyvecl * z ,
588648 const uint8_t r [MLDSA_L * MLDSA_POLYZ_PACKEDBYTES ])
589649__contract__ (
@@ -595,6 +655,16 @@ __contract__(
595655);
596656
597657#define mld_polyveck_unpack_eta MLD_NAMESPACE(polyveck_unpack_eta)
658+ /*************************************************
659+ * Name: mld_polyveck_unpack_eta
660+ *
661+ * Description: Unpack polynomial vector with coefficients in
662+ * [-MLDSA_ETA,MLDSA_ETA].
663+ *
664+ * Arguments: - mld_polyveck *p: pointer to output polynomial vector
665+ * - const uint8_t *r: input byte array with
666+ * bit-packed polynomial vector
667+ **************************************************/
598668void mld_polyveck_unpack_eta (
599669 mld_polyveck * p , const uint8_t r [MLDSA_K * MLDSA_POLYETA_PACKEDBYTES ])
600670__contract__ (
@@ -606,6 +676,16 @@ __contract__(
606676);
607677
608678#define mld_polyveck_unpack_t0 MLD_NAMESPACE(polyveck_unpack_t0)
679+ /*************************************************
680+ * Name: mld_polyveck_unpack_t0
681+ *
682+ * Description: Unpack polynomial vector with coefficients in
683+ * ]-2^{MLDSA_D-1}, 2^{MLDSA_D-1}].
684+ *
685+ * Arguments: - mld_polyveck *p: pointer to output polynomial vector
686+ * - const uint8_t *r: input byte array with
687+ * bit-packed polynomial vector
688+ **************************************************/
609689void mld_polyveck_unpack_t0 (mld_polyveck * p ,
610690 const uint8_t r [MLDSA_K * MLDSA_POLYT0_PACKEDBYTES ])
611691__contract__ (
0 commit comments