Audit: exponent chain + finite certificates for the binary polynomial O(n log^{1301/1302} n) row (csizmadia @ e85bc1f6) - #180

Audit: exponent chain + finite certificates for the binary polynomial O(n log^{1301/1302} n) row (csizmadia @ e85bc1f6)#180

nmamano merged 1 commit into

bigospeedrun:mainbigospeedrun/verifier:mainfrom

BigO-Hunter:darkhipo/audit/2026-11-07-csizmadia-binary-poly-1301-localBigO-Hunter/verifier:darkhipo/audit/2026-11-07-csizmadia-binary-poly-1301-localCopy head branch name to clipboard