Versions in this module Expand all Collapse all v0 v0.3.8 Oct 21, 2020 v0.3.7 Oct 21, 2020 Changes in this version + func Compile(curveID gurvy.ID, circuit Circuit) (r1cs.R1CS, error) + func ParseWitness(input interface{}) (map[string]interface{}, error) + type Circuit interface + Define func(curveID gurvy.ID, cs *ConstraintSystem) error + type ConstraintSystem struct + func (cs *ConstraintSystem) Add(i1, i2 interface{}, in ...interface{}) Variable + func (cs *ConstraintSystem) AssertIsBoolean(v Variable) + func (cs *ConstraintSystem) AssertIsEqual(i1, i2 interface{}) + func (cs *ConstraintSystem) AssertIsLessOrEqual(v Variable, bound interface{}) + func (cs *ConstraintSystem) Constant(input interface{}) Variable + func (cs *ConstraintSystem) Div(i1, i2 interface{}) Variable + func (cs *ConstraintSystem) FromBinary(b ...Variable) Variable + func (cs *ConstraintSystem) Inverse(v Variable) Variable + func (cs *ConstraintSystem) LinearExpression(terms ...r1c.Term) r1c.LinearExpression + func (cs *ConstraintSystem) Mul(i1, i2 interface{}, in ...interface{}) Variable + func (cs *ConstraintSystem) Println(a ...interface{}) + func (cs *ConstraintSystem) Select(b Variable, i1, i2 interface{}) Variable + func (cs *ConstraintSystem) Sub(i1, i2 interface{}) Variable + func (cs *ConstraintSystem) Term(v Variable, coeff *big.Int) r1c.Term + func (cs *ConstraintSystem) ToBinary(a Variable, nbBits int) []Variable + func (cs *ConstraintSystem) Xor(a, b Variable) Variable + type Tag string + type Variable struct + func (v *Variable) Assign(value interface{})