Skip to content

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

Closed
jakemas wants to merge 1 commit into
mainfrom
rej-uniform-eta2-ct-fevents
Closed

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

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

86c5c58
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar