Faster single-thread aggregation: padding tails summed once, a live-prefix dense reduction, and four smaller prover changes - #501

Faster single-thread aggregation: padding tails summed once, a live-prefix dense reduction, and four smaller prover changes#501

tcoratger merged 35 commits into

leanEthereum:riscv-explorationleanEthereum/leanVM:riscv-explorationfrom

kevaundray:kw/agg1-combinedkevaundray/leanVM:kw/agg1-combinedCopy head branch name to clipboard