Versions in this module Expand all Collapse all v2 v2.0.0 Jul 18, 2024 Changes in this version + func Compile(field *big.Int, newBuilder NewBuilder, circuit Circuit, opts ...CompileOption) (constraint.ConstraintSystem, error) + func IsCanonical(v Variable) bool + func NewSchema(circuit Circuit) (*schema.Schema, error) + func NewWitness(assignment Circuit, field *big.Int, opts ...WitnessOption) (witness.Witness, error) + type API interface + Add func(i1, i2 Variable, in ...Variable) Variable + And func(a, b Variable) Variable + AssertIsBoolean func(i1 Variable) + AssertIsCrumb func(i1 Variable) + AssertIsDifferent func(i1, i2 Variable) + AssertIsEqual func(i1, i2 Variable) + AssertIsLessOrEqual func(v Variable, bound Variable) + Cmp func(i1, i2 Variable) Variable + Compiler func() Compiler + ConstantValue func(v Variable) (*big.Int, bool) + Div func(i1, i2 Variable) Variable + DivUnchecked func(i1, i2 Variable) Variable + FromBinary func(b ...Variable) Variable + Inverse func(i1 Variable) Variable + IsZero func(i1 Variable) Variable + Lookup2 func(b0, b1 Variable, i0, i1, i2, i3 Variable) Variable + Mul func(i1, i2 Variable, in ...Variable) Variable + MulAcc func(a, b, c Variable) Variable + Neg func(i1 Variable) Variable + NewHint func(f solver.Hint, nbOutputs int, inputs ...Variable) ([]Variable, error) + Or func(a, b Variable) Variable + Println func(a ...Variable) + Select func(b Variable, i1, i2 Variable) Variable + Sub func(i1, i2 Variable, in ...Variable) Variable + ToBinary func(i1 Variable, n ...int) []Variable + Xor func(a, b Variable) Variable + type BatchInverter interface + BatchInvert func(i1 []Variable) []Variable + type Builder interface + Compile func() (constraint.ConstraintSystem, error) + PublicVariable func(schema.LeafInfo) Variable + SecretVariable func(schema.LeafInfo) Variable + type CanonicalVariable interface + type Circuit interface + Define func(api API) error + type Committer interface + Commit func(toCommit ...Variable) (commitment Variable, err error) + type CompileConfig struct + Capacity int + CompressThreshold int + IgnoreUnconstrainedInputs bool + type CompileOption func(opt *CompileConfig) error + func IgnoreUnconstrainedInputs() CompileOption + func WithCapacity(capacity int) CompileOption + func WithCompressThreshold(threshold int) CompileOption + type Compiler interface + ConstantValue func(v Variable) (*big.Int, bool) + Defer func(cb func(api API) error) + Field func() *big.Int + FieldBitLen func() int + InternalVariable func(wireID uint32) Variable + IsBoolean func(v Variable) bool + MarkBoolean func(v Variable) + NewHint func(f solver.Hint, nbOutputs int, inputs ...Variable) ([]Variable, error) + SetGkrInfo func(constraint.GkrInfo) error + ToCanonicalVariable func(Variable) CanonicalVariable + type NewBuilder func(*big.Int, CompileConfig) (Builder, error) + type PlonkAPI interface + AddPlonkConstraint func(a, b, o Variable, qL, qR, qO, qM, qC int) + EvaluatePlonkExpression func(a, b Variable, qL, qR, qM, qC int) Variable + type Rangechecker interface + Check func(v Variable, bits int) + type Variable interface + type WitnessOption func(*witnessConfig) error + func PublicOnly() WitnessOption Other modules containing this package github.com/danivilardell/gnark