feat(crypto)!: track leanVM main (internalized XMSS + reworked aggregation) - #539

Closed

MegaRedHand wants to merge 44 commits into

mainfrom

build/leanvm-track-main

Commits on Jul 24, 2026

feat(crypto)!: track leanVM main (internalized XMSS + reworked aggregation)
MegaRedHand
committed
36c388e
build(deps): pin leanVM to main HEAD (a73ab11) instead of tracking the branch
MegaRedHand
committed
6b41823
Merge branch 'main' into build/leanvm-track-main
MegaRedHand
authored
5e67159

Commits on Jul 27, 2026

build(deps): bump leanVM pin to c83b40f
MegaRedHand
committed
cd293eb
feat(crypto)!: keep pubkeys off the proof wire
MegaRedHand
committed
d68b246
fix(crypto): use leanVM's facade and prove one at a time

authored and
MegaRedHand
committed
db7bc13

Commits on Jul 28, 2026

Merge branch 'main' into build/leanvm-track-main
MegaRedHand
authored
02e7099

Commits on Jul 29, 2026

Commits on Jul 30, 2026

Commits on Jul 31, 2026

Merge branch 'main' into build/leanvm-track-main
MegaRedHand
authored
a93b49e

Commits on Aug 4, 2026

Commits on Aug 5, 2026

Commits on Aug 7, 2026

Merge remote-tracking branch 'origin/main' into build/leanvm-track-main
MegaRedHand
committed
08aa352

Commits on Aug 10, 2026

Merge branch 'main' into build/leanvm-track-main
MegaRedHand
authored
c5e0173

Commits on Aug 12, 2026

Merge branch 'main' into build/leanvm-track-main
MegaRedHand
authored
abf11f9

Commits on Aug 13, 2026

Merge branch 'main' into build/leanvm-track-main
MegaRedHand
authored
5ed24c3

Commits on Aug 19, 2026

Commits on Aug 25, 2026

Merge branch 'main' into build/leanvm-track-main
MegaRedHand
authored
2e1d4bc

Commits on Aug 26, 2026

Commits on Sep 1, 2026

Commits on Sep 2, 2026

Merge branch 'main' into build/leanvm-track-main
MegaRedHand
committed
29e03d3

Commits on Sep 7, 2026

Merge branch 'main' into build/leanvm-track-main
MegaRedHand
authored
fd4578e

Commits on Sep 10, 2026