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

Actions: leanEthereum/leanVM-b

Actions

Documentation PDF

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
151 workflow runs
151 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
rename everything with "leanVM" instead of "leanVM-b" Documentation PDF #151: Commit c5bdade pushed by TomWambsgans
1m 43s main
main
1m 43s
doc: clean 05-arithmetization.tex Documentation PDF #150: Commit c701f62 pushed by TomWambsgans
2m 11s main
main
2m 11s
aggregation: the signer set is plain BLAKE2s, not a chain of its own Documentation PDF #149: Commit 40c84f3 pushed by TomWambsgans
2m 3s main
main
2m 3s
Simplify the aggregation statement and its API Documentation PDF #148: Commit 17727c3 pushed by TomWambsgans
2m 14s main
main
2m 14s
doc wip Documentation PDF #147: Commit 66696c4 pushed by TomWambsgans
1m 43s main
main
1m 43s
recursive aggregation: enable multiple group of XMSS sharing (epoch, … Documentation PDF #146: Commit 967db06 pushed by TomWambsgans
2m 38s main
main
2m 38s
public input consistency: no need for the prover to send the claim on… Documentation PDF #145: Commit 82830e6 pushed by TomWambsgans
2m 47s main
main
2m 47s
doc: one symbol, one meaning, across the document and the code Documentation PDF #144: Commit afa891a pushed by TomWambsgans
1m 55s main
main
1m 55s
doc: cleaning section 6 and 7 Documentation PDF #143: Commit 73201dc pushed by TomWambsgans
1m 40s main
main
1m 40s
doc: cleaning section 6 and 7 Documentation PDF #142: Commit 9bffd12 pushed by TomWambsgans
2m 24s main
main
2m 24s
doc cleaning Documentation PDF #141: Commit a72c025 pushed by TomWambsgans
1m 43s main
main
1m 43s
doc cleaning Documentation PDF #140: Commit 5817705 pushed by TomWambsgans
1m 55s main
main
1m 55s
XMSS aggregation: build the shared (per pair (message, epoch)) tweaks… Documentation PDF #139: Commit 378b2e4 pushed by TomWambsgans
1m 39s main
main
1m 39s
Sphincs aggregation (#18) Documentation PDF #138: Commit e3f30f0 pushed by TomWambsgans
1m 49s main
main
1m 49s
Sphincs aggregation Documentation PDF #137: Pull request #18 synchronize by TomWambsgans
1m 59s sphincs-aggregation
sphincs-aggregation
1m 59s
Sphincs aggregation Documentation PDF #136: Pull request #18 opened by TomWambsgans
1m 29s sphincs-aggregation
sphincs-aggregation
1m 29s
xmss security analysis: fix 8. of Alex H. review (https://github.com/… Documentation PDF #135: Commit d9efa8a pushed by TomWambsgans
2m 32s main
main
2m 32s
xmss security analysis: fix 7. of Alex H. review (https://github.com/… Documentation PDF #134: Commit 6298dcf pushed by TomWambsgans
1m 22s main
main
1m 22s
xmss security analysis: fix 2. of Alex H. review (https://github.com/… Documentation PDF #133: Commit 00ed2e2 pushed by TomWambsgans
1m 39s main
main
1m 39s
xmss security analysis: fix 2. of Alex H. review (https://github.com/… Documentation PDF #132: Commit 0232101 pushed by TomWambsgans
1m 43s main
main
1m 43s
xmss spec: add a Completeness section as usggested by Benedikt W. Documentation PDF #131: Commit e3cfa1c pushed by TomWambsgans
1m 58s main
main
1m 58s
sub-MTU XMSS formal proof of classical security in ROM (#10) Documentation PDF #130: Commit f5d6e50 pushed by TomWambsgans
1m 39s main
main
1m 39s
remove PACK64X2 instruction (replaced by a trick: ue JUMP instruction… Documentation PDF #129: Commit 5df6c37 pushed by TomWambsgans
2m 1s main
main
2m 1s
Fixing stuff (#13) Documentation PDF #128: Commit eca9667 pushed by TomWambsgans
1m 38s main
main
1m 38s
Fixing stuff Documentation PDF #127: Pull request #13 synchronize by TomWambsgans
2m 35s fix-compiler
fix-compiler
2m 35s