Skip to content

Actions: 0xPolygonZero/zk_evm

Actions

Security audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
audit.yml
634 workflow runs
634 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'origin/develop' into perf/reduce_mem_be… Security audit #534: Commit f4823dc pushed by Nashtare
October 7, 2024 14:10 35s perf/reduce_mem_before
perf/reduce_mem_before
October 7, 2024 14:10 35s
Merge remote-tracking branch 'origin/develop' into 0xaatif/messy-smt2 Security audit #533: Commit 96d2748 pushed by 0xaatif
October 7, 2024 13:55 38s 0xaatif/messy-smt2
0xaatif/messy-smt2
October 7, 2024 13:55 38s
wip Security audit #532: Commit 179e6bf pushed by sai-deng
October 5, 2024 23:05 33s sai/refactor_optional_table_proving
sai/refactor_optional_table_proving
October 5, 2024 23:05 33s
refactor get ctl_vars from proof Security audit #531: Commit b89359e pushed by sai-deng
October 5, 2024 22:33 24s sai/refactor_optional_table_proving
sai/refactor_optional_table_proving
October 5, 2024 22:33 24s
fix: collect only n diff points Security audit #530: Commit 916d298 pushed by atanmarko
October 4, 2024 20:55 33s feat/deep-tries-comparison
feat/deep-tries-comparison
October 4, 2024 20:55 33s
Debugging erc20 Security audit #529: Commit 05935e5 pushed by 4l0n50
October 4, 2024 15:47 33s develop_w_type_2
develop_w_type_2
October 4, 2024 15:47 33s
fix Security audit #528: Commit 33c109d pushed by 0xaatif
October 4, 2024 11:18 32s linda/testing-new-structlog
linda/testing-new-structlog
October 4, 2024 11:18 32s
Fix formatting and conversion error Security audit #527: Commit 538e8cd pushed by LindaGuiga
October 4, 2024 08:00 30s kernel-debug
kernel-debug
October 4, 2024 08:00 30s
wip Security audit #526: Commit 81b3b45 pushed by 0xaatif
October 4, 2024 05:52 33s 0xaatif/messy-smt2
0xaatif/messy-smt2
October 4, 2024 05:52 33s
done Security audit #525: Commit 3eadb91 pushed by sai-deng
October 3, 2024 23:19 36s sai/refactor_optional_table_proving
sai/refactor_optional_table_proving
October 3, 2024 23:19 36s
Clippy and cleanup Security audit #524: Commit 5c90909 pushed by LindaGuiga
October 3, 2024 16:25 33s kernel-debug
kernel-debug
October 3, 2024 16:25 33s
Check Kernel execution against StructLogs Security audit #523: Commit f557010 pushed by LindaGuiga
October 3, 2024 15:45 33s kernel-debug
kernel-debug
October 3, 2024 15:45 33s
wip: initial implementation Security audit #522: Commit 5c57657 pushed by 0xaatif
October 3, 2024 02:16 44s 0xaatif/messy-smt2
0xaatif/messy-smt2
October 3, 2024 02:16 44s
revert some changes Security audit #521: Commit cd66dc9 pushed by sai-deng
October 2, 2024 22:16 29s sai/add_test_cfg
sai/add_test_cfg
October 2, 2024 22:16 29s
address comments Security audit #520: Commit 60def6c pushed by sai-deng
October 2, 2024 22:14 28s sai/add_test_cfg
sai/add_test_cfg
October 2, 2024 22:14 28s
merge changes Security audit #519: Commit 5a66c69 pushed by sai-deng
October 2, 2024 21:36 25s sai/refactor_optional_table_proving
sai/refactor_optional_table_proving
October 2, 2024 21:36 25s
more fixes Security audit #518: Commit a2f4545 pushed by sai-deng
October 2, 2024 18:59 35s sai/add_test_cfg
sai/add_test_cfg
October 2, 2024 18:59 35s
fixes Security audit #517: Commit 44f9711 pushed by sai-deng
October 2, 2024 18:45 32s sai/add_test_cfg
sai/add_test_cfg
October 2, 2024 18:45 32s
done Security audit #516: Commit b7137b5 pushed by sai-deng
October 2, 2024 18:37 35s sai/add_test_cfg
sai/add_test_cfg
October 2, 2024 18:37 35s
dev: syntax highlighting for EVM Assembly (#674) Security audit #515: Commit eb0b863 pushed by Nashtare
October 2, 2024 17:22 34s develop
develop
October 2, 2024 17:22 34s
Merge remote-tracking branch 'origin/develop' into 0xaatif/asm-syntax… Security audit #514: Commit ff87efc pushed by 0xaatif
October 2, 2024 17:07 33s 0xaatif/asm-syntax-highlighting
0xaatif/asm-syntax-highlighting
October 2, 2024 17:07 33s
Start implementing typed states and typed accounts Security audit #513: Commit e816b76 pushed by hratoanina
October 2, 2024 16:35 33s typed_input_state_trie
typed_input_state_trie
October 2, 2024 16:35 33s
Merge branch 'sai/conditionally_verify_in_root_circuit' into sai/enab… Security audit #512: Commit 1540078 pushed by sai-deng
October 1, 2024 22:30 31s sai/enable_keccak_optional_proving
sai/enable_keccak_optional_proving
October 1, 2024 22:30 31s
Merge branch 'sai/skip_table_in_root_circuit' into sai/conditionally_… Security audit #511: Commit f24d028 pushed by sai-deng
October 1, 2024 22:22 30s sai/conditionally_verify_in_root_circuit
sai/conditionally_verify_in_root_circuit
October 1, 2024 22:22 30s
Merge branch 'develop' into sai/skip_table_in_root_circuit Security audit #510: Commit ac41fa4 pushed by sai-deng
October 1, 2024 22:19 33s sai/skip_table_in_root_circuit
sai/skip_table_in_root_circuit
October 1, 2024 22:19 33s