bug: exp module perspective mismatch

[ivokub]

Trying to open zkevm.bin through the libcorset Go bindings:

corset, err := C.corset_from_file(C.CString("/home/ivo/temp/cur/zkevm.bin"))

I get the error:

columns exp.TRIM_BYTE%computation and exp.AUX_255_HOOD are in different perspectives

from the library.

Corset version: 067b412
Constraints version: f1d213b75a2a226200b8d394dffce9d1b94b5979

[DavePearce]

Minimal test case for reproduction:

(module test)
(defcolumns (FLAG))
(defperspective tmp FLAG ((BYTE :byte@prove)))

Command-line:

corset wizard-iop -vv -o test.bin test.lisp 

Observe that removing @prove and its fine. This is related to how byte constraints are enforced. Hence, this is related to #129. Fixing #129 will presumably resolve this automatically.

[DavePearce]

This is now resolved by #182. I believe there are likely to be issue around perspectives still, which will be addressed in #101.