fields

package

Go to main page

Versions in this module

v0

v0.5.2

Nov 3, 2021 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

Changes in this version

type E12

+ func (e *E12) CyclotomicSquareCompressed(api frontend.API, x E12, ext Extension) *E12

+ func (e *E12) Decompress(api frontend.API, x E12, ext Extension) *E12

+ func (e *E12) Expt(api frontend.API, e1 E12, exponent uint64, ext Extension) *E12

type E2

+ func (e *E2) Double(api frontend.API, e1 E2) *E2

+ func (e *E2) SetOne(api frontend.API) *E2

type E6

+ func (e *E6) MulBy01(api frontend.API, c0, c1 E2, ext Extension) *E6

+ func (e *E6) MulByE2(api frontend.API, e1 E6, e2 E2, ext Extension) *E6

+ func (e *E6) Square(api frontend.API, x E6, ext Extension) *E6

v0.5.1

Sep 21, 2021 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.5.1-hotfixes

Nov 17, 2021 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.5.0

Aug 23, 2021 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

Changes in this version

type E12

+ func (z *E12) CyclotomicSquare(cs *frontend.ConstraintSystem, x *E12, ext Extension) *E12

+ func (z *E12) Square(cs *frontend.ConstraintSystem, x *E12, ext Extension) *E12

type E2

+ func (z *E2) Square(cs *frontend.ConstraintSystem, x *E2, ext Extension) *E2

v0.4.0

Apr 29, 2021 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

Changes in this version

type E12

+ func (e *E12) FinalExponentiation(cs *frontend.ConstraintSystem, e1 *E12, genT uint64, ext Extension) *E12

+ func (e *E12) MulBy034(cs *frontend.ConstraintSystem, c0, c3, c4 *E2, ext Extension) *E12

v0.3.8

Dec 23, 2020 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.3.7

Dec 22, 2020 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.3.6

Dec 22, 2020 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.3.5

Oct 19, 2020 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.3.4

Oct 19, 2020 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.3.3

Sep 23, 2020 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.3.2

Sep 23, 2020 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.3.1

Sep 22, 2020 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.3.0

Sep 22, 2020 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

Changes in this version

+ type E12 struct

+ C0 E6

+ C1 E6

+ func (e *E12) Add(cs *frontend.ConstraintSystem, e1, e2 *E12) *E12

+ func (e *E12) Assign(a *bls377.E12)

+ func (e *E12) Conjugate(cs *frontend.ConstraintSystem, e1 *E12) *E12

+ func (e *E12) ConjugateFp12(cs *frontend.ConstraintSystem, e1 *E12) *E12

+ func (e *E12) FinalExpoBLS(cs *frontend.ConstraintSystem, e1 *E12, genT uint64, ext Extension) *E12

+ func (e *E12) FixedExponentiation(cs *frontend.ConstraintSystem, e1 *E12, exponent uint64, ext Extension) *E12

+ func (e *E12) Frobenius(cs *frontend.ConstraintSystem, e1 *E12, ext Extension) *E12

+ func (e *E12) FrobeniusCube(cs *frontend.ConstraintSystem, e1 *E12, ext Extension) *E12

+ func (e *E12) FrobeniusSquare(cs *frontend.ConstraintSystem, e1 *E12, ext Extension) *E12

+ func (e *E12) Inverse(cs *frontend.ConstraintSystem, e1 *E12, ext Extension) *E12

+ func (e *E12) Mul(cs *frontend.ConstraintSystem, e1, e2 *E12, ext Extension) *E12

+ func (e *E12) MulByV(cs *frontend.ConstraintSystem, e1 *E12, e2 *E2, ext Extension) *E12

+ func (e *E12) MulByV2W(cs *frontend.ConstraintSystem, e1 *E12, e2 *E2, ext Extension) *E12

+ func (e *E12) MulByVW(cs *frontend.ConstraintSystem, e1 *E12, e2 *E2, ext Extension) *E12

+ func (e *E12) MustBeEqual(cs *frontend.ConstraintSystem, other E12)

+ func (e *E12) Neg(cs *frontend.ConstraintSystem, e1 *E12) *E12

+ func (e *E12) Select(cs *frontend.ConstraintSystem, b frontend.Variable, r1, r2 *E12) *E12

+ func (e *E12) SetOne(cs *frontend.ConstraintSystem) *E12

+ func (e *E12) Sub(cs *frontend.ConstraintSystem, e1, e2 *E12) *E12

+ type E2 struct

+ A0 frontend.Variable

+ A1 frontend.Variable

+ func (e *E2) Add(cs *frontend.ConstraintSystem, e1, e2 *E2) *E2

+ func (e *E2) Assign(a *bls377.E2)

+ func (e *E2) Conjugate(cs *frontend.ConstraintSystem, e1 *E2) *E2

+ func (e *E2) Inverse(cs *frontend.ConstraintSystem, e1 *E2, ext Extension) *E2

+ func (e *E2) Mul(cs *frontend.ConstraintSystem, e1, e2 *E2, ext Extension) *E2

+ func (e *E2) MulByFp(cs *frontend.ConstraintSystem, e1 *E2, c interface{}) *E2

+ func (e *E2) MulByIm(cs *frontend.ConstraintSystem, e1 *E2, ext Extension) *E2

+ func (e *E2) MustBeEqual(cs *frontend.ConstraintSystem, other E2)

+ func (e *E2) Neg(cs *frontend.ConstraintSystem, e1 *E2) *E2

+ func (e *E2) Sub(cs *frontend.ConstraintSystem, e1, e2 *E2) *E2

+ type E6 struct

+ B0 E2

+ B1 E2

+ B2 E2

+ func NewFp6Zero(cs *frontend.ConstraintSystem) E6

+ func (e *E6) Add(cs *frontend.ConstraintSystem, e1, e2 *E6) *E6

+ func (e *E6) Assign(a *bls377.E6)

+ func (e *E6) Inverse(cs *frontend.ConstraintSystem, e1 *E6, ext Extension) *E6

+ func (e *E6) Mul(cs *frontend.ConstraintSystem, e1, e2 *E6, ext Extension) *E6

+ func (e *E6) MulByFp2(cs *frontend.ConstraintSystem, e1 *E6, e2 *E2, ext Extension) *E6

+ func (e *E6) MulByNonResidue(cs *frontend.ConstraintSystem, e1 *E6, ext Extension) *E6

+ func (e *E6) MustBeEqual(cs *frontend.ConstraintSystem, other E6)

+ func (e *E6) Neg(cs *frontend.ConstraintSystem, e1 *E6) *E6

+ func (e *E6) Sub(cs *frontend.ConstraintSystem, e1, e2 *E6) *E6

+ type Extension struct

+ func GetBLS377ExtensionFp12(cs *frontend.ConstraintSystem) Extension

v0.3.0-alpha

Sep 15, 2020 GO-2023-2098 +4 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

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL