Fix edge-case bugs in polynomial arithmetic, the specialized FFT, and Merkle path parsing - #269

Open

ebfull wants to merge 8 commits into

mainfrom

edge-case-fixes

Commits on Aug 29, 2026

Return an error for a missing Merkle path depth byte

ebfull
and
claude
committed
5fc0d39
Assert equal input lengths in small_multiexp

ebfull
and
claude
committed
1b377c6
Decline the specialized curve FFT for non-exact-order roots

ebfull
and
claude
committed
a0c2623
Assert equal lengths in polynomial addition

ebfull
and
claude
committed
cbe2cc2
Evaluate Lagrange basis correctly at its own domain point

ebfull
and
claude
committed
93b1c6a
Document the hash-to-curve domain-prefix length bound

ebfull
and
claude
committed
95d35a7
Add changelog fragment for PR #269

ebfull
and
claude
committed
65c2708
Zero-extend short query polynomials in the multiopen prover

ebfull
and
claude
committed
90702e1