Prove polynomial bit bounds for complete inverse-circuit certificates - #5352

Prove polynomial bit bounds for complete inverse-circuit certificates#5352

Mister-Meeseeks merged 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

aliromman:codex/five-more-20261023-r5aliromman/integer-mult-bounds:codex/five-more-20261023-r5Copy head branch name to clipboard