perf: mark the result of builder.IsZero as boolean to save constrai…

…nts when used in future (#977)
Consensys · Jan 4, 2024 · 84ffe1c · 84ffe1c
1 parent 8f954aa
commit 84ffe1c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/frontend/cs/r1cs/api.go b/frontend/cs/r1cs/api.go
@@ -565,6 +565,8 @@ func (builder *builder) IsZero(i1 frontend.Variable) frontend.Variable {
 
 	builder.cs.AttachDebugInfo(debug, []int{c1, c2})
 
+	builder.MarkBoolean(m)
+
 	return m
 }
 

diff --git a/frontend/cs/scs/api.go b/frontend/cs/scs/api.go
@@ -515,6 +515,8 @@ func (builder *builder) IsZero(i1 frontend.Variable) frontend.Variable {
 		qM: a.Coeff,
 	})
 
+	builder.MarkBoolean(m)
+
 	return m
 }
-Original file line number
+Diff line change
@@ Expand Up @@
     	builder.cs.AttachDebugInfo(debug, []int{c1, c2})
+    	builder.MarkBoolean(m)
     	return m
     }
@@ Expand Down @@