The VAAS circuit in Circom is currently under-constrained due to the use of the <-- operator, which does not enforce constraints on assigned values. Specifically, all instances of <-- should be replaced with <== to properly constrain the circuit and ensure correctness.
For example, the issue is present in the following line:
|
eq[i].in[0] <-- result[i]; |
Suggested Fix:
Replace all occurrences of <-- with <== throughout the circuit to enforce proper constraints and prevent unintended degrees of freedom.
This change is critical to ensure the circuit's integrity and correctness within the ZKP system.
The
VAAScircuit in Circom is currently under-constrained due to the use of the<--operator, which does not enforce constraints on assigned values. Specifically, all instances of<--should be replaced with<==to properly constrain the circuit and ensure correctness.For example, the issue is present in the following line:
ptnet-ZKP/vass/circuit.circom
Line 56 in a4c01c1
Suggested Fix:
Replace all occurrences of
<--with<==throughout the circuit to enforce proper constraints and prevent unintended degrees of freedom.This change is critical to ensure the circuit's integrity and correctness within the ZKP system.