Number of columns on both sides of a lookup argument
Opened this issue · 2 comments
OlivierBBB commented
It seems (though I'm not sure entirely which tests are being run on the CI) that corset didn't complain about a missing column in a lookup, see Consensys/linea-constraints@3094e96
- target provided with 6 columns
- source provided with only 5
If the compiler doesn't pick this up (and assuming that the CI actually attempts to produce the zkevm.bin object this is a bug.
DavePearce commented
This this does report an error:
(defcolumns X Y Z)
(deflookup test (Y) ((+ X 1) Z))
as does the opposite:
(defcolumns X Y Z)
(deflookup test (Y Z) ((+ X 1)))
DavePearce commented
@OlivierBBB where is the commit where you actually fixed this? The one above is not on any branch?