Skip to content

Actions: formosa-crypto/formosa-mlkem

Actions

Check Constant-Time Security

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ct.yml
230 workflow runs
230 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

short and tidy Check Constant-Time Security #155: Commit 66bb870 pushed by mbbarbosa
October 7, 2024 18:41 57s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 18:41 57s
equivalence magic Check Constant-Time Security #154: Commit a01c26d pushed by mbbarbosa
October 7, 2024 17:06 1m 5s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 17:06 1m 5s
Working on circuit equivs Check Constant-Time Security #153: Commit 95b45a8 pushed by mbbarbosa
October 7, 2024 12:55 1m 2s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 12:55 1m 2s
Missing ops Check Constant-Time Security #152: Commit 303de0f pushed by mbbarbosa
October 6, 2024 12:44 1m 2s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 6, 2024 12:44 1m 2s
miss zeroextu32 Check Constant-Time Security #151: Commit e318c0c pushed by mbbarbosa
October 5, 2024 15:24 1m 0s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 5, 2024 15:24 1m 0s
fix Makefiles in bench dir Check Constant-Time Security #150: Commit 2017160 pushed by bacelar
September 28, 2024 01:38 58s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 28, 2024 01:38 58s
merged mbb+tfa+jba Check Constant-Time Security #149: Commit d4168e1 pushed by bacelar
September 28, 2024 00:05 1m 0s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 28, 2024 00:05 1m 0s
mr attempt Check Constant-Time Security #148: Commit 218f5ef pushed by mbbarbosa
September 27, 2024 19:00 1m 1s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 19:00 1m 1s
mr equiv Check Constant-Time Security #147: Commit 77f6ceb pushed by mbbarbosa
September 27, 2024 18:08 57s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 18:08 57s
pending smts Check Constant-Time Security #146: Commit 0a822ad pushed by mbbarbosa
September 27, 2024 17:37 1m 3s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 17:37 1m 3s
Merge branch 'mlkem768_avx2_gen_matrix_sct_newparse' of github.com:fo… Check Constant-Time Security #145: Commit 42689a0 pushed by mbbarbosa
September 27, 2024 15:31 56s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 15:31 56s
gen_matrix: fix Check Constant-Time Security #144: Commit 867529e pushed by tfaoliveira-sb
September 27, 2024 13:18 56s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 13:18 56s
gen_matrix: fix Check Constant-Time Security #143: Commit 5e66acb pushed by tfaoliveira-sb
September 26, 2024 18:30 55s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 18:30 55s
gen_matrix: fix Check Constant-Time Security #142: Commit 64b3cf5 pushed by tfaoliveira-sb
September 26, 2024 18:29 57s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 18:29 57s
gen_matrix: fix Check Constant-Time Security #141: Commit 71a4d15 pushed by tfaoliveira-sb
September 26, 2024 18:16 56s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 18:16 56s
gen_matrix: fix Check Constant-Time Security #140: Commit e6d8baa pushed by tfaoliveira-sb
September 26, 2024 16:11 58s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 16:11 58s
genmatrix mostly done Check Constant-Time Security #139: Commit e14926d pushed by bacelar
September 24, 2024 15:25 58s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 24, 2024 15:25 58s
Merge branch 'mlkem768_avx2_gen_matrix_sct_newparse' of github.com:fo… Check Constant-Time Security #138: Commit 2378c7a pushed by bacelar
September 23, 2024 13:31 56s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 23, 2024 13:31 56s
Going for equivs Check Constant-Time Security #137: Commit 5b7d329 pushed by mbbarbosa
September 20, 2024 17:34 1m 2s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 20, 2024 17:34 1m 2s
Going for equivs Check Constant-Time Security #136: Commit a6f35b0 pushed by mbbarbosa
September 20, 2024 17:32 58s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 20, 2024 17:32 58s
finished mr compress proof Check Constant-Time Security #135: Commit 26dccbf pushed by mbbarbosa
September 11, 2024 22:09 1m 1s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 11, 2024 22:09 1m 1s
Gets ugly when non-aligned Check Constant-Time Security #134: Commit 5c518b2 pushed by mbbarbosa
August 28, 2024 17:30 1m 2s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 28, 2024 17:30 1m 2s
Second example, working Check Constant-Time Security #133: Commit 8a45ec4 pushed by mbbarbosa
August 27, 2024 23:15 1m 1s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 23:15 1m 1s
stopped further ahead Check Constant-Time Security #132: Commit 19ba342 pushed by mbbarbosa
August 27, 2024 17:01 57s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 17:01 57s
Missing files Check Constant-Time Security #131: Commit 9809171 pushed by mbbarbosa
August 27, 2024 16:49 1m 7s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 16:49 1m 7s