Skip to content

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

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

Add x86_64 constant-time (f_events) proofs for rej_uniform_eta2 and rej_uniform_eta4#1397
jakemas wants to merge 1 commit into
mainfrom
x86-ct-rej-uniform

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

08114d2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar