Skip to content

Actions: 0xPolygonZero/zk_evm

Security audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
624 workflow runs
624 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge
Security audit #624: Commit ca7ccac pushed by einar-polygon
November 14, 2024 17:58 39s einar/prefetch_transaction_jumps/pr
November 14, 2024 17:58 39s
Merge branch 'develop' into kernel-debug
Security audit #623: Commit d5ec8d4 pushed by LindaGuiga
November 14, 2024 15:40 40s kernel-debug
November 14, 2024 15:40 40s
Update
Security audit #622: Commit b7105bf pushed by Nashtare
November 13, 2024 23:56 40s feat/incr_opcode
November 13, 2024 23:56 40s
fix: comment
Security audit #621: Commit 86d619a pushed by atanmarko
November 13, 2024 18:31 40s feat/optimize-prove-task-dispatch
November 13, 2024 18:31 40s
refactor: remove the compat crate (#795)
Security audit #620: Commit b63c8e2 pushed by 0xaatif
November 13, 2024 15:04 48s develop
November 13, 2024 15:04 48s
refactor: remove compat crate
Security audit #619: Commit 698413b pushed by 0xaatif
November 13, 2024 13:36 40s 0xaatif/no-compat
November 13, 2024 13:36 40s
wip: initial ShitSmt implementation
Security audit #618: Commit e32f226 pushed by 0xaatif
November 12, 2024 18:00 41s 0xaatif/smt-rewrite
November 12, 2024 18:00 41s
debug 2
Security audit #617: Commit 6ac067b pushed by atanmarko
November 12, 2024 10:37 34s feat/optimize-prove-task-dispatch
November 12, 2024 10:37 34s
Replace ethereum_types with alloy::primitives in smt_trie crate…
Security audit #616: Commit dd17ff3 pushed by Nashtare
November 11, 2024 21:51 37s develop
November 11, 2024 21:51 37s
review comments
Security audit #615: Commit 2ebe02c pushed by temaniarpit27
November 11, 2024 08:14 50s arpit/704
November 11, 2024 08:14 50s
Fix all unit tests
Security audit #614: Commit da3dc9d pushed by 4l0n50
November 8, 2024 16:22 42s type2_merge_alonso
November 8, 2024 16:22 42s
feat: revamp zero prove functions
Security audit #613: Commit 2c4dadc pushed by atanmarko
November 8, 2024 10:07 35s feat/optimize-prove-task-dispatch
November 8, 2024 10:07 35s
Merge remote-tracking branch 'origin/develop' into type2_merge_linda
Security audit #612: Commit f0bb4f0 pushed by Nashtare
November 7, 2024 20:28 37s type2_merge_linda
November 7, 2024 20:28 37s
Merge remote-tracking branch 'origin/develop' into type2_merge_linda
Security audit #611: Commit f864db2 pushed by Nashtare
November 7, 2024 20:28 37s type2_merge_linda
November 7, 2024 20:28 37s
Fix bytecode hashing for Type2 SMT (#782)
Security audit #610: Commit 3b1019c pushed by Nashtare
November 7, 2024 19:28 35s develop
November 7, 2024 19:28 35s
Move World trait and related into evm_arithmetization crate (#783)
Security audit #609: Commit c6581aa pushed by Nashtare
November 7, 2024 19:07 38s decoder/codehash
November 7, 2024 19:07 38s
feat: revamp zero prove functions
Security audit #608: Commit 2a796b3 pushed by atanmarko
November 7, 2024 16:24 39s feat/optimize-prove-task-dispatch
November 7, 2024 16:24 39s
Move world into evm_arithmetization
Security audit #607: Commit 2c9e30d pushed by Nashtare
November 6, 2024 22:50 36s world_into_evm_arith
November 6, 2024 22:50 36s
Move world into evm_arithmetization
Security audit #606: Commit d4dd2aa pushed by Nashtare
November 6, 2024 22:49 38s world_into_evm_arith
November 6, 2024 22:49 38s
nit: comment
Security audit #605: Commit 49ab68c pushed by atanmarko
November 6, 2024 12:33 37s feat/prove-stdio-ampq
November 6, 2024 12:33 37s
feat: use abort signal for proving tasks (#748)
Security audit #604: Commit 879531c pushed by atanmarko
November 6, 2024 12:24 1m 11s develop
November 6, 2024 12:24 1m 11s
fix: update paladin dependency
Security audit #603: Commit 08a7e7f pushed by atanmarko
November 6, 2024 11:38 55s feat/abort-signal
November 6, 2024 11:38 55s
Merge remote-tracking branch 'origin/develop' into type2_merge_linda
Security audit #602: Commit 7f89495 pushed by Nashtare
November 5, 2024 15:59 36s type2_merge_linda
November 5, 2024 15:59 36s
Merge remote-tracking branch 'origin/develop' into type2_merge_linda
Security audit #601: Commit de15694 pushed by Nashtare
November 5, 2024 15:56 35s type2_merge_linda
November 5, 2024 15:56 35s
Merge branch 'develop' into kernel-debug
Security audit #600: Commit 8e28074 pushed by LindaGuiga
November 5, 2024 08:27 42s kernel-debug
November 5, 2024 08:27 42s