New zkInterface output violates spec

[gxavier38]

Hey Meilof,

Not sure if you saw the comment I made since it was buried, but since the zkInterface fix adding trusted setup the zkInterface outputs haven't been correct.

Here's what I'm getting when validating computation.zkif.

PYSNARK_BACKEND=zkinterface python3 cube.py 33
rm circuit.zkif
zkif validate

The statement is NOT COMPLIANT with the specification!
Violations:
- variable_0 was defined but not used.

Error: "Found 1 violations."

Validating only circuit.zkif I get 344 violations.
Validating both I get 4 violations.

Any ideas?

[gxavier38]

Never mind. This problem is just because cube.py doesn't use LinComb.ONE (which maps to var_0) anywhere in the computation. I get the same problem in the previous version too.