Stack-allocated workspace for MLDSA_internal_verify_core. More...
Public Attributes | |
| uint8_t | rho [MLDSA_SEEDBYTES] |
| uint8_t | ctilde [64U] |
| uint8_t | mu [MLDSA_CRHBYTES] |
| mldsa_poly | cp |
| mldsa_poly | ztmp |
| mldsa_poly | t1tmp |
| mldsa_poly | htmp |
| uint8_t | w1_packed [MLDSA_MAX_K *192U] |
| uint8_t | ctilde2 [64U] |
| MLDSA_verify_phase_overlay_t | overlay |
Detailed Description
Stack-allocated workspace for MLDSA_internal_verify_core.
Groups all large intermediate buffers needed by the verification algorithm so that a single local variable covers the entire workspace.
Definition at line 134 of file cx_mldsa.c.
Member Data Documentation
◆ cp
| mldsa_poly MLDSA_verify_stack_workspace_s::cp |
Challenge polynomial c (NTT domain).
Definition at line 138 of file cx_mldsa.c.
◆ ctilde
| uint8_t MLDSA_verify_stack_workspace_s::ctilde[64U] |
Challenge hash c_tilde from the signature.
Definition at line 136 of file cx_mldsa.c.
◆ ctilde2
| uint8_t MLDSA_verify_stack_workspace_s::ctilde2[64U] |
Recomputed challenge hash for comparison.
Definition at line 143 of file cx_mldsa.c.
◆ htmp
| mldsa_poly MLDSA_verify_stack_workspace_s::htmp |
Temporary for reconstructed hint polynomial.
Definition at line 141 of file cx_mldsa.c.
◆ mu
| uint8_t MLDSA_verify_stack_workspace_s::mu[MLDSA_CRHBYTES] |
Message representative mu = H(tr || M').
Definition at line 137 of file cx_mldsa.c.
◆ overlay
| MLDSA_verify_phase_overlay_t MLDSA_verify_stack_workspace_s::overlay |
Phase-overlaid scratch space.
Definition at line 144 of file cx_mldsa.c.
◆ rho
| uint8_t MLDSA_verify_stack_workspace_s::rho[MLDSA_SEEDBYTES] |
Public seed rho extracted from the public key.
Definition at line 135 of file cx_mldsa.c.
◆ t1tmp
| mldsa_poly MLDSA_verify_stack_workspace_s::t1tmp |
Temporary for streamed t1 polynomial unpacking.
Definition at line 140 of file cx_mldsa.c.
◆ w1_packed
| uint8_t MLDSA_verify_stack_workspace_s::w1_packed[MLDSA_MAX_K *192U] |
Byte-packed reconstructed w1' vector.
Definition at line 142 of file cx_mldsa.c.
◆ ztmp
| mldsa_poly MLDSA_verify_stack_workspace_s::ztmp |
Temporary for streamed z polynomial unpacking.
Definition at line 139 of file cx_mldsa.c.
The documentation for this struct was generated from the following file:
- lib_cxng/src/cx_mldsa.c
