Skip to content

Actions: yetanotherco/lambda_vm

Actions

Benchmark GPU (PR)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
benchmark-gpu.yml
431 workflow runs
431 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
fix(formal-verification): use unsigned ULE for the keccak gate's byte-range contract Benchmark GPU (PR) #432: Issue comment #934 (comment) created by MauroToscano
1s
1s
docs(formal-verification): DMA memcpy Benchmark GPU (PR) #431: Issue comment #926 (comment) created by MauroToscano
8s
8s
Formal verification for the ECSM affine selector Benchmark GPU (PR) #430: Issue comment #925 (comment) created by MauroToscano
2s
2s
fix: use CPU-aware prover scheduler Benchmark GPU (PR) #429: Issue comment #897 (comment) created by MauroToscano
9s
9s
Chore/bump ethrex rev Benchmark GPU (PR) #428: Issue comment #894 (comment) created by diegokingston
9s
9s
perf: make bump the default guest allocator Benchmark GPU (PR) #427: Issue comment #869 (comment) created by diegokingston
1s
1s
perf(guest): route all guest keccak through the chip via a vendored t… Benchmark GPU (PR) #426: Issue comment #885 (comment) created by diegokingston
1s
1s
perf(guest): route all guest keccak through the chip via a vendored t… Benchmark GPU (PR) #425: Issue comment #885 (comment) created by diegokingston
1s
1s
feat(prover,executor): keccak sponge-absorb accelerator (ECALL -4, one row per rate block) Benchmark GPU (PR) #424: Issue comment #912 (comment) created by MauroToscano
1s
1s
feat(prover,executor): keccak sponge-absorb accelerator (ECALL -4, one row per rate block) Benchmark GPU (PR) #423: Issue comment #912 (comment) created by MauroToscano
9s
9s
perf: make bump the default guest allocator Benchmark GPU (PR) #422: Issue comment #869 (comment) created by Oppen
10s
10s
fix(gpu): survive transient VRAM pressure — recover resident-table declines, close an R2 corruption race Benchmark GPU (PR) #421: Issue comment #914 (comment) created by claude Bot
10s
10s
fix(gpu): survive transient VRAM pressure — recover resident-table declines, close an R2 corruption race Benchmark GPU (PR) #420: Issue comment #914 (comment) created by ColoCarletti
7s
7s
perf: make bump the default guest allocator Benchmark GPU (PR) #419: Issue comment #869 (comment) created by nicole-graus
1s
1s
feat(syscalls): add the EF IO write_log symbol (no-op) per zkvm-standards#27 Benchmark GPU (PR) #418: Issue comment #916 (comment) created by MauroToscano
7s
7s
fix(verifier): reject unexpected precomputed commitment for normal AIRs Benchmark GPU (PR) #417: Issue comment #906 (comment) created by MauroToscano
1s
1s
Feat/hint ecall Benchmark GPU (PR) #416: Issue comment #876 (comment) created by jotabulacios
6s
6s
Fix/ecsm address bound air executor Benchmark GPU (PR) #415: Issue comment #913 (comment) created by jotabulacios
1s
1s
Fix/ecsm address bound air executor Benchmark GPU (PR) #414: Issue comment #913 (comment) created by jotabulacios
1s
1s
perf(prover): device-only preprocessed tables and GPU commits for mid-size tables Benchmark GPU (PR) #413: Issue comment #888 (comment) created by ColoCarletti
48m 42s
48m 42s
feat(prover,executor): BLAKE3 6-round compression accelerator Benchmark GPU (PR) #412: Issue comment #903 (comment) created by MauroToscano
Skipped
Skipped
perf: make bump the default guest allocator Benchmark GPU (PR) #411: Issue comment #869 (comment) created by MauroToscano
1s
1s
ECSM operand addresses: the AIR accepts 7 addresses the executor rejects (implementation deviates from spec/src/ecsm.toml) Benchmark GPU (PR) #410: Issue comment #902 (comment) created by MauroToscano
10s
10s
ECSM operand addresses: the AIR accepts 7 addresses the executor rejects (implementation deviates from spec/src/ecsm.toml) Benchmark GPU (PR) #409: Issue comment #902 (comment) created by MauroToscano
11s
11s
Review follow-ups for #876: the CI gap, three stale soundness comments, and three test gaps Benchmark GPU (PR) #408: Issue comment #905 (comment) created by MauroToscano
2s
2s