test: IsZero test for constants

Consensys · Sep 13, 2022 · 6fef78e · 6fef78e
1 parent 1114992
commit 6fef78e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/internal/backend/circuits/iszero.go b/internal/backend/circuits/iszero.go
@@ -13,8 +13,12 @@ func (circuit *isZero) Define(api frontend.API) error {
 
 	a := api.IsZero(circuit.X)
 	b := api.IsZero(circuit.Y)
+	c := api.IsZero(1)
+	d := api.IsZero(0)
 	api.AssertIsEqual(a, 1)
 	api.AssertIsEqual(b, 0)
+	api.AssertIsEqual(c, 0)
+	api.AssertIsEqual(d, 1)
 
 	return nil
 }