Skip to content

Actions: yetanotherco/lambda_vm

Actions

Bench verifier

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench-verify.yml
21 workflow runs
21 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
feat: cache verifying key + commitments (recursion opt) Bench verifier #21: Issue comment #727 (comment) created by claude Bot
1s
1s
feat: cache verifying key + commitments (recursion opt) Bench verifier #20: Issue comment #727 (comment) created by Oppen
1s
1s
feat(stark): field-generic constraint IR + single-body ConstraintBuilder framework Bench verifier #19: Issue comment #763 (comment) created by MauroToscano
1s
1s
refactor(stark): derive constraint metadata from the single eval body Bench verifier #18: Issue comment #772 (comment) created by MauroToscano
1s
1s
Fix(Continuations): Make private input private Bench verifier #17: Issue comment #758 (comment) created by claude Bot
1s
1s
perf(continuations): Verify-and-drop continuation epoch proofs instead of collecting them Bench verifier #16: Issue comment #766 (comment) created by claude Bot
1s
1s
perf(continuations): Verify-and-drop continuation epoch proofs instead of collecting them Bench verifier #15: Issue comment #766 (comment) created by nicole-graus
2s
2s
Fix(Continuations): Make private input private Bench verifier #14: Issue comment #758 (comment) created by nicole-graus
1s
1s
Feat/batched fri per epoch Bench verifier #13: Issue comment #768 (comment) created by diegokingston
12s
12s
feat: cache verifying key + commitments (recursion opt) Bench verifier #12: Issue comment #727 (comment) created by claude Bot
2s
2s
feat: cache verifying key + commitments (recursion opt) Bench verifier #11: Issue comment #727 (comment) created by Oppen
1s
1s
feat(stark): single-source constraints — one definition per constraint, verified cross-version [stacked on #763] Bench verifier #10: Issue comment #764 (comment) created by MauroToscano
Skipped
Skipped
perf(stark): borrow trace rows in place for prover transition eval Bench verifier #9: Issue comment #767 (comment) created by MauroToscano
1s
1s
perf(stark): borrow trace rows in place for prover transition eval Bench verifier #8: Issue comment #767 (comment) created by MauroToscano
1s
1s
feat(stark): single-source constraints — one definition per constraint, verified cross-version [stacked on #763] Bench verifier #7: Issue comment #764 (comment) created by MauroToscano
1s
1s
Bench verifier Bench verifier #6: created by MauroToscano
1s
1s
Bench verifier Bench verifier #5: created by MauroToscano
1s
1s
Feat/fri early termination Bench verifier #4: Issue comment #729 (comment) created by jotabulacios
2m 21s
2m 21s
feat(stark): single-source constraints — one definition per constraint, verified cross-version [stacked on #763] Bench verifier #3: Issue comment #764 (comment) created by MauroToscano
10m 45s
10m 45s
Bench verifier Bench verifier #2: created by MauroToscano
18s
18s
feat(stark): field-generic constraint IR + single-body ConstraintBuilder framework Bench verifier #1: Issue comment #763 (comment) created by MauroToscano
5m 43s
5m 43s