fix: edge case with PLONK backend when 1 constraint (#1226)

Consensys · Jul 25, 2024 · d6d85d4 · d6d85d4
1 parent af21593
commit d6d85d4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/std/math/emulated/element_test.go b/std/math/emulated/element_test.go
@@ -1120,6 +1120,10 @@ func (c *ReduceStrictCircuit[T]) Define(api frontend.API) error {
 	for i := range elR.Limbs {
 		api.AssertIsEqual(elR.Limbs[i], c.Expected[i])
 	}
+
+	// TODO: dummy constraint to have at least two constraints in the circuit.
+	// Otherwise PLONK setup phase fails.
+	api.AssertIsEqual(c.Expected[0], elR.Limbs[0])
 	return nil
 }