search

facebook / winterfell

A STARK prover and verifier for arbitrary computations
MIT License
773 stars 176 forks source link

Update constraint degree checks #311

Closed Al-Kindi-0 closed 2 weeks ago

Al-Kindi-0 commented 2 weeks ago

Same as #305

This PR relaxes the constraint degree checks so that they become degree bounds checks instead of degree equality checks.

Al-Kindi-0 commented 2 weeks ago

Looks good! Thank you!

This was only an issue during proof generation, right? During verification the moved away from strict equality checks a while back, I think.

That is indeed the case.