logUp is currently only allowed with STARKs whose max constraint degree is 3.
Addressing this limitation could be beneficial for downstream users, even though this library is rather tailored for STARKs with rate $\frac{1}{2}$ followed by recursive verification.
Nashtare
commented
3 months ago
logUpis currently only allowed with STARKs whose max constraint degree is 3. Addressing this limitation could be beneficial for downstream users, even though this library is rather tailored for STARKs with rate $\frac{1}{2}$ followed by recursive verification.