Prove chain-nested root optimality: no root mask family has lower D_root than chain(g|g) under the stated hypotheses, 1418.8459 per port at L=18 (no κ) - #6868

Prove chain-nested root optimality: no root mask family has lower D_root than chain(g|g) under the stated hypotheses, 1418.8459 per port at L=18 (no κ)#6868

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:research/p104-root-chain-optimalityDreamingOfClouds/integer-mult-bounds:research/p104-root-chain-optimalityCopy head branch name to clipboard