Skip to content

Actions: leanEthereum/leanVM

Actions

Lean

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean.yml
60 workflow runs
60 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
Reduce recursive verifier overhead with reserved loop frames Lean #35: Commit c51b261 pushed by TomWambsgans
2m 35s main
main
2m 35s
Evaluate recursive PCS weights at the complete opening point Lean #34: Commit b71ca03 pushed by TomWambsgans
2m 19s main
main
2m 19s
Check hinted Merkle child pairs through memory Lean #33: Commit b98983c pushed by TomWambsgans
1m 38s main
main
1m 38s
Hint recursive PCS queries directly into local frames Lean #32: Commit f4a05b7 pushed by TomWambsgans
1m 42s main
main
1m 42s
Run the induce transpose's small-block layers in one cache window Lean #31: Commit b8e58be pushed by TomWambsgans
1m 59s main
main
1m 59s
update README with new perf numbers Lean #30: Commit 362a7c9 pushed by TomWambsgans
9m 40s main
main
9m 40s
perf (#274) Lean #29: Commit 409943c pushed by TomWambsgans
2m 49s main
main
2m 49s
perf Lean #28: Pull request #274 synchronize by TomWambsgans
1m 40s perf/prover-low-hanging-fruit
perf/prover-low-hanging-fruit
1m 40s
perf Lean #27: Pull request #274 synchronize by TomWambsgans
1m 59s perf/prover-low-hanging-fruit
perf/prover-low-hanging-fruit
1m 59s
perf Lean #26: Pull request #274 synchronize by TomWambsgans
1m 53s perf/prover-low-hanging-fruit
perf/prover-low-hanging-fruit
1m 53s
perf Lean #25: Pull request #274 synchronize by TomWambsgans
1m 48s perf/prover-low-hanging-fruit
perf/prover-low-hanging-fruit
1m 48s
perf Lean #24: Pull request #274 opened by TomWambsgans
20s perf/prover-low-hanging-fruit
perf/prover-low-hanging-fruit
20s
Cleanup (#273) Lean #23: Commit 2b7ca3b pushed by TomWambsgans
2m 43s main
main
2m 43s
Cleanup Lean #22: Pull request #273 synchronize by TomWambsgans
1m 38s cleanup/repository-simplification
cleanup/repository-simplification
1m 38s
Cleanup Lean #21: Pull request #273 opened by TomWambsgans
1m 52s cleanup/repository-simplification
cleanup/repository-simplification
1m 52s
Gate the doc release on main and cover SPHINCS in CI Lean #20: Commit a213862 pushed by TomWambsgans
2m 7s main
main
2m 7s
leanDA: opti zkDSL program Lean #19: Commit 2e85cff pushed by TomWambsgans
1m 55s main
main
1m 55s
cite https://frisitano.github.io/slides/presentations/leanvm-fold-in-… Lean #18: Commit 0dc020c pushed by TomWambsgans
1m 41s main
main
1m 41s
lanDA: construct the test membership vector L outside of the snark, p… Lean #17: Commit 35f1fef pushed by TomWambsgans
39s main
main
39s
lanDA: construct the test membership vector L outside of the snark, p… Lean #16: Commit 00b5688 pushed by TomWambsgans
2m 0s main
main
2m 0s
xmss doc: add an explanation of why 128 bits of security is not reach… Lean #15: Commit 733081c pushed by TomWambsgans
2m 22s main
main
2m 22s
lean-da, inspired by https://ethresear.ch/t/leanda-design-and-benchma… Lean #14: Commit 0f0efa6 pushed by TomWambsgans
2m 8s main
main
2m 8s
rename: the recursion guest is guests/lean_ethereum.py Lean #13: Commit 09db37f pushed by TomWambsgans
26s main
main
26s
lean-da, inspired by https://ethresear.ch/t/leanda-design-and-benchma… Lean #12: Commit 17f29d7 pushed by TomWambsgans
2m 12s main
main
2m 12s
rename: the recursion guest is guests/lean_ethereum.py Lean #11: Commit 09db37f pushed by TomWambsgans
2m 49s main
main
2m 49s