Skip to content

Actions: formosa-crypto/formosa-mlkem

Actions

Extract & Check proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
extract-and-prove.yml
207 workflow runs
207 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Factored out MR goal Extract & Check proofs #132: Commit 5ed7bbe pushed by mbbarbosa
October 24, 2024 16:14 3m 18s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 24, 2024 16:14 3m 18s
nits Extract & Check proofs #131: Commit 5f30bf5 pushed by strub
October 19, 2024 08:26 1m 30s bdep-filter
bdep-filter
October 19, 2024 08:26 1m 30s
transition to new keccak Extract & Check proofs #130: Commit 75ac8b8 pushed by bacelar
October 19, 2024 00:37 3m 10s new_keccak
new_keccak
October 19, 2024 00:37 3m 10s
WIP Extract & Check proofs #129: Commit eea475f pushed by strub
October 18, 2024 16:11 2m 54s bdep-filter
bdep-filter
October 18, 2024 16:11 2m 54s
Partial progress on example Extract & Check proofs #128: Commit 44eda81 pushed by Gustavo2622
October 10, 2024 11:29 3m 16s MLKEM_avx2_equivs_compress
MLKEM_avx2_equivs_compress
October 10, 2024 11:29 3m 16s
Proof adapted to new compress Extract & Check proofs #127: Commit 07e47fa pushed by mbbarbosa
October 9, 2024 21:12 1m 30s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 9, 2024 21:12 1m 30s
newcompress Extract & Check proofs #126: Commit 39a7b9b pushed by mbbarbosa
October 9, 2024 15:05 3m 26s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 9, 2024 15:05 3m 26s
Progressing slowly Extract & Check proofs #125: Commit a3371e8 pushed by mbbarbosa
October 9, 2024 13:41 1m 47s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 9, 2024 13:41 1m 47s
short and tidy Extract & Check proofs #124: Commit 66bb870 pushed by mbbarbosa
October 7, 2024 18:41 1m 26s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 18:41 1m 26s
equivalence magic Extract & Check proofs #123: Commit a01c26d pushed by mbbarbosa
October 7, 2024 17:06 1m 17s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 17:06 1m 17s
Working on circuit equivs Extract & Check proofs #122: Commit 95b45a8 pushed by mbbarbosa
October 7, 2024 12:55 1m 42s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 12:55 1m 42s
Missing ops Extract & Check proofs #121: Commit 303de0f pushed by mbbarbosa
October 6, 2024 12:44 1m 14s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 6, 2024 12:44 1m 14s
miss zeroextu32 Extract & Check proofs #120: Commit e318c0c pushed by mbbarbosa
October 5, 2024 15:24 2m 49s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 5, 2024 15:24 2m 49s
fix Makefiles in bench dir Extract & Check proofs #119: Commit 2017160 pushed by bacelar
September 28, 2024 01:38 1m 15s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 28, 2024 01:38 1m 15s
merged mbb+tfa+jba Extract & Check proofs #118: Commit d4168e1 pushed by bacelar
September 28, 2024 00:05 1m 14s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 28, 2024 00:05 1m 14s
mr attempt Extract & Check proofs #117: Commit 218f5ef pushed by mbbarbosa
September 27, 2024 19:00 1m 34s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 19:00 1m 34s
mr equiv Extract & Check proofs #116: Commit 77f6ceb pushed by mbbarbosa
September 27, 2024 18:08 1m 15s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 18:08 1m 15s
pending smts Extract & Check proofs #115: Commit 0a822ad pushed by mbbarbosa
September 27, 2024 17:37 1m 28s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 17:37 1m 28s
Merge branch 'mlkem768_avx2_gen_matrix_sct_newparse' of github.com:fo… Extract & Check proofs #114: Commit 42689a0 pushed by mbbarbosa
September 27, 2024 15:31 1m 17s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 15:31 1m 17s
gen_matrix: fix Extract & Check proofs #113: Commit 867529e pushed by tfaoliveira-sb
September 27, 2024 13:18 1m 20s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 13:18 1m 20s
gen_matrix: fix Extract & Check proofs #112: Commit 5e66acb pushed by tfaoliveira-sb
September 26, 2024 18:30 1m 17s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 18:30 1m 17s
gen_matrix: fix Extract & Check proofs #111: Commit 64b3cf5 pushed by tfaoliveira-sb
September 26, 2024 18:29 1m 32s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 18:29 1m 32s
gen_matrix: fix Extract & Check proofs #110: Commit 71a4d15 pushed by tfaoliveira-sb
September 26, 2024 18:16 1m 20s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 18:16 1m 20s
gen_matrix: fix Extract & Check proofs #109: Commit e6d8baa pushed by tfaoliveira-sb
September 26, 2024 16:11 3m 9s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 16:11 3m 9s
genmatrix mostly done Extract & Check proofs #108: Commit e14926d pushed by bacelar
September 24, 2024 15:25 1m 31s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 24, 2024 15:25 1m 31s