Searched refs:r0_max (Results 1 – 8 of 8) sorted by relevance
141 uint32_t z_max, r0_max, ct0_max, h_ones; in ml_dsa_sign_internal() local178 r0_max = vector_max_signed(r0); in ml_dsa_sign_internal()180 | constant_time_ge(r0_max, gamma2 - params->beta))) in ml_dsa_sign_internal()
323 # 39 r0_max below the limit331 # 40 r0_max above the limit
395 # 48 r0_max below the limit403 # 49 r0_max above the limit
363 # 44 r0_max below the limit371 # 45 r0_max above the limit
476 # 56 r0_max below the limit484 # 57 r0_max above the limit
489 # 58 r0_max below the limit497 # 59 r0_max above the limit
530 # 63 r0_max below the limit538 # 64 r0_max above the limit
2855 * it fails the r0_max rejection test on iteration two