Something wrong happens when declaring a CTL with exactly two looking tables (one looking table works, and three looking tables works). I encountered it while working on the zk_evm repository, but I'm pretty sure this comes from here. I suspect this comes from how the helper columns are constructed.
The error we get is: Mismatch between evaluation and opening of quotient polynomial.
Something wrong happens when declaring a CTL with exactly two looking tables (one looking table works, and three looking tables works). I encountered it while working on the zk_evm repository, but I'm pretty sure this comes from here. I suspect this comes from how the helper columns are constructed.
The error we get is:
Mismatch between evaluation and opening of quotient polynomial
.