frontend

Oct 16, 2023 GO-2023-2333

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Sep 19, 2023 GO-2023-2119GO-2023-2333

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Changes in this version

+ type BatchInverter interface

+ BatchInvert func(i1 []Variable) []Variable

+ type CanonicalVariable interface

+ type Committer interface

+ Commit func(toCommit ...Variable) (commitment Variable, err error)

type Compiler

+ Defer func(cb func(api API) error)

+ InternalVariable func(wireID uint32) Variable

+ NewHintForId func(id solver.HintID, nbOutputs int, inputs ...Variable) ([]Variable, error)

+ SetGkrInfo func(constraint.GkrInfo) error

+ ToCanonicalVariable func(Variable) CanonicalVariable

+ type Rangechecker interface

+ Check func(v Variable, bits int)

Aug 18, 2023 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Jul 11, 2023 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Feb 14, 2023 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Changes in this version

+ func IsCanonical(v Variable) bool

+ func NewSchema(circuit Circuit) (*schema.Schema, error)

type API

+ MulAcc func(a, b, c Variable) Variable

type Builder

+ PublicVariable func(schema.LeafInfo) Variable

+ SecretVariable func(schema.LeafInfo) Variable

type CompileConfig

+ CompressThreshold int

type CompileOption

+ func WithCompressThreshold(threshold int) CompileOption

type Compiler

+ Commit func(...Variable) (Variable, error)

+ Field func() *big.Int

+ FieldBitLen func() int

Apr 14, 2022 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Mar 25, 2022 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Changes in this version

type API

+ Compiler func() Compiler

type Builder

+ AddPublicVariable func(name string) Variable

+ AddSecretVariable func(name string) Variable

+ type CompileConfig struct

+ Capacity int

+ IgnoreUnconstrainedInputs bool

+ type Compiler interface

+ AddCounter func(from, to Tag)

+ Backend func() backend.ID

+ ConstantValue func(v Variable) (*big.Int, bool)

+ Curve func() ecc.ID

+ IsBoolean func(v Variable) bool

+ MarkBoolean func(v Variable)

+ NewHint func(f hint.Function, nbOutputs int, inputs ...Variable) ([]Variable, error)

+ Tag func(name string) Tag

Apr 5, 2022 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Feb 15, 2022 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Feb 13, 2022 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Jan 28, 2022 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Jan 28, 2022 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Changes in this version

+ func NewWitness(assignment Circuit, curveID ecc.ID, opts ...WitnessOption) (*witness.Witness, error)

type API

+ Cmp func(i1, i2 Variable) Variable

type Builder

+ SetSchema func(*schema.Schema)

type CompiledConstraintSystem

+ GetConstraints func() [][]string

+ GetSchema func() *schema.Schema

+ IsSolved func(witness *witness.Witness, opts ...backend.ProverOption) error

+ type WitnessOption func(*witnessConfig) error

+ func PublicOnly() WitnessOption

Jan 4, 2022 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Changes in this version

+ func RegisterDefaultBuilder(b backend.ID, builder NewBuilder)

+ func WithBuilder(builder NewBuilder) func(opt *CompileOption) error

type API

+ AddCounter func(from, to Tag)

+ Backend func() backend.ID

+ ConstantValue func(v Variable) *big.Int

+ Curve func() ecc.ID

+ IsConstant func(v Variable) bool

+ Lookup2 func(b0, b1 Variable, i0, i1, i2, i3 Variable) Variable

+ Tag func(name string) Tag

+ type Builder interface

+ CheckVariables func() error

+ Compile func() (CompiledConstraintSystem, error)

+ NewPublicVariable func(name string) Variable

+ NewSecretVariable func(name string) Variable

type CompiledConstraintSystem

+ GetCounters func() []compiled.Counter

+ type Counter struct

+ From Tag

+ NbConstraints int

+ NbVariables int

+ To Tag

+ type NewBuilder func(ecc.ID) (Builder, error)

type Tag

+ CID int

+ Name string

+ VID int

Nov 3, 2021 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Changes in this version

+ func IgnoreUnconstrainedInputs(opt *CompileOption) error

+ func WithCapacity(capacity int) func(opt *CompileOption) error

+ type API interface

+ Add func(i1, i2 interface{}, in ...interface{}) Variable

+ And func(a, b Variable) Variable

+ AssertIsBoolean func(i1 interface{})

+ AssertIsDifferent func(i1, i2 interface{})

+ AssertIsEqual func(i1, i2 interface{})

+ AssertIsLessOrEqual func(v Variable, bound interface{})

+ Constant func(input interface{}) Variable

+ Div func(i1, i2 interface{}) Variable

+ DivUnchecked func(i1, i2 interface{}) Variable

+ FromBinary func(b ...Variable) Variable

+ Inverse func(i1 interface{}) Variable

+ IsZero func(i1 interface{}) Variable

+ Mul func(i1, i2 interface{}, in ...interface{}) Variable

+ Neg func(i1 interface{}) Variable

+ NewHint func(f hint.Function, inputs ...interface{}) Variable

+ Or func(a, b Variable) Variable

+ Println func(a ...interface{})

+ Select func(b interface{}, i1, i2 interface{}) Variable

+ Sub func(i1, i2 interface{}, in ...interface{}) Variable

+ ToBinary func(i1 interface{}, n ...int) []Variable

+ Xor func(a, b Variable) Variable

+ type CompileOption struct

type Variable

+ WitnessValue interface{}

+ func Value(value interface{}) Variable

+ func (v *Variable) GetWitnessValue(curveID ecc.ID) big.Int

Sep 21, 2021 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Changes in this version

type CompiledConstraintSystem

+ ToHTML func(w io.Writer) error

type ConstraintSystem

+ func (cs *ConstraintSystem) AssertIsDifferent(i1, i2 interface{})

+ func (cs *ConstraintSystem) NewHint(hintID hint.ID, inputs ...interface{}) Variable

type Variable

+ func (v *Variable) GetAssignedValue() (interface{}, error)

Nov 17, 2021 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Aug 23, 2021 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Changes in this version

type ConstraintSystem

+ func (cs *ConstraintSystem) Neg(i interface{}) Variable

Apr 29, 2021 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Changes in this version

+ var ErrInputNotSet = errors.New("variable is not allocated")

+ func FromInterface(i1 interface{}) big.Int

+ func GetAssignedValue(v Variable) interface

+ type CompiledConstraintSystem interface

+ CurveID func() ecc.ID

+ FrSize func() int

+ GetNbCoefficients func() int

+ GetNbConstraints func() int

+ GetNbVariables func() (internal, secret, public int)

+ SetLoggerOutput func(w io.Writer)

type ConstraintSystem

+ func (cs *ConstraintSystem) And(a, b Variable) Variable

+ func (cs *ConstraintSystem) IsZero(a Variable, id ecc.ID) Variable

+ func (cs *ConstraintSystem) Or(a, b Variable) Variable

Dec 23, 2020 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Changes in this version

+ type Wire struct

Dec 22, 2020 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Dec 22, 2020 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Changes in this version

type ConstraintSystem

+ func (cs *ConstraintSystem) NbConstraints() int

+ type PartialVariable struct

Oct 19, 2020 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Oct 19, 2020 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Sep 23, 2020 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Sep 23, 2020 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Sep 22, 2020 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Sep 22, 2020 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

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{})

Sep 15, 2020 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Jun 18, 2020 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

Jun 5, 2020 GO-2023-2098GO-2023-2119GO-2023-2333

  GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

  GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

  GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark