Add constant-time (f_events) proofs for rej_uniform_eta2 and rej_uniform_eta4 - #1398

Add constant-time (f_events) proofs for rej_uniform_eta2 and rej_uniform_eta4#1398

jakemas wants to merge 1 commit into

mainpq-code-package/mldsa-native:mainfrom

rej-uniform-eta-ct-fevents-v2pq-code-package/mldsa-native:rej-uniform-eta-ct-fevents-v2Copy head branch name to clipboard