From d6d85d44699b50f38bcd6acf295fc2cade4b8b61 Mon Sep 17 00:00:00 2001 From: Ivo Kubjas Date: Thu, 25 Jul 2024 19:12:49 +0200 Subject: [PATCH] fix: edge case with PLONK backend when 1 constraint (#1226) --- std/math/emulated/element_test.go | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/std/math/emulated/element_test.go b/std/math/emulated/element_test.go index 140df18f1..96530c112 100644 --- 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 }