Repository navigation

lstar/aggregate: skip trivial 1-raw-sig + 0-children case - #748

Open

ch4r10t33r wants to merge 2 commits into

leanEthereum:mainfrom

ch4r10t33r:spec/skip-trivial-aggregation

Open

lstar/aggregate: skip trivial 1-raw-sig + 0-children case#748
ch4r10t33r wants to merge 2 commits into
leanEthereum:mainfrom
ch4r10t33r:spec/skip-trivial-aggregation

Commits on May 21, 2026
- lstar: skip trivial 1-raw-sig + 0-children case in aggregate()
  ch4r10t33r
  committed
  ebf803e
- lstar: do not skip trivial inputs when aggregate() serves block building
  ch4r10t33r
  committed
  653c790