Skip to content
This repository was archived by the owner on Sep 12, 2026. It is now read-only.

Actions: leanEthereum/leanVM-b

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
925 workflow runs
925 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Small proofs Ring Switching Note PDF #6: Pull request #4 synchronize by TomWambsgans
48s small-proof
small-proof
48s
Small proofs Spec PDF #14: Pull request #4 synchronize by TomWambsgans
47s small-proof
small-proof
47s
Small proofs Ring Switching Note PDF #5: Pull request #4 synchronize by TomWambsgans
2m 25s small-proof
small-proof
2m 25s
Small proofs PCS Note PDF #3: Pull request #4 synchronize by TomWambsgans
1m 26s small-proof
small-proof
1m 26s
Small proofs Rust #2: Pull request #4 synchronize by TomWambsgans
6m 24s small-proof
small-proof
6m 24s
Small proofs Spec PDF #13: Pull request #4 synchronize by TomWambsgans
1m 27s small-proof
small-proof
1m 27s
Small proofs Rust #1: Pull request #4 synchronize by TomWambsgans
6m 59s small-proof
small-proof
6m 59s
Small proofs Spec PDF #12: Pull request #4 synchronize by TomWambsgans
1m 57s small-proof
small-proof
1m 57s
Small proofs Ring Switching Note PDF #4: Pull request #4 synchronize by TomWambsgans
1m 30s small-proof
small-proof
1m 30s
Small proofs PCS Note PDF #2: Pull request #4 synchronize by TomWambsgans
1m 32s small-proof
small-proof
1m 32s
perf: accelerate grand-product GKR Spec PDF #11: Commit 7601f22 pushed by TomWambsgans
1m 33s main
main
1m 33s
docs: the PCS is 120-bit unique-decoding, not 100-bit list-decoding Spec PDF #10: Commit 597da03 pushed by TomWambsgans
1m 50s main
main
1m 50s
back-loaded batched zerocheck for AIR cnstraints Spec PDF #9: Commit 5d197b8 pushed by TomWambsgans
2m 7s main
main
2m 7s
faster Ring Switching verifier for GHASH (15% less cycles end2end) Ring Switching Note PDF #3: Commit 93a4f56 pushed by TomWambsgans
2m 15s main
main
2m 15s
docs: publish generalized ring-switching .tex source Ring Switching Note PDF #2: Commit dfb162a pushed by TomWambsgans
2m 20s main
main
2m 20s
docs: publish generalized ring-switching .tex source Ring Switching Note PDF #1: Commit a061b8c pushed by TomWambsgans
2m 25s main
main
2m 25s
compiler: harden BLAKE3 chaining lowering Spec PDF #8: Commit b788b1c pushed by TomWambsgans
2m 4s main
main
2m 4s
pcs.tex (a note on WHIR/Ligerito over binary fields, interpreted as L… PCS Note PDF #1: Commit 2268a8a pushed by TomWambsgans
2m 44s main
main
2m 44s
Merge pull request #2 from leanEthereum/recursion Spec PDF #7: Commit 14ed788 pushed by TomWambsgans
1m 32s main
main
1m 32s
Merge branch 'immediate-jump': direct-target JUMP Spec PDF #6: Commit b258a26 pushed by TomWambsgans
1m 28s main
main
1m 28s
Merge branch 'improve-blake-opcode': flexible BLAKE3 operands Spec PDF #5: Commit e69e809 pushed by TomWambsgans
2m 49s main
main
2m 49s
match Spec PDF #4: Commit 33da10d pushed by TomWambsgans
2m 14s main
main
2m 14s
doc Spec PDF #3: Commit cfffa43 pushed by TomWambsgans
2m 44s main
main
2m 44s
Merge pull request #1 from leanEthereum/blake3 Spec PDF #2: Commit 7d941ac pushed by TomWambsgans
1m 29s main
main
1m 29s
first commit Spec PDF #1: Commit cdb1971 pushed by TomWambsgans
1m 17s main
main
1m 17s
ProTip! You can narrow down the results and go further in time using created:<2026-06-30 or the other filters available.