Skip to content

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

Open
jakemas wants to merge 1 commit into
mainfrom
rej-uniform-eta-ct-fevents-v2
Open

Add constant-time (f_events) proofs for rej_uniform_eta2 and rej_uniform_eta4#1398
jakemas wants to merge 1 commit into
mainfrom
rej-uniform-eta-ct-fevents-v2

Add constant-time (f_events) proofs for rej_uniform_eta2 and rej_unif…

e377573
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar