Searched refs:commitment_hash0 (Results 1 – 1 of 1) sorted by relevance
17624 core_option_Option_14 commitment_hash0 = { .tag = core_option_None }; in libcrux_ml_dsa_ml_dsa_generic_ml_dsa_44_sign_internal_5a() local17773 commitment_hash0 = in libcrux_ml_dsa_ml_dsa_generic_ml_dsa_44_sign_internal_5a()17795 if (commitment_hash0.tag == core_option_None) in libcrux_ml_dsa_ml_dsa_generic_ml_dsa_44_sign_internal_5a()17807 Eurydice_arr_ec commitment_hash = commitment_hash0.f0; in libcrux_ml_dsa_ml_dsa_generic_ml_dsa_44_sign_internal_5a()18680 core_option_Option_81 commitment_hash0 = { .tag = core_option_None }; in libcrux_ml_dsa_ml_dsa_generic_ml_dsa_65_sign_internal_5a() local18827 commitment_hash0 = in libcrux_ml_dsa_ml_dsa_generic_ml_dsa_65_sign_internal_5a()18849 if (commitment_hash0.tag == core_option_None) in libcrux_ml_dsa_ml_dsa_generic_ml_dsa_65_sign_internal_5a()18861 Eurydice_arr_65 commitment_hash = commitment_hash0.f0; in libcrux_ml_dsa_ml_dsa_generic_ml_dsa_65_sign_internal_5a()19721 core_option_Option_b2 commitment_hash0 = { .tag = core_option_None }; in libcrux_ml_dsa_ml_dsa_generic_ml_dsa_87_sign_internal_5a() local19868 commitment_hash0 = in libcrux_ml_dsa_ml_dsa_generic_ml_dsa_87_sign_internal_5a()[all …]