Reduce PR5413 carrier height at fixed κ and certify size-saving tradeoffs - #5787

Reduce PR5413 carrier height at fixed κ and certify size-saving tradeoffs#5787

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

RichardHoekstra:research/pr5413-carrier-frontierRichardHoekstra/integer-mult-bounds:research/pr5413-carrier-frontierCopy head branch name to clipboard