Phase-overlaid scratch union for MLDSA_internal_verify_core. More...

Collaboration diagram for MLDSA_verify_phase_overlay_t:

Public Attributes
struct {

uint8_t tr [MLDSA_TRBYTES]

}	setup_phase
	Early-phase temporary used to derive mu.

struct {

mldsa_poly aij

mldsa_poly dot

}	az_phase
	Az product loop temporaries.

Detailed Description

Phase-overlaid scratch union for MLDSA_internal_verify_core.

The two phases of the verification algorithm never execute concurrently:

setup_phase: tr is only needed early to compute mu when no pre-computed value is supplied.
az_phase: aij and dot are only used inside the Az product loop.

Overlaying them in a union reduces peak stack consumption.

Definition at line 116 of file cx_mldsa.c.

Member Data Documentation

mldsa_poly MLDSA_verify_phase_overlay_t::aij

Expanded matrix element A[i][j].

Definition at line 123 of file cx_mldsa.c.

struct { ... } MLDSA_verify_phase_overlay_t::az_phase

Az product loop temporaries.

mldsa_poly MLDSA_verify_phase_overlay_t::dot

Running dot-product accumulator for row i of A*z.

Definition at line 124 of file cx_mldsa.c.

struct { ... } MLDSA_verify_phase_overlay_t::setup_phase

Early-phase temporary used to derive mu.

uint8_t MLDSA_verify_phase_overlay_t::tr[MLDSA_TRBYTES]

Hash of the public key (tr = H(pk)).

Definition at line 119 of file cx_mldsa.c.

The documentation for this union was generated from the following file: