possible compatibility issue between Constraitns and Corset

[gusiri]

Getting this error when make define.go under zkevm-monorepo/constraints
Possibly compatibility issue between constraints and corset

Could be related to https://github.com/Consensys/zkevm-monorepo/issues/3326 @ivokub

Related issue: #143

environment:
constraints: v0.1.0-prover-integration
corset: v9.7.10, master branch (c729dbce)

...
[INFO] Parsing txndata_into_blockdata.lisp
[INFO] Parsing txndata_into_rlptxrcpt.lisp
[INFO] Parsing txndata_into_rlpaddr.lisp
[INFO] Parsing wcp/columns.lisp
[INFO] Parsing wcp/constraints.lisp
[ERROR] parsing `Immediate expression`

Caused by:
     --> 1:1
      |
    1 | define
      | ^---
      |
      = expected corset
[INFO] Compiling into constraint set, Elapsed=1.682057412s
Error: 1 errors found
make[1]: *** [Makefile:130: define.go] Error 1
make[1]: Leaving directory '/home/gusiri/zkevm-monorepo/constraints'
make: *** [Makefile:55: zkevm/define/define.go] Error 2

[gusiri]

make define.go without define in the Makefile

define.go: ${ZKEVM_MODULES}
	${CORSET} wizard-iop -vv -o $@ ${ZKEVM_MODULES}

removed the previously mentioned error but we have another error:

thread 'main' panicked at src/exporters/wizardiop.rs:118:21:
Exponent `4222230874714185212124412469390773265687949667577031913967616727958704619521` is too large
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
make: *** [Makefile:130: define.go] Error 101

[gusiri]

In constraints/Makefile,

define.go: ${ZKEVM_MODULES}
	${CORSET} wizard-iop -vv -o $@ ${ZKEVM_MODULES}

to

define.go: ${ZKEVM_MODULES}
	../corset/target/release/corset wizard-iop -vv -o $@ ${ZKEVM_MODULES}

fixed it.
Seems like we have a bug here, when we use ${CORSET}?

I checked that I have the latest corset and constraints.
Also checked that command corsetpoints to zkevm-monorepo/corset/target/release/corset correctly.

[gusiri]

Close as it has been narrowed down to :
Consensys/corset#173
#230