Skip to content

Actions: yetanotherco/lambda_vm

Actions

Benchmark (PR)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
benchmark-pr.yml
1,692 workflow runs
1,692 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
perf: make bump the default guest allocator (#869) Benchmark (PR) #1701: Commit d52f37d pushed by github-merge-queue Bot
9m 34s main
main
9m 34s
fix(formal-verification): use unsigned ULE for the keccak gate's byte-range contract Benchmark (PR) #1700: Issue comment #934 (comment) created by MauroToscano
7s
7s
docs(formal-verification): DMA memcpy Benchmark (PR) #1699: Issue comment #926 (comment) created by MauroToscano
1s
1s
Formal verification for the ECSM affine selector Benchmark (PR) #1698: Issue comment #925 (comment) created by MauroToscano
2s
2s
fix: use CPU-aware prover scheduler Benchmark (PR) #1697: Issue comment #897 (comment) created by MauroToscano
8m 57s
8m 57s
fix(gpu): survive transient VRAM pressure — recover resident-table de… Benchmark (PR) #1696: Commit d898a42 pushed by github-merge-queue Bot
9m 53s main
main
9m 53s
Chore/bump ethrex rev Benchmark (PR) #1695: Issue comment #894 (comment) created by diegokingston
11m 41s
11m 41s
perf: make bump the default guest allocator Benchmark (PR) #1694: Issue comment #869 (comment) created by diegokingston
8m 49s
8m 49s
perf(guest): route all guest keccak through the chip via a vendored t… Benchmark (PR) #1693: Issue comment #885 (comment) created by diegokingston
8m 41s
8m 41s
perf(guest): route all guest keccak through the chip via a vendored t… Benchmark (PR) #1692: Issue comment #885 (comment) created by diegokingston
9m 47s
9m 47s
feat(prover,executor): keccak sponge-absorb accelerator (ECALL -4, one row per rate block) Benchmark (PR) #1691: Issue comment #912 (comment) created by MauroToscano
8m 41s
8m 41s
feat(prover,executor): keccak sponge-absorb accelerator (ECALL -4, one row per rate block) Benchmark (PR) #1690: Issue comment #912 (comment) created by MauroToscano
9m 37s
9m 37s
perf: make bump the default guest allocator Benchmark (PR) #1689: Issue comment #869 (comment) created by Oppen
11s
11s
fix(gpu): survive transient VRAM pressure — recover resident-table declines, close an R2 corruption race Benchmark (PR) #1688: Issue comment #914 (comment) created by claude Bot
1s
1s
fix(gpu): survive transient VRAM pressure — recover resident-table declines, close an R2 corruption race Benchmark (PR) #1687: Issue comment #914 (comment) created by ColoCarletti
1s
1s
perf: make bump the default guest allocator Benchmark (PR) #1686: Issue comment #869 (comment) created by nicole-graus
2s
2s
Feat/hint ecall (#876) Benchmark (PR) #1685: Commit 58160b6 pushed by github-merge-queue Bot
9m 52s main
main
9m 52s
feat(syscalls): add the EF IO write_log symbol (no-op) per zkvm-standards#27 Benchmark (PR) #1684: Issue comment #916 (comment) created by MauroToscano
2s
2s
fix(page): private-input PAGE OFFSET is unconstrained — forgeable mem… Benchmark (PR) #1683: Commit 483dc6e pushed by github-merge-queue Bot
11m 9s main
main
11m 9s
fix(verifier): pin each trace-opening column width to the AIR, not ju… Benchmark (PR) #1682: Commit 6949ceb pushed by github-merge-queue Bot
11m 10s main
main
11m 10s
fix(verifier): reject unexpected precomputed commitment for normal AIRs Benchmark (PR) #1681: Issue comment #906 (comment) created by MauroToscano
6s
6s
Feat/hint ecall Benchmark (PR) #1680: Issue comment #876 (comment) created by jotabulacios
8m 45s
8m 45s
Fix/ecsm address bound air executor Benchmark (PR) #1679: Issue comment #913 (comment) created by jotabulacios
1s
1s
Fix/ecsm address bound air executor Benchmark (PR) #1678: Issue comment #913 (comment) created by jotabulacios
9m 33s
9m 33s
perf(prover): device-only preprocessed tables and GPU commits for mid-size tables Benchmark (PR) #1677: Issue comment #888 (comment) created by ColoCarletti
Skipped
Skipped