Method Sub

ecgo/builder/api.go:49–52

Sub computes the difference between the given variables. When more than two variables are provided, the difference is computed as i1 - Σ(i2...).

(i1, i2 frontend.Variable, in ...frontend.Variable)

// Sub computes the difference between the given variables.
// When more than two variables are provided, the difference is computed as i1 - Σ(i2...).
func (builder *builder) Sub(i1, i2 frontend.Variable, in ...frontend.Variable) frontend.Variable {
	vars := builder.toVariableIds(append([]frontend.Variable{i1, i2}, in...)...)
	return builder.add(vars, true)
}

// returns res = Σ(vars) or res = vars[0] - Σ(vars[1:]) if sub == true.
func (builder *builder) add(vars []int, sub bool) frontend.Variable {