Prove the exact 218-call minimum for seven-source weight-≤4 masks (audits #4079; L=20 excluded; no new κ) - #4207

Prove the exact 218-call minimum for seven-source weight-≤4 masks (audits #4079; L=20 excluded; no new κ)#4207

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/seven-source-weight4-exact-floorpetalas/integer-mult-bounds:research/seven-source-weight4-exact-floorCopy head branch name to clipboard