fix(frontend): reduce constant by modulus

Consensys · Dec 17, 2021 · a64b624 · a64b624
1 parent 0843573
commit a64b624
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/frontend/cs_api.go b/frontend/cs_api.go
@@ -376,6 +376,7 @@ func (cs *constraintSystem) ToBinary(i1 interface{}, n ...int) []Variable {
 	// if a is a constant, work with the big int value.
 	if a.IsConstant() {
 		c := cs.constantValue(a)
+		c.Mod(c, cs.curveID.Info().Fr.Modulus())
 		b := make([]compiled.Variable, nbBits)
 		for i := 0; i < len(b); i++ {
 			b[i] = cs.constant(c.Bit(i)).(compiled.Variable)