Lookup support for constrain degree greater than 3

[Vishalkulkarni45]

Hi @matthiasgoergens I'm trying to verify a Starky proof that includes a range check with a constraint degree of 5 within Plonky2. However, eval_helper_columns only supports constraint degrees below 4 and has a placeholder (todo()) for others. Could you briefly explain how I can implement this for a constraint degree of 5? plz.

[matthiasgoergens]

You might want to look at the upstream plonky2 repository? This one has some Mozak specific jank, and isn't really meant to be used by other people.

(I mean, no one can stop you from using it, but I wouldn't recommend it.)

[Vishalkulkarni45]

Thanks @matthiasgoergens but the upstream Plonky2 repo has the same lookup logic as the 0xmozak version. Is there any specific reason you don't recommend using the 0xmozak version?

[matthiasgoergens]

The Mozak version just has a few experimental changes that we plan to polish and then upstream.

The upstream version sees more bug fixing, development and maintenance. It's also published as crates to be used directly in Rust.