perf: Sumcheck, GKR & WHIR proving optimizations#234

Closed

Barnadrot wants to merge 7 commits into

leanEthereum:mainfrom

Barnadrot:non-blake3-dependent-optimizations

Commits on May 25, 2026

perf: remove 8 dead Poseidon outputs_right columns (h31)

Barnadrot
and
claude
committed
style: fix rustfmt and remove dead test module reference

Barnadrot
and
claude
committed