Skip to content

Actions: leanEthereum/leanVM

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,390 workflow runs
1,390 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
update versionfrom 0.8.0 to 0.9.0 in minimal_zkVM.tex Spec PDF #14: Commit a5909d1 pushed by TomWambsgans
1m 30s main
main
1m 30s
update versionfrom 0.8.0 to 0.9.0 in minimal_zkVM.tex Rust #1407: Commit a5909d1 pushed by TomWambsgans
7m 20s main
main
7m 20s
setup_prover_without_arena for memory-constrained callers Rust #1406: Commit 33daf3b pushed by TomWambsgans
7m 14s main
main
7m 14s
setup_prover_without_arena for memory-constrained callers Rust #1405: Commit 3ef974d pushed by TomWambsgans
7m 29s main
main
7m 29s
Pin prime subfield koalabear (#264) Rust #1404: Commit 380da82 pushed by TomWambsgans
6m 50s main
main
6m 50s
Pin prime subfield koalabear Rust #1403: Pull request #264 opened by TomWambsgans
5m 39s pin-prime-subfield-koalabear
pin-prime-subfield-koalabear
5m 39s
make the verifier fully single-threaded, and using Vec (not `ArenaV… Rust #1402: Commit c83b40f pushed by TomWambsgans
5m 51s main
main
5m 51s
perf(xmss): remove dead work from the signing path Rust #1401: Pull request #263 opened by wstran
5m 40s wstran:xmss-signing-dead-work
wstran:xmss-signing-dead-work
5m 40s
rec_aggregation: option to serialize aggregate proofs without pubkeys Rust #1400: Commit 105c5c6 pushed by TomWambsgans
6m 3s main
main
6m 3s
Xmss api rework (#262) Rust #1399: Commit a73ab11 pushed by TomWambsgans
5m 22s main
main
5m 22s
clean API Rust #1398: Pull request #262 synchronize by TomWambsgans
5m 52s xmss-api-rework
xmss-api-rework
5m 52s
clean API Rust #1397: Pull request #262 synchronize by TomWambsgans
6m 5s xmss-api-rework
xmss-api-rework
6m 5s
clean API Rust #1396: Pull request #262 synchronize by TomWambsgans
1m 20s xmss-api-rework
xmss-api-rework
1m 20s
clean API Rust #1395: Pull request #262 synchronize by TomWambsgans
5m 13s xmss-api-rework
xmss-api-rework
5m 13s
clean API Rust #1394: Pull request #262 synchronize by TomWambsgans
4m 53s xmss-api-rework
xmss-api-rework
4m 53s
clean API Rust #1393: Pull request #262 synchronize by TomWambsgans
5m 41s xmss-api-rework
xmss-api-rework
5m 41s
clean API Rust #1392: Pull request #262 opened by TomWambsgans
1m 20s xmss-api-rework
xmss-api-rework
1m 20s
bench: microbenches for the hot mixed base x extension field kernels (chunk 1 of #260) Rust #1391: Pull request #261 opened by koko1123
Action required koko1123:bench-field-kernels
koko1123:bench-field-kernels
Action required
perf(poly): packed split-eq evaluation for base-coefficient multiline… Rust #1390: Commit f013eb3 pushed by TomWambsgans
6m 45s main
main
6m 45s
perf(poly): packed split-eq evaluation for base-coefficient multilinears Rust #1389: Pull request #259 synchronize by wstran
5m 44s wstran:eval-base-packed
wstran:eval-base-packed
5m 44s
perf(poly): packed split-eq evaluation for base-coefficient multilinears Rust #1388: Pull request #259 opened by wstran
6m 35s wstran:eval-base-packed
wstran:eval-base-packed
6m 35s
test: add regression test for F-01 field canonicity check Rust #1387: Pull request #258 opened by aryaethn
Action required aryaethn:test/regression-test-f01-canonicity
aryaethn:test/regression-test-f01-canonicity
Action required
fix(fiat-shamir): rejection-sample in sample_in_range to remove truncation bias Rust #1386: Pull request #257 opened by lau90eth
Action required lau90eth:fix/184-sample-in-range-bias
lau90eth:fix/184-sample-in-range-bias
Action required
fix #256 Rust #1385: Commit 12e6151 pushed by TomWambsgans
4m 48s main
main
4m 48s
fix #256 Spec PDF #13: Commit 12e6151 pushed by TomWambsgans
1m 48s main
main
1m 48s