Implement recent optimizations to the prover #95
Description
https://eprint.iacr.org/2025/1117.pdf
Some examples include: univariate skipping, small-value optimization
{{ message }}
https://eprint.iacr.org/2025/1117.pdf
Some examples include: univariate skipping, small-value optimization