fix: ensure condition is bool in api.Select

Consensys · Aug 13, 2024 · 8a96283 · 8a96283
1 parent 0c35f15
commit 8a96283
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/frontend/cs/scs/api.go b/frontend/cs/scs/api.go
@@ -415,6 +415,9 @@ func (builder *builder) Select(b frontend.Variable, i1, i2 frontend.Variable) fr
 		return i1
 	}
 
+	// ensure the condition is a boolean
+	builder.AssertIsBoolean(b)
+
 	u := builder.Sub(i1, i2)
 	l := builder.Mul(u, b)