Method IsZero

ecgo/builder/api.go:342–355

IsZero returns 1 if the given variable is zero, otherwise returns 0.

(i1 frontend.Variable)

// IsZero returns 1 if the given variable is zero, otherwise returns 0.
func (builder *builder) IsZero(i1 frontend.Variable) frontend.Variable {
	a := builder.toVariableId(i1)
	if c, ok := builder.constantValue(a); ok {
		if c.IsZero() {
			return builder.toVariable(builder.tOne)
		}
		return builder.toVariable(constraint.Element{})
	}
	builder.instructions = append(builder.instructions, irsource.Instruction{
		Type: irsource.IsZero,
		X:    a,
	})
	return builder.addVar()
}

// Cmp compares i1 and i2 and returns 1 if i1>i2, 0 if i1=i2, -1 if i1<i2.
func (builder *builder) Cmp(i1, i2 frontend.Variable) frontend.Variable {