Skip to content

Actions: yetanotherco/lambda_vm

Actions

Bench verifier

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench-verify.yml
355 workflow runs
355 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 Bench verifier #355: Issue comment #934 (comment) created by MauroToscano
1s
1s
docs(formal-verification): DMA memcpy Bench verifier #354: Issue comment #926 (comment) created by MauroToscano
7s
7s
Formal verification for the ECSM affine selector Bench verifier #353: Issue comment #925 (comment) created by MauroToscano
1s
1s
fix: use CPU-aware prover scheduler Bench verifier #352: Issue comment #897 (comment) created by MauroToscano
10s
10s
Chore/bump ethrex rev Bench verifier #351: Issue comment #894 (comment) created by diegokingston
13s
13s
perf: make bump the default guest allocator Bench verifier #350: Issue comment #869 (comment) created by diegokingston
1h 14m 19s
1h 14m 19s
perf(guest): route all guest keccak through the chip via a vendored t… Bench verifier #349: Issue comment #885 (comment) created by diegokingston
1s
1s
perf(guest): route all guest keccak through the chip via a vendored t… Bench verifier #348: Issue comment #885 (comment) created by diegokingston
2s
2s
feat(prover,executor): keccak sponge-absorb accelerator (ECALL -4, one row per rate block) Bench verifier #347: Issue comment #912 (comment) created by MauroToscano
7s
7s
feat(prover,executor): keccak sponge-absorb accelerator (ECALL -4, one row per rate block) Bench verifier #346: Issue comment #912 (comment) created by MauroToscano
Skipped
Skipped
perf: make bump the default guest allocator Bench verifier #345: Issue comment #869 (comment) created by Oppen
11s
11s
fix(gpu): survive transient VRAM pressure — recover resident-table declines, close an R2 corruption race Bench verifier #344: 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 Bench verifier #343: Issue comment #914 (comment) created by ColoCarletti
1s
1s
perf: make bump the default guest allocator Bench verifier #342: Issue comment #869 (comment) created by nicole-graus
12m 25s
12m 25s
feat(syscalls): add the EF IO write_log symbol (no-op) per zkvm-standards#27 Bench verifier #341: Issue comment #916 (comment) created by MauroToscano
7s
7s
fix(verifier): reject unexpected precomputed commitment for normal AIRs Bench verifier #340: Issue comment #906 (comment) created by MauroToscano
6s
6s
Feat/hint ecall Bench verifier #339: Issue comment #876 (comment) created by jotabulacios
1s
1s
Fix/ecsm address bound air executor Bench verifier #338: Issue comment #913 (comment) created by jotabulacios
10s
10s
Fix/ecsm address bound air executor Bench verifier #337: Issue comment #913 (comment) created by jotabulacios
9s
9s
perf(prover): device-only preprocessed tables and GPU commits for mid-size tables Bench verifier #336: Issue comment #888 (comment) created by ColoCarletti
10s
10s
feat(prover,executor): BLAKE3 6-round compression accelerator Bench verifier #335: Issue comment #903 (comment) created by MauroToscano
1s
1s
perf: make bump the default guest allocator Bench verifier #334: 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) Bench verifier #333: Issue comment #902 (comment) created by MauroToscano
1s
1s
ECSM operand addresses: the AIR accepts 7 addresses the executor rejects (implementation deviates from spec/src/ecsm.toml) Bench verifier #332: Issue comment #902 (comment) created by MauroToscano
4s
4s
Review follow-ups for #876: the CI gap, three stale soundness comments, and three test gaps Bench verifier #331: Issue comment #905 (comment) created by MauroToscano
1m 39s
1m 39s