Skip to content

Actions: leanEthereum/leanVM

Actions

Documentation PDF

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
24 workflow runs
24 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
Prove SPHINCS correctness and completeness Documentation PDF #24: Commit c2abd1b pushed by TomWambsgans
1m 43s main
main
1m 43s
XMSS and SPHINCS lean4 statements: switch back to probabilistic adver… Documentation PDF #23: Commit 0ee4bdb pushed by TomWambsgans
2m 32s main
main
2m 32s
small fix in doc Documentation PDF #22: Commit 94ba712 pushed by TomWambsgans
1m 43s main
main
1m 43s
Sphincs FV (#275) Documentation PDF #21: Commit e41c289 pushed by TomWambsgans
2m 27s main
main
2m 27s
Sphincs FV Documentation PDF #20: Pull request #275 synchronize by TomWambsgans
2m 36s sphincs-fv
sphincs-fv
2m 36s
Sphincs FV Documentation PDF #19: Pull request #275 synchronize by TomWambsgans
2m 7s sphincs-fv
sphincs-fv
2m 7s
Sphincs FV Documentation PDF #18: Pull request #275 synchronize by TomWambsgans
1m 55s sphincs-fv
sphincs-fv
1m 55s
Sphincs FV Documentation PDF #17: Pull request #275 synchronize by TomWambsgans
2m 20s sphincs-fv
sphincs-fv
2m 20s
Sphincs FV Documentation PDF #16: Pull request #275 synchronize by TomWambsgans
1m 46s sphincs-fv
sphincs-fv
1m 46s
Sphincs FV Documentation PDF #15: Pull request #275 synchronize by TomWambsgans
1m 48s sphincs-fv
sphincs-fv
1m 48s
Sphincs FV Documentation PDF #14: Pull request #275 synchronize by TomWambsgans
2m 16s sphincs-fv
sphincs-fv
2m 16s
Sphincs FV Documentation PDF #13: Pull request #275 synchronize by TomWambsgans
1m 36s sphincs-fv
sphincs-fv
1m 36s
Cleanup (#273) Documentation PDF #12: Commit 2b7ca3b pushed by TomWambsgans
2m 17s main
main
2m 17s
Cleanup Documentation PDF #11: Pull request #273 synchronize by TomWambsgans
1m 44s cleanup/repository-simplification
cleanup/repository-simplification
1m 44s
Cleanup Documentation PDF #10: Pull request #273 opened by TomWambsgans
1m 40s cleanup/repository-simplification
cleanup/repository-simplification
1m 40s
Gate the doc release on main and cover SPHINCS in CI Documentation PDF #9: Commit a213862 pushed by TomWambsgans
1m 28s main
main
1m 28s
cite https://frisitano.github.io/slides/presentations/leanvm-fold-in-… Documentation PDF #8: Commit 0dc020c pushed by TomWambsgans
1m 38s main
main
1m 38s
lanDA: construct the test membership vector L outside of the snark, p… Documentation PDF #7: Commit 35f1fef pushed by TomWambsgans
1m 37s main
main
1m 37s
lanDA: construct the test membership vector L outside of the snark, p… Documentation PDF #6: Commit 00b5688 pushed by TomWambsgans
1m 39s main
main
1m 39s
xmss doc: add an explanation of why 128 bits of security is not reach… Documentation PDF #5: Commit 733081c pushed by TomWambsgans
2m 32s main
main
2m 32s
lean-da, inspired by https://ethresear.ch/t/leanda-design-and-benchma… Documentation PDF #4: Commit 0f0efa6 pushed by TomWambsgans
2m 30s main
main
2m 30s
lean-da, inspired by https://ethresear.ch/t/leanda-design-and-benchma… Documentation PDF #3: Commit 17f29d7 pushed by TomWambsgans
2m 36s main
main
2m 36s
doc: add an end2end example in 05-arithmetization.tex Documentation PDF #2: Commit 2163d3d pushed by TomWambsgans
1m 37s main
main
1m 37s
snark_lib: declare blake2s md= Documentation PDF #1: Commit 73a5f5d pushed by TomWambsgans
2m 3s main
main
2m 3s