chore(do not merge): aggregate API - #267

Draft

kevaundray wants to merge 13 commits into

leanEthereum:mainfrom

kevaundray:feat/lean-sig

Commits on Aug 14, 2026

fix(poly): drop wrong packing-width assert on the middle eval slice

kevaundray
and
claude
committed
cea9fe7
feat(lean_multisig_api): opinionated facade over XMSS and aggregation

kevaundray
and
claude
committed
245fcab
refactor(lean_multisig_api): cleanup pass over the facade

kevaundray
and
claude
committed
8abd87b
docs: drop the plan documents, folding their live content into the code

kevaundray
and
claude
committed
4941250
refactor(lean_multisig_api): hide signature representations
kevaundray
committed
0568584
refactor(lean_multisig_api): type public key bytes
kevaundray
committed
ba27911
feat(lean_multisig_api): add multi-claim signatures
kevaundray
committed
e33f66e
add example for multiclaimSignature
kevaundray
committed
02dcdb1
remove locks (zk-alloc is not enabled)
kevaundray
committed
7a6964c
rename multi-claim signature to proof
kevaundray
committed
b0ee642
require explicit aggregation setup
kevaundray
committed
317d9be
Merge remote-tracking branch 'upstream/main' into feat/lean-sig
kevaundray
committed
eaaf5a4
use externally resolved proof context
kevaundray
committed
aed6462