cs

Apr 14, 2022 GO-2023-2098 +3 more

  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

  GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

Mar 25, 2022 GO-2023-2098 +3 more

  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

  GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

Changes in this version

+ type UnsatisfiedConstraintError struct

+ CID int

+ DebugInfo *string

+ Err error

+ func (r *UnsatisfiedConstraintError) Error() string

Apr 5, 2022 GO-2023-2098 +3 more

  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

  GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

Feb 15, 2022 GO-2023-2098 +3 more

  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

  GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

Feb 13, 2022 GO-2023-2098 +3 more

  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

  GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

Jan 28, 2022 GO-2023-2098 +3 more

  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

  GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

Jan 28, 2022 GO-2023-2098 +3 more

  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

  GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

Changes in this version

type R1CS

+ func (cs *R1CS) GetConstraints() [][]string

type SparseR1CS

+ func (cs *SparseR1CS) GetConstraints() [][]string

Jan 4, 2022 GO-2023-2098 +3 more

  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

  GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

Nov 3, 2021 GO-2023-2098 +3 more

  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

  GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

Sep 21, 2021 GO-2023-2098 +3 more

  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

  GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

Changes in this version

type R1CS

+ func (cs *R1CS) ToHTML(w io.Writer) error

type SparseR1CS

+ func (cs *SparseR1CS) SetLoggerOutput(w io.Writer)

+ func (cs *SparseR1CS) ToHTML(w io.Writer) error

Nov 17, 2021 GO-2023-2098 +3 more

  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

  GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

Aug 23, 2021 GO-2023-2098 +3 more

  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

  GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

Changes in this version

type SparseR1CS

+ func (cs *SparseR1CS) ReadFrom(r io.Reader) (int64, error)

+ func (cs *SparseR1CS) WriteTo(w io.Writer) (int64, error)

Apr 29, 2021 GO-2023-2098 +3 more

  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

  GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

Changes in this version

+ var ErrUnsatisfiedConstraint = errors.New("constraint is not satisfied")

+ type R1CS struct

+ Coefficients []fr.Element

+ func NewR1CS(r1cs compiled.R1CS, coefficients []big.Int) *R1CS

+ func (r1cs *R1CS) AddTerm(res *fr.Element, t compiled.Term, value fr.Element) *fr.Element

+ func (r1cs *R1CS) CurveID() ecc.ID

+ func (r1cs *R1CS) FrSize() int

+ func (r1cs *R1CS) GetNbCoefficients() int

+ func (r1cs *R1CS) IsSolved(witness []fr.Element) error

+ func (r1cs *R1CS) ReadFrom(r io.Reader) (int64, error)

+ func (r1cs *R1CS) SetLoggerOutput(w io.Writer)

+ func (r1cs *R1CS) Solve(witness []fr.Element, a, b, c, wireValues []fr.Element) error

+ func (r1cs *R1CS) WriteTo(w io.Writer) (int64, error)

+ type SparseR1CS struct

+ Coefficients []fr.Element

+ func NewSparseR1CS(r1cs compiled.SparseR1CS, coefficients []big.Int) *SparseR1CS

+ func (cs *SparseR1CS) CurveID() ecc.ID

+ func (cs *SparseR1CS) FrSize() int

+ func (cs *SparseR1CS) GetNbCoefficients() int

+ func (cs *SparseR1CS) IsSolved(witness []fr.Element) error

+ func (cs *SparseR1CS) Solve(witness []fr.Element) (solution []fr.Element, err error)